# Test coverage map

Generated by `node tools/test-coverage-map.mjs` against `contracts/contracts/*.tolk`,
`contracts/wrappers/*.ts` and `contracts/tests/**` at commit `bc8776c3` (2026-09-26).
**Measurement only.**

Every message arm and every get-method of all 16 contracts, with the spec files that
exercise it. The nine `CLAUDE.md` invariants and the tests that prove them are a
separate, hand-maintained document: `docs/audit/invariant-coverage.md`. This file asks
*is the surface reached*; that one asks *is the claim proven*.

## How a row is decided

- **A get-method is reached** when a spec calls the wrapper method whose body does
  `provider.get('<name>', …)`, or names the get-method as a string literal (a direct
  `runGetMethod`). Wrapper method names are listed so a `NONE` row is actionable.
- **A message arm is reached** when a spec calls the wrapper `send*` method that stores
  that arm's opcode first in the message body.
- **`C2C`** means the arm has no wrapper send method at all: only another contract can
  drive it. That is normal and correct for internal protocol messages — but note what
  it does **not** claim. A `C2C` row is *not* evidence the arm is exercised; it says the
  arm is unreachable from TypeScript, so whether any flow test walks it has to be
  established by reading the flow, which is Track B's job, one contract per iteration.
- **`NONE`** is the gap class: no wrapper send method **and** no contract sends it, or a
  get-method no test ever calls.
- Names in _italics_ are non-spec files (helpers, genesis scripts) — they exercise the
  path, but they are not assertions.

## Summary

| | reached | C2C only | NONE | total |
|---|---:|---:|---:|---:|
| message arms | 139 | 23 | 6 | 168 |
| get-methods | 198 | — | 1 | 199 |

**7 `NONE` rows.** Each is a Track B or Track C item.

```
minter_card.getStanding()
ratchet.Stake
ratchet.Unstake
ratchet.Harvest
ratchet.RecoverExit
ratchet.TonstakersWithdrawal
ratchet.PayoutDistributedAsset
```

## `minter_standing.tolk`

Arms 0/0 reached · get-methods 0/0 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|

## `primes_bounty_vault.tolk`

Arms 8/8 reached · get-methods 10/10 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetWallet` (0x90000003) | `sendSetWallet` | _genesisPipeline.ts_, _proveDeferredBountyLive.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpSink.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, Sinks.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, _constellationStack.ts_ |
| arm | `PayEraBounty` (0xb0000032) | `sendPayEraBounty` | _proveDeferredBountyLive.ts_, PrimesBountyVault.spec.ts |
| arm | `PaySpecialNumberRebate` (0xb0000072) | `sendPaySpecialNumberRebate` | SpecialNumbers.spec.ts, _txAudit.ts_ |
| arm | `PayProgramBounty` (0x90000002) | `sendPayProgramBounty` | PrimesBountyVault.spec.ts |
| arm | `AccrueDiscovery` (0x90000005) | `sendAccrueDiscovery` | PrimesBountyVault.spec.ts |
| arm | `ClaimDiscovery` (0x90000006) | `sendClaimDiscovery` | _bounty.ts_, PrimesBountyVault.spec.ts |
| arm | `RetryBountyPayout` (0x90000004) | `sendRetryBountyPayout` | _proveDeferredBountyLive.ts_, _bounty.ts_, PrimesBountyVault.spec.ts, SpecialNumbers.spec.ts |
| arm | `Excesses` (0xd53276db) | — | JettonInterop.spec.ts, MarketplaceTransfer.spec.ts, MockDedustVaultSwap.spec.ts |
| get | `getEraSchedule()` | `getEraSchedule` | _phase3EraCeremonyLive.ts_, _proveDeferredBountyLive.ts_, _bounty.ts_, PrimesBountyVault.spec.ts |
| get | `getRebateSchedule()` | `getRebateSchedule` | _bounty.ts_, SpecialNumbers.spec.ts, _run.ts_ |
| get | `getDiscoveryTier()` | `getDiscoveryTier` | _bounty.ts_, BuildLine.spec.ts, PrimesBountyVault.spec.ts |
| get | `getDiscoveryOwed()` | `getDiscoveryOwed` | _bounty.ts_, BuildLine.spec.ts, PrimesBountyVault.spec.ts |
| get | `getDiscoveryAccrued()` | `getDiscoveryAccrued` | _bounty.ts_, _chain.ts_, BuildLine.spec.ts, PrimesBountyVault.spec.ts |
| get | `getVaultPayouts()` | `getVaultPayouts` | _phase3EraCeremonyLive.ts_, _proveDeferredBountyLive.ts_, _bounty.ts_, _chain.ts_, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, SpecialNumbers.spec.ts |
| get | `getDeferredPayouts()` | `getDeferredPayouts` | _proveDeferredBountyLive.ts_, _bounty.ts_, PrimesBountyVault.spec.ts, SpecialNumbers.spec.ts |
| get | `getRetryEntry()` | `getRetryEntry` | _bounty.ts_, PrimesBountyVault.spec.ts |
| get | `getVaultConfig()` | `getVaultConfig` | _bounty.ts_, GenesisRehearsal.spec.ts, PrimesBountyVault.spec.ts, SpecialNumbers.spec.ts |
| get | `isAllowlisted()` | `isAllowlisted` | _bounty.ts_, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts |

## `primes_claim_receipt.tolk`

Arms 0/2 reached · get-methods 2/2 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `ReceiptAdvance` (0x9a000004) | — | **C2C** — only sender is `voucher`; no wrapper send method |
| arm | `ReceiptRestore` (0x9a000006) | — | **C2C** — only sender is `voucher`; no wrapper send method |
| get | `getPaid()` | `getPaid`, `getPaidOrZero` | _voucher.ts_, GenesisRehearsal.spec.ts, PrimesVoucher.spec.ts |
| get | `getReceiptOwner()` | `getReceiptOwner` | PrimesVoucher.spec.ts |

## `primes_collection.tolk`

Arms 4/4 reached · get-methods 7/7 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetLedger` (0xc0000003) | `sendSetLedger` | _genesisPipeline.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, InviteGenerators.spec.ts, JettonAbuse.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, PrimesVenueTimelock.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `RelayAnnotation` (0xc0000008) | — | Sinks.spec.ts |
| arm | `GetRoyaltyParams` (0x693d3950) | — | _proveRoyaltySplitLive.ts_, FeeLines.spec.ts, StorageRent.spec.ts |
| arm | `MintItem` (0xc0000001) | — | _txAudit.ts_, GasRegression.spec.ts, TxAuditOpNames.spec.ts |
| get | `getCollectionData()` | `getCollectionData`, `getCollectionData`, `getCollectionData` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, GenesisRehearsal.spec.ts |
| get | `getItemAddress()` | `getItemAddress`, `getItemAddress`, `getItemAddress` | _genesisPipeline.ts_, _ignite.ts_, _phase4ConstellationBuildLive.ts_, _annotate.ts_, _collections.ts_, _money.ts_, _surface.ts_, BounceCoverage.spec.ts, BuildLine.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, StorageRent.spec.ts, _constellationStack.ts_ |
| get | `get_collection_data()` | `getStandardCollectionData`, `getStandardCollectionData`, `getStandardCollectionData` | _genesisPipeline.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, GenesisPresentation.spec.ts |
| get | `get_nft_address_by_index()` | `getNftAddressByIndex`, `getNftAddressByIndex`, `getNftAddressByIndex` | _phase4ConstellationBuildLive.ts_, _proveDutchBuyLive.ts_, _proveItemTopUpLive.ts_, _proveResaleLive.ts_, _collections.ts_, _lot.ts_, FeeLines.spec.ts, InviteGenerators.spec.ts, _constellationStack.ts_, _txAudit.ts_ |
| get | `getRoyaltySplit()` | `getRoyaltySplit`, `getRoyaltySplit` | _proveResaleLive.ts_, _proveRoyaltySplitLive.ts_, RoyaltySplit.spec.ts |
| get | `royalty_params()` | `getRoyaltyParams`, `getRoyaltyParams`, `getRoyaltyParams` | _genesisPipeline.ts_, _proveResaleLive.ts_, _proveRoyaltySplitLive.ts_, _collections.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, RoyaltySplit.spec.ts, GenesisPresentation.spec.ts |
| get | `get_nft_content()` | `getNftContent`, `getNftContent`, `getNftContent` | _genesisPipeline.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, InviteGenerators.spec.ts, _deployGenesis.ts_, GenesisPresentation.spec.ts |

## `primes_constellation_item.tolk`

