Cardano Modular Restaking

Evidence-gated delivery, not document-driven completion.

The source-stable model evidence records 91 passing tests across 17 files, 1,085,214 assertions, seven accepted vault/operator actions, and a finite depth-five explorer with 11,550 attempted edges across 2,894 unique state/slot nodes. Selected-source inventories bind the allocation, reward, governance, and complete 283-file middleware archives. The middleware graph recursively closes at 310 Solidity files and 1,402 edges with zero unresolved. Hash-pinned Forge/Solidity compilation succeeds; a fixed-seed non-fork EVM run records 839 pass and six skip; a default-seed diagnostic also exposed one upstream allowlist counterexample. Thirty-nine direct project-core counterparts differ, so compatibility remains open and zero middleware behavior is accepted for Cardano. A separate exact-bigint allocation oracle remains model-only. Complete pre-validator plans keep 60 unresolved or prohibited seams absent and fail closed. The pinned Catalyst stack and project guards/codecs provide 106 non-protocol UPLC evaluations; F-001 remains open. Pinned Blaze builds/tests pass and one generic non-protocol transfer is constructed, signed, and emulated. No protocol transition has been UPLC-evaluated, Blaze-emulated, or testnet-executed. The strict release report remains NOT_RELEASED.

The middleware corpus closes the reachable Solidity graph from 78 source files, 97 test files, and two scripts at 310 files and 1,402 import edges with zero unresolved, while recording 121 normalized source declarations, 618 named source functions, 116 test families, and 800 named tests. Its 921 exact review records still accept zero Cardano behavior. Hash-pinned Foundry v1.3.6 and Solidity 0.8.27 compile all 310 files; a fixed-seed non-fork EVM run records 839 passing and six skipped; a separate default-seed diagnostic exposed an allowlist proxy-admin counterexample. Thirty-nine direct core counterparts remain changed and semantically unreviewed. This is partial upstream EVM evidence, not Cardano compatibility or execution.

Final revision reconciliation is bound to source checkpoint 2d3b62b3ebdb84747f6610878a2b4247de41ff41: all dependency reports are current, the same-host clean checkout matched five projections in 204,977 ms, and the release gate records one pass and twelve failures, 106 non-protocol UPLC evaluations, one generic Blaze acceptance, zero protocol executions, 121 declaration plus 800 named-test review records, and NOT_RELEASED.

Claims stop exactly where the evidence stops.

The project uses a deliberately strict vocabulary so pure models, transaction construction, evaluator execution, emulator acceptance, public-ledger inclusion, formal proofs, and release decisions cannot be conflated.