ABI: rationalReplayV2

Source module: packages/dclutch-sdk/lib/generated/rationalReplayV2.ts, whose own header reads:

@generated by scripts/generate-rational-replay-v2.mjs; do not edit.
Source: crates/dclutch-claims/src/rational/replay.rs (layout)
and src/rational/mod.rs (seed domain).

AUTHORITY IS HAND-WRITTEN RUST, NOT LEAN. RationalReplayV2 has no Lean schema;
the contract crate above declares this record and is its only owner.

Byte constants (magics, seed domains, schema identities)

name	len	ascii	bytes
`RATIONAL_REPLAY_MAGIC_V2`	8	`DCRRREP2`	`44 43 52 52 52 45 50 32`

String constants

name	value
`RATIONAL_REPLAY_SEED_V2`	`dclutch:rational-replay:v2`

Numeric constants (widths, offsets, counts, tags)

name	value
`RATIONAL_REPLAY_MAGIC_OFFSET`	0
`RATIONAL_REPLAY_MAGIC_BYTES`	8
`RATIONAL_REPLAY_BYTES_V2`	88
`RATIONAL_REPLAY_VERSION_V2`	2
`RATIONAL_REPLAY_RESERVED_BYTES`	6
`RATIONAL_REPLAY_VERSION_OFFSET`	8
`RATIONAL_REPLAY_RESERVED_OFFSET`	10
`RATIONAL_REPLAY_DESCRIPTOR_OFFSET`	16
`RATIONAL_REPLAY_ACTOR_OFFSET`	48

Unrendered exports (verbatim)

The renderer did not recognize these statement shapes, so they are shown verbatim rather than dropped.

export const RATIONAL_REPLAY_REVISION_OFFSET = 80 as const;

/** Claims PDA seed domain: this seed, the descriptor identity, then the actor. */