ABI: scoringRuleV1

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

@generated by formal/dclutch-semantics/EmitScoringRuleV1Ts.lean; do not edit.
Regenerate with: npm run abi:scoring-rule

String constants

name	value
`RULE_MAGIC`	`DCLSCR01`
`FUND_MAGIC`	`DCLSFUN1`
`QUOTE_MAGIC`	`DCLSQUO1`
`FOUND_REQUEST_MAGIC`	`DCLSFDR1`
`QUOTE_REQUEST_MAGIC`	`DCLSQTR1`
`FILL_REQUEST_MAGIC`	`DCLSFLR1`
`WITHDRAW_REQUEST_MAGIC`	`DCLSWDR1`
`REDEEM_REQUEST_MAGIC`	`DCLSRDR1`
`CLOSE_REQUEST_MAGIC`	`DCLSCLR1`
`RECEIPT_MAGIC`	`DCLSRCP1`
`FILL_WITNESS_MAGIC`	`DCLSFLW1`
`RULE_PDA_DOMAIN`	`dclutch:scoring-rule:v1`
`FUND_PDA_DOMAIN`	`dclutch:dealer-fund:v1`
`QUOTE_PDA_DOMAIN`	`dclutch:dealer-quote:v1`

Numeric constants (widths, offsets, counts, tags)

