Verify It Yourself
“Trust is a fiction. The whole is checkable.”
The method, complete
- Take the published inputs: the mint, the pool, the DBC program dbcij3LWUppWqq96dh6gJWwBifmcGfLSB5D4DuSMaqN, the season start slot, the chapter width W, and N = 16.
- For each chapter, pull every transaction touching the pool in its slot window from any RPC. Read the quote-vault (WSOL) balance delta in each: vault up = buy, vault down = sell, the delta is the volume.
- Uₙ = buys / (buys + sells). If a window is silent: Uₙ = uint64(SHA-256(mint‖season‖chapter‖sigs)) / 2⁶⁴.
- Sₙ = Σ 2⁻ᵏ·Uₖ as exact fractions. After chapter 16, X = S₁₆. The moral lands iff X > ½, strictly.
- Run our open-source recompute CLI against any RPC and confirm the season’s record hash, byte for byte. Then open the burn signature and watch the mint’s total supply decrease.
Three invariants, computed on this page right now
- ✓ f(½) = ½ — exactly, as a fraction, not a float
- ✓ f(x) + f(1−x) = 1 for every tabulated dyadic
- ✓ Reshetnikov integers R₁…R₉ = 1, 5, 15, 1001, 5985, 2853675, 26261235, 72808620885, 915304354965
These are recomputed by the same exact-arithmetic resolver every time this page renders. The observer refuses to start if any of them fails.
The dyadic table — exact values, recomputed live
The denominators are not powers of two (72 = 2³·3²) — a detail no one would fabricate. Sources: Arias de Reyna, Arithmetic of the Fabius function, arXiv:1702.06487; Haugland, Evaluating the Fabius function, arXiv:1609.07999; Wikipedia.
| x | f(x) — computed now | published |
|---|---|---|
| 1/2 | 1/2 | ✓ matches |
| 1/4 | 5/72 | ✓ matches |
| 3/4 | 67/72 | ✓ matches |
| 1/8 | 1/288 | ✓ matches |
| 3/8 | 73/288 | ✓ matches |
| 5/8 | 215/288 | ✓ matches |
| 7/8 | 287/288 | ✓ matches |
| 1/16 | 143/2073600 | ✓ matches |
| 3/16 | 46657/2073600 | ✓ matches |
| 5/16 | 305857/2073600 | ✓ matches |
| 7/16 | 777743/2073600 | ✓ matches |
| 9/16 | 1295857/2073600 | ✓ matches |
| 11/16 | 1767743/2073600 | ✓ matches |
| 13/16 | 2026943/2073600 | ✓ matches |
| 15/16 | 2073457/2073600 | ✓ matches |
| 1/32 | 19/33177600 | ✓ matches |
| 3/32 | 25219/33177600 | ✓ matches |
| 5/32 | 334781/33177600 | ✓ matches |
| 7/32 | 1396781/33177600 | ✓ matches |
| 9/32 | 3470381/33177600 | ✓ matches |
| 11/32 | 6555581/33177600 | ✓ matches |
| 13/32 | 10393219/33177600 | ✓ matches |
| 15/32 | 14515219/33177600 | ✓ matches |
| 17/32 | 18662381/33177600 | ✓ matches |
| 19/32 | 22784381/33177600 | ✓ matches |
| 21/32 | 26622019/33177600 | ✓ matches |
| 23/32 | 29707219/33177600 | ✓ matches |
| 25/32 | 31780819/33177600 | ✓ matches |
| 27/32 | 32842819/33177600 | ✓ matches |
| 29/32 | 33152381/33177600 | ✓ matches |
| 31/32 | 33177581/33177600 | ✓ matches |