Reference

Reference page revised: all four fact-check refutations corrected from source (TICKER_COUNT is internal with no getter, five test stand-ins not two, retired decks keep an already-expired endCycle, the

title: Reference order: 10 summary: Every constant, address, term, revert and retired claim, each with the contract line that decides it. #

Every number, address, term and revert in these docs lives on this page. The other nine pages link here instead of restating. Contracts win over the Python engine and over site copy; a row that cannot be traced to a contract line does not ship.

Verified against contracts at commit 28200d4, Robinhood testnet 46630, deployed 2 Sep 2026 (deploy/testnet-addresses.md:1-4). Paths are relative to the repo root, written in full once (contracts/src/MinersNFT.sol, contracts/src/MinePool.sol, contracts/src/CardTraits.sol, contracts/script/Deploy.s.sol, contracts/interfaces/IMinePool.sol, contracts/interfaces/IMinersNFT.sol, app/web/src/app/deck/DeckApp.tsx, app/web/src/app/mint/MintApp.tsx) and short after that.

Constants #

Two contracts hold every economic number and neither has a setter. MinersNFT owns the mint and the cards. MinePool owns the mine. Every value below is a bytecode constant, except CYCLE_SECONDS, set at deploy. Constants appear by name here and by value everywhere else.

Tranche price table #

Ten price steps keyed to mint order. The $CARDS column starts at 20,000 and multiplies by 1.08 each step, rounded to whole $CARDS; every one of them is burned. A flat $2.00 in every tranche is the ETH leg, frozen to wei at 2,500 USD/ETH (MinersNFT.sol:217-218). Before mainnet it is re-frozen at the live rate, so read it live from mintPrice(mintNo). Cumulative burn is derived and lands on 146,464,700 $CARDS at sellout, 14.65% of the 1 B supply (app/api/engine/economy.py:250-257).

Addresses #

Five rows are test stand-ins. MockCards stands in for the Pons $CARDS token and MockStockRouter for the real router (Deploy.s.sol:84,88). The three MockStock tokens tSPY, tNVDA and tSPCX stand in for the verified mainnet stock tokens, which have no testnet code (Deploy.s.sol:85-87; deploy/mainnet-config.md:5-15). Nothing reads from the 30 Aug deploy (MinersNFT 0xA33d...2d73, MinePool 0xddE7...484c); it is invalid (deploy/testnet-addresses.md:51-52).

Verify it on-chain Open the read-contract tab of MinersNFT and call mintPrice(1), trancheIndex(5040), totalMinted(), SEED_COMMITMENT(), MINT_START(), REVEAL_DEADLINE(), GTD_MERKLE_ROOT() and TREASURY(). On MinePool call CYCLE_SECONDS(), currentCycle(), cycleEndTime(), lastCardsPrice(), totalWeight(), keeper() and pool(0). Every constant in Table 10.1 except TICKER_COUNT is a public getter of the same name, so MAX_PER_TX() returns 100, EMISSION_DIVISOR() returns 28 and BURN_TARGET_BPS() returns 1,500 (MinersNFT.sol:41-57; MinePool.sol). requiredBond(deckId, nCycles) returns the $CARDS a deck must hold before buyShifts will sell it nCycles. TICKER_COUNT is internal, so count the three pool(t) slots instead (MinePool.sol:63).

Elements and one-of-ones #

Element index order is permanent because it feeds the hash. Each element owns 252 consecutive ids, so element, design and edition are readable from the id before reveal (CardTraits.sol:25,72-78). Ids 5,041 to 5,050 are the one-of-ones, tier 9, 6 stars, design 63, minted to TREASURY (CardTraits.sol:66-70; MinersNFT.sol:140-144).

Formulas and the weight matrix #

One chain runs from a card to a payout. The middle column carries worked examples B and C, the same deck on every page. Amounts settle as decimals on-chain; dust stays in the vein.

card weight  = 2^(tier-1) x (1 + 0.25 x stars)           T2 1-star: 2 x 1.25 = 2.5                 MinePool.sol:247
set bonus    = x1.15 at 5 distinct designs of one         5 Moon designs: 12.5 x 1.15 = 14.375       MinePool.sol:758-764
               element, x1.35 at 15, x1.6 at 40, x2.0 at 63
deck weight  = sum over elements (card weights x bonus)   5.75 + 14.375 = 20.125                    MinePool.sol:252-259
cost weight  = deck weight without one-of-ones            20.125                                    MinePool.sol:249
share        = deck weight / totalWeight                  20.125 / 1,000 = 2.0125%                  MinePool.sol
emission     = 1/28 of each vein per roll                 0.357143 + 0.178571 + 0.535714 = 1.071429 ETH   MinePool.sol
pending      = share x emission, per vein                 0.007188 + 0.003594 + 0.010781 = 0.021563 ETH   MinePool.sol
cost         = emission sum x 15% / price,                0.160714 ETH / 2,750 gwei = 58,441.6 $CARDS;  MinePool.sol
               spread over totalCostWeight                x 0.020125 = 1,176.1 $CARDS (example price)
required bond= (vein balances / 28) x 15% x cost share    requiredBond(B, 1) = 2,352.2 $CARDS (IDLE: n + 1); MinePool.sol
               / last price x cycles; buyShifts floor     requiredBond(B, 4) = 5,880.5 $CARDS; else BondBelowMinimum
bond rule    = burn min(bond, cost);                      3,000 bonded: burn 1,176.1, 1,823.9 stays;  MinePool.sol
               fraction = bond / cost when short          1,000 bonded: burn 1,000, fraction 0.8502, retired
payout       = pending x fraction; clip back to its vein  0.021563 ETH, or 0.018333 ETH             MinePool.sol
paid as      = each vein's share swapped into its stock   tokenised SPY, NVDA, SPCX via StockRouterV3   MinePool.sol; StockRouterV3.sol

Deck states #

A deck is in one of three states, read from deckInfo(deckId) and currentCycle(). The app shows three labels, IDLE, WORKING and RETIRED. A retired deck keeps its cards locked until you unbind.

Glossary #

Each term gets one line. The app's vocabulary is forge, START MINING, bond, shift, claim and merge, and the docs use the same words (DeckApp.tsx:441-448,611-617,625-637).

Error reference #

The app shows the raw revert name, as in "Contract reverted: TrancheBoundary." Find that name below. Full declarations live in IMinePool.sol:112-153 and IMinersNFT.sol.

Not in the game #

Old copy on the site, on OpenSea and in early README files describes a different game. Mechanic pages carry at most three of these; this is the full list.

Changes at mainnet #

Nine things change between this testnet build and mainnet, and only the wei column among them is a bytecode constant (MinersNFT.sol:217-219). Each row names the badged cells it touches. CYCLE_SECONDS is a constructor parameter, so re-read it on the mainnet build (MinePool.sol:73,202).

Open before mainnet Five items stay open before mainnet, the allowlist, the router address, the wei column, one-of-one distribution and the mainnet REVEAL_DEADLINE. None of them is a row of Table 10.1. Vein funding is no longer open: the keeper bot forwards the Pons creator fee into the veins on a schedule.

Engine versus contract #

The dev API behind the app runs a Python engine with its own numbers, and cycles are 120 s there (app/api/config.py:110), not 21,600 s. Its $CARDS price (config.py:118-120) and the testnet roll seed of 2,750 gwei (Deploy.s.sol:119) are placeholders; neither is the token price. The odd part is the bond. The engine labels what is left "refunded" at settle and keeps it bonded (app/api/game.py:13-14,213); the mine keeps it on the deck and pays it back only at unbind (MinePool.sol:453-455,355-357). Neither refunds at settle.

Read this if you are here to... Top up a bond, read the bond rule. Claim, read Claiming. Merge two of a kind, read Merge. Sell a card, read Locked; a card in a deck cannot move. Start from the top, read Start here.