name	value
`FRACTION_BITS`	62
`MAX_OUTCOMES`	16
`MIN_OUTCOMES`	2
`VECTOR_BYTES`	128
`WIRE_VERSION`	1
`RULE_VERSION`	1
`REFUSAL_SUB_BAND_OFFSET`	512
`RULE_BYTES`	112
`FUND_BYTES`	224
`QUOTE_BYTES`	240
`FOUND_REQUEST_BYTES`	160
`QUOTE_REQUEST_BYTES`	88
`FILL_REQUEST_BYTES`	512
`WITHDRAW_REQUEST_BYTES`	96
`REDEEM_REQUEST_BYTES`	88
`CLOSE_REQUEST_BYTES`	88
`RECEIPT_BYTES`	192
`FILL_WITNESS_BYTES`	272
`RULE_MAGIC_OFFSET`	0
`RULE_VERSION_OFFSET`	8
`RULE_OUTCOME_COUNT_OFFSET`	10
`RULE_RESERVED_OFFSET`	11
`RULE_MARKET_ID_OFFSET`	16
`RULE_DEALER_ID_OFFSET`	48
`RULE_LIQUIDITY_OFFSET`	80
`RULE_SCALE_OFFSET`	88
`RULE_TOLERANCE_OFFSET`	96
`RULE_SUBSIDY_OFFSET`	104
`FUND_MAGIC_OFFSET`	0
`FUND_VERSION_OFFSET`	8
`FUND_OUTCOME_COUNT_OFFSET`	10
`FUND_PHASE_OFFSET`	11
`FUND_RESERVED_OFFSET`	12
`FUND_MARKET_ID_OFFSET`	16
`FUND_DEALER_ID_OFFSET`	48
`FUND_SPONSOR_OFFSET`	80
`FUND_RULE_DIGEST_OFFSET`	112
`FUND_VAULT_OFFSET`	144
`FUND_CLAIM_UNIT_ATOMS_OFFSET`	176
`FUND_CASH_OFFSET`	184
`FUND_INVENTORY_MINIMUM_OFFSET`	192
`FUND_LIQUIDITY_COST_OFFSET`	200
`FUND_REVISION_OFFSET`	208
`FUND_BUMP_OFFSET`	216
`FUND_RESERVED_TAIL_OFFSET`	217
`QUOTE_MAGIC_OFFSET`	0
`QUOTE_VERSION_OFFSET`	8
`QUOTE_OUTCOME_COUNT_OFFSET`	10
`QUOTE_RESERVED_OFFSET`	11
`QUOTE_MARKET_ID_OFFSET`	16
`QUOTE_DEALER_ID_OFFSET`	48
`QUOTE_FUND_REVISION_OFFSET`	80
`QUOTE_SLOT_OFFSET`	88
`QUOTE_SCALE_OFFSET`	96
`QUOTE_PRICES_OFFSET`	104
`QUOTE_BUMP_OFFSET`	232
`QUOTE_RESERVED_TAIL_OFFSET`	233
`FOUND_REQUEST_MAGIC_OFFSET`	0
`FOUND_REQUEST_VERSION_OFFSET`	8
`FOUND_REQUEST_OUTCOME_COUNT_OFFSET`	10
`FOUND_REQUEST_RESERVED_OFFSET`	11
`FOUND_REQUEST_MARKET_OFFSET`	16
`FOUND_REQUEST_DEALER_ID_OFFSET`	48
`FOUND_REQUEST_RELEASE_SET_OFFSET`	80
`FOUND_REQUEST_LIQUIDITY_OFFSET`	112
`FOUND_REQUEST_SCALE_OFFSET`	120
`FOUND_REQUEST_TOLERANCE_OFFSET`	128
`FOUND_REQUEST_DEPOSIT_OFFSET`	136
`FOUND_REQUEST_CLAIM_UNIT_ATOMS_OFFSET`	144
`FOUND_REQUEST_GENERATION_OFFSET`	152
`QUOTE_REQUEST_MAGIC_OFFSET`	0
`QUOTE_REQUEST_VERSION_OFFSET`	8
`QUOTE_REQUEST_RESERVED_OFFSET`	10
`QUOTE_REQUEST_MARKET_OFFSET`	16
`QUOTE_REQUEST_DEALER_ID_OFFSET`	48
`QUOTE_REQUEST_EXPECTED_FUND_REVISION_OFFSET`	80
`FILL_REQUEST_MAGIC_OFFSET`	0
`FILL_REQUEST_VERSION_OFFSET`	8
`FILL_REQUEST_OUTCOME_COUNT_OFFSET`	10
`FILL_REQUEST_RESERVED_OFFSET`	11
`FILL_REQUEST_MARKET_OFFSET`	16
`FILL_REQUEST_DEALER_ID_OFFSET`	48
`FILL_REQUEST_TAKER_OFFSET`	80
`FILL_REQUEST_EXPECTED_FUND_REVISION_OFFSET`	112
`FILL_REQUEST_MINT_OFFSET`	120
`FILL_REQUEST_PRICES_OFFSET`	128
`FILL_REQUEST_RECEIVE_OFFSET`	256
`FILL_REQUEST_DELIVER_OFFSET`	384
`WITHDRAW_REQUEST_MAGIC_OFFSET`	0
`WITHDRAW_REQUEST_VERSION_OFFSET`	8
`WITHDRAW_REQUEST_RESERVED_OFFSET`	10
`WITHDRAW_REQUEST_MARKET_OFFSET`	16
`WITHDRAW_REQUEST_DEALER_ID_OFFSET`	48
`WITHDRAW_REQUEST_EXPECTED_FUND_REVISION_OFFSET`	80
`WITHDRAW_REQUEST_AMOUNT_OFFSET`	88
`REDEEM_REQUEST_MAGIC_OFFSET`	0
`REDEEM_REQUEST_VERSION_OFFSET`	8
`REDEEM_REQUEST_RESERVED_OFFSET`	10
`REDEEM_REQUEST_MARKET_OFFSET`	16
`REDEEM_REQUEST_DEALER_ID_OFFSET`	48
`REDEEM_REQUEST_EXPECTED_FUND_REVISION_OFFSET`	80
`CLOSE_REQUEST_MAGIC_OFFSET`	0
`CLOSE_REQUEST_VERSION_OFFSET`	8
`CLOSE_REQUEST_RESERVED_OFFSET`	10
`CLOSE_REQUEST_MARKET_OFFSET`	16
`CLOSE_REQUEST_DEALER_ID_OFFSET`	48
`CLOSE_REQUEST_EXPECTED_FUND_REVISION_OFFSET`	80
`RECEIPT_MAGIC_OFFSET`	0
`RECEIPT_VERSION_OFFSET`	8
`RECEIPT_ROUTE_OFFSET`	10
`RECEIPT_OUTCOME_COUNT_OFFSET`	11
`RECEIPT_RESERVED_OFFSET`	12
`RECEIPT_REQUEST_DIGEST_OFFSET`	16
`RECEIPT_MARKET_OFFSET`	48
`RECEIPT_DEALER_ID_OFFSET`	80
`RECEIPT_FUND_REVISION_OFFSET`	112
`RECEIPT_CASH_OFFSET`	120
`RECEIPT_INVENTORY_MINIMUM_OFFSET`	128
`RECEIPT_LIQUIDITY_COST_OFFSET`	136
`RECEIPT_DEALER_PAYS_OFFSET`	144
`RECEIPT_DEALER_RECEIVES_OFFSET`	152
`RECEIPT_FUND_DIGEST_OFFSET`	160
`FILL_WITNESS_MAGIC_OFFSET`	0
`FILL_WITNESS_VERSION_OFFSET`	8
`FILL_WITNESS_OUTCOME_COUNT_OFFSET`	10
`FILL_WITNESS_RESERVED_OFFSET`	11
`FILL_WITNESS_RULE_OFFSET`	16
`FILL_WITNESS_INVENTORY_OFFSET`	128
`FILL_WITNESS_FUND_REVISION_OFFSET`	256
`FILL_WITNESS_CASH_OFFSET`	264
`FUND_PHASE_OPEN`	0
`FUND_PHASE_RETIRED`	1
`ROUTE_FOUND`	0
`ROUTE_QUOTE`	1
`ROUTE_FILL`	2
`ROUTE_WITHDRAW`	3
`ROUTE_REDEEM`	4
`ROUTE_CLOSE`	5
`REDEEM_ACCOUNT_COUNT`	9
`REDEEM_PAYER_ACCOUNT`	0
`REDEEM_FUND_ACCOUNT`	1
`REDEEM_RULE_ACCOUNT`	2
`REDEEM_MARKET_ACCOUNT`	3
`REDEEM_VAULT_ACCOUNT`	4
`REDEEM_CLAIMS_PROGRAM_ACCOUNT`	5
`REDEEM_CUSTODY_PROGRAM_ACCOUNT`	6
`REDEEM_ACTIVATION_CACHE_ACCOUNT`	7
`REDEEM_REGISTRY_PROGRAM_ACCOUNT`	8
`CLOSE_ACCOUNT_COUNT`	15
`CLOSE_PAYER_ACCOUNT`	0
`CLOSE_FUND_ACCOUNT`	1
`CLOSE_RULE_ACCOUNT`	2
`CLOSE_QUOTE_ACCOUNT`	3
`CLOSE_MARKET_ACCOUNT`	4
`CLOSE_VAULT_ACCOUNT`	5
`CLOSE_SPONSOR_ACCOUNT`	6
`CLOSE_CLAIMS_PROGRAM_ACCOUNT`	7
`CLOSE_CUSTODY_PROGRAM_ACCOUNT`	8
`CLOSE_ACTIVATION_CACHE_ACCOUNT`	9
`CLOSE_REGISTRY_PROGRAM_ACCOUNT`	10
`CLOSE_MINT_ACCOUNT`	11
`CLOSE_TOKEN_PROGRAM_ACCOUNT`	12
`CLOSE_RENT_CREDIT_ACCOUNT`	13
`CLOSE_RENT_PROGRAM_ACCOUNT`	14
`FOUND_ACCOUNT_COUNT`	21
`FOUND_SPONSOR_ACCOUNT`	0
`FOUND_FUND_ACCOUNT`	1
`FOUND_RULE_ACCOUNT`	2
`FOUND_QUOTE_ACCOUNT`	3
`FOUND_MARKET_ACCOUNT`	4
`FOUND_AGGREGATE_ACCOUNT`	5
`FOUND_DEALER_POSITION_ACCOUNT`	6
`FOUND_DEALER_ADMISSION_ACCOUNT`	7
`FOUND_CLAIMS_AUTHORITY_ACCOUNT`	8
`FOUND_CLAIMS_PROGRAM_ACCOUNT`	9
`FOUND_SPONSOR_TOKEN_ACCOUNT`	10
`FOUND_VAULT_ACCOUNT`	11
`FOUND_CUSTODY_REPLAY_ACCOUNT`	12
`FOUND_CUSTODY_AUTHORITY_ACCOUNT`	13
`FOUND_CUSTODY_PROGRAM_ACCOUNT`	14
`FOUND_MINT_ACCOUNT`	15
`FOUND_TOKEN_PROGRAM_ACCOUNT`	16
`FOUND_ACTIVATION_CACHE_ACCOUNT`	17
`FOUND_REGISTRY_PROGRAM_ACCOUNT`	18
`FOUND_SYSTEM_PROGRAM_ACCOUNT`	19
`FOUND_RENT_ACCOUNT`	20
`QUOTE_ACCOUNT_COUNT`	8
`QUOTE_PAYER_ACCOUNT`	0
`QUOTE_FUND_ACCOUNT`	1
`QUOTE_RULE_ACCOUNT`	2
`QUOTE_QUOTE_ACCOUNT`	3
`QUOTE_MARKET_ACCOUNT`	4
`QUOTE_DEALER_POSITION_ACCOUNT`	5
`QUOTE_ACTIVATION_CACHE_ACCOUNT`	6
`QUOTE_REGISTRY_PROGRAM_ACCOUNT`	7
`FILL_ACCOUNT_COUNT`	19
`FILL_TAKER_ACCOUNT`	0
`FILL_FUND_ACCOUNT`	1
`FILL_RULE_ACCOUNT`	2
`FILL_MARKET_ACCOUNT`	3
`FILL_AGGREGATE_ACCOUNT`	4
`FILL_DEALER_POSITION_ACCOUNT`	5
`FILL_TAKER_POSITION_ACCOUNT`	6
`FILL_CLAIMS_AUTHORITY_ACCOUNT`	7
`FILL_CLAIMS_PROGRAM_ACCOUNT`	8
`FILL_TAKER_TOKEN_ACCOUNT`	9
`FILL_VAULT_ACCOUNT`	10
`FILL_HOARD_ACCOUNT`	11
`FILL_CUSTODY_REPLAY_ACCOUNT`	12
`FILL_CUSTODY_AUTHORITY_ACCOUNT`	13
`FILL_CUSTODY_PROGRAM_ACCOUNT`	14
`FILL_MINT_ACCOUNT`	15
`FILL_TOKEN_PROGRAM_ACCOUNT`	16
`FILL_ACTIVATION_CACHE_ACCOUNT`	17
`FILL_REGISTRY_PROGRAM_ACCOUNT`	18
`WITHDRAW_ACCOUNT_COUNT`	14
`WITHDRAW_SPONSOR_ACCOUNT`	0
`WITHDRAW_FUND_ACCOUNT`	1
`WITHDRAW_RULE_ACCOUNT`	2
`WITHDRAW_MARKET_ACCOUNT`	3
`WITHDRAW_DEALER_POSITION_ACCOUNT`	4
`WITHDRAW_SPONSOR_TOKEN_ACCOUNT`	5
`WITHDRAW_VAULT_ACCOUNT`	6
`WITHDRAW_CUSTODY_REPLAY_ACCOUNT`	7
`WITHDRAW_CUSTODY_AUTHORITY_ACCOUNT`	8
`WITHDRAW_CUSTODY_PROGRAM_ACCOUNT`	9
`WITHDRAW_MINT_ACCOUNT`	10
`WITHDRAW_TOKEN_PROGRAM_ACCOUNT`	11
`WITHDRAW_ACTIVATION_CACHE_ACCOUNT`	12
`WITHDRAW_REGISTRY_PROGRAM_ACCOUNT`	13