Arms 3/4 reached · get-methods 2/2 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `Populate` (0x93000002) | — | GeneratorStranding.spec.ts |
| arm | `Transfer` (0x5fcc3d14) | `sendTransfer`, `sendTransfer`, `sendTransfer` | _completeGenesisQueue.ts_, _createDedustPool.ts_, _donateFloor.ts_, _fundLive.ts_, _phase0OpenLotsLive.ts_, _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDeferredBountyLive.ts_, _proveFlushPermissionlessLive.ts_, _proveInviteMintLive.ts_, _proveItemTopUpLive.ts_, _proveRoyaltySplitLive.ts_, _resumeGenesisTail.ts_, _seedDedustLiquidity.ts_, _smokeMintLive.ts_, _collections.ts_, _sender.ts_, _transferTon.ts_, BuildLine.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts, Sinks.spec.ts, Staking.spec.ts, _proveResaleLive.ts_, MarketplaceTransfer.spec.ts, TxAuditOpNames.spec.ts |
| arm | `ProveOwnership` (0xb0000063) | — | **C2C** — only sender is `registrar`; no wrapper send method |
| arm | `GetStaticData` (0x2fcb26a2) | — | GeneratorStranding.spec.ts, MarketplaceTransfer.spec.ts |
| get | `getConstellationData()` | `getConstellationData` | BuildLine.spec.ts |
| get | `get_nft_data()` | `getNftData`, `getNftData`, `getNftData` | _proveDutchBuyLive.ts_, _proveResaleLive.ts_, _collections.ts_, BounceCoverage.spec.ts, FeeLines.spec.ts, GeneratorStranding.spec.ts, GenesisRehearsal.spec.ts, InviteGenerators.spec.ts, PrimesMarket.spec.ts, _lot.ts_, BuildLine.spec.ts, MarketplaceTransfer.spec.ts |

## `primes_constellations_collection.tolk`

Arms 2/3 reached · get-methods 6/6 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetRegistrar` (0x93000003) | `sendSetRegistrar` | _genesisPipeline.ts_, InviteGenerators.spec.ts, _constellationStack.ts_ |
| arm | `GetRoyaltyParams` (0x693d3950) | — | _proveRoyaltySplitLive.ts_, FeeLines.spec.ts, StorageRent.spec.ts |
| arm | `MintConstellation` (0x93000001) | `sendMintConstellation` | **C2C** — only sender is `registrar`; no wrapper send method |
| get | `getCollectionData()` | `getCollectionData`, `getCollectionData`, `getCollectionData` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, GenesisRehearsal.spec.ts |
| get | `getItemAddress()` | `getItemAddress`, `getItemAddress`, `getItemAddress` | _genesisPipeline.ts_, _ignite.ts_, _phase4ConstellationBuildLive.ts_, _annotate.ts_, _collections.ts_, _money.ts_, _surface.ts_, BounceCoverage.spec.ts, BuildLine.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, StorageRent.spec.ts, _constellationStack.ts_ |
| get | `get_collection_data()` | `getStandardCollectionData`, `getStandardCollectionData`, `getStandardCollectionData` | _genesisPipeline.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, GenesisPresentation.spec.ts |
| get | `get_nft_address_by_index()` | `getNftAddressByIndex`, `getNftAddressByIndex`, `getNftAddressByIndex` | _phase4ConstellationBuildLive.ts_, _proveDutchBuyLive.ts_, _proveItemTopUpLive.ts_, _proveResaleLive.ts_, _collections.ts_, _lot.ts_, FeeLines.spec.ts, InviteGenerators.spec.ts, _constellationStack.ts_, _txAudit.ts_ |
| get | `royalty_params()` | `getRoyaltyParams`, `getRoyaltyParams`, `getRoyaltyParams` | _genesisPipeline.ts_, _proveResaleLive.ts_, _proveRoyaltySplitLive.ts_, _collections.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, RoyaltySplit.spec.ts, GenesisPresentation.spec.ts |
| get | `get_nft_content()` | `getNftContent`, `getNftContent`, `getNftContent` | _genesisPipeline.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, InviteGenerators.spec.ts, _deployGenesis.ts_, GenesisPresentation.spec.ts |

## `primes_generator_item.tolk`

Arms 4/4 reached · get-methods 2/2 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `Populate` (0x98000002) | — | GeneratorStranding.spec.ts |
| arm | `Transfer` (0x5fcc3d14) | `sendTransfer`, `sendTransfer`, `sendTransfer` | _completeGenesisQueue.ts_, _createDedustPool.ts_, _donateFloor.ts_, _fundLive.ts_, _phase0OpenLotsLive.ts_, _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDeferredBountyLive.ts_, _proveFlushPermissionlessLive.ts_, _proveInviteMintLive.ts_, _proveItemTopUpLive.ts_, _proveRoyaltySplitLive.ts_, _resumeGenesisTail.ts_, _seedDedustLiquidity.ts_, _smokeMintLive.ts_, _collections.ts_, _sender.ts_, _transferTon.ts_, BuildLine.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts, Sinks.spec.ts, Staking.spec.ts, _proveResaleLive.ts_, MarketplaceTransfer.spec.ts, TxAuditOpNames.spec.ts |
| arm | `Burn` (0x99000001) | `sendBurn` | GasRegression.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts, JettonInterop.spec.ts |
| arm | `GetStaticData` (0x2fcb26a2) | — | GeneratorStranding.spec.ts, MarketplaceTransfer.spec.ts |
| get | `getGeneratorData()` | `getGeneratorData` | _phase4ConstellationBuildLive.ts_, _collections.ts_, BuildLine.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts |
| get | `get_nft_data()` | `getNftData`, `getNftData`, `getNftData` | _proveDutchBuyLive.ts_, _proveResaleLive.ts_, _collections.ts_, BounceCoverage.spec.ts, FeeLines.spec.ts, GeneratorStranding.spec.ts, GenesisRehearsal.spec.ts, InviteGenerators.spec.ts, PrimesMarket.spec.ts, _lot.ts_, BuildLine.spec.ts, MarketplaceTransfer.spec.ts |

## `primes_generators_collection.tolk`

Arms 4/4 reached · get-methods 6/6 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetLedger` (0x98000003) | `sendSetLedger` | _genesisPipeline.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, InviteGenerators.spec.ts, JettonAbuse.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, PrimesVenueTimelock.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `SetRegistrar` (0x98000004) | `sendSetRegistrar` | _genesisPipeline.ts_, InviteGenerators.spec.ts, _constellationStack.ts_ |
| arm | `GetRoyaltyParams` (0x693d3950) | — | _proveRoyaltySplitLive.ts_, FeeLines.spec.ts, StorageRent.spec.ts |
| arm | `DeployGenerator` (0x98000001) | `sendDeployGenerator` | InviteGenerators.spec.ts, _constellationStack.ts_ |
| get | `getCollectionData()` | `getCollectionData`, `getCollectionData`, `getCollectionData` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, GenesisRehearsal.spec.ts |
| get | `get_collection_data()` | `getStandardCollectionData`, `getStandardCollectionData`, `getStandardCollectionData` | _genesisPipeline.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, GenesisPresentation.spec.ts |
| get | `get_nft_address_by_index()` | `getNftAddressByIndex`, `getNftAddressByIndex`, `getNftAddressByIndex` | _phase4ConstellationBuildLive.ts_, _proveDutchBuyLive.ts_, _proveItemTopUpLive.ts_, _proveResaleLive.ts_, _collections.ts_, _lot.ts_, FeeLines.spec.ts, InviteGenerators.spec.ts, _constellationStack.ts_, _txAudit.ts_ |
| get | `getRoyaltySplit()` | `getRoyaltySplit`, `getRoyaltySplit` | _proveResaleLive.ts_, _proveRoyaltySplitLive.ts_, RoyaltySplit.spec.ts |
| get | `royalty_params()` | `getRoyaltyParams`, `getRoyaltyParams`, `getRoyaltyParams` | _genesisPipeline.ts_, _proveResaleLive.ts_, _proveRoyaltySplitLive.ts_, _collections.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, RoyaltySplit.spec.ts, GenesisPresentation.spec.ts |
| get | `get_nft_content()` | `getNftContent`, `getNftContent`, `getNftContent` | _genesisPipeline.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts, InviteGenerators.spec.ts, _deployGenesis.ts_, GenesisPresentation.spec.ts |

## `primes_item.tolk`

