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 SDK, the web app and the CLI use to decode chain data (packages/dclutch-sdk/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 |
|---|---|---|
| aggregateRetirementV1 | by scripts/generate-aggregate-retirement-v1.mjs; do not edit. | |
| capabilityManifestV1 | by formal/dclutch-semantics/EmitCapabilityManifestV1Abi.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 |
| directParticipantV1 | by scripts/generate-direct-participant-v1.mjs; do not edit. | |
| generalClearingPriceV1 | by formal/dclutch-semantics/EmitClearingPriceV1AbiTs.lean; do not edit. | npm run abi:general-clearing-v1 |
| generalOrderV2 | by formal/dclutch-semantics/EmitGeneralOrderV2AbiTs.lean; do not edit. | npm run abi:general-order-v2 |
| 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 |
| hotBumpHintSlotsV1 | by scripts/generate-hot-bump-hint-slots.mjs; do not edit. | |
| marketPhaseAdmissionV1 | from docs/reference/routes.md; do not edit. | npm run abi:phase-admission |
| 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 |
| protocolConstantsV1 | by scripts/generate-protocol-constants.mjs from the Rust constants its table names; do not edit. | npm run abi:protocol-constants |
| protocolInfrastructure | by formal/dclutch-semantics/EmitProtocolInfrastructureProfileAbi.lean; do not edit. | npm run abi:infrastructure |
| rationalLifecycleRequestV2 | by scripts/generate-rational-lifecycle-request-v2.mjs; do not edit. | |
| rationalOpenWasmV1 | from the canonical Rust Rational-open owner and WASM artifact; do not edit. | |
| rationalReplayV2 | by scripts/generate-rational-replay-v2.mjs; do not edit. | |
| rationalRepresentationDescriptorV3 | by scripts/generate-rational-representation-descriptor-v3.mjs; do not edit. | |
| rationalRepresentationGraphV2 | by scripts/generate-rational-representation-graph-v2.mjs; do not edit. | |
| rationalTerminalHotV3 | by formal/dclutch-semantics/EmitRationalTerminalHotV3.lean; do not edit. | npm run abi:rational-terminal-v3 |
| realmPositionV1 | by formal/dclutch-semantics/EmitRealmPositionAbi.lean; do not edit. | npm run abi:realm-position |
| refusalBandsV1 | by formal/dclutch-semantics/EmitRefusalBandsV1.lean; do not edit. | npm run abi:refusal-bands |
| refusalRegistryV1 | from lib/generated/refusalBandsV1.ts and docs/reference/refusals.md; do not edit. | npm run abi:refusal-registry |
| relayTransportV1 | from crates/dclutch-source/src/relay/{instruction,frame}.rs and generated_relayed_abi.rs; do not edit. | npm run abi:relay-transport |
| resolutionCertificateV2 | by scripts/generate-resolution-certificate-v2.mjs; do not edit. | |
| routeCensus | by scripts/generate-route-census.mjs from dclutch-route-census inventory; do not edit. | npm run abi:route-census |
| scoringRuleV1 | by formal/dclutch-semantics/EmitScoringRuleV1Ts.lean; do not edit. | npm run abi:scoring-rule |
| sourceProviderWasmV1 | from the authoritative Rust Source-provider owner and WASM artifact; do not edit. | |
| sourceReadinessWasmV1 | from the authoritative Rust Source-readiness owner and WASM artifact; do not edit. | |
| sourceResolutionStateV2 | by scripts/generate-source-resolution-state-v2.mjs; do not edit. | |
| stateMachinesV1 | by scripts/generate-state-machines-v1.mjs; do not edit. | npm run abi:state-machines |
| walletTerminalPayoutV3 | by scripts/generate-wallet-terminal-payout-v3.mjs; do not edit. |