Unrendered exports (verbatim)

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

export const ONE_Q62 = 4611686018427387904n;

export const LOG_SLACK = 128n;

export const MAX_LIQUIDITY = 1099511627776n;

export const EXP2_NEG_TABLE_Q62: readonly bigint[] = [
  2305843009213693952n, 3260954456333195553n, 3877950241171266237n, 4228934724888366667n,
  4416165660797809418n, 4512867096753504462n, 4562008997483360348n, 4586780255215411730n,
  4599216278082138664n, 4605446927862164403n, 4608565417332308034n, 4610125453837388244n,
  4610905670110601998n, 4611295827762151832n, 4611490918967884500n, 4611588467665893035n,
  4611637242788701949n, 4611661630543559955n, 4611673824469352644n, 4611679921444339947n,
  4611682969934856343n, 4611684494180870227n, 4611685256304066091n, 4611685637365711254n,
  4611685827896545643n, 4611685923161965789n, 4611685970794676600n, 4611685994611032190n,
  4611686006519210031n, 4611686012473298963n, 4611686015450343432n, 4611686016938865667n,
  4611686017683126785n, 4611686018055257344n, 4611686018241322623n, 4611686018334355263n,
  4611686018380871583n, 4611686018404129743n, 4611686018415758823n, 4611686018421573363n,
  4611686018424480633n, 4611686018425934268n, 4611686018426661085n, 4611686018427024494n,
  4611686018427206198n, 4611686018427297050n, 4611686018427342476n, 4611686018427365189n,
  4611686018427376546n, 4611686018427382224n, 4611686018427385063n, 4611686018427386483n,
  4611686018427387193n, 4611686018427387548n, 4611686018427387725n, 4611686018427387814n,
  4611686018427387858n, 4611686018427387880n, 4611686018427387891n, 4611686018427387897n,
  4611686018427387900n, 4611686018427387901n, 4611686018427387902n,
] as const;