Arms 8/10 reached · get-methods 12/12 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `Populate` (0xc0000002) | — | GeneratorStranding.spec.ts |
| arm | `ItemAnnotate` (0xc1000007) | — | **C2C** — only sender is `collection`; no wrapper send method |
| arm | `CreditTribute` (0xb0000030) | — | FuzzInvariants.spec.ts |
| arm | `CreditDividend` (0xb0000036) | — | PrimesMarket.spec.ts |
| arm | `ClaimTribute` (0xc1000001) | `sendClaimTribute` | _money.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, PrimesGenesisMint.spec.ts, StorageRent.spec.ts |
| arm | `Transfer` (0x5fcc3d14) | `sendTransfer`, `sendTransfer`, `sendTransfer` | _completeGenesisQueue.ts_, _createDedustPool.ts_, _donateFloor.ts_, _fundLive.ts_, _phase0OpenLotsLive.ts_, _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDeferredBountyLive.ts_, _proveFlushPermissionlessLive.ts_, _proveInviteMintLive.ts_, _proveItemTopUpLive.ts_, _proveRoyaltySplitLive.ts_, _resumeGenesisTail.ts_, _seedDedustLiquidity.ts_, _smokeMintLive.ts_, _collections.ts_, _sender.ts_, _transferTon.ts_, BuildLine.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts, Sinks.spec.ts, Staking.spec.ts, _proveResaleLive.ts_, MarketplaceTransfer.spec.ts, TxAuditOpNames.spec.ts |
| arm | `GetStaticData` (0x2fcb26a2) | — | GeneratorStranding.spec.ts, MarketplaceTransfer.spec.ts |
| arm | `ForwardToOwner` (0xc1000002) | — | _txAudit.ts_ |
| arm | `ProveOwnership` (0xb0000063) | — | **C2C** — only sender is `registrar`; no wrapper send method |
| arm | `TopUp` (0xc1000006) | `sendTopUp` | _proveItemTopUpLive.ts_, StorageRent.spec.ts |
| get | `getNumberData()` | `getNumberData` | _proveItemTopUpLive.ts_, _money.ts_, FeeLines.spec.ts, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, MarketplaceTransfer.spec.ts, Sinks.spec.ts, StorageRent.spec.ts |
| get | `getMintedDay()` | `getMintedDay` | PrimesGenesisMint.spec.ts |
| get | `getOwed()` | `getOwed` | _proveResaleLive.ts_, _money.ts_, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, SimCrossCheck.spec.ts, StorageRent.spec.ts |
| get | `getDivEntry()` | `getDivEntry`, `getDivEntryRaw` | _money.ts_, FuzzInvariants.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts |
| get | `getClaimableDividend()` | `getClaimableDividend`, `getClaimableDividendRaw` | _money.ts_, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts |
| get | `getForfeited()` | `getForfeited`, `getForfeitedRaw` | _proveCompositeSplitLive.ts_, _money.ts_, AttachedValue.spec.ts, BounceCoverage.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts, RoundingDust.spec.ts, SplitClosure.spec.ts |
| get | `getTributeTotal()` | `getTributeTotal` | PrimesGenesisMint.spec.ts |
| get | `getReferralPaid()` | `getReferralPaid` | PrimesGenesisMint.spec.ts |
| get | `getNamer()` | `getNamer` | _annotate.ts_, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, Sinks.spec.ts |
| get | `getAnnotation()` | `getAnnotation` | _annotate.ts_, Sinks.spec.ts |
| get | `getStorageRunway()` | `getStorageRunway` | _proveItemTopUpLive.ts_, StorageRent.spec.ts |
| get | `get_nft_data()` | `getNftData`, `getNftData`, `getNftData` | _proveDutchBuyLive.ts_, _proveResaleLive.ts_, _collections.ts_, BounceCoverage.spec.ts, FeeLines.spec.ts, GeneratorStranding.spec.ts, GenesisRehearsal.spec.ts, InviteGenerators.spec.ts, PrimesMarket.spec.ts, _lot.ts_, BuildLine.spec.ts, MarketplaceTransfer.spec.ts |

## `primes_jetton_master.tolk`

