Cardano Updates

Defines Token-Owned Addresses (TOA): a deterministic Cardano enterprise
script address derived from (toa_version, policy_id, asset_name) applied
to a canonical Plutus V3 validator. A TOA is spendable by any transaction
that consumes exactly one unit of the controlling NFT as input, produces
exactly one unit as output, and does not mint or burn that asset class
in the same transaction.

Authorisation is purely NFT-presence-based — no signer, wallet identity,
or external ownership registry required. The standard is an off-chain
interoperability CIP requiring no ledger changes; conformance is defined
by the compiled validator artifact, the canonical parameter encoding, the
address-derivation procedure, validator rules, and the normative test
vectors.

Reference implementation, compiled un-applied Plutus V3 validator
artifact (476 bytes, template hash 129181a5...96dc0), and six normative
address-derivation test vectors published externally at en7angled/toa
tag 0.1.0. Demo frontend exercising address derivation, deposit, spend,
and NFT carry-through hosted at toa.e7d.tech (mainnet and Preview).

[ci skip]

Signed-off-by: Chris Gianelloni <[email protected]>

Signed-off-by: Roland Kuhn <[email protected]>

Add VOID token metadata

- clean up logging in presence of slow peers for fetch_block
- skip obsolete requests to slow peers

Signed-off-by: Roland Kuhn <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Co-authored-by: sg-doc-holiday[bot] <219201796+sg-doc-holiday[bot]@users.noreply.github.com>

Two related changes to `modules/cabal-project.nix`:

**1. `cabalProjectLocal` / `cabalProjectFreeze` no longer auto-load
from disk.**  The options were typed `nullOr lines` with
`readIfExists`-based defaults that did IFD lookups for
`cabal.project.local` / `cabal.project.freeze` in the project
source.  Internal projects (hadrian, ghc-extra-projects) explicitly
set them to `null` just to suppress those reads, and the nullability
also prevented `mkBefore` directives from merging cleanly.

Switch the types to plain `lines` (default `""`) — projects that
relied on the implicit `readFile` behaviour now do it explicitly:

    cabalProjectLocal = builtins.readFile ./cabal.project.local;

Internal callers that set `null` for IFD-avoidance lose the
explicit assignments — the new default is already IFD-free.

**2. Platform-conditional defaults are now injected into every
cabal project's `cabalProjectLocal`.**  Four `mkIf` blocks added:

  * **musl host** — `package * \n executable-static: True`.
    comp-builder adds `--ghc-option=-optl=-static` at build time;
    surfacing the toggle here makes plan-to-nix record
    `--enable-executable-static`.  Build artefacts are unchanged.
  * **x86_64-darwin host** — `package * \n library-for-ghci: True`.
    Mirrors what comp-builder passes for `!ghcjs && !wasm && !android`
    (always true on darwin).
  * **android host** —
    `package * \n ghc-options: -optl-static -optl-ldl` (plus
    `-optl-no-pie` on aarch32).  Mirrors `lib/check.nix`'s
    test-exe `setupBuildFlags` re-wrap.
  * **wasm GHC ≥ 9.12** — `package * \n shared: True`.  Wasm's RTS
    linker only loads `.so` files; `--disable-shared` (cabal's
    default given the real compiler's reported capabilities) would
    force a `.a`-only install that TH-eval can't load.

All four sit at `mkBefore` priority so a project's own
`cabalProjectLocal` overrides them.

Cache impact: plan-nix hashes change for affected platforms.
Internal GHC builds verified byte-identical (drvPath
`na9chax1gj2n6jx3d6v86v6fdah9r9fd-ghc-9.14.1.drv` matches master).

Changelog entry added describing both changes.

Pulled out of #2504 (`hkm/builder-v2`).