A registered result in its source context
Original ledger classification: Numeric correction budget [E]/[C] (the typed budget v388 as actual first-correction magnitudes: fixed-point 0.227%, seam-gapped 8.78%/QG-capped 9.62%, exact-identity 0, external quoted -- a computed theoretical-uncertainty surface)
Recorded statement: The typed correction budget (v388) turned into ACTUAL first-correction magnitudes -- a computed theoretical-uncertainty surface (2026-06-24), the short-term testable harvest of v388: instead of merely TYPING each prediction's correction,…
Statement, assumptions and sources
Paper context: Origin Theory
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
CORRECTIONS.NUMERIC.01
Original ledger classification: Numeric correction budget [E]/[C] (the typed budget v388 as actual first-correction magnitudes: fixed-point 0.227%, seam-gapped 8.78%/QG-capped 9.62%, exact-identity 0, external quoted -- a computed theoretical-uncertainty surface)
Original claim text
The typed correction budget (v388) turned into ACTUAL first-correction magnitudes -- a computed theoretical-uncertainty surface (2026-06-24), the short-term testable harvest of v388: instead of merely TYPING each prediction's correction, this gives the NUMBER, so a parameter-free central value can be quoted as 'value +- computed first correction'. [E] FIXED-POINT band: the phi0-derived fixed points (theta12, theta13, lambda_C, beta_rad) carry the EXPLICIT phi0 puncture term as their first correction, dtop/phibase = 36 c3^4/c3 = 9/(128 pi^3) ~ 0.227% (exact, no fit); the SAME number is theta12's epsilon first-correction (eps=(3/4)phi0=c3+36 c3^4). [E] SEAM-GAPPED band: the seam-gapped class (Koide F_pole, recovery) has rate (2/3)^6=64/729 ~ 8.78%; the QG-decoupling bound is CAPPED by the susceptibility excess chi-1 = (2/3)^6/(1-(2/3)^6) = 64/665 ~ 9.62% (finite, v337). [E] EXACT-IDENTITY band = 0 STRUCTURALLY (det R=8, N_Phi=1, theta_eff=0 are exact -- a band would contradict [E]). [E] EXTERNAL-RATE band = external physics, quoted from the modules (m_p/m_e +-7.5% v374; n_s/r N* in [50,60]; eta_B ~1.07x v212; axion scenario), fenced by v187 -- NOT a seam band. [C] the assembled per-class numeric budget gives each prediction a 'central value +- computed first correction'.
Original classification detail
[E] the four computed bands (fixed-point 9/(128 pi^3)~0.227%, seam-gapped (2/3)^6~8.78%, QG cap 64/665~9.62%, exact-identity 0) + the external quoted bands; [C] the assembled numeric budget. A harvest of v388 into testable numbers (theoretical error bars); reuses the phi0 puncture, (2/3)^6 and the chi cap, introduces no new number.
Dependencies as recorded
CORRECTIONS.BUDGET.01; v388; v337; v374; v212; v187
Open the original ledger source, row 460Location 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.
- Origin Theory
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-24 (Correction error-bars: v393 the typed budget as actual first-correction magnitudes)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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.
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- 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
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- 2026-07-01 ( v466 — a sixth seed channel from a new measurement sector: the charged-lepton mass ratio [formula in source] back-solves the same axiom seed to [formula in source] , extending the empirical over-determination to five sectors)Research changelog; TFPT — Introduction and reading guide
All 9 linked sections
Registered verification modules
- v393_corrections_numeric.pyRegistered verification module · frontier
Read the description recorded in the module registry
CORRECTIONS.NUMERIC.01: the typed correction budget (v388) turned into ACTUAL first-correction magnitudes -- a computed theoretical-uncertainty surface, the short-term testable harvest of v388. [E] FIXED-POINT band (theta12/theta13/lambda_C/beta_rad) = the explicit phi0 puncture term 36 c3^4/c3 = 9/(128 pi^3) ~ 0.227% (exact; = theta12's epsilon first-correction). [E] SEAM-GAPPED band (Koide/recovery) = (2/3)^6 ~ 8.78%; QG bound capped by chi-1 = 64/665 ~ 9.62% (v337). [E] EXACT-IDENTITY band = 0 structurally (det R=8, N_Phi=1, theta_eff=0). [E] EXTERNAL-RATE band = external physics quoted (m_p/m_e +-7.5% v374; n_s/r N* band; eta_B 1.07x v212), fenced v187. [C] each prediction gets 'central value +- computed first correction'. A harvest of v388, no new number.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.