ABI: refusalBandsV1

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

@generated by formal/dclutch-semantics/EmitRefusalBandsV1.lean; do not edit.
Regenerate with: npm run abi:refusal-bands

Numeric constants (widths, offsets, counts, tags)

Unrendered exports (verbatim)

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

export interface RefusalBandV1 {
  readonly label: string;
  readonly package: string;
  readonly base: number;
  readonly tier: 'program' | 'test-caller';
}

export const REFUSAL_BANDS_V1: ReadonlyArray<RefusalBandV1> = [
  { label: 'registry', package: 'dclutch-registry-sbf', base: 0x1000, tier: 'program' },
  { label: 'rent', package: 'dclutch-rent-sbf', base: 0x2000, tier: 'program' },
  { label: 'core', package: 'dclutch-core-sbf', base: 0x3000, tier: 'program' },
  { label: 'trading', package: 'dclutch-trading-sbf', base: 0x4000, tier: 'program' },
  { label: 'claims', package: 'dclutch-claims-sbf', base: 0x5000, tier: 'program' },
  { label: 'custody', package: 'dclutch-custody-sbf', base: 0x6000, tier: 'program' },
  { label: 'resolution', package: 'dclutch-resolution-proof-sbf', base: 0x8000, tier: 'program' },
  { label: 'accelerator', package: 'dclutch-accelerator-sbf', base: 0xC000, tier: 'program' },
  { label: 'test/claims-affine-batch-caller', package: 'dclutch-claims-affine-batch-test-caller-sbf', base: 0x100000, tier: 'test-caller' },
  { label: 'test/claims-fractional-signed-delta-caller', package: 'dclutch-fractional-signed-delta-test-caller-sbf', base: 0x101000, tier: 'test-caller' },
  { label: 'test/claims-liability-basis-caller', package: 'dclutch-claims-liability-basis-test-caller-sbf', base: 0x102000, tier: 'test-caller' },
  { label: 'test/claims-rational-lifecycle-caller', package: 'dclutch-rational-lifecycle-test-caller-sbf', base: 0x103000, tier: 'test-caller' },
  { label: 'test/claims-rational-v2-caller', package: 'dclutch-rational-v2-test-caller-sbf', base: 0x104000, tier: 'test-caller' },
  { label: 'test/claims-sparse-chain-caller', package: 'dclutch-claims-sparse-chain-test-caller-sbf', base: 0x105000, tier: 'test-caller' },
  { label: 'test/claims-terminal-settlement-caller', package: 'dclutch-terminal-settlement-test-caller-sbf', base: 0x106000, tier: 'test-caller' },
  { label: 'test/custody-caller', package: 'dclutch-custody-test-caller-sbf', base: 0x107000, tier: 'test-caller' },
  { label: 'test/dealer-accelerator-caller', package: 'dclutch-dealer-accelerator-test-caller-sbf', base: 0x108000, tier: 'test-caller' },
  { label: 'test/general-accelerator-caller', package: 'dclutch-general-accelerator-test-caller-sbf', base: 0x109000, tier: 'test-caller' },
  { label: 'test/resolution-receipt-caller', package: 'dclutch-resolution-receipt-test-caller-sbf', base: 0x10A000, tier: 'test-caller' },
  { label: 'test/claims-fractional-atomic-caller', package: 'dclutch-fractional-atomic-test-caller-sbf', base: 0x10B000, tier: 'test-caller' },
  { label: 'test/claims-claim-check-escrow-signer', package: 'dclutch-claim-check-escrow-signer-test-sbf', base: 0x10C000, tier: 'test-caller' },
  { label: 'test/claims-fractional-compaction-caller', package: 'dclutch-fractional-compaction-test-caller-sbf', base: 0x10D000, tier: 'test-caller' },
];