ABI: realmPositionV1

Source module: apps/dclutch-web/lib/generated/realmPositionV1.ts, whose own header reads:

@generated by formal/dclutch-semantics/EmitRealmPositionAbiTs.lean; do not edit.
Regenerate with: npm run abi:realm-position

String constants

namevalue
REALM_MAGIC_V1DCLTRLM1
REALM_PDA_DOMAIN_V1dclutch/realm/v1
POSITION_MAGIC_V1DCLTPOS1
POSITION_PDA_DOMAIN_V1dclutch/position/v1

Numeric constants (widths, offsets, counts, tags)

namevalue
SVM_MAX_SEED_BYTES32
REALM_SCHEMA_VERSION_V11
REALM_BYTES_V1112
REALM_RESERVED_BYTES_V14
REALM_MAGIC_OFFSET_V10
REALM_SCHEMA_VERSION_OFFSET_V18
REALM_MINT_AUTHORITY_POLICY_OFFSET_V110
REALM_FREEZE_AUTHORITY_POLICY_OFFSET_V111
REALM_RESERVED_OFFSET_V112
REALM_TOKEN_PROGRAM_OFFSET_V116
REALM_COLLATERAL_MINT_OFFSET_V148
REALM_ADAPTER_RELEASE_ID_OFFSET_V180
POSITION_SCHEMA_VERSION_V11
POSITION_BASE_BYTES_V188
POSITION_RESERVED_BYTES_V15
POSITION_OUTCOME_BALANCE_BYTES_V18
MIN_OUTCOMES_V12
MAX_OUTCOMES_V116
BINARY_POSITION_BYTES_V1104
MAX_POSITION_BYTES_V1216
POSITION_MAGIC_OFFSET_V10
POSITION_SCHEMA_VERSION_OFFSET_V18
POSITION_OUTCOME_COUNT_OFFSET_V110
POSITION_RESERVED_OFFSET_V111
POSITION_MARKET_OFFSET_V116
POSITION_OWNER_OFFSET_V148

Functions (see the source module)

Unrendered exports (verbatim)

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

export const POSITION_GENERATION_OFFSET_V1 = 80 as const;

/** Exact width of a Position of a given categorical width. */