The Library · 2026-07-10
Seven papers, one note.
Zero unlabeled numbers.
This is not a stack of preprints about intentions. Every number in these pages greps back to a lab artifact you can re-run tonight. Every claim carries MEASURED, SIMULATED, MODELED, THEORY, or DREAM — and its falsifier. Two of the seven publish kills.
The Chunk-Freivalds Dispute Calculus
Refereeing a disputed inference chunk for O(KN+TK+TN) instead of recompute: 1.8669 c/MAC at the leaf, the measured 1/T law, 12.67× at T=128, and a real 288 B Groth16 settlement receipt. MEASURED
02 DeterminismVendor-Invariant Integer Inference
A frozen integer profile makes bit-exactness free by construction: two independent CPU implementations agree 24/24 layers on real weights; the token-7 "divergence" was an FP tie in the reference, not in us. The cross-vendor GPU gate is stated as open Gate 1. MEASURED
03 Foresight · a killThe Price of a Nightmare
Sealed counterfactual markets, twice killed by their own preregistered rules: manipulation out-earned its fee 21.7×, and no influence premium ≤ 2× break-even separates honest influence from manipulation. Exclusion is a policy, not a price. SIMULATED
04 Verification meshGenealogical Quorum
Quorum weight quotiented by declared lineage: twelve cloned phone testifiers collapse to weight one; a concrete counterexample repairs over-collapse; 96/96 permutations identical. MEASURED fixture, THEORY protocol
05 SettlementMolecular Quarantine Settlement
Per-job contradiction quarantine with globally linear typed resources: the contested job freezes, unrelated jobs settle, zero double payouts across 4,324,320 enumerated causal interleavings. MEASURED fixture
06 Consensusω-Invariant Difficulty
The puzzle constrains the committed output, never the algorithm: any fast-matmul breakthrough is absorbed by per-block retargeting. A standing planetary bounty on the exponent ω — stated honestly as pure THEORY with its falsifiers.
07 The capstoneMindChain: The Substrate Identity
Five axioms, the pentagon, the measured spine, and the graveyard — a retired conjecture, a killed market, eighteen dead seeds, nine dead designs. The whitepaper that counts its own scars. MEASURED + THEORY
08 Research note · two hostile reviewsThe Reflex Lane
Real-time agent settlement on a chain that also thinks: a bonded promise clock and finality-class-gated capabilities. Its v1 gating spec and first lab were killed by two same-day reviews (one verdict: REJECT) — published as scars; the rebuilt lab is green on preregistered gates. THEORY + SIMULATED