ABI: sourceResolutionStateV2

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

@generated by scripts/generate-source-resolution-state-v2.mjs; do not edit.
Source: crates/dclutch-source/src/generated_source_resolution_state_v2.rs, itself Lean-emitted.

The magic and the phase tags also arrive through stateMachinesV1.ts, which is
emitted from the machine's own Rust decoder. This module is the FIELD map that
table does not carry, and it exists so a client can name a Source's market,
generation, attempt, route, selector and terminal sequence without writing a
byte coordinate of its own.

String constants

namevalue
SOURCE_RESOLUTION_STATE_V2_MAGICDCLTSRS2
SOURCE_RESOLUTION_STATE_V2_FRESH_EXAMPLE_HEX44434c5453525332020000000007000000000000000000000100000000000000000000000000000000000000000000000000000000000000090000000000000002000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
SOURCE_RESOLUTION_STATE_V2_WIDE_TERMINAL_EXAMPLE_HEX44434c5453525332020002000107000001010000000000000100000000000000000000000000000000000000000000000000000000000000090000000000000002000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000100000000000000640000000000000000000000000000000000000000000000

Numeric constants (widths, offsets, counts, tags)

namevalue
SOURCE_RESOLUTION_STATE_V2_BYTES224
SOURCE_RESOLUTION_STATE_V2_SCHEMA_VERSION2
SOURCE_RESOLUTION_STATE_V2_MAGIC_OFFSET0
SOURCE_RESOLUTION_STATE_V2_VERSION_OFFSET8
SOURCE_RESOLUTION_STATE_V2_PHASE_OFFSET10
SOURCE_RESOLUTION_STATE_V2_ACTIVE_ATTEMPT_OFFSET11
SOURCE_RESOLUTION_STATE_V2_TERMINAL_ROUTE_OFFSET12
SOURCE_RESOLUTION_STATE_V2_PDA_BUMP_OFFSET13
SOURCE_RESOLUTION_STATE_V2_RESERVED_HEADER_OFFSET14
SOURCE_RESOLUTION_STATE_V2_SELECTOR_OFFSET16
SOURCE_RESOLUTION_STATE_V2_RESERVED_SELECTOR_OFFSET20
SOURCE_RESOLUTION_STATE_V2_MARKET_OFFSET24
SOURCE_RESOLUTION_STATE_V2_GENERATION_OFFSET56
SOURCE_RESOLUTION_STATE_V2_MATERIAL_DIGEST_OFFSET64
SOURCE_RESOLUTION_STATE_V2_RENT_BENEFICIARY_OFFSET96
SOURCE_RESOLUTION_STATE_V2_REOPEN_LINK_OFFSET128
SOURCE_RESOLUTION_STATE_V2_RESOLUTION_EVIDENCE_OFFSET160
SOURCE_RESOLUTION_STATE_V2_TERMINAL_SEQUENCE_OFFSET192
SOURCE_RESOLUTION_STATE_V2_RESOLVED_AT_OFFSET200
SOURCE_RESOLUTION_STATE_V2_RETIRED_AT_OFFSET208

Unrendered exports (verbatim)

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

export const SOURCE_RESOLUTION_STATE_V2_RESERVED_TAIL_OFFSET = 216 as const;

/** Canonical Rust fixtures: one Source that has not resolved, one wide terminal. */