A project built around exact integer and lattice identities has to answer one suspicion before any other: how is this not numerology? This page is the answer — not as a promise, but as measured process discipline: a sandbox firewall, kill criteria declared before execution, a deterministic suite, one versioned ledger, and a public graveyard of the coincidences that did not survive.
The discipline itself is a suite claim: module v649_discipline_audit.py (META.DISCIPLINE.01) parses the repository on every run and fails if any census below regresses.
Nothing becomes a claim by being written down. Exploration lives in experiments/ behind a firewall; a probe must declare its kill criteria before it runs; only what survives is promoted into the verification suite; the ledger decides every status; papers and website are generated mirrors that an audit checks against the ledger.
The firewall. Results in experiments/ are search surfaces, not claims — they cannot be cited by a paper, cannot move a status, and are labelled sandbox on this site until promoted.
The one gate. Promotion means: a verification/vN_*.py module with named checks and frozen tolerances, a ledger row, a citation in a paper body, and a green run_all.py. A finding that skips any of these does not exist.
The mirrors. The script index, the changelog, the maps and the numbers on this page are generated files. bash build.sh audit fails if any mirror drifts from its source.
These are not marketing figures. They are censuses computed from the repository itself — the ledger, the module sources, the contracts paper, the Lean tree — regenerated by the build and frozen as minimum bars inside the suite.
one file per claim cluster; every module carries checks
python3 verification/run_all.py replays all of them
across 233 modules — scrambles, kill tests, controls that must break
ledger rows recording killed, retyped or ill-posed hypotheses (of 715 total)
preregistered lemma chains; kill criteria named before execution
declared modules run twice — identical output (v55…v648, incl. v634/v643/v648)
committed formal certificates (git ls-files; no sorry)
Jacobi · Construction A · Shephard–Todd · Suzuki · completed-ζ, checked against the literature
Every number on this page is generated from the repository by verification/make_discipline_stats.py and certified as frozen minimum bars by v649_discipline_audit.py (claim META.DISCIPLINE.01) on every suite run. Nothing here is typed in by hand.
A confirmation-bias generator keeps every coincidence it finds. This project has buried 214 of its own readings — killed, retyped or retired in the open, each with the module that did it. Seven of the most tempting ones:
What was tempting. The sixty-line reflection group has order 46080 = 1920 · 24 — exactly the product of the two compiler Weyl groups. It looked like the glue theorem written as group theory.
How it died. Killed three ways: G31 is not isomorphic to the product (centers 4 vs 1), is no direct or semidirect product in either order (Lagrange kill), and W(D₅) does not even embed in any rank-4 unitary group. The order coincidence carries no structure.
What was tempting. The anchor's power sums looked like they might be literal code operations in the Reed–Muller dictionary — 'the compiler numbers are code words'.
How it died. 0/11 natural code families reproduce the sequence; 18, 27, 81 have no code reading at all. The bingo is buried in public; only the σ-selected anchor decomposition survives as an exact statement.
What was tempting. The regular 24-element w satisfies w⁶ = ±J, so the order-12 compiler clock looked like its square — one clock, one origin.
How it died. Killed by a parity theorem: 12-cycles of any square arise in pairs from 24-cycles, and the clock's census 19×12 + 3×4 has odd counts — impossible even in S₂₄₀. A power-census scan over all 46080 elements confirms it.
What was tempting. Raw correlations of ±0.40 suggested the fine geometric invariants of the prime front predict the arithmetic contraction margin — a geometry-to-primes bridge.
How it died. After controlling for the ladder parameter h, the partial correlation is ρ = −0.040 (p = 0.75) — the raw signal was entirely the h-trend. Promoted as an honest negative; the bridge, if it exists, needs a different functional.
What was tempting. 240 = 48 · 5 — the seam sites times the carrier slots. An external review proposed building the roots canonically as (cover modes) × (carrier slots).
How it died. The canonical order-12 element does not act freely (census 19×12 + 3×4, not 20 free orbits) — the construction fails at the first hurdle. The positive residue is sharp and smaller: the μ₄ clock alone acts freely with exactly 60 orbits.
What was tempting. A follow-up test proposed by an external review looked like an independent check of the anchor bytecode.
How it died. Machine-checked and found ill-posed as stated — recorded as such in the module instead of being silently reinterpreted until it passed.
What was tempting. The W1 dictionary chain read Suzuki's screw function with Lerch coefficient −1; four modules and a two-layer dictionary were built on that reading.
How it died. Self-found and corrected the same day: the paper's own data lock +1/4. Every measured number transfers verbatim via an exact identity; the dictionary collapses to one scalar. Documented as dated erratum blocks across modules, ledger, papers and site.
47 contract rows are open in the ledger, 29 with kill criteria named before execution. These are the ways the construction dies — committed in advance, not negotiated afterwards.
Exactly one solar-angle prediction of record is frozen (sin²θ₁₂ = 0.306747, registry frozen 2026-06-09, re-derived from the two axioms on every suite run). A JUNO result outside the declared band kills the neutrino texture.
The scalaron sector predicts r inside the declared N★ band. CMB-S4 / LiteBIRD sensitivity reaches it; a detection well outside the band kills the inflation readout.
The W3 candidate mechanism (kill test K2 of the Weil-operator contract) dies if a complete fresh window stably exceeds the frozen C = 1 bound — the complete-comb surface is definitional, so there is no room to re-fit.
Kill test K1: if the window form is not the Galerkin matrix of the localized Weil operator on the declared bases (exactly, or up to the named rank-one transform), the W1–W4 chain is dead. K3: losing the explicit-formula bookkeeping in the odd sector kills it too.
The remaining frozen criteria of the falsification surface: a strong-CP signal inconsistent with the null, an inverted neutrino ordering, or dark energy measurably away from w = −1 each kill their sector outright.
Every claim carries a display marker decided by the status ledger. The distribution below is measured from the ledger — and it is deliberately not flattering.
Machine-verified exact: identities, lattice facts, formal results, audited numerics. The only class that carries load.
Typed readings and physical identifications — observations that stay observations until a mechanism is proven. Never silently upgraded.
Open gates, premises and research contracts — stated in public with their kill criteria, not hidden in an appendix.
Falsified or refuted readings, kept in view so they cannot be re-fished. The graveyard above is their showcase.
More rows are typed open or conditional than established — the grading is earned per claim, decided by one versioned ledger, and a status can only move with new machine evidence.
The role of AI agents in this project, stated plainly — and why the trust model does not depend on them.
AI agents are used in this project — as instruments. They write and run the exploratory probes, draft module code and keep the mirrors in sync. They decide nothing. Every finding, positive or negative, must pass the same gate: a deterministic verification module with named checks, typed status markers and frozen tolerances, replayed in full by
python3 verification/run_all.pyAnyone can replay it — the suite is deterministic (the replay sample above is re-certified on every run), the papers and this site are generated mirrors of the same ledger, and the repository contains everything needed to do so. The erratum culture is part of the same contract: when the W1 chain misread a convention in its source paper, the error was found by the suite’s own consistency checks and published as a dated erratum the same day (v643) — labels corrected, numbers unchanged, nothing quietly rewritten. Tools may propose; only the suite disposes.