Arms 6/7 reached · get-methods 4/4 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetLedger` (0xd0000004) | `sendSetLedger` | _genesisPipeline.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, InviteGenerators.spec.ts, JettonAbuse.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, PrimesVenueTimelock.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `MintOp` (0xd0000001) | — | _txAudit.ts_, FuzzInvariants.spec.ts |
| arm | `MintGenesis` (0xd0000002) | `sendMintGenesis` | _genesisPipeline.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, _constellationStack.ts_ |
| arm | `SealAuthority` (0xd0000003) | `sendSealAuthority` | _genesisPipeline.ts_, _resumeGenesisTail.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, JettonInterop.spec.ts, MarkRejectedRace.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, StorageRent.spec.ts, UnbackedFloorLaunch.spec.ts, _constellationStack.ts_ |
| arm | `BurnNotification` (0x7bdd97de) | — | **C2C** — only sender is `jetton_wallet`; no wrapper send method |
| arm | `ProvideWalletAddress` (0x2c76b973) | — | JettonInterop.spec.ts |
| arm | `Excesses` (0xd53276db) | — | JettonInterop.spec.ts, MarketplaceTransfer.spec.ts, MockDedustVaultSwap.spec.ts |
| get | `getJettonData()` | `getJettonData` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _resumeGenesisTail.ts_, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, JettonInterop.spec.ts, UnbackedFloorLaunch.spec.ts |
| get | `getWalletAddress()` | `getWalletAddress` | _genesisPipeline.ts_, _bounty.ts_, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, UnbackedFloorLaunch.spec.ts, _constellationStack.ts_, _deployGenesis.ts_ |
| get | `get_jetton_data()` | `getJettonDataStandard` | _genesisPipeline.ts_, GenesisRehearsal.spec.ts, JettonInterop.spec.ts, GenesisPresentation.spec.ts |
| get | `get_wallet_address()` | `getWalletAddressStandard` | JettonInterop.spec.ts, _createDedustPool.ts_, _deployGenesis.ts_, _genesisPipeline.ts_, _genesisPrep.ts_, _proveDeferredBountyLive.ts_, _seedDedustLiquidity.ts_, _annotate.ts_, _lpGovernance.ts_, _pool.ts_, _primes.ts_, _stake.ts_, GenesisRehearsal.spec.ts, JettonAbuse.spec.ts, SenderGates.spec.ts |

## `primes_jetton_wallet.tolk`

Arms 3/3 reached · get-methods 2/2 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `InternalTransfer` (0x178d4519) | — | JettonAbuse.spec.ts |
| arm | `Transfer` (0x0f8a7ea5) | `sendTransfer` | _completeGenesisQueue.ts_, _createDedustPool.ts_, _donateFloor.ts_, _fundLive.ts_, _phase0OpenLotsLive.ts_, _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDeferredBountyLive.ts_, _proveFlushPermissionlessLive.ts_, _proveInviteMintLive.ts_, _proveItemTopUpLive.ts_, _proveRoyaltySplitLive.ts_, _resumeGenesisTail.ts_, _seedDedustLiquidity.ts_, _smokeMintLive.ts_, _collections.ts_, _sender.ts_, _transferTon.ts_, BuildLine.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts, Sinks.spec.ts, Staking.spec.ts, _dedust.ts_, _tston.ts_, BounceCoverage.spec.ts, JettonInterop.spec.ts, LpCustody.spec.ts, OpcodeRegistryRule.spec.ts, Treasury.spec.ts |
| arm | `Burn` (0x595f07bc) | `sendBurn` | GasRegression.spec.ts, GeneratorStranding.spec.ts, InviteGenerators.spec.ts, JettonInterop.spec.ts, DecompositionSolvency.spec.ts, OpcodeRegistryRule.spec.ts |
| get | `getWalletData()` | `getWalletData` | _bounty.ts_, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, UnbackedFloorLaunch.spec.ts |
| get | `get_wallet_data()` | `getWalletDataStandard` | JettonInterop.spec.ts, _proveDeferredBountyLive.ts_, _seedDedustLiquidity.ts_, _annotate.ts_, _lpGovernance.ts_, _pool.ts_, _primes.ts_, _run.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, Staking.spec.ts |

## `primes_ledger.tolk`

Arms 23/26 reached · get-methods 34/34 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `CardMint` (0x9b000001) | — | **C2C** — only sender is `minter_card`; no wrapper send method |
| arm | `CardRecruitCounted` (0x9b000003) | — | GasRegression.spec.ts |
| arm | `LedgerClaimTribute` (0xb0000004) | — | FuzzInvariants.spec.ts, OpcodeRegistryRule.spec.ts |
| arm | `ClaimDividend` (0xb0000008) | `sendClaimDividend` | _money.ts_, FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts |
| arm | `DividendCredited` (0xb000000e) | — | PrimesGenesisMint.spec.ts |
| arm | `RetryCredit` (0xb0000005) | `sendRetryCredit` | _ops.ts_, RetryCredit.spec.ts, FuzzInvariants.spec.ts |
| arm | `RetryMint` (0xb000000d) | `sendRetryMint` | _ops.ts_, UnbackedFloorLaunch.spec.ts |
| arm | `SetSinks` (0xb0000042) | `sendSetSinks` | _genesisPipeline.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, PrimesVenueTimelock.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `SetInviteConfig` (0xb0000046) | `sendSetInviteConfig` | _genesisPipeline.ts_, _constellationStack.ts_ |
| arm | `Ignite` (0xb000000a) | `sendIgnite` | _genesisPipeline.ts_, _ignite.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, SimCrossCheck.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `SyncLaunch` (0xb000000b) | `sendSyncLaunch` | _ignite.ts_, BounceCoverage.spec.ts |
| arm | `GenesisSeed` (0xb0000040) | `sendGenesisSeed` | _genesisPipeline.ts_, _resumeGenesisTail.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `ClearingCleared` (0xb0000009) | `sendClearingCleared` | FeeLines.spec.ts, PrimesMarket.spec.ts |
| arm | `RoyaltyToRatchet` (0xb0000079) | — | **C2C** — only sender is `collection/generators_collection`; no wrapper send method |
| arm | `DonateFloor` (0xb000000c) | `sendDonateFloor` | _genesisPipeline.ts_, FeeLines.spec.ts, FuzzInvariants.spec.ts, UnbackedFloorLaunch.spec.ts, _constellationStack.ts_, _donateFloor.ts_ |
| arm | `SettlePrimeClearing` (0xb0000024) | `sendSettlePrimeClearing` | BounceCoverage.spec.ts, FeeLines.spec.ts, HeadWalk.spec.ts, PrimesMarket.spec.ts |
| arm | `SetPeers` (0xb0000041) | `sendSetPeers` | _genesisPipeline.ts_, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, HeadWalk.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, SimCrossCheck.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `SweepOps` (0xb0000007) | `sendSweepOps` | _ops.ts_, AttachedValue.spec.ts, DecompositionSolvency.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, ReplayIdempotence.spec.ts |
| arm | `MarkOffHead` (0xb0000021) | — | BounceCoverage.spec.ts, FuzzInvariants.spec.ts, OmegaBound.spec.ts |
| arm | `SyncHead` (0xb0000023) | `sendSyncHead` | _ops.ts_, AttachedValue.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, _market.ts_ |
| arm | `AdvanceHead` (0xb000007c) | `sendAdvanceHead` | HeadWalk.spec.ts |
| arm | `OpenBuild` (0xb0000074) | `sendOpenBuild` | _phase4ConstellationBuildLive.ts_, BuildLine.spec.ts, GeneratorStranding.spec.ts, MessageCrossCheck.spec.ts |
| arm | `MintWonLot` (0xb0000020) | — | BounceCoverage.spec.ts, FuzzInvariants.spec.ts, OmegaBound.spec.ts, PrimesMarket.spec.ts |
| arm | `MintConfirmed` (0xb000007a) | — | **C2C** — only sender is `collection`; no wrapper send method |
| arm | `RetryItem` (0xb000007b) | `sendRetryItem` | BounceCoverage.spec.ts |
| arm | `QuoteFloor` (0xb0000047) | — | Sinks.spec.ts, TxAuditOpNames.spec.ts |
| get | `getFloorNum()` | `getFloorNum` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _ignite.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDutchBuyLive.ts_, _proveFlushPermissionlessLive.ts_, _proveResaleLive.ts_, _proveRoyaltySplitLive.ts_, _smokeMintLive.ts_, _annotate.ts_, _chain.ts_, _collections.ts_, _lot.ts_, _pool.ts_, _state.ts_, AttachedValue.spec.ts, BuildLine.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, InviteGenerators.spec.ts, MinterCard.spec.ts, MockDedustVaultSwap.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, UnbackedFloorLaunch.spec.ts, _dedust.ts_, _donateFloor.ts_, _seedDedustLiquidity.ts_ |
| get | `getFloorDen()` | `getFloorDen` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _ignite.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDutchBuyLive.ts_, _proveResaleLive.ts_, _smokeMintLive.ts_, _annotate.ts_, _chain.ts_, _collections.ts_, _lot.ts_, _pool.ts_, _state.ts_, AttachedValue.spec.ts, DecompositionSolvency.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, MinterCard.spec.ts, MockDedustVaultSwap.spec.ts, PrimesGenesisMint.spec.ts, ReplayIdempotence.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, UnbackedFloorLaunch.spec.ts, _dedust.ts_, _donateFloor.ts_, _seedDedustLiquidity.ts_ |
| get | `getMaxSupply()` | `getMaxSupply` | SupplyCap.spec.ts |
| get | `getUnmintedHeld()` | `getUnmintedHeld` | _genesisPipeline.ts_, FuzzInvariants.spec.ts, UnbackedFloorLaunch.spec.ts |
| get | `getSeedT()` | `getSeedT` | _completeGenesisQueue.ts_, _chain.ts_, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, GenesisSeedGriefing.spec.ts, ReplayIdempotence.spec.ts, _donateFloor.ts_ |
| get | `getDivAcc()` | `getDivAcc` | _money.ts_, AttachedValue.spec.ts, FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, SimCrossCheck.spec.ts |
| get | `getDivEntry()` | `getDivEntry`, `getDivEntryRaw` | _money.ts_, FuzzInvariants.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts |
| get | `getClaimableDividend()` | `getClaimableDividend`, `getClaimableDividendRaw` | _money.ts_, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts |
| get | `getSolvency()` | `getSolvency`, `getSolvency`, `getSolvency`, `getSolvency` | _chain.ts_, DecompositionSolvency.spec.ts, EraTrophyTransfer.spec.ts, FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, Sinks.spec.ts |
| get | `getLiabilityBreakdown()` | `getLiabilityBreakdown` | _chain.ts_, _money.ts_, _ops.ts_, AttachedValue.spec.ts, BounceCoverage.spec.ts, DecompositionSolvency.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, SplitClosure.spec.ts |
| get | `getRetryItemMinValue()` | `getRetryItemMinValue` | BounceCoverage.spec.ts |
| get | `getNextUnroutedItem()` | `getNextUnroutedItem` | BounceCoverage.spec.ts |
| get | `getOpsSweep()` | `getOpsSweep` | _ops.ts_, DecompositionSolvency.spec.ts, FeeLines.spec.ts |
| get | `getOperatorTotals()` | `getOperatorTotals` | _proveCompositeSplitLive.ts_, _ops.ts_, AttachedValue.spec.ts, FeeLines.spec.ts, GasRegression.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, SplitClosure.spec.ts |
| get | `getFeeDests()` | `getFeeDests` | _proveCompositeSplitLive.ts_, FeeLines.spec.ts, GenesisRehearsal.spec.ts |
| get | `getInviteSpend()` | `getInviteSpend` | _proveInviteMintLive.ts_, InviteGenerators.spec.ts, SplitClosure.spec.ts |
| get | `getInviteConfig()` | `getInviteConfig` | _genesisPipeline.ts_, _proveInviteMintLive.ts_ |
| get | `getSinks()` | `getSinks` | _genesisPipeline.ts_, _ignite.ts_, DecompositionSolvency.spec.ts, ReplayIdempotence.spec.ts |
| get | `getHead()` | `getHead` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _phase0OpenLotsLive.ts_, _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, _phase4ConstellationBuildLive.ts_, _proveCompositeSplitLive.ts_, _proveDutchBuyLive.ts_, _proveInviteMintLive.ts_, _proveResaleLive.ts_, _resumeGenesisTail.ts_, _smokeMintLive.ts_, _annotate.ts_, _bounty.ts_, _chain.ts_, _collections.ts_, _lot.ts_, _makeInvites.ts_, _money.ts_, _state.ts_, _surface.ts_, _txAudit.ts_, AttachedValue.spec.ts, BounceCoverage.spec.ts, BuildLine.spec.ts, CollectionDrain.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FactorCrossCheck.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, InviteGenerators.spec.ts, MarkRejectedRace.spec.ts, MinterCard.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RoundingDust.spec.ts, SimCrossCheck.spec.ts, SplitClosure.spec.ts |
| get | `getWalkPending()` | `getWalkPending` | HeadWalk.spec.ts |
| get | `getLaunch()` | `getLaunch` | _genesisPipeline.ts_, _ignite.ts_, DecompositionSolvency.spec.ts, GenesisRehearsal.spec.ts, ReplayIdempotence.spec.ts, UnbackedFloorLaunch.spec.ts |
| get | `getPrimesCount()` | `getPrimesCount` | _money.ts_, AttachedValue.spec.ts, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, GenesisSeedGriefing.spec.ts, HeadWalk.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, ReplayIdempotence.spec.ts, RoundingDust.spec.ts |
| get | `getLastMintTime()` | `getLastMintTime` | FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts |
| get | `getK()` | `getK` | PrimesGenesisMint.spec.ts |
| get | `getKMax()` | `getKMax` | KMaxCurve.spec.ts, PrimesGenesisMint.spec.ts, SimCrossCheck.spec.ts, SupplyCap.spec.ts |
| get | `getMinterCardAddress()` | `getMinterCardAddress` | AttachedValue.spec.ts, GasRegression.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, MinterCard.spec.ts |
| get | `getKMaxFor()` | `getKMaxForSum` | MinterCard.spec.ts |
| get | `getEraLeader()` | `getEraLeader` | _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, EraTrophy.spec.ts, GasRegression.spec.ts, MinterCard.spec.ts |
| get | `isKnownPrime()` | `isKnownPrime` | GenesisRehearsal.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts |
| get | `isNumberOffHead()` | `isNumberOffHead` | _money.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, HeadWalk.spec.ts, PrimesMarket.spec.ts, SplitClosure.spec.ts |
| get | `getPeers()` | `getPeers`, `getPeers` | _genesisPipeline.ts_, _ignite.ts_, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts |
| get | `getForfeited()` | `getForfeited`, `getForfeitedRaw` | _proveCompositeSplitLive.ts_, _money.ts_, AttachedValue.spec.ts, BounceCoverage.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts, RoundingDust.spec.ts, SplitClosure.spec.ts |
| get | `isPrimeUnsold()` | `isPrimeUnsold` | _proveCompositeSplitLive.ts_, _money.ts_, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, HeadWalk.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts |
| get | `getItemAddress()` | `getItemAddress`, `getItemAddress`, `getItemAddress` | _genesisPipeline.ts_, _ignite.ts_, _phase4ConstellationBuildLive.ts_, _annotate.ts_, _collections.ts_, _money.ts_, _surface.ts_, BounceCoverage.spec.ts, BuildLine.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, StorageRent.spec.ts, _constellationStack.ts_ |

## `primes_lp_position.tolk`

Arms 7/9 reached · get-methods 8/8 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `LpCredit` (0x96000010) | — | **C2C** — only sender is `treasury`; no wrapper send method |
| arm | `ConfirmWithdraw` (0x96000012) | — | **C2C** — only sender is `treasury`; no wrapper send method |
| arm | `RestorePosition` (0x96000013) | — | LpCustody.spec.ts |
| arm | `Withdraw` (0x96000021) | `sendWithdraw` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts |
| arm | `ToSink` (0x96000023) | `sendToSink` | _lpGovernance.ts_, FuzzInvariants.spec.ts, LpCustody.spec.ts |
| arm | `PositionVote` (0x96000024) | `sendVote` | _lpGovernance.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Treasury.spec.ts |
| arm | `PositionPropose` (0x96000025) | `sendPropose` | _lpGovernance.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Treasury.spec.ts |
| arm | `Relock` (0x96000026) | `sendRelock` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| arm | `Expire` (0x96000027) | `sendExpire` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getPositions()` | `getPositions`, `getPositions` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, LpCustody.spec.ts, Staking.spec.ts |
| get | `getPosition()` | `getPosition`, `getPosition` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts, LpPositionGuard.spec.ts |
| get | `getHasVoted()` | `getHasVoted` | _lpGovernance.ts_, Treasury.spec.ts |
| get | `getVotedCount()` | `getVotedCount` | Treasury.spec.ts |
| get | `getVoteWeight()` | `getVoteWeight` | _lpGovernance.ts_, FuzzInvariants.spec.ts, LpCustody.spec.ts |
| get | `getPositionOwner()` | `getPositionOwner`, `getPositionOwner` | LpCustody.spec.ts |
| get | `getTierTerms()` | `getTierTerms`, `getTierTerms`, `getTierTerms`, `getTierTerms` | _lpGovernance.ts_, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getPositionMinForward()` | `getPositionMinForward`, `getPositionMinForward` | LpCustody.spec.ts |

## `primes_lp_sink.tolk`

Arms 2/2 reached · get-methods 3/3 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetWallet` (0x97000001) | `sendSetWallet` | _genesisPipeline.ts_, _proveDeferredBountyLive.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpSink.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, Sinks.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, _constellationStack.ts_ |
| arm | `TransferNotification` (0x7362d09c) | `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification` | FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, LpSink.spec.ts, Sinks.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts, DecompositionSolvency.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, MockDedustVaultSwap.spec.ts, WireFormatDeDustDeposit.spec.ts |
| get | `getLocked()` | `getLocked` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _seedDedustLiquidity.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, LpSink.spec.ts |
| get | `getEvents()` | `getEvents` | _completeGenesisQueue.ts_, GenesisRehearsal.spec.ts, LpSink.spec.ts |
| get | `getLpSinkConfig()` | `getLpSinkConfig` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _seedDedustLiquidity.ts_, GenesisRehearsal.spec.ts, LpSink.spec.ts |

