A registered result in its source context
Original ledger classification: Numerical/data [N]/[X] (theta13 pressure point)
Recorded statement: THE theta13 PRESSURE POINT -- THE HONEST WEAK SPOT, QUANTIFIED AND PRE-REGISTERED (2026-06-22). [N] TENSION: sin^2 theta13 = phi0 e^{-5/6} = 0.023 108 vs NuFIT 6.0 NO (0.02195 +- 0.00058) is +2.0 sigma -- the most-tensioned CORE prediction…
Statement, assumptions and sources
Paper context: Verification safeguards
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
FLAV.TH13.PRESSURE.01
Original ledger classification: Numerical/data [N]/[X] (theta13 pressure point)
Original claim text
THE theta13 PRESSURE POINT -- THE HONEST WEAK SPOT, QUANTIFIED AND PRE-REGISTERED (2026-06-22). [N] TENSION: sin^2 theta13 = phi0 e^{-5/6} = 0.023108 vs NuFIT 6.0 NO (0.02195 +- 0.00058) is +2.0 sigma -- the most-tensioned CORE prediction (v62/v307). [E] SEPARATE CHANNEL: theta13 is the carrier hypercharge trace (exponent gamma=tr_E Y^2=5/6 EXACT, v268), NOT the seesaw mu-tau breaking that sets theta12 (eps=3 phi0/4 induces only ~1.6e-3 << 0.023) -- distinct channels, a theta13 pull does not move theta12. [N] NO CHEAP RELIEF: phi0(theta13)=e^{5/6} sin^2 theta13_exp=0.0505 is ~5% below the axiom 0.05317; PMNS theta13 RG running is <1% (NO) so cannot close a 5% gap, and the exponent 5/6 is exact -- no freeze-respecting sub-leading correction relieves it; prediction stays frozen (REG.FREEZE.01). [X] PRE-REGISTERED KILL: a stable sin^2 theta13 away from 0.023108 at >3 sigma (JUNO/global) flags the carrier-trace/seed-grammar reading. [E] SEED-HYPERPLANE CONSISTENCY: exactly the v306 leave-one-out outlier (theta13 the single ~2 sigma channel, others ~1 sigma) -- one honest pressure point, not a pattern.
Original classification detail
[N] the precise +2.0 sigma tension + the no-relief audit; [E] the separate-channel structure (v268) + the seed-hyperplane consistency; [X] the pre-registered kill. Names and quantifies the honest weak point; no new claim, no freeze change.
Dependencies as recorded
FLAV.TH13.01; DATA.SCORECARD.01; SEED.CROSSVAL.01; v268; v62; v306; v307
Open the original ledger source, row 427Location 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.
- Standard Model and flavor structure
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.
- Layer 5 — frozen predictions, the null model, and the [formula in source] uniqueness scanVerification safeguards
- 2026-06-22 (next-steps round: the keystone collapsed to one shared premise (Lean [formula in source] one citable theorem), the [formula in source] solver suite, the cusp weight derived from a minimal rewrite, and the [formula in source] pressure point: FORM.QGEO.BW.01, v325, v326, v327, v328)Research changelog; TFPT — Introduction and reading guide
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.
- 2026-07-01 ( v465 — the cross-sector one-parameter seed test: a CMB birefringence angle and a quark Cabibbo angle point to the same seed within [formula in source] , the [formula in source] -independent externally-runnable slice of v306)Research changelog; TFPT — Introduction and reading guide
- 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
- NeutrinosStandard Model and flavor structure
- OutcomeRed-team audit
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-22 (next-steps round: the one open lemma literature-anchored, the Decoupling Theorem, the holomorphy discriminator hardened in Lean, and the [formula in source] budget: v336, v337, v338, FORM.CARTAN.DET.01)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v328_theta13_pressure.pyRegistered verification module · neutrinos
Read the description recorded in the module registry
The theta13 pressure point: the honest weak spot, quantified and pre-registered. sin^2 theta13 = phi0 e^{-5/6} = 0.023108 vs NuFIT 6.0 NO (0.02195 +- 0.00058) is +2.0 sigma -- the most-tensioned CORE prediction (v62/v307). theta13 is the carrier hypercharge trace (exponent gamma=tr_E Y^2=5/6 EXACT, v268), NOT the seesaw mu-tau breaking that sets theta12 -- distinct channels (a theta13 pull does not move theta12). No cheap relief: the back-solved seed phi0(theta13)=0.0505 is ~5% below the axiom, PMNS theta13 RG running is <1% (NO) so cannot close it, and 5/6 is exact -- the prediction stays frozen (REG.FREEZE.01). Pre-registered kill: a stable sin^2 theta13 away from 0.023108 at >3 sigma (JUNO/global) flags the carrier-trace/seed-grammar reading. Exactly the v306 seed-hyperplane outlier -- one honest pressure point, not a pattern of failures.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.