Verify It Yourself

“Trust is a fiction. The whole is checkable.”

The method, complete

  1. Take the published inputs: the mint, the pool, the DBC program dbcij3LWUppWqq96dh6gJWwBifmcGfLSB5D4DuSMaqN, the season start slot, the chapter width W, and N = 16.
  2. 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.
  3. Uₙ = buys / (buys + sells). If a window is silent: Uₙ = uint64(SHA-256(mint‖season‖chapter‖sigs)) / 2⁶⁴.
  4. Sₙ = Σ 2⁻ᵏ·Uₖ as exact fractions. After chapter 16, X = S₁₆. The moral lands iff X > ½, strictly.
  5. 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.

xf(x) — computed nowpublished
1/21/2✓ matches
1/45/72✓ matches
3/467/72✓ matches
1/81/288✓ matches
3/873/288✓ matches
5/8215/288✓ matches
7/8287/288✓ matches
1/16143/2073600✓ matches
3/1646657/2073600✓ matches
5/16305857/2073600✓ matches
7/16777743/2073600✓ matches
9/161295857/2073600✓ matches
11/161767743/2073600✓ matches
13/162026943/2073600✓ matches
15/162073457/2073600✓ matches
1/3219/33177600✓ matches
3/3225219/33177600✓ matches
5/32334781/33177600✓ matches
7/321396781/33177600✓ matches
9/323470381/33177600✓ matches
11/326555581/33177600✓ matches
13/3210393219/33177600✓ matches
15/3214515219/33177600✓ matches
17/3218662381/33177600✓ matches
19/3222784381/33177600✓ matches
21/3226622019/33177600✓ matches
23/3229707219/33177600✓ matches
25/3231780819/33177600✓ matches
27/3232842819/33177600✓ matches
29/3233152381/33177600✓ matches
31/3233177581/33177600✓ matches