ABI: resolutionCertificateV2

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

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

String constants

name	value
`RESOLUTION_CERTIFICATE_MAGIC_V2`	`DCSRCER2`
`RESOLUTION_CERTIFICATE_V2_WIDE_SUCCESS_EXAMPLE_HEX`	444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000
`RESOLUTION_CERTIFICATE_V2_WIDE_FAILURE_EXAMPLE_HEX`	444353524345523202000400000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Numeric constants (widths, offsets, counts, tags)

name	value
`RESOLUTION_CERTIFICATE_SUCCESS_KIND_V2`	1
`RESOLUTION_CERTIFICATE_RECOVERY_ADVANCED_KIND_V2`	2
`RESOLUTION_CERTIFICATE_EXHAUSTED_KIND_V2`	3
`RESOLUTION_CERTIFICATE_FAILURE_KIND_V2`	4
`RESOLUTION_CERTIFICATE_BYTES_V2`	312
`RESOLUTION_CERTIFICATE_VERSION_V2`	2
`CERTIFICATE_V2_MAGIC_OFFSET`	0
`CERTIFICATE_V2_VERSION_OFFSET`	8
`CERTIFICATE_V2_KIND_OFFSET`	10
`CERTIFICATE_V2_RESERVED_HEADER_OFFSET`	11
`CERTIFICATE_V2_MARKET_OFFSET`	16
`CERTIFICATE_V2_ROUTE_OFFSET`	48
`CERTIFICATE_V2_SOURCE_MATERIAL_OFFSET`	80
`CERTIFICATE_V2_PRODUCT_RECORD_OFFSET`	112
`CERTIFICATE_V2_PROVIDER_EVIDENCE_OFFSET`	144
`CERTIFICATE_V2_FUNDING_ALLOCATION_OFFSET`	176
`CERTIFICATE_V2_RECEIPT_ACCOUNT_OFFSET`	208
`CERTIFICATE_V2_GENERATION_OFFSET`	240
`CERTIFICATE_V2_ATTEMPT_INDEX_OFFSET`	248
`CERTIFICATE_V2_SCHEDULE_INDEX_OFFSET`	252
`CERTIFICATE_V2_SELECTOR_OFFSET`	256
`CERTIFICATE_V2_RESERVED_BODY_OFFSET`	260
`CERTIFICATE_V2_WORK_PAID_OFFSET`	264
`CERTIFICATE_V2_FUNDING_REMAINING_OFFSET`	272
`CERTIFICATE_V2_RESULT_NUMERATOR_OFFSET`	280
`CERTIFICATE_V2_RESULT_DENOMINATOR_OFFSET`	296

Unrendered exports (verbatim)

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

export const CERTIFICATE_V2_OBSERVED_AT_OFFSET = 304 as const;

/** Canonical Rust fixtures preserve native u32 selectors and i128/u64 results. */

export const RESOLUTION_CERTIFICATE_V2_REFUSAL_CORPUS_HEX = Object.freeze([
  '004353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523203000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000900000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000101000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000001000000000000000000000000000000000000000700000000000000000000000000000001000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000006400000000000000',
  '444353524345523202000100000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000101000000000000000000000000000000000000000000000700000000000000000000000000000001000000000000000000000000000000',
] as const);