## `primes_market.tolk`

Arms 7/9 reached · get-methods 23/23 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `OpenLot` (0xf2000001) | `sendOpenLot` | _phase0OpenLotsLive.ts_, _lot.ts_, AuctionGriefing.spec.ts, ClockDivisor.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, MarkRejectedRace.spec.ts, MessageCrossCheck.spec.ts, OmegaBound.spec.ts, PrimesMarket.spec.ts, SplitClosure.spec.ts, _market.ts_ |
| arm | `OpenHeadLot` (0xf2000002) | `sendOpenHeadLot` | _lot.ts_, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts, _market.ts_ |
| arm | `BidLot` (0xf2000003) | `sendBid` | _phase0OpenLotsLive.ts_, _proveDutchBuyLive.ts_, _lot.ts_, AuctionGriefing.spec.ts, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, MessageCrossCheck.spec.ts, PrimesMarket.spec.ts, _market.ts_ |
| arm | `CloseLot` (0xf2000004) | `sendClose` | _lot.ts_, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, MessageCrossCheck.spec.ts, PrimesMarket.spec.ts, _market.ts_ |
| arm | `RetryPremiumForward` (0xf2000012) | `sendRetryPremiumForward` | _ops.ts_, PrimesMarket.spec.ts |
| arm | `HeadUpdate` (0xe0000031) | — | **C2C** — only sender is `ledger`; no wrapper send method |
| arm | `LaunchOpen` (0xe0000034) | `sendLaunchOpen` | ClockDivisor.spec.ts, PrimesMarket.spec.ts, OpcodeRegistryRule.spec.ts |
| arm | `SettleConfirmed` (0xe0000033) | — | PrimesMarket.spec.ts |
| arm | `MarkRejected` (0xe0000032) | — | **C2C** — only sender is `ledger`; no wrapper send method |
| get | `getLaunched()` | `getLaunched` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _ignite.ts_, ClockDivisor.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts |
| get | `getHeadHint()` | `getHeadHint`, `getHeadHint` | _completeGenesisQueue.ts_, _phase0OpenLotsLive.ts_, _lot.ts_, _ops.ts_, BuildLine.spec.ts, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, MarkRejectedRace.spec.ts, PrimesMarket.spec.ts, RecordMintBounceGap.spec.ts, ReplayIdempotence.spec.ts, _market.ts_ |
| get | `getAuctionableMax()` | `getAuctionableMax` | PrimesMarket.spec.ts |
| get | `getLotPrice()` | `getLotPrice` | _phase0OpenLotsLive.ts_, _lot.ts_, PrimesMarket.spec.ts, SpecialNumbers.spec.ts, _market.ts_, _surface.ts_ |
| get | `getLotPriceFrom()` | `getLotPriceFrom` | _phase0OpenLotsLive.ts_, _lot.ts_, AuctionGriefing.spec.ts, ClockDivisor.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, MarkRejectedRace.spec.ts, OmegaBound.spec.ts, PrimesMarket.spec.ts, SpecialNumbers.spec.ts, SplitClosure.spec.ts, _market.ts_, _surface.ts_ |
| get | `getLot()` | `getLot` | _phase0OpenLotsLive.ts_, _proveDutchBuyLive.ts_, _lot.ts_, AuctionGriefing.spec.ts, ClockDivisor.spec.ts, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, MarkRejectedRace.spec.ts, OmegaBound.spec.ts, PrimesMarket.spec.ts, _market.ts_, _annotate.ts_ |
| get | `getLotFloor()` | `getLotFloor` | PrimesMarket.spec.ts, GenesisRehearsal.spec.ts |
| get | `getIsOpenable()` | `getIsOpenable` | _lot.ts_, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts |
| get | `getLotLane()` | `getLotLane` | _lot.ts_, PrimesMarket.spec.ts |
| get | `getResGas()` | `getResGas` | GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts, SimCrossCheck.spec.ts |
| get | `getResFeeSplit()` | `getResFeeSplit` | GasRegression.spec.ts, SimCrossCheck.spec.ts |
| get | `getMarketParams()` | `getMarketParams` | _completeGenesisQueue.ts_, _state.ts_, AuctionGriefing.spec.ts, ClockDivisor.spec.ts, GenesisRehearsal.spec.ts, SimCrossCheck.spec.ts |
| get | `getIncrementLadder()` | `getIncrementLadder` | SimCrossCheck.spec.ts |
| get | `getPrimeDutchTerms()` | `getPrimeDutchTerms` | ClockDivisor.spec.ts, GenesisRehearsal.spec.ts, PrimesMarket.spec.ts, _market.ts_, SimCrossCheck.spec.ts |
| get | `getPrimeFloor()` | `getPrimeFloor` | GenesisRehearsal.spec.ts, PrimesMarket.spec.ts |
| get | `getScoreBreakdown()` | `getScoreBreakdown` | PrimesMarket.spec.ts, SpecialNumbers.spec.ts, _surface.ts_ |
| get | `getScoreBreakdownFrom()` | `getScoreBreakdownFrom` | SpecialNumbers.spec.ts, _surface.ts_ |
| get | `getFracTable()` | `getFracTable` | PrimesMarket.spec.ts |
| get | `getScoreWeights()` | `getScoreWeights` | PrimesMarket.spec.ts, SpecialNumbers.spec.ts |
| get | `getMarketConfig()` | `getMarketConfig` | GenesisRehearsal.spec.ts |
| get | `getNpv()` | `getNpv` | PrimesMarket.spec.ts |
| get | `getMarketStats()` | `getMarketStats` | _phase0OpenLotsLive.ts_, _ops.ts_, _state.ts_, DecompositionSolvency.spec.ts, GenesisRehearsal.spec.ts, MarkRejectedRace.spec.ts, PrimesMarket.spec.ts |
| get | `getSolvency()` | `getSolvency`, `getSolvency`, `getSolvency`, `getSolvency` | _chain.ts_, DecompositionSolvency.spec.ts, EraTrophyTransfer.spec.ts, FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, Sinks.spec.ts |

