claim registry — the machine-checkable half of the KB
104 claim-class rows generated from the same data layer as the pages (minter-mechanics 46 · ledger-mv 10 · census 9 · crisis-event 8 · shared-infra 7 · liquidity 5 · admin-surface 4 · chain-fact 4 · ledger-tbill 3 · mint-split 3 · reserve 2 · ledger-pdai 1 · ledger-teddy 1 · custody 1). Granularity: claim-class — one row per class of fact, never per instance. Normative rows are [src]/[chain] only.
minter-mechanics (46)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0001 | V1 TbillMinter at 0xC7bDAc3e6Bb5eC37041A11328723e9927cCf430B was deployed by Maria #1 at block 22303877 (2024-12-28) [chain]; its parent rule is: fixed TBILL parent [src] | [src]+[chain] | V1 bytecode reconstruction (source never recovered; decompiled + selector-diffed; artifact: /artifacts/); deployment block via eth_getCode bisection | 0xc7bdac… | |
| CLAIM-0002 | V1 TbillMinter mint pricing: 1:1 TBILL parity + MV charge | [src] | V1 bytecode reconstruction (source never recovered; decompiled + selector-diffed; artifact: /artifacts/) | 0xc7bdac… | |
| CLAIM-0003 | V1 TbillMinter redemption model: none - permanent sink (no withdraw exists) | [src] | V1 bytecode reconstruction (source never recovered; decompiled + selector-diffed; artifact: /artifacts/) | 0xc7bdac… | |
| CLAIM-0004 | V1 TbillMinter carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0xc7bdac… | |
| CLAIM-0005 | V1 TbillMinter embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0xc7bdac… | |
| CLAIM-0007 | V2 FederalMinter at 0xc15c5F699Daf5e1135732139f05D2c05b3EF4354 was deployed by Maria #1 at block 22362690 (2025-01-04) [chain]; its parent rule is: FED or creator-owned TT [src] | [src]+[chain] | docs/solidity/federalminter.sol; deployment block via eth_getCode bisection | 0xc15c5f… | |
| CLAIM-0008 | V2 FederalMinter mint pricing: 1:1 parent parity + MV charge | [src] | docs/solidity/federalminter.sol | 0xc15c5f… | |
| CLAIM-0009 | V2 FederalMinter redemption model: open sibling Claim + publish | [src] | docs/solidity/federalminter.sol | 0xc15c5f… | |
| CLAIM-0010 | V2 FederalMinter carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0xc15c5f… | |
| CLAIM-0011 | V2 FederalMinter embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0xc15c5f… | |
| CLAIM-0013 | V3 IndexMinter at 0x0c4F73328dFCECfbecf235C9F78A4494a7EC5ddC was deployed by Maria #1 at block 22590323 (2025-01-31) [chain]; its parent rule is: any ERC-20 [src] | [src]+[chain] | docs/solidity/indexminter.sol; deployment block via eth_getCode bisection | 0x0c4f73… | |
| CLAIM-0014 | V3 IndexMinter mint pricing: escalating multiplier (1.111B-unit steps) | [src] | docs/solidity/indexminter.sol | 0x0c4f73… | |
| CLAIM-0015 | V3 IndexMinter redemption model: gated sibling Claim (same creator+parent); first withdraw kills claimability | [src] | docs/solidity/indexminter.sol | 0x0c4f73… | |
| CLAIM-0016 | V3 IndexMinter carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0x0c4f73… | |
| CLAIM-0017 | V3 IndexMinter embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0x0c4f73… | |
| CLAIM-0019 | V4 PersonalMinter at 0x394c3D5990cEfC7Be36B82FDB07a7251ACe61cc7 was deployed by Maria #1 at block 22755643 (2025-02-20) [chain]; its parent rule is: any ERC-20 [src] | [src]+[chain] | docs/solidity/personalminter.sol; deployment block via eth_getCode bisection | 0x394c3d… | |
| CLAIM-0020 | V4 PersonalMinter mint pricing: self-scaled multiplier (x own initial mint) | [src] | docs/solidity/personalminter.sol | 0x394c3d… | |
| CLAIM-0021 | V4 PersonalMinter redemption model: self-Claim only | [src] | docs/solidity/personalminter.sol | 0x394c3d… | |
| CLAIM-0022 | V4 PersonalMinter carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0x394c3d… | |
| CLAIM-0023 | V4 PersonalMinter embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0x394c3d… | |
| CLAIM-0025 | Bureau#1 (canonical) at 0xc4f0ce2b0ffa0063b763e2b6c124a1d80e0641b5 was deployed by Maria #1 at block 22602249 (2025-02-01) [chain]; its parent rule is: fixed BUREAU (V3 child of Tellerz) [src] | [src]+[chain] | docs/solidity/bureauminter.sol; deployment block via eth_getCode bisection | 0xc4f0ce… | |
| CLAIM-0026 | Bureau#1 (canonical) mint pricing: V3 rules | [src] | docs/solidity/bureauminter.sol | 0xc4f0ce… | |
| CLAIM-0027 | Bureau#1 (canonical) redemption model: V3 rules | [src] | docs/solidity/bureauminter.sol | 0xc4f0ce… | |
| CLAIM-0028 | Bureau#1 (canonical) carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0xc4f0ce… | |
| CLAIM-0029 | Bureau#1 (canonical) embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0xc4f0ce… | |
| CLAIM-0031 | Bureau#2 (proxy) at 0x9680d815e3ba4fd78c5c1e6ea229abb03734e141 was deployed by Maria #1 at block 22602225 (2025-02-01) [chain]; its parent rule is: fixed BUREAU [src] | [src]+[chain] | runtime bytecode diff (proxy to V3.New; no embedded template; artifacts: /artifacts/); deployment block via eth_getCode bisection | 0x9680d8… | |
| CLAIM-0032 | Bureau#2 (proxy) mint pricing: V3 rules + MV charge | [src] | runtime bytecode diff (proxy to V3.New; no embedded template; artifacts: /artifacts/) | 0x9680d8… | |
| CLAIM-0033 | Bureau#2 (proxy) redemption model: V3 rules | [src] | runtime bytecode diff (proxy to V3.New; no embedded template; artifacts: /artifacts/) | 0x9680d8… | |
| CLAIM-0034 | Bureau#2 (proxy) carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0x9680d8… | |
| CLAIM-0035 | Bureau#2 (proxy) embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0x9680d8… | |
| CLAIM-0037 | Bureau#3 (proxy) at 0xc9be525a582b6f84d928b7901bd18b4315f8502b was deployed by Maria #1 at block 22602178 (2025-02-01) [chain]; its parent rule is: fixed BUREAU [src] | [src]+[chain] | runtime bytecode diff (proxy to V3.New; no embedded template; artifacts: /artifacts/); deployment block via eth_getCode bisection | 0xc9be52… | |
| CLAIM-0038 | Bureau#3 (proxy) mint pricing: V3 rules + MV charge | [src] | runtime bytecode diff (proxy to V3.New; no embedded template; artifacts: /artifacts/) | 0xc9be52… | |
| CLAIM-0039 | Bureau#3 (proxy) redemption model: V3 rules | [src] | runtime bytecode diff (proxy to V3.New; no embedded template; artifacts: /artifacts/) | 0xc9be52… | |
| CLAIM-0040 | Bureau#3 (proxy) carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0xc9be52… | |
| CLAIM-0041 | Bureau#3 (proxy) embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0xc9be52… | |
| CLAIM-0043 | Bureau#4 (unused rebuild) at 0x5De29C8eac1482221de1945A566B6c65f54A3C3e was deployed by Maria #1 at block 22603752 (2025-02-01) [chain]; its parent rule is: fixed BUREAU [src] | [src]+[chain] | runtime bytecode diff (solc-0.8.28 rebuild; 0 children; artifacts: /artifacts/); deployment block via eth_getCode bisection | 0x5de29c… | |
| CLAIM-0044 | Bureau#4 (unused rebuild) mint pricing: V3 rules | [src] | runtime bytecode diff (solc-0.8.28 rebuild; 0 children; artifacts: /artifacts/) | 0x5de29c… | |
| CLAIM-0045 | Bureau#4 (unused rebuild) redemption model: V3 rules | [src] | runtime bytecode diff (solc-0.8.28 rebuild; 0 children; artifacts: /artifacts/) | 0x5de29c… | |
| CLAIM-0046 | Bureau#4 (unused rebuild) carries zero admin/upgrade/selfdestruct selectors and no reachable selfdestruct/delegatecall (apparent hits were ipfs-metadata bytes) | [src] | runtime bytecode selector diff vs sources (artifacts: /artifacts/) | 0x5de29c… | |
| CLAIM-0047 | Bureau#4 (unused rebuild) embeds exactly one TT child template for its whole era (minter creation-code ipfs metadata hash == every child's runtime metadata hash) | [src]+[chain] | runtime bytecode template clustering (ipfs metadata-hash proof; artifacts: /artifacts/) | 0x5de29c… | |
| CLAIM-0050 | Child-token ownership is keyed by tx.origin with a fallback chain V4 -> V3 -> V2 -> V1 | [src] | docs/solidity/personalminter.sol registry lookups; runtime bytecode selector diff (artifacts: /artifacts/) | 0xc7bdac… 0xc15c5f… 0x0c4f73… 0x394c3d… | |
| CLAIM-0051 | The permission KV ladder (_hu) has levels 1/5/10/100 | [src] | docs/solidity/indexminter.sol | 0x0c4f73… | |
| CLAIM-0052 | ho/TTDATA onchain KV store emitted only 90 events ever (marginal usage) | [chain] | onchain KV-store event scan (TTDATA) onchain event scan (mints/claims/MV payments) | ||
| CLAIM-0053 | Publishing a token removes it as a claim KEY but never stops claims ON it; the published bureau-ancestry spine (FDIC->DFM->PARADE->Tellerz) was claim-loop-farmed ~20 months and was still active 2026-09 | [chain] | onchain event-study analysis onchain event scan (mints/claims/MV payments) | 0x812571… 0x51160f… 0xe37acc… 0xc7145e… | |
| CLAIM-0054 | NewGai batch function exists and ran 4x (deployed chained parents circled5<-Gai->circled1, declining mints 5..1e18) | [chain]+[src] | runtime bytecode selector diff (artifacts: /artifacts/); NewGai receipt decode NewGai receipt decode | 0xd6077a… 0x394c3d… | |
| CLAIM-0055 | V2 publish adoption: 511 of the 1,559 census-era V2 children were ever published; unpublished tokens remain permanent claim keys by design | [chain] | onchain publish-event scan (V2 children) onchain event scan (mints/claims/MV payments) | 0xc15c5f… |
ledger-mv (10)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0056 | MV -> minters revenue reconciles exactly: 3209 payments totalling 165,725,342.80 MV, unswept (minters have no MV outflow) | [chain] | onchain MV-payment scan onchain event scan (mints/claims/MV payments) | 0xa1bee1… 0xc7bdac… 0xc15c5f… 0x0c4f73… 0x394c3d… 0xc4f0ce… 0x9680d8… 0xc9be52… 0x5de29c… | |
| CLAIM-0057 | V1 accrued 18,277,700.43 MV over 225 payments (blocks 22303912..27039598); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0xc7bdac… 0xa1bee1… | |
| CLAIM-0058 | V2 accrued 82,914,997.03 MV over 1603 payments (blocks 22362949..27041537); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0xc15c5f… 0xa1bee1… | |
| CLAIM-0059 | V3 accrued 25,566,953.80 MV over 505 payments (blocks 22590450..27145337); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0x0c4f73… 0xa1bee1… | |
| CLAIM-0060 | V4 accrued 30,965,491.54 MV over 871 payments (blocks 22755821..27436740); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0x394c3d… 0xa1bee1… | |
| CLAIM-0061 | Bureau#1 accrued 8,000,200.00 MV over 5 payments (blocks 22602259..27361046); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0xc4f0ce… 0xa1bee1… | |
| CLAIM-0062 | Bureau#2 accrued 0.00 MV over 0 payments (blocks None..None); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0x9680d8… 0xa1bee1… | |
| CLAIM-0063 | Bureau#3 accrued 0.00 MV over 0 payments (blocks None..None); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0xc9be52… 0xa1bee1… | |
| CLAIM-0064 | Bureau#4 accrued 0.00 MV over 0 payments (blocks None..None); snapshot balance delta vs events = 0 | [chain] | onchain MV-payment scan (per-minter totals) onchain event scan (mints/claims/MV payments) | 0x5de29c… 0xa1bee1… | |
| CLAIM-0065 | Maria #1 paid 50% of all-time minter revenue herself (82.94M MV) | [chain] | onchain MV-payment scan (payer ranking) onchain event scan (mints/claims/MV payments) | 0xa1bee1… |
census (9)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0006 | V1 TbillMinter has 167 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0xc7bdac… |
| CLAIM-0012 | V2 FederalMinter has 1561 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0xc15c5f… |
| CLAIM-0018 | V3 IndexMinter has 506 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0x0c4f73… |
| CLAIM-0024 | V4 PersonalMinter has 902 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0x394c3d… |
| CLAIM-0030 | Bureau#1 (canonical) has 5 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0xc4f0ce… |
| CLAIM-0036 | Bureau#2 (proxy) has 0 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0x9680d8… |
| CLAIM-0042 | Bureau#3 (proxy) has 0 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0xc9be52… |
| CLAIM-0048 | Bureau#4 (unused rebuild) has 0 census children (dual-method registry, RPC-verified) | [chain] | census registry (CSV: /data/tokens.csv) census registry (CSV: /data/tokens.csv) | 27589145 | 0x5de29c… |
| CLAIM-0049 | The minter-child census holds 3141 rows; every row RPC-verified (eth_getCode + getters + zero-mint Transfer); union of blockscout internal-create index and per-tx receipt pass | [chain] | census method (dual-method: internal-create index U receipt pass) census registry (CSV: /data/tokens.csv) | 27589145 | 0xc7bdac… 0xc15c5f… 0x0c4f73… 0x394c3d… 0xc4f0ce… 0x9680d8… 0xc9be52… 0x5de29c… |
crisis-event (8)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0068 | TBILL ownership renounced 2025-04-01 17:39 UTC at block 23,101,492 (OwnershipTransferred to zero) | [chain] | onchain TBILL event decode onchain TBILL event decode | 23101492 | 0x463413… |
| CLAIM-0069 | TBILL 1T mint to Maria #1 on 2025-03-27 block 23,053,113 preceded the takeover by 20 days | [chain] | onchain TBILL event decode onchain TBILL event decode | 23053113 | 0x463413… |
| CLAIM-0072 | Takeover mint: 95,138,643,085.81 pDAI from zero to EOA 0xc108f4fce4c4d26159ad5d393bb8718e16374df3 at block 23,225,002 (2025-04-16 05:47 UTC), tx 0xed5e890fca0af3913f2cf50a86f304129bf34b8724baf1dbe8560bab675140c6 | [chain] | onchain crisis decode (mint ledger) onchain pDAI mint decode | 23225002 | 0x6b1754… |
| CLAIM-0073 | Kill switch: the takeover EOA itself called ESM.fire() at block 23,225,241 (2025-04-16 06:27:15 UTC), tx 0x6530fc843a760c883bcdf00ec006fc1b9bcaa8049f79d9e9c65b8f096d21dd3a; Vat.live = 0 since (frob dead forever; move/exit still work) | [chain] | onchain crisis decode (mechanism) Maker-core onchain probe decode | 23225241 | 0x09e05f… 0x35d1b3… |
| CLAIM-0074 | Burn-back: 72.93B pDAI burned by the takeover EOA 4.6h after the exit (block 23,226,667), tx 0x05ef20cd67269f4c73d8a2928a08e7caaabadc19f527dc723e9ddb432859bc73; net retained +22.17B | [chain] | onchain crisis decode (mint ledger) onchain pDAI burn decode | 23226667 | 0x6b1754… |
| CLAIM-0075 | Every from-zero pDAI mint is a DaiJoin.exit (join 0x9759a6ac90977b93b58547b4a71c78317f391a28, a ward of the token, in legitimate use through 2026); Vat-dai came from direct Vat.frob (ETH-B/ETH-C) and atomic multi-DEX PSM-USDC-A urn loops | [chain]+[src] | receipt decode of the exploit transactions Maker-core onchain probe decode | 0x6b1754… 0x9759a6… 0x35d1b3… | |
| CLAIM-0076 | The Apr 1-16 2025 window was a 26.73B pDAI mint rush by dozens of actors (10,215 mints; 1,690 Vat.suck calls all u=Vow) | [chain] | onchain crisis decode (mint ledger) onchain pDAI mint decode | 0x6b1754… | |
| CLAIM-0077 | The takeover wallet burned 576.16M ATROPA (~52% of supply) and 3.10B TBILL within 48h of the exit | [chain] | onchain crisis decode (burn ledger) supply-curve scan (ATROPA/TEDDY/TBILL) | 0xcc78a0… 0x463413… |
shared-infra (7)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0087 | The shared math family (MATH v1.1/v1.0, RNG, Fa, Faung) plus AFFECTION all still carry the Maria-#2 owner key (functionally inert in mint paths; the treasury core itself has zero admin keys) | [chain] | family state probe (/shared-infra) family state probe (/shared-infra) | 27486857 | 0xb680f0… 0x5ef301… 0xa96bcb… 0x232a27… 0x73a19f… 0x24f015… |
| CLAIM-0088 | MATH.Random() self-mints 1 MATH AND then calls RNG.Generate() which self-mints 1 RNG - both under their own identical <= 1,111,111,111e18 caps (neither cap ever bound: supplies 362,812,655 / 362,835,531) | [src] | docs/solidity/verified/MATH_atropaMath.sol lines 38-42; docs/affection_docs/sources/rng.sol lines 1357-1373 /data/shared_infra.compact.json | 27486857 | 0xb680f0… 0xa96bcb… |
| CLAIM-0089 | RNG-mints-per-Generate discrepancy RESOLVED: the RNG token's Generate() mints exactly 1 RNG/call (single _mint under the <= cap; no _mintToCap exists in rng.sol; React() there does not mint); the affection-docs '3 per Generate' describes the AFFECTION token's own Generate() (its local React() calls _mintToCap() twice + one final _mintToCap()). Different contracts, identical cap conditional | [src] | docs/affection_docs/sources/rng.sol lines 1369-1370 vs docs/affection_docs/sources/conjecture.sol + affection.sol /data/shared_infra.compact.json | 0xa96bcb… 0x24f015… | |
| CLAIM-0090 | MATH<->RNG from-zero mint delta = 22,876 = Generate() calls that did not pass through MATH.Random() (direct RNG calls; constructor mints cancel; no cap-phase divergence); current supplies agree: 362,812,655 MATH vs 362,835,531 RNG (delta 22,876) | [chain] | onchain MATH/RNG mint scan (usage curve); family state probe (/shared-infra) /data/shared_infra.compact.json | 27486857 | 0xb680f0… 0xa96bcb… |
| CLAIM-0091 | The RNG orbit is fully deterministic: Generate() advances the global Mu (Faung) state by fixed modExp64 transforms over MotzkinPrime 953467954114363, seeded by hardcoded constructor constants; zero onchain entropy; one step per call; steerable by anyone | [src] | docs/affection_docs/sources/{rng,fa,faung}.sol /data/shared_infra.compact.json | 0xa96bcb… 0xb680f0… 0x232a27… 0x73a19f… | |
| CLAIM-0092 | 358M Random()/Generate() calls all-time; MATH is a de-facto public onchain RNG oracle (2025-11->2026 traffic 24-56M/month is third-party contract-internal grinding; Keys Of Ong <1%) | [chain] | onchain MATH/RNG mint scan (usage curve); orbit attribution probe orbit attribution probe | 0xb680f0… 0xa96bcb… | |
| CLAIM-0093 | Every census TT's _mintingKey is computed once via MATH.Random() at construction (constructor-key-inert); no TT uses the orbit at runtime | [src] | runtime bytecode selector diff (artifacts: /artifacts/) /data/taxonomy.compact.json | 0xb680f0… |
liquidity (5)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0079 | Burnt-LP census: 1753/34634 pools (5.1%) have >=50% LP at dead sinks; 564,424,227.74 WPLS locked behind burnt LP (0.8% of WPLS-leg reserves) | [chain] | burnt-LP census (pool-level scan) burnt-LP census (pool-level scan) | ||
| CLAIM-0080 | Both PulseX factories crawled end-to-end: V1 65,239 pairs + V2 186,797 pairs = 252,036 PairCreated events; event count == allPairsLength exactly for both | [chain] | factory PairCreated enumeration, both factories pool crawl analysis (/kb/reference/liquidity) | ||
| CLAIM-0081 | WPLS-anchored liquidity leaders: pDAI 39,456,161,687.99, TeddyBear 0.00, FED 1.30B (709 live pairs), TBILL 742.5M, MV 218.2M | [chain] | pool crawl, WPLS-anchored ranking (/data/pools.compact.json) pool crawl analysis (/kb/reference/liquidity) | 0x6b1754… 0xd6c31b… 0x1d177c… 0x463413… 0xa1bee1… | |
| CLAIM-0082 | 1,581-of-census-era tokens ever had a PulseX pool (1,546-era never did); 2,166 TT<->TT pairs exist inside the graph | [chain] | pool crawl analysis pool crawl analysis (/kb/reference/liquidity) | ||
| CLAIM-0083 | 108 census TTs have a PulseX LP token as parent; all such LPs pre-existed the TTs and are dust pools (symbolic parents) | [chain] | LP-as-parent pool analysis LP-as-parent pool analysis |
admin-surface (4)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0094 | Owner census of every registry contract at block 27501164: 160 live owner keys, 107 renounced (owner == 0x0), 85 with no owner function at all | [chain] | owner() census over the registry (/kb/reference/admin-surface) admin-surface census (/kb/reference/admin-surface) | 27501164 | |
| CLAIM-0095 | The math family's live owner keys gate only OpenZeppelin renounceOwnership/transferOwnership (BuyWith* routes and RNG Generate() are public) - all six keys functionally inert | [src]+[chain] | docs/solidity/verified/MATH_atropaMath.sol; rng source; admin-surface census (/kb/reference/admin-surface) admin-surface census (/kb/reference/admin-surface) | 27501164 | 0xb680f0… 0xa96bcb… 0x232a27… 0x73a19f… 0x24f015… |
| CLAIM-0096 | Metis carries a LIVE owner-gated mint(address,uint256) key held by Maria #2 (same Ownable+owner-mint shape as the renounced TBILL/Atropa/TeddyBear reserve keys) | [src]+[chain] | docs/solidity/verified/Metis.sol; admin-surface census (/kb/reference/admin-surface) admin-surface census (/kb/reference/admin-surface) | 27501164 | 0x36d4ac… |
| CLAIM-0097 | The reserve-asset owner-mint keys were burned: TBILL, Atropa and TeddyBear all read owner == 0x0 | [chain] | owner() census over the registry (/kb/reference/admin-surface) admin-surface census (/kb/reference/admin-surface) | 27501164 | 0x463413… 0xcc78a0… 0xd6c31b… |
chain-fact (4)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0101 | PulseChain fork block = 17,232,969 (2023-05-10 22:30:11 UTC); PulseChain RPCs serve pre-fork Ethereum headers/txs/logs/code/storage (unfiltered eth_getLogs sees Ethereum history) | [chain] | chain fact probes (fork block etc.) chain fact probes (fork block etc.) | ||
| CLAIM-0102 | The fork-carried MakerDAO Vat's deployed 2019 storage layout is shifted +1 vs the blockscout-verified dss source (ilks=2, urns=3, gem=4, dai=5); codehashes match Ethereum exactly; vault storage is genuine at fork-1 | [chain] | Vat storage-layout probe Vat storage-layout probe | 0x35d1b3… | |
| CLAIM-0103 | Official-bridge e-tokens pinned: eDAI 0xefD766cCb38EaF1dfd701853BFCe31359239F305, eUSDC 0x15D38573d2feeb82e7ad5187aB8c1D52810B1f07, eUSDT 0x0Cb6F5a34ad42ec934882A05265A7d5F59b51A2f, eWETH 0x02DcdD04e3F455D838cd1249292C58f3B79e3C3C (328-B bridge tokens); distinct from fork-carried p-assets and from Beta Finance b-tokens | [chain]+[ext-owner] | owner-pinned bridge set, verified onchain owner-pinned bridge set, verified onchain | 0xefd766… 0x15d385… 0x0cb6f5… 0x02dcdd… | |
| CLAIM-0104 | Forked assets carried Ethereum-era admin state (e.g. pWBTC owner 0xca06411bd7a7296d7dbdd0050dfc846e95febeb7, supply 154,410.47 at fork); canonical WBTC CA 0x2260fac5e5542a773aa44fbcfedf7c193bc2c599 = genuine forked pWBTC | [chain] | pool crawl, forked-asset numeraires chain fact probes (fork block etc.) | 0x2260fa… |
ledger-tbill (3)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0066 | V1 permanently locked 117,139,747.82 TBILL across 58/167 V1 children; no exit path exists | [chain] | per-child TBILL custody scan per-child TBILL custody scan | 27466587 | 0x463413… 0xc7bdac… |
| CLAIM-0067 | TBILL mint/burn ledger closes to the wei: 1,136,238,074,778.00 minted (all Maria-controlled) - 947,301,164,818.45 burned = 188,936,909,960.00 supply | [chain] | onchain TBILL mint/burn ledger decode onchain TBILL burn decode | 0x463413… | |
| CLAIM-0070 | Maria #1 TBILL outflows close: 1,202.58B = 944.20B burned + 123.35B -> FED reserve + 100.00B 6-minute round-trip via EOA 0xd8b1a6493af4f11719d877cf06a4d8b15c3d690f + ~10B pools + tail | [chain] | onchain TBILL transfer decode onchain Maria #1 TBILL transfer decode | 0x463413… 0x1d177c… |
mint-split (3)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0098 | MV's public Rho() mints a fixed six-leg schedule per call (dead 4 MV + Maria #2 1 MV + three base^18-wei dust wallets + caller 1 MV = 6.0185 MV; dead share 66.46%); no cap exists and the function stays callable by any EOA - dormant since 2026-08-02 only because nobody calls it | [src-decompiled]+[chain] | Rho() decode, window blocks 27,243,800-27,247,267; decompile window blocks 27,243,800-27,247,267 admin-surface census (/kb/reference/admin-surface) | 27501164 | 0xa1bee1… |
| CLAIM-0099 | cDc Mint() is permissionless but pays ONLY a constructor-hardcoded wallet list: 9 legs = 8 distinct wallets (0x85a067.. paid twice, halved), MATH.Random()-derived amounts, caller receives nothing - the activated variant of the _memburb list that ships commented-out in the old-era TT template lineage | [src-creation-bytecode]+[chain] | onchain cDc Mint() receipt decode (three distinct callers); receipts across three distinct callers admin-surface census (/kb/reference/admin-surface) | 27501164 | 0x4ec5f8… |
| CLAIM-0100 | Tetratricopeptides Mint() always routes (Random() % 4000) x 10^15 to the hardcoded finfire wallet; no hardcap exists in the verified source; the public route BuyWithAffection sells the finite deploy inventory (now 0) - all new supply accrues to finfire only | [src]+[chain] | docs/solidity/verified/ZHENG_Tetratricopeptides.sol; verified source: docs/solidity/verified/ZHENG_Tetratricopeptides.sol admin-surface census (/kb/reference/admin-surface) | 27501164 | 0x5f16f6… |
reserve (2)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0085 | MV supply 2.0129B flat since 2026-08-02 (public Rho() drip negligible); 1.34B (66%) sits at the dead address (burn-by-distribution); the universal minter payment asset | [chain] | daily MV supply scan daily MV supply scan | 0xa1bee1… | |
| CLAIM-0086 | FED is a permissionless 1:1 mint+has reserve root; received a 123.35B TBILL backing injection from Maria #1 (Dec-2024 -> Jan-2025) | [src]+[chain] | docs/solidity/verified/FED_TT.sol; onchain Maria #1 TBILL transfer decode onchain Maria #1 TBILL transfer decode | 0x1d177c… 0x463413… |
ledger-pdai (1)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0071 | pDAI ledger closes to the wei: fork-carried 4,689,733,212.01 + 156,506,770,103.02 minted - 116,834,351,109.32 burned = 44,362,152,205.71 = current supply (frozen since 2025-04-18) | [chain] | onchain pDAI mint/burn ledger decode onchain pDAI burn decode | 27470000 | 0x6b1754… |
ledger-teddy (1)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0078 | Bear dump: 459 Maria->pair TEDDY transfers totalling 197,197,195,892,287.81 TEDDY; per-tx receipt decode shows 458 pure swaps / 1 inert transfer and ZERO LP adds | [chain] | per-tx receipt decode (TEDDY transfers classified swap vs LP-add) per-tx receipt decode (TEDDY transfers classified swap vs LP-add) | 0xd6c31b… |
custody (1)
| id | statement | prov | proof ref / artifact | block | entities |
|---|---|---|---|---|---|
| CLAIM-0084 | Parent custody reconstructs exactly for 99/110 interest tokens from events; 509 of 2,925 parented census TTs sit at 100% parent backing; farm spines at 0% | [chain] | onchain custody reconciliation (event totals vs balances) onchain event scan (mints/claims/MV payments) |