A registered result in its source context
Original ledger classification: a status-typed CI over freeze_file.csv -- falsifiability complete + the live scorecard (theta13 flagged at 2.0 sigma) [E]/[N]
Recorded statement: Track 4 (2026-06-23): the prediction OBSERVATORY -- a status-typed CI over the frozen prediction registry (verification/freeze_file.csv) that makes the falsifiability surface machine-checkable. Does NOT re-derive the physics; verifies (a)…
Statement, assumptions and sources
Paper context: Red-team audit
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
OBSERVATORY.REGISTRY.01
Original ledger classification: a status-typed CI over freeze_file.csv -- falsifiability complete + the live scorecard (theta13 flagged at 2.0 sigma) [E]/[N]
Original claim text
Track 4 (2026-06-23): the prediction OBSERVATORY -- a status-typed CI over the frozen prediction registry (verification/freeze_file.csv) that makes the falsifiability surface machine-checkable. Does NOT re-derive the physics; verifies (a) the registry is COMPLETE (every frozen signal has a kill criterion), (b) the headline numerical predictions re-derive from the atoms {phi0}, (c) the live scorecard (each headline prediction's sigma-distance to the current measurement) is internally consistent and correctly typed. [E] FALSIFIABILITY COMPLETE: all registry rows carry a non-empty kill_criterion (no orphan claims). [E] HEADLINE VALUES FROM ATOMS: sin^2 theta12=1/3-phi0/2, sin^2 theta13=phi0 e^{-5/6}, beta_rad=phi0/(4pi). [N] LIVE SCORECARD: theta12 vs JUNO first 59.1-day run (0.3092+-0.0087)=0.28 sigma (compatible); theta13 vs NuFIT 6.0 NO (0.02195+-0.00058)=2.0 sigma (the flagged most-tensioned core prediction); beta_rad vs ACT DR6 (0.215+-0.074)=0.37 sigma (a hint, systematics pending); r=12/N*^2~0.004<BK18 0.036 (compatible). [E] REGISTRY INTEGRITY: the single machine-readable falsifiability surface, theta13 flagged in its own row.
Original classification detail
[E] the completeness + atom re-derivation + integrity; [N] the live data scorecard (the sigma-distances are data, updated as experiments report). Tooling that verifies the prediction surface; introduces no new physics claim.
Dependencies as recorded
v3; v9; v268; v328; v86; v60
Open the original ledger source, row 87Location 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.
- Red-team audit
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.
- 2026-06-23 (Track 4 — the prediction OBSERVATORY: a status-typed CI over the frozen prediction registry that makes the falsifiability surface machine-checkable, with a live data scorecard ( v375))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.
- Status: what is now written out, and what is honestly leftStandard Model and flavor structure
- Closing computations and proofstfpt 2 standard model
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- Status: what is now written out, and what is honestly lefttfpt 2 standard model
- 2026-06-23 (Status propagation: the v365– v380 [formula in source] FORM.SEAM.MMST.01 status carried into the remaining papers, the README and the Zenodo description)Research changelog; TFPT — Introduction and reading guide
- Layer 5 — frozen predictions, the null model, and the [formula in source] uniqueness scanVerification safeguards
- OutcomeRed-team audit
- The honest open-items listinput 5 tfpt 3 e8 audit bootstrap
Registered verification modules
- v375_observatory_registry.pyRegistered verification module · frontier
Read the description recorded in the module registry
Track 4: the prediction OBSERVATORY -- a status-typed CI over the frozen prediction registry (freeze_file.csv) that makes the falsifiability surface machine-checkable (no new physics). [E] falsifiability complete: every registry row carries a non-empty kill criterion (no orphan claims). [E] headline values re-derive from {phi0}: sin^2 theta12=1/3-phi0/2, sin^2 theta13=phi0 e^{-5/6}, beta_rad=phi0/(4pi). [N] live scorecard: theta12 vs JUNO first run (0.3092+-0.0087)=0.28 sigma (compatible); theta13 vs NuFIT 6.0 NO (0.02195+-0.00058)=2.0 sigma (the flagged most-tensioned core prediction); beta_rad vs ACT DR6 (0.215+-0.074)=0.37 sigma (hint); r=12/N*^2~0.004<BK18 (compatible). [E] registry integrity: the single machine-readable falsifiability surface. Tooling for the closed/open pieces.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.