Cardano Updates

Smallest first slice toward unblocking issue #5285 Story 1: plumb a
mint set through buildLedgerTx and buildLedgerTxRaw, translate the
wallet's (TokenMap, TokenMap) mint/burn pair to a single signed
ledger MultiAsset, and feed the real value from mkTransactionLedger
and constructUnsignedTxLedger. Script witnesses remain out of scope.

Artifacts: spec.md (2 P1 stories, 9 FRs, 5 SCs), plan.md (113 lines,
constitution pass, 6 design decisions), research.md (Phase 0 from
Explore agent: signed/unsigned asymmetry between TokenMap and
MultiAsset is the load-bearing surprise), data-model.md (netting
rule for mint/burn overlap), contracts/ledger-mint-translation.md
(P1-P8 converter properties, B1-B3 builder properties), tasks.md
(15 tasks across 5 phases mapping to three bisect-safe commits),
requirements checklist, quickstart for reviewers.

Pre-flight grep on the implementation pass showed lib/wallet/src/Cardano/
Wallet.hs already imports certificateFrom{Delegation,Voting}ActionLedger
from Cardano.Wallet.Shelley.Transaction.Ledger and its 4 callsites at
2729, 2738, 3533, 3542 already use the *Ledger variants. The Phase-0
research had it wrong; plan.md, quickstart.md, and tasks.md inherited
the error. Spec.md was correct (line 18 already named the single
caller).

Slice scope shrinks from 'edit two files + delete two + cabal prune' to
'edit Shelley/Transaction.hs + delete two + cabal prune'. SC-001/SC-002,
FR-003, and the byte-equivalence proof are unaffected.

Phase 0 + Phase 1 speckit artifacts for issue #5285.

- plan.md (109 lines): three vertical slices, constitution check clean,
  Story 1 unblocked, Stories 2-3 blocked on Transaction.Ledger
  prerequisite ACs in #5243.
- research.md: full cardano-api symbol inventory in
  Shelley/Transaction.hs (~40 symbols across 4 imports), per-Story
  grouping, ledger replacements located.
- data-model.md: cardano-api -> ledger type map per Story.
- contracts/module-interface-invariants.md: exports that MUST stay
  signature-stable across all three slices.
- quickstart.md: ordered implementation walkthrough for Story 1
  (the unblocked slice; 5 callsites in Shelley/Transaction.hs,
  4 in Cardano/Wallet.hs, plus cabal prune and helper deletion).

## Summary

- use a short unique `/tmp/cwbench.XXXXXX` root for the Linux Memory
Benchmark before invoking the existing benchmark command
- keep non-memory benchmark matrix entries on `${{ runner.temp }}`
- ignore local `llm/` review artifacts and remove the tracked
`llm/reviews/5279/gate.sh` file inherited from the rebased base

## Verification

- `actionlint .github/workflows/linux-benchmarks.yml` with custom
runner-label warnings ignored
- old representative socket path: 120 bytes; new representative socket
path: 94 bytes
- `/code/llm-settings/shared/skills/pr/references/commit-gate.sh HEAD`
- Linux Benchmarks workflow dispatch passed end to end before the
rebase:
https://github.com/cardano-foundation/cardano-wallet/actions/runs/25724369765
- Memory Benchmark artifact contains `memory-bench-results.csv`,
`memory.hp`, `memory.svg`, `memory.log`, and `memory.error.log`

Fixes #5283

Use a short mktemp directory under /tmp for the Linux Memory Benchmark before running the existing benchmark command. This avoids the cardano-node Unix socket path limit while keeping other benchmark jobs on runner.temp.

Ignore local llm review artifacts so they do not enter the repository.

Verification: actionlint accepted linux-benchmarks.yml with repository custom runner-label warnings ignored. The representative issue path is 120 bytes, and the new representative socket path is 94 bytes.

Live verification: Linux Benchmarks workflow dispatch 25724369765 passed end to end and uploaded memory-bench-results.csv, memory.hp, memory.svg, memory.log, and memory.error.log.

Fixes #5283

## Summary

- upgrade the wallet dependency stack toward `cardano-node` 11.0.1,
including the node/runtime freeze, CHaP/index metadata, and wallet
source-repository pins
- consume the upstream `cardano-ledger-read` and
`cardano-balance-transaction` node 11 work before adapting wallet
consumers
- encode and follow a dependency-first Cabal component topology: one
component slice at a time, validated vertically, with green unit tests
recorded where the component has tests
- close component slices through `cardano-wallet-integration`; the next
topology slice is `cardano-wallet-unit`

Refs #5275

## Process / Review Shape

The stack is intentionally ordered from lower-level dependencies upward.
Once a component is closed, later slices do not go back and edit it.
Each component closure records the exact formatter, lint, Nix build, and
unit/check evidence in `specs/004-bump-node-11-0-1/tasks.md`.

The PR has been rebased onto current `master` (`d6f10ec013`) before this
metadata update.

## Validation

Recent local gates after the rebase:

- `nix develop --accept-flake-config --allow-import-from-derivation
--quiet --command scripts/ci/check-code-format.sh`
- `nix build --accept-flake-config --allow-import-from-derivation
--no-link --print-out-paths
.#legacyPackages.x86_64-linux.hsPkgs.cardano-wallet-integration.components.sublibs.framework
.#legacyPackages.x86_64-linux.hsPkgs.cardano-wallet-integration.components.sublibs.scenarios
.#legacyPackages.x86_64-linux.hsPkgs.cardano-wallet-integration.components.exes.integration-exe
.#packages.x86_64-linux.tests.cardano-wallet-integration.e2e
.#packages.x86_64-linux.tests.cardano-wallet-integration.integration`

Additional per-component evidence is recorded in the Spec Kit task
table.

## Notes

This is no longer a planning-only PR. It contains dependency metadata,
upstream pins, Nix test-environment fixes, and completed vertical
component closures up through `cardano-wallet-integration`.

Validate cardano-wallet-api as the next dependency-first slice. The
package declares no Cabal test-suite, so the patch records formatting,
linting, cabal formatting, and the Nix library build gate.

Validate cardano-wallet-application-tls as the next dependency-first
slice. No owned source changes were required; the patch records
formatting, linting, Nix package/check builds, and the green package-local
unit test result.

Validate cardano-wallet-secrets as the next dependency-first slice.
No owned source changes were required; the patch records formatting,
linting, Nix package/check builds, and the green test-suite result.

Validate the launcher package after its test-utils dependency is closed.
No owned source changes were required; the patch records formatting,
linting, Nix package/check builds, and the green unit test result.

Validate address-derivation-discovery as the next dependency-first
slice. The package declares no Cabal test-suite, so the patch records
formatting, linting, cabal formatting, and the Nix library build gate.

Validate the cardano-wallet-read package as the next all-component
topology slice. No owned source changes were required; the patch records
formatting, linting, Nix package/check builds, and the green test-suite
result before moving to cardano-wallet-test-utils.

Validate delta-store as the next dependency-first slice. No owned source
changes were required; the patch records formatting, linting, Nix
package/check builds, and the green unit test result.

Validate cardano-api-extra as the next dependency-first slice. The
package declares no Cabal test-suite, so the patch records formatting,
linting, cabal formatting, and the Nix library build gate.

Validate the cardano-wallet-test-utils package as the next topology
slice before cardano-wallet-launcher. No owned source changes were
required; the patch records formatting, linting, Nix package/check
builds, and the green unit test result.

Validate crypto-primitives as the next dependency-first slice. No owned
source changes were required; the patch records formatting, linting,
Nix package/check builds, and the green test-suite result.

Validate cardano-wallet-network-layer as the next dependency-first
slice. No owned source changes were required; the patch records
formatting, linting, Nix package/check builds, and the green unit test
result.

The first-library cabal-plan order missed local dependencies from test
components. Use the package-level union of every local component's
local dependencies from plan.json so each component's unit tests close
with its package before dependents are touched.