ABI: rationalTerminalHotV3

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

@generated by formal/dclutch-semantics/EmitRationalTerminalHotV3.lean; do not edit.
Regenerate with: npm run abi:rational-terminal-v3

Byte constants (magics, seed domains, schema identities)

name	len	ascii	bytes
`REQUEST_MAGIC_V2`	8	`DCRRPRQ2`	`44 43 52 52 50 52 51 32`
`RATIONAL_TERMINAL_HOT_MAGIC_V3`	8	`DCRRHTV3`	`44 43 52 52 48 54 56 33`

Numeric constants (widths, offsets, counts, tags)

name	value
`PHYSICAL_ABI_VERSION_V3`	3
`REQUEST_COMMON_PREFIX_BYTES_V3`	348
`ASSET_BYTES_V3`	64
`REQUEST_STRUCTURED_HEADER_BYTES_V3`	384
`REQUEST_SELECTED_HEADER_BYTES_V3`	380
`REQUEST_TERMINAL_HEADER_BYTES_V3`	444
`REQUEST_MAGIC_OFFSET_V3`	0
`REQUEST_VERSION_OFFSET_V3`	8
`REQUEST_ACTION_OFFSET_V3`	10
`REQUEST_CALLER_ROLE_OFFSET_V3`	11
`REQUEST_RESERVED_HEADER_OFFSET_V3`	12
`REQUEST_RELEASE_SET_OFFSET_V3`	16
`REQUEST_MARKET_OFFSET_V3`	48
`REQUEST_GRAPH_ID_OFFSET_V3`	80
`REQUEST_DESCRIPTOR_ID_OFFSET_V3`	112
`REQUEST_PARENT_CONTEXT_OFFSET_V3`	144
`REQUEST_ACTOR_OFFSET_V3`	176
`REQUEST_RECEIPT_MINT_OFFSET_V3`	208
`REQUEST_REPRESENTATION_AUTHORITY_OFFSET_V3`	240
`REQUEST_TOKEN_PROGRAM_OFFSET_V3`	272
`REQUEST_EXPECTED_REPRESENTATION_REVISION_OFFSET_V3`	304
`REQUEST_GENERATION_OFFSET_V3`	312
`REQUEST_QUANTITY_OFFSET_V3`	320
`REQUEST_DENOMINATOR_OFFSET_V3`	328
`REQUEST_EXPECTED_RECEIPT_SUPPLY_OFFSET_V3`	336
`REQUEST_OUTCOME_COUNT_OFFSET_V3`	344
`STRUCTURED_REQUEST_RECEIPT_ACCOUNT_OFFSET_V3`	348
`STRUCTURED_REQUEST_RESERVED_TAIL_OFFSET_V3`	380
`SELECTED_REQUEST_EXPECTED_CLAIMS_MARKET_REVISION_OFFSET_V3`	348
`SELECTED_REQUEST_EXPECTED_ACTOR_POSITION_REVISION_OFFSET_V3`	356
`SELECTED_REQUEST_EXPECTED_CUSTODY_POSITION_REVISION_OFFSET_V3`	364
`SELECTED_REQUEST_SELECTED_OUTCOME_OFFSET_V3`	372
`SELECTED_REQUEST_RESERVED_TAIL_OFFSET_V3`	376
`TERMINAL_REQUEST_REALM_OFFSET_V3`	348
`TERMINAL_REQUEST_COLLATERAL_RECIPIENT_OFFSET_V3`	380
`TERMINAL_REQUEST_EXPECTED_CLAIMS_MARKET_REVISION_OFFSET_V3`	412
`TERMINAL_REQUEST_EXPECTED_CUSTODY_POSITION_REVISION_OFFSET_V3`	420
`TERMINAL_REQUEST_EXPECTED_CUSTODY_REPLAY_REVISION_OFFSET_V3`	428
`TERMINAL_REQUEST_SELECTED_OUTCOME_OFFSET_V3`	436
`TERMINAL_REQUEST_RESERVED_TAIL_OFFSET_V3`	440
`ASSET_ACTOR_SHARD_ACCOUNT_OFFSET_V3`	0
`ASSET_COEFFICIENT_OFFSET_V3`	32
`ASSET_EXPECTED_SHARD_SUPPLY_OFFSET_V3`	40
`ASSET_EXPECTED_ACTOR_SHARDS_OFFSET_V3`	48
`ASSET_EXPECTED_STRUCTURED_SHARDS_OFFSET_V3`	56
`ACTION_DENOMINATE`	1
`ACTION_RECONSTITUTE`	2
`ACTION_ISSUE_STRUCTURED`	3
`ACTION_UNWRAP_STRUCTURED`	4
`ACTION_REDEEM_TERMINAL`	5
`CALLER_ROLE_CORE`	0
`CALLER_ROLE_TRADING`	2
`RATIONAL_TERMINAL_HOT_VERSION_V3`	3
`RATIONAL_TERMINAL_HOT_REQUEST_BYTES_V3`	508
`RATIONAL_TERMINAL_HOT_FIXED_ASSET_COUNT_V3`	1
`RATIONAL_TERMINAL_HOT_MAGIC_OFFSET_V3`	0
`RATIONAL_TERMINAL_HOT_VERSION_OFFSET_V3`	8
`RATIONAL_TERMINAL_HOT_ACTION_OFFSET_V3`	10
`RATIONAL_TERMINAL_HOT_CALLER_ROLE_OFFSET_V3`	11
`RATIONAL_TERMINAL_HOT_PARENT_CONTEXT_OFFSET_V3`	144
`RATIONAL_TERMINAL_HOT_RESERVED_HEADER_OFFSET_V3`	12
`RATIONAL_TERMINAL_HOT_RELEASE_SET_OFFSET_V3`	16
`RATIONAL_TERMINAL_HOT_MARKET_OFFSET_V3`	48
`RATIONAL_TERMINAL_HOT_GRAPH_ID_OFFSET_V3`	80
`RATIONAL_TERMINAL_HOT_DESCRIPTOR_ID_OFFSET_V3`	112
`RATIONAL_TERMINAL_HOT_ACTOR_OFFSET_V3`	176
`RATIONAL_TERMINAL_HOT_RECEIPT_MINT_OFFSET_V3`	208
`RATIONAL_TERMINAL_HOT_REPRESENTATION_AUTHORITY_OFFSET_V3`	240
`RATIONAL_TERMINAL_HOT_TOKEN_PROGRAM_OFFSET_V3`	272
`RATIONAL_TERMINAL_HOT_REALM_OFFSET_V3`	348
`RATIONAL_TERMINAL_HOT_COLLATERAL_RECIPIENT_OFFSET_V3`	380
`RATIONAL_TERMINAL_HOT_EXPECTED_REPRESENTATION_REVISION_OFFSET_V3`	304
`RATIONAL_TERMINAL_HOT_EXPECTED_CLAIMS_MARKET_REVISION_OFFSET_V3`	412
`RATIONAL_TERMINAL_HOT_EXPECTED_CUSTODY_POSITION_REVISION_OFFSET_V3`	420
`RATIONAL_TERMINAL_HOT_EXPECTED_CUSTODY_REPLAY_REVISION_OFFSET_V3`	428
`RATIONAL_TERMINAL_HOT_GENERATION_OFFSET_V3`	312
`RATIONAL_TERMINAL_HOT_QUANTITY_OFFSET_V3`	320
`RATIONAL_TERMINAL_HOT_DENOMINATOR_OFFSET_V3`	328
`RATIONAL_TERMINAL_HOT_EXPECTED_RECEIPT_SUPPLY_OFFSET_V3`	336
`RATIONAL_TERMINAL_HOT_OUTCOME_COUNT_OFFSET_V3`	344
`RATIONAL_TERMINAL_HOT_SELECTED_OUTCOME_OFFSET_V3`	436
`RATIONAL_TERMINAL_HOT_RESERVED_TAIL_OFFSET_V3`	440
`RATIONAL_TERMINAL_HOT_ASSET_OFFSET_V3`	444
`RATIONAL_TERMINAL_HOT_ASSET_ACTOR_SHARD_ACCOUNT_OFFSET_V3`	444
`RATIONAL_TERMINAL_HOT_ASSET_COEFFICIENT_OFFSET_V3`	476
`RATIONAL_TERMINAL_HOT_ASSET_EXPECTED_SHARD_SUPPLY_OFFSET_V3`	484
`RATIONAL_TERMINAL_HOT_ASSET_EXPECTED_ACTOR_SHARDS_OFFSET_V3`	492
`RATIONAL_TERMINAL_HOT_ASSET_EXPECTED_STRUCTURED_SHARDS_OFFSET_V3`	500