A registered result in its source context
Original ledger classification: Numerical [N] (registry lock) + typing discipline
Recorded statement: Blind-prediction registry FROZEN 2026-06-09, machine-enforced (review point: pre-registration before JUNO/CMB-S4/LiteBIRD/DESI). predictions_frozen.json freezes every dimensionless prediction of record at 25 significant digits; v84…
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
REG.FREEZE.01
Original ledger classification: Numerical [N] (registry lock) + typing discipline
Original claim text
Blind-prediction registry FROZEN 2026-06-09, machine-enforced (review point: pre-registration before JUNO/CMB-S4/LiteBIRD/DESI). predictions_frozen.json freezes every dimensionless prediction of record at 25 significant digits; v84 re-derives each decimal from the two axioms {c3,g_car} on every run, so formula and frozen value are locked together (changing either alone FAILS the suite; the file is covered by manifest.sha256). Registry layers: core [N] (alpha^-1, lambda_C, s23/s13 CKM, sin^2 th13, lepton + quark mass ratios), conditional [N]/[P] with the hypothesis NAMED (th12 seed via seam-misalignment, beta_rad, Omega_b, delta_CKM leading, M_scal/Mbar, rho_Lambda/Mbar^4 branch), assigned (delta_CP^nu=240deg, th23=0.5), conditional BANDS for r and n_s at the declared external N_star in [50,60]. THETA12 FREEZE ENFORCED: exactly ONE prediction of record = seed 1/3-phi0/2 = 0.306747357245; the seam (0.306808) and nonlinear (0.307020) values are typed as derived variants of the SAME texture and may NOT appear as predictions (look-elsewhere ambiguity machine-excluded)
Original classification detail
Numerical [N] (registry lock)
Dependencies as recorded
EM.FP.01; FLAV.TH12.01; PRED.LAYER.01; freeze_file.csv
Open the original ledger source, row 158Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- TFPT — Introduction and reading guide
- Standard Model and flavor structure
- Verification reference catalog
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- The solar angle [formula in source] : derived from the seamtfpt 2 standard model
- 2026-07-02 ( v467/ v468 — two named post-hoc \ flavor candidates, record unchanged: the three [formula in source] mixing tensions as one third-generation [formula in source] pattern, and the splitting ratio [formula in source] )Research changelog; TFPT — Introduction and reading guide
- Neutrinostfpt 2 standard model
- The solar angle [formula in source] : derived from the seamStandard Model and flavor structure
- NeutrinosStandard Model and flavor structure
- Layer 5 — frozen predictions, the null model, and the [formula in source] uniqueness scanVerification safeguards
- OutcomeRed-team audit
- Front matter / supportE8 audit and bootstrap
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Falsifiersinput 4 origin theory
- Bilinear anchor forms.input 5 tfpt 3 e8 audit bootstrap
- 2026-06-22 ( [formula in source] reconciled with the archived derivation: predicted \& dimensionless (so it does not define a mass), the tension is the reheating channel: v340)Research changelog; TFPT — Introduction and reading guide
- Research Contract — PRED.JOINTLIKELIHOOD.01 (from hit-counting to overdetermined relations)tfpt research contracts
- FalsifiersOrigin Theory
- Falsifiersinput 4 origin theory
- Falsifiersorigin theory
- Research Contract — PRED.JOINTLIKELIHOOD.01 (from hit-counting to overdetermined relations)Research contracts
All 15 linked sections
- Bilinear anchor forms.
- Bilinear anchor forms.
- 2026-06-09
- 2026-07-21 (the two 2026-07-20 prediction-of-record rows promoted to the suite: v494 — [formula in source] running [formula in source] [formula in source] -distortion branch discriminator machine-checked, ledger rows COSMO.RUNNING.01/ COSMO.MUDIST.01, prediction surfaces synced; no gate closes, no marker moves)
- 2026-06-21 (adversarial-review follow-ups: a structural anti-numerology firewall, an out-of-sample seed cross-validation, an operational data watchdog, and the Target-A holomorphy kill test: v305– v307)
- Summary — the layered defense
- Research Contract — PRED.JOINTLIKELIHOOD.01 (from hit-counting to overdetermined relations)
Registered verification modules
- v84_frozen_registry.pyRegistered verification module · registry
Read the description recorded in the module registry
blind-prediction registry FROZEN 2026-06-09: every dimensionless prediction of record at 25 digits, re-derived from the two axioms each run (formula↔value lock); exactly ONE θ₁₂ prediction of record = 1/3−φ₀/2 = 0.306747, variants typed as derived (look-elsewhere machine-excluded); r/n_s only as N★ bands
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.