Cardano Updates

Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.7.3 to 4.7.6.
- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)
- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.7.3...v4.7.6)

---
updated-dependencies:
- dependency-name: JamesIves/github-pages-deploy-action
  dependency-version: 4.7.6
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Update CallTrace test expectations to reflect source location changes
caused by extending chooseData from 6 to 7 arguments. The signature
change affects compiler inlining behavior, causing some source locations
from OtherModule.hs to be omitted during compilation.

This is expected behavior - function names remain present in traces,
and the change is a legitimate side effect of the chooseData extension
to support Array data constructor.

The expected CPU costs for array operations were outdated.
Updated to match actual execution costs:
- indexArray-01: 291022 → 328110 CPU
- lengthOfArray-01: 263094 → 295983 CPU
- lengthOfArray-02: 263094 → 295983 CPU

Memory costs remain unchanged.

Regenerate golden test files reflecting new ChooseData costs after
adding 7th argument. Budget tests and benchmark outputs updated to
match actual evaluation costs.

Replace failing extractCostModelParamsLedgerOrder with direct
defaultCostModelParamsForVariant usage in V1/V2/V3 test evaluation
contexts, fixing test initialization failures after ChooseData
signature change.

Add arrayCase argument to all chooseData conformance tests and update
budget expectations with new costs. Add chooseDataArray test case
directory for Array constructor testing.

Extend Agda metatheory with ArrayDATA constructor in Utils, update
chooseData to 7 arguments in both Algorithmic and Untyped CEK machines,
and add arrayData/unArrayData builtins. Includes ViewPatterns-based
pattern synonym for bidirectional List/Vector conversion.

Extend cost model infrastructure to support 7-argument builtins,
adding ModelSevenArguments type with JSON serialization, costing
functions, and test coverage. Update ChooseData cost model to use
ModelSevenArguments.

Update ChooseData from 6 to 7 arguments to handle the new Array Data
constructor, completing the Array support in Plutus Core. The builtin
now accepts arrayCase alongside existing cases for Constr, Map, List,
I, and B constructors.

Simplify the type conversion in VConstr index validation by
eliminating unnecessary intermediate conversion through Integer.

Changed from:
  fromIntegral @_ @Integer i > fromIntegral @Int @Integer maxBound
To:
  i > fromIntegral @Int @Word64 maxBound

Since i is already Word64, we can directly compare it to maxBound
converted to Word64, which is more efficient and clearer.

Also updated Note [Integral types as Integer] to clarify that all
non-64-bit systems (not just 32-bit) are banned for node deployment.

Fixes #7478

The expected CPU costs for array operations were outdated.
Updated to match actual execution costs:
- indexArray-01: 291022 → 328110 CPU
- lengthOfArray-01: 263094 → 295983 CPU
- lengthOfArray-02: 263094 → 295983 CPU

Memory costs remain unchanged.

Currently using ghc-9.14.0.20251128 (-rc3).

Currently using ghc-9.14.0.20251128 (-rc3).