## `primes_minter_card.tolk`

Arms 1/4 reached · get-methods 6/7 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `Mint` (0xb0000002) | — | _txAudit.ts_, FuzzInvariants.spec.ts, MessageCrossCheck.spec.ts, TxAuditOpNames.spec.ts |
| arm | `CardMintRefunded` (0x9b000005) | — | **C2C** — only sender is `ledger`; no wrapper send method |
| arm | `CardAddRecruit` (0x9b000002) | — | **C2C** — only sender is `ledger`; no wrapper send method |
| arm | `CardPrimeMinted` (0x9b000004) | — | **C2C** — only sender is `ledger`; no wrapper send method |
| get | `getMinterState()` | `getMinterState` | _smokeMintLive.ts_, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, MinterCard.spec.ts |
| get | `getRecruitRank()` | `getRecruitRank` | _phase2RecruitCohortLive.ts_, _money.ts_, EraTrophy.spec.ts, FuzzInvariants.spec.ts, MinterCard.spec.ts |
| get | `getNewcomerWindow()` | `getNewcomerWindow` | _phase2RecruitCohortLive.ts_, _money.ts_, EraTrophy.spec.ts, MinterCard.spec.ts |
| get | `getUpliftLine()` | `getUpliftLine` | _phase2RecruitCohortLive.ts_, MinterCard.spec.ts, Sinks.spec.ts |
| get | `getEraRecruits()` | `getEraRecruits` | _phase2RecruitCohortLive.ts_, _phase3EraCeremonyLive.ts_, EraTrophy.spec.ts, MinterCard.spec.ts |
| get | `getStanding()` | — | **NONE** |
| get | `getCardOwner()` | `getCardOwner` | MinterCard.spec.ts |

## `primes_ratchet.tolk`

Arms 10/16 reached · get-methods 19/19 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `PoolInject` (0xb0000050) | `sendPoolInject` | DecompositionSolvency.spec.ts, GasRegression.spec.ts, RatchetStaking.spec.ts, _txAudit.ts_, FuzzInvariants.spec.ts, TxAuditOpNames.spec.ts |
| arm | `Flush` (0xb0000006) | `sendFlush` | AttachedValue.spec.ts, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, MockDedustVaultSwap.spec.ts, PrimesGenesisMint.spec.ts, RatchetStaking.spec.ts, ReplayIdempotence.spec.ts, WireFormatDeDustSwap.spec.ts, _proveFlushPermissionlessLive.ts_ |
| arm | `UpdateVenue` (0xb0000010) | — | FuzzInvariants.spec.ts |
| arm | `TransferNotification` (0x7362d09c) | `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification` | FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, LpSink.spec.ts, Sinks.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts, DecompositionSolvency.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, MockDedustVaultSwap.spec.ts, WireFormatDeDustDeposit.spec.ts |
| arm | `SetLedger` (0xb0000051) | `sendSetLedger` | _genesisPipeline.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, InviteGenerators.spec.ts, JettonAbuse.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, PrimesVenueTimelock.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `SetJettonWallet` (0xb0000052) | `sendSetJettonWallet` | _genesisPipeline.ts_, DecompositionSolvency.spec.ts, GasRegression.spec.ts, JettonAbuse.spec.ts, MockDedustVaultSwap.spec.ts, RatchetStaking.spec.ts |
| arm | `DedustPayout` (0x474f86cf) | — | _dedust.ts_, _proveFlushPermissionlessLive.ts_, MockDedustVaultSwap.spec.ts, RatchetStaking.spec.ts, WireFormatDeDustSwap.spec.ts |
| arm | `Stake` (0xb0000053) | — | **NONE** |
| arm | `Unstake` (0xb0000054) | — | **NONE** |
| arm | `Harvest` (0xb0000055) | — | **NONE** |
| arm | `RecoverExit` (0xb0000057) | — | **NONE** |
| arm | `SetTstonWallet` (0xb0000056) | `sendSetTstonWallet` | _genesisPipeline.ts_, GasRegression.spec.ts, RatchetStaking.spec.ts |
| arm | `TonstakersWithdrawal` (0x0a77535c) | — | **NONE** |
| arm | `PayoutOwnershipAssigned` (0x05138d91) | — | _txAudit.ts_, MarketplaceTransfer.spec.ts, OpcodeRegistryRule.spec.ts, TxAuditOpNames.spec.ts |
| arm | `PayoutDistributedAsset` (0xdb3b8abd) | — | **NONE** |
| arm | `Excesses` (0xd53276db) | — | JettonInterop.spec.ts, MarketplaceTransfer.spec.ts, MockDedustVaultSwap.spec.ts |
| get | `getPending()` | `getPending` | _completeGenesisQueue.ts_, _proveCompositeSplitLive.ts_, _proveFlushPermissionlessLive.ts_, _smokeMintLive.ts_, _chain.ts_, _pool.ts_, _state.ts_, AttachedValue.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, GenesisSeedGriefing.spec.ts, MockDedustVaultSwap.spec.ts, PrimesGenesisMint.spec.ts, RatchetStaking.spec.ts, ReplayIdempotence.spec.ts, SimCrossCheck.spec.ts, WireFormatDeDustSwap.spec.ts |
| get | `getSwapped()` | `getSwapped` | _completeGenesisQueue.ts_, _proveFlushPermissionlessLive.ts_, _chain.ts_, AttachedValue.spec.ts, DecompositionSolvency.spec.ts, EraTrophy.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, GenesisSeedGriefing.spec.ts, MockDedustVaultSwap.spec.ts, PrimesGenesisMint.spec.ts, RatchetStaking.spec.ts, ReplayIdempotence.spec.ts, WireFormatDeDustSwap.spec.ts |
| get | `getInFlightFlush()` | `getInFlightFlush` | _proveFlushPermissionlessLive.ts_, _chain.ts_, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, MockDedustVaultSwap.spec.ts, RatchetStaking.spec.ts, WireFormatDeDustSwap.spec.ts |
| get | `getBurnStats()` | `getBurnStats` | _state.ts_, DecompositionSolvency.spec.ts, JettonAbuse.spec.ts, _genesisPipeline.ts_ |
| get | `getBurnWallet()` | `getBurnWallet` | DecompositionSolvency.spec.ts |
| get | `getFlushStatus()` | `getFlushStatus` | _proveFlushPermissionlessLive.ts_, _state.ts_, DecompositionSolvency.spec.ts, MockDedustVaultSwap.spec.ts |
| get | `getFloorOracle()` | `getFloorOracle` | DecompositionSolvency.spec.ts |
| get | `getLastMinOut()` | `getLastMinOut` | _proveFlushPermissionlessLive.ts_, DecompositionSolvency.spec.ts, GasRegression.spec.ts, MockDedustVaultSwap.spec.ts, RatchetStaking.spec.ts, WireFormatDeDustSwap.spec.ts |
| get | `getFloorCache()` | `getFloorCache` | _proveFlushPermissionlessLive.ts_, _state.ts_, DecompositionSolvency.spec.ts, _seedDedustLiquidity.ts_ |
| get | `getSolvency()` | `getSolvency`, `getSolvency`, `getSolvency`, `getSolvency` | _chain.ts_, DecompositionSolvency.spec.ts, EraTrophyTransfer.spec.ts, FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, Sinks.spec.ts |
| get | `getVenue()` | `getVenue` | _proveFlushPermissionlessLive.ts_, _timelock.ts_, _tston.ts_, PrimesVenueTimelock.spec.ts, RatchetStaking.spec.ts |
| get | `getLastFlushTs()` | `getLastFlushTs` | FuzzInvariants.spec.ts |
| get | `getStaking()` | `getStaking` | _chain.ts_, _tston.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, RatchetStaking.spec.ts |
| get | `getStakeMin()` | `getStakeMin` | _tston.ts_, RatchetStaking.spec.ts |
| get | `getStakingGates()` | `getStakingGates` | RatchetStaking.spec.ts |
| get | `getStakingVenue()` | `getStakingVenue` | _timelock.ts_, _tston.ts_, GenesisRehearsal.spec.ts, PrimesVenueTimelock.spec.ts, RatchetStaking.spec.ts |
| get | `getTstonWallet()` | `getTstonWallet` | _genesisPipeline.ts_, _tston.ts_, GenesisRehearsal.spec.ts, RatchetStaking.spec.ts |
| get | `getHarvestDest()` | `getHarvestDest` | _timelock.ts_, _tston.ts_, GenesisRehearsal.spec.ts, PrimesVenueTimelock.spec.ts, RatchetStaking.spec.ts |
| get | `getExitLeg()` | `getExitLeg` | _tston.ts_, RatchetStaking.spec.ts |

## `primes_registrar.tolk`

Arms 15/17 reached · get-methods 10/10 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `RecordMint` (0xb0000061) | `sendRecordMint` | DecompositionSolvency.spec.ts, EraTrophyTransfer.spec.ts, RecordMintBounceGap.spec.ts, FuzzInvariants.spec.ts |
| arm | `AwardEraTrophy` (0xb000006b) | — | Sinks.spec.ts |
| arm | `TransferTrophy` (0xb0000070) | `sendTransferTrophy` | _phase3EraCeremonyLive.ts_, EraTrophyTransfer.spec.ts |
| arm | `SetLedger` (0xb0000060) | `sendSetLedger` | _genesisPipeline.ts_, AttachedValue.spec.ts, AuctionGriefing.spec.ts, BounceCoverage.spec.ts, CollectionDrain.spec.ts, DecompositionSolvency.spec.ts, DictGrowth.spec.ts, EraTrophy.spec.ts, FanOutGas.spec.ts, FeeLines.spec.ts, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisSeedGriefing.spec.ts, HeadFrontRun.spec.ts, HeadWalk.spec.ts, InviteGenerators.spec.ts, JettonAbuse.spec.ts, MarkRejectedRace.spec.ts, MockDedustVaultSwap.spec.ts, OmegaBound.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, PrimesVenueTimelock.spec.ts, ReplayIdempotence.spec.ts, RetryCredit.spec.ts, RoundingDust.spec.ts, RoyaltySplit.spec.ts, SimCrossCheck.spec.ts, Sinks.spec.ts, SplitClosure.spec.ts, StorageRent.spec.ts, WireFormatDeDustSwap.spec.ts, _constellationStack.ts_ |
| arm | `SetItemCode` (0xb0000067) | `sendSetItemCode` | _genesisPipeline.ts_, Sinks.spec.ts, _constellationStack.ts_ |
| arm | `SetGeneratorsCollection` (0xb0000078) | `sendSetGeneratorsCollection` | _genesisPipeline.ts_, _constellationStack.ts_ |
| arm | `SetSink` (0xb000006c) | `sendSetSink` | _genesisPipeline.ts_, Sinks.spec.ts |
| arm | `SetConstellationCollection` (0xb0000071) | `sendSetConstellationCollection` | _genesisPipeline.ts_, _constellationStack.ts_ |
| arm | `Annotate` (0xb000006d) | `sendAnnotate` | _annotate.ts_, Sinks.spec.ts |
| arm | `SinkAnnotate` (0xb000006e) | `sendSinkAnnotate` | Sinks.spec.ts |
| arm | `OpenBuild` (0xb000007d) | `sendRelayedOpenBuild` | BuildLine.spec.ts, MessageCrossCheck.spec.ts |
| arm | `ProveInput` (0xb0000075) | `sendProveInput` | _phase4ConstellationBuildLive.ts_, BuildLine.spec.ts, MessageCrossCheck.spec.ts |
| arm | `OwnershipProof` (0xb0000064) | — | **C2C** — only sender is `constellation_item/item`; no wrapper send method |
| arm | `OwnershipAssigned` (0x05138d91) | — | _txAudit.ts_, MarketplaceTransfer.spec.ts, OpcodeRegistryRule.spec.ts, TxAuditOpNames.spec.ts |
| arm | `CloseBuild` (0xb0000076) | `sendCloseBuild` | _phase4ConstellationBuildLive.ts_, BuildLine.spec.ts, MessageCrossCheck.spec.ts |
| arm | `ConstellationBuilt` (0x94000001) | — | **C2C** — only sender is `constellation_item`; no wrapper send method |
| arm | `ExpireBuild` (0xb0000077) | `sendExpireBuild` | _ops.ts_, BuildLine.spec.ts, _run.ts_, MessageCrossCheck.spec.ts |
| get | `getTrophy()` | `getTrophy` | _phase3EraCeremonyLive.ts_, _annotate.ts_, EraTrophy.spec.ts, EraTrophyTransfer.spec.ts |
| get | `getBuild()` | `getBuild` | _phase4ConstellationBuildLive.ts_, _ops.ts_, BuildLine.spec.ts, GeneratorStranding.spec.ts |
| get | `getHeadHint()` | `getHeadHint`, `getHeadHint` | _completeGenesisQueue.ts_, _phase0OpenLotsLive.ts_, _lot.ts_, _ops.ts_, BuildLine.spec.ts, DecompositionSolvency.spec.ts, FuzzInvariants.spec.ts, MarkRejectedRace.spec.ts, PrimesMarket.spec.ts, RecordMintBounceGap.spec.ts, ReplayIdempotence.spec.ts, _market.ts_ |
| get | `getTotals()` | `getTotals` | BuildLine.spec.ts |
| get | `getSolvency()` | `getSolvency`, `getSolvency`, `getSolvency`, `getSolvency` | _chain.ts_, DecompositionSolvency.spec.ts, EraTrophyTransfer.spec.ts, FuzzInvariants.spec.ts, PrimesGenesisMint.spec.ts, PrimesMarket.spec.ts, RetryCredit.spec.ts, Sinks.spec.ts |
| get | `getTrophyAnnotation()` | `getTrophyAnnotation` | _annotate.ts_, Sinks.spec.ts |
| get | `getSinkLink()` | `getSinkLink` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, GenesisRehearsal.spec.ts, Sinks.spec.ts |
| get | `getConCollectionLink()` | `getConCollectionLink` | _genesisPipeline.ts_, GenesisRehearsal.spec.ts |
| get | `getGeneratorsLink()` | `getGeneratorsLink` | _genesisPipeline.ts_, BuildLine.spec.ts |
| get | `getPeers()` | `getPeers`, `getPeers` | _genesisPipeline.ts_, _ignite.ts_, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts |

## `primes_sink.tolk`

Arms 4/4 reached · get-methods 5/5 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetWallet` (0x92000001) | `sendSetWallet` | _genesisPipeline.ts_, _proveDeferredBountyLive.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpSink.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, Sinks.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, _constellationStack.ts_ |
| arm | `TransferNotification` (0x7362d09c) | `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification` | FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, LpSink.spec.ts, Sinks.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts, DecompositionSolvency.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, MockDedustVaultSwap.spec.ts, WireFormatDeDustDeposit.spec.ts |
| arm | `FloorQuote` (0x92000002) | — | GasRegression.spec.ts, Sinks.spec.ts, TxAuditOpNames.spec.ts |
| arm | `Excesses` (0xd53276db) | — | JettonInterop.spec.ts, MarketplaceTransfer.spec.ts, MockDedustVaultSwap.spec.ts |
| get | `getSinkBurnStats()` | `getSinkBurnStats` | _completeGenesisQueue.ts_, _annotate.ts_, GenesisRehearsal.spec.ts, Sinks.spec.ts |
| get | `getNamePriceTon()` | `getNamePriceTon` | _completeGenesisQueue.ts_, SimCrossCheck.spec.ts, Sinks.spec.ts |
| get | `getSinkActions()` | `getSinkActions` | Sinks.spec.ts |
| get | `getSinkCounts()` | `getSinkCounts` | Sinks.spec.ts |
| get | `getSinkConfig()` | `getSinkConfig` | _completeGenesisQueue.ts_, GenesisRehearsal.spec.ts, Sinks.spec.ts |

## `primes_stake.tolk`

Arms 3/3 reached · get-methods 9/9 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetWallet` (0x91000001) | `sendSetWallet` | _genesisPipeline.ts_, _proveDeferredBountyLive.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpSink.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, Sinks.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, _constellationStack.ts_, _txAudit.ts_, OpcodeRegistryRule.spec.ts, TxAuditOpNames.spec.ts |
| arm | `TransferNotification` (0x7362d09c) | `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification` | FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, LpSink.spec.ts, Sinks.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts, DecompositionSolvency.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, MockDedustVaultSwap.spec.ts, WireFormatDeDustDeposit.spec.ts |
| arm | `Settle` (0x91000002) | — | OpcodeRegistryRule.spec.ts |
| get | `getStakeSolvency()` | `getStakeSolvency` | _completeGenesisQueue.ts_, _stake.ts_, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, Staking.spec.ts |
| get | `getStakeStream()` | `getStakeStream` | _stake.ts_, FuzzInvariants.spec.ts, Staking.spec.ts |
| get | `getAccNow()` | `getAccNow` | _stake.ts_, Staking.spec.ts |
| get | `getStakeTotals()` | `getStakeTotals` | _stake.ts_, FuzzInvariants.spec.ts, Staking.spec.ts |
| get | `getTierTerms()` | `getTierTerms`, `getTierTerms`, `getTierTerms`, `getTierTerms` | _lpGovernance.ts_, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getTierWeights()` | `getTierWeights` | Staking.spec.ts |
| get | `getStakePositionAddress()` | `getStakePositionAddress` | _stake.ts_, _txAudit.ts_, Staking.spec.ts |
| get | `getStakeMinForward()` | `getStakeMinForward` | Staking.spec.ts |
| get | `getStakeConfig()` | `getStakeConfig` | _completeGenesisQueue.ts_, _stake.ts_, GenesisRehearsal.spec.ts, Staking.spec.ts |

## `primes_stake_position.tolk`

Arms 4/7 reached · get-methods 6/6 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `StakeCredit` (0x91000010) | — | **C2C** — only sender is `stake`; no wrapper send method |
| arm | `StakeSettled` (0x91000011) | — | **C2C** — only sender is `stake`; no wrapper send method |
| arm | `RestoreStake` (0x91000012) | — | **C2C** — only sender is `stake`; no wrapper send method |
| arm | `Claim` (0x91000021) | `sendClaim` | _stake.ts_, _voucher.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesVoucher.spec.ts, Staking.spec.ts |
| arm | `Relock` (0x91000022) | `sendRelock` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| arm | `Withdraw` (0x91000023) | `sendWithdraw` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts |
| arm | `Expire` (0x91000024) | `sendExpire` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getPositions()` | `getPositions`, `getPositions` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, LpCustody.spec.ts, Staking.spec.ts |
| get | `getPosition()` | `getPosition`, `getPosition` | _lpGovernance.ts_, _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts, LpPositionGuard.spec.ts |
| get | `getClaimable()` | `getClaimable` | _stake.ts_, Staking.spec.ts |
| get | `getPositionOwner()` | `getPositionOwner`, `getPositionOwner` | LpCustody.spec.ts |
| get | `getTierTerms()` | `getTierTerms`, `getTierTerms`, `getTierTerms`, `getTierTerms` | _lpGovernance.ts_, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getPositionMinForward()` | `getPositionMinForward`, `getPositionMinForward` | LpCustody.spec.ts |

## `primes_treasury.tolk`

Arms 11/11 reached · get-methods 13/13 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetWallets` (0x96000001) | `sendSetWallets` | _genesisPipeline.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts |
| arm | `TransferNotification` (0x7362d09c) | `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification`, `sendTransferNotification` | FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, LpSink.spec.ts, Sinks.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts, DecompositionSolvency.spec.ts, JettonAbuse.spec.ts, JettonInterop.spec.ts, MockDedustVaultSwap.spec.ts, WireFormatDeDustDeposit.spec.ts |
| arm | `RelockVote` (0x96000002) | — | FuzzInvariants.spec.ts, LpCustody.spec.ts, Treasury.spec.ts |
| arm | `WithdrawLp` (0x96000003) | — | FuzzInvariants.spec.ts, Treasury.spec.ts |
| arm | `ExpireVote` (0x96000007) | — | FuzzInvariants.spec.ts |
| arm | `Vote` (0x96000004) | — | FuzzInvariants.spec.ts, Treasury.spec.ts |
| arm | `Propose` (0x96000005) | — | FuzzInvariants.spec.ts |
| arm | `Execute` (0x96000006) | `sendExecute` | _lpGovernance.ts_, _timelock.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, PrimesVenueTimelock.spec.ts, Treasury.spec.ts |
| arm | `Distribute` (0x96000008) | `sendDistribute` | _stake.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| arm | `Prune` (0x96000009) | `sendPrune` | Treasury.spec.ts |
| arm | `Excesses` (0xd53276db) | — | JettonInterop.spec.ts, MarketplaceTransfer.spec.ts, MockDedustVaultSwap.spec.ts |
| get | `getDistribution()` | `getDistribution` | _completeGenesisQueue.ts_, _lpGovernance.ts_, _stake.ts_, ClockDivisor.spec.ts, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getTreasuryBalances()` | `getTreasuryBalances` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _resumeGenesisTail.ts_, _lpGovernance.ts_, _tston.ts_, FuzzInvariants.spec.ts, GenesisRehearsal.spec.ts, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts |
| get | `getGov()` | `getGov` | _lpGovernance.ts_, ClockDivisor.spec.ts, FuzzInvariants.spec.ts, LpCustody.spec.ts, Treasury.spec.ts |
| get | `getProposal()` | `getProposal` | _lpGovernance.ts_, FuzzInvariants.spec.ts, Treasury.spec.ts |
| get | `getExecutable()` | `getExecutable` | _lpGovernance.ts_, FuzzInvariants.spec.ts, Treasury.spec.ts |
| get | `getPrunable()` | `getPrunable` | Treasury.spec.ts |
| get | `getTreasuryCounts()` | `getTreasuryCounts` | Staking.spec.ts, Treasury.spec.ts |
| get | `getVoteMultipliers()` | `getVoteMultipliers` | _lpGovernance.ts_, LpCustody.spec.ts, Treasury.spec.ts |
| get | `getTierTerms()` | `getTierTerms`, `getTierTerms`, `getTierTerms`, `getTierTerms` | _lpGovernance.ts_, LpCustody.spec.ts, Staking.spec.ts, Treasury.spec.ts |
| get | `getPositionAddress()` | `getPositionAddress` | _lpGovernance.ts_, _txAudit.ts_, LpCustody.spec.ts |
| get | `getTreasuryActions()` | `getTreasuryActions` | Treasury.spec.ts |
| get | `getTreasuryMinForward()` | `getTreasuryMinForward` | LpCustody.spec.ts, Treasury.spec.ts |
| get | `getTreasuryConfig()` | `getTreasuryConfig` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, GenesisRehearsal.spec.ts, Treasury.spec.ts, TreasuryVesting.spec.ts |

## `primes_venue_timelock.tolk`

Arms 5/5 reached · get-methods 1/1 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetRatchet` (0xa0000005) | `sendSetRatchet` | _genesisPipeline.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, PrimesVenueTimelock.spec.ts |
| arm | `Queue` (0xa0000001) | `sendQueue` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _resumeGenesisTail.ts_, _timelock.ts_, ClockDivisor.spec.ts, GasRegression.spec.ts, PrimesVenueTimelock.spec.ts, FuzzInvariants.spec.ts |
| arm | `Cancel` (0xa0000002) | `sendCancel` | _timelock.ts_, GasRegression.spec.ts, PrimesVenueTimelock.spec.ts |
| arm | `Execute` (0xa0000003) | `sendExecute` | _lpGovernance.ts_, _timelock.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpCustody.spec.ts, PrimesVenueTimelock.spec.ts, Treasury.spec.ts |
| arm | `RetryUpdateVenue` (0xa0000004) | `sendRetryUpdateVenue` | _timelock.ts_, GasRegression.spec.ts, PrimesVenueTimelock.spec.ts |
| get | `getQueued()` | `getQueued` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _resumeGenesisTail.ts_, _timelock.ts_, ClockDivisor.spec.ts, GenesisRehearsal.spec.ts, PrimesVenueTimelock.spec.ts |

## `primes_vesting.tolk`

Arms 2/2 reached · get-methods 3/3 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetWallet` (0x95000001) | `sendSetWallet` | _genesisPipeline.ts_, _proveDeferredBountyLive.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, LpSink.spec.ts, PrimesBountyVault.spec.ts, PrimesVoucher.spec.ts, Sinks.spec.ts, SpecialNumbers.spec.ts, Staking.spec.ts, TreasuryVesting.spec.ts, _constellationStack.ts_ |
| arm | `Release` (0x95000002) | `sendRelease` | _genesisPipeline.ts_, _ops.ts_, TreasuryVesting.spec.ts |
| get | `getVesting()` | `getVesting` | _completeGenesisQueue.ts_, _genesisPipeline.ts_, _resumeGenesisTail.ts_, _ops.ts_, GenesisRehearsal.spec.ts, TreasuryVesting.spec.ts |
| get | `getVestingSchedule()` | `getVestingSchedule` | _ops.ts_, GenesisRehearsal.spec.ts, TreasuryVesting.spec.ts |
| get | `getVestingConfig()` | `getVestingConfig` | TreasuryVesting.spec.ts |

## `primes_voucher.tolk`

Arms 3/4 reached · get-methods 5/5 reached

| Kind | Name | Wrapper method | Exercised by |
|---|---|---|---|
| arm | `SetVault` (0x9a000003) | `sendSetVault` | _genesisPipeline.ts_, PrimesVoucher.spec.ts |
| arm | `ClaimVoucher` (0x9a000001) | `sendClaim` | _stake.ts_, _voucher.ts_, FuzzInvariants.spec.ts, GasRegression.spec.ts, GenesisRehearsal.spec.ts, PrimesVoucher.spec.ts, Staking.spec.ts |
| arm | `ReceiptDelta` (0x9a000005) | — | **C2C** — only sender is `claim_receipt`; no wrapper send method |
| arm | `BurnSigner` (0x9a000002) | `sendBurnSigner` | PrimesVoucher.spec.ts |
| get | `getReceiptAddress()` | `getReceiptAddress` | PrimesVoucher.spec.ts |
| get | `getProgramPayouts()` | `getProgramPayouts` | PrimesVoucher.spec.ts |
| get | `getSignerState()` | `getSignerState` | GenesisRehearsal.spec.ts, PrimesVoucher.spec.ts |
| get | `isProgramClosed()` | `getIsProgramClosed` | PrimesVoucher.spec.ts |
| get | `getVault()` | `getVault` | _genesisPipeline.ts_, GenesisRehearsal.spec.ts, PrimesVoucher.spec.ts |