export const REDEEM_WRITABLE: readonly boolean[] = [true, true, false, false, true, false, false, false, false];

export const REDEEM_SIGNER: readonly boolean[] = [true, false, false, false, false, false, false, false, false];

export const CLOSE_WRITABLE: readonly boolean[] = [true, true, true, true, false, true, true, false, false, false, false, false, false, true, false];

export const CLOSE_SIGNER: readonly boolean[] = [true, false, false, false, false, false, false, false, false, false, false, false, false, false, false];

export const FOUND_WRITABLE: readonly boolean[] = [true, true, true, true, false, true, true, true, false, false, true, true, true, false, false, false, false, false, false, false, false];

export const FOUND_SIGNER: readonly boolean[] = [true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false];

export const QUOTE_WRITABLE: readonly boolean[] = [true, false, false, true, false, false, false, false];

export const QUOTE_SIGNER: readonly boolean[] = [true, false, false, false, false, false, false, false];

export const FILL_WRITABLE: readonly boolean[] = [true, true, false, false, true, true, true, false, false, true, true, true, true, false, false, false, false, false, false];

export const FILL_SIGNER: readonly boolean[] = [true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false];

export const WITHDRAW_WRITABLE: readonly boolean[] = [true, true, false, false, false, true, true, true, false, false, false, false, false, false];

export const WITHDRAW_SIGNER: readonly boolean[] = [true, false, false, false, false, false, false, false, false, false, false, false, false, false];