ABI surfaces
The exact bytes the protocol speaks: instruction magics, PDA seed domains, record widths and field offsets, and account tables -- one page per surface.
These pages are rendered from the same generated modules the web app uses to decode chain data (apps/dclutch-web/lib/generated/). Each module is byte-checked against the Rust or Lean source that defines its layout, and npm test runs every check.
| surface | module authority | regenerate |
|---|---|---|
| capabilityManifestV1 | by formal/dclutch-semantics/EmitCapabilityManifestV1AbiTs.lean; do not edit. | npm run abi:capability-manifest |
| claimsCustodyReplayV1 | by scripts/generate-claims-custody-replay.mjs; do not edit. | |
| coreFound | from canonical Rust/Lean-emitted Core Found ABIs; do not edit. | npm run abi:found |
| dealerEquityV3 | from canonical Rust Dealer V3 ABIs; do not edit. | npm run abi:dealer-v3 |
| directInlineV3 | from canonical Rust/Lean-emitted Direct Hot V3 / Capability V4 ABIs; do not edit. | npm run abi:direct-v3 |
| generalSuccessorV5 | from canonical Rust General V5 successor ABIs; do not edit. | node scripts/generate-general-successor-v5.mjs |
| genericFoundingV1 | by scripts/generate-generic-founding.mjs; do not edit. | npm run abi:generic-founding |
| principalCapacityV1 | by scripts/generate-principal-capacity.mjs; do not edit. | npm run abi:principal-capacity |
| productRuntimeV2Admission | from the live Rust Product Runtime V2 admission ABI; do not edit. | npm run abi:product-runtime-v2-admission |
| productV2Payoff | from the canonical Rust Product V2 payoff ABI; do not edit. | npm run abi:product-v2-payoff |
| protocolInfrastructure | from the Lean-emitted ProtocolInfrastructureProfile Rust ABI; do not edit. | npm run abi:infrastructure |
| rationalTerminalHotV3 | from the Lean-owned Rational terminal Hot V3 and Claims-child ABIs; do not edit. | npm run abi:rational-terminal-v3 |
| realmPositionV1 | by formal/dclutch-semantics/EmitRealmPositionAbiTs.lean; do not edit. | npm run abi:realm-position |
| registeredDirect | from dclutch-direct-codec Lean-emitted Rust ABI; do not edit. | npm run abi:registered |
| routeCensus | by scripts/generate-route-census.mjs from dclutch-route-census inventory; do not edit. | npm run abi:route-census |