A registered result in its source context
Original ledger classification: Physical bridge [C] (CKM point [I], branching ratios external-SD [C], dated kill test [X])
Recorded statement: RARE KAON SECTOR K -> pi nu nubar FROM THE TFPT CKM POINT (2026-06-15, archive integration): the kernel fixes the full CKM matrix (s12=lambda_C, s23=phi0/(1+lambda_C)=|V_cb|, s13=lambda_C^3/3, delta=pi/3+3 lambda_C^2=1.19823 rad; v18/v88)…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
FR.RAREKAON.01
Original ledger classification: Physical bridge [C] (CKM point [I], branching ratios external-SD [C], dated kill test [X])
Original claim text
RARE KAON SECTOR K -> pi nu nubar FROM THE TFPT CKM POINT (2026-06-15, archive integration): the kernel fixes the full CKM matrix (s12=lambda_C, s23=phi0/(1+lambda_C)=|V_cb|, s13=lambda_C^3/3, delta=pi/3+3 lambda_C^2=1.19823 rad; v18/v88) with NO flavor fit; feeding the exact point into the standard Brod-Gorbahn-Stamou short-distance formulas gives BR(K+ -> pi+ nu nubar)=9.45e-11 and BR(K_L -> pi0 nu nubar)=3.33e-11. (1) [I] the CKM point + exact apex (rhobar,etabar)=(0.1374,0.3509) and lambda_t=V_ts* V_td. (2) [C] the branching ratios -- NOT parameter-free: X_t=1.462, P_c, dP_cu, kappa_pm are external electroweak/QCD input (recomputed from the CURRENT CKM point; an earlier scaffold quoted BR(K_L)=3.47e-11 from an Im(lambda_t)/lambda^5 slip, corrected here to 3.33e-11). (3) [N] BR(K+)=9.45e-11 lands ON the NA62 full 2016-2024 combination (9.6 +1.9/-1.8)e-11 (La Thuile 2026), +0.08 sigma (the earlier 2016-2022 obs was (13.0 +3.3/-3.0)e-11, ~1.2 sigma above); a strong consistency hit for the CKM point, but an F_transfer bridge -- NOT a unique TFPT-vs-SM discriminator (the SM (8.6 +- 0.4)e-11 also sits inside the NA62 error). (4) [I] Grossman-Nir ratio BR(K_L)/BR(K+)=0.352 << 4.3 (model-independent isospin corridor). (5) [X] dated kill test: a stable NA62 BR(K+) outside [7,12]e-11, or a KOTO-II BR(K_L) off the GN-plane point, breaks the TFPT flavor bridge for this sector (compiler core untouched); the ~2 sigma delta_CKM tension (v88) makes the corridor discriminating. A downstream FLAVOR readout, guarded [C] by v187 -- NOT a compiler power. Python-only
Original classification detail
Physical bridge [C]: the TFPT CKM point (no flavor fit) + standard short-distance input give BR(K+)=9.45e-11 and BR(K_L)=3.33e-11; consistent with NA62 at ~1.2 sigma; dated kill test = stable NA62 outside [7,12]e-11 or KOTO-II off the GN point; not a compiler power
Dependencies as recorded
v18_quark_yukawa.py; v88_cp_phase_audit.py
Open the original ledger source, row 278Location 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.
- 2026-06-15 (archive integration \#1: the rare kaon sector [formula in source] — v202)Research changelog; TFPT — Introduction and reading guide
- 2026-06-22 (external-review pass: a registry bug fix, the NA62 2026 rare-kaon update, CP-phase prose hygiene, and three firewall/visualisation enhancements: v202, v203, v305, v307, v321)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.
- Honest statusinput 4 origin theory
- Honest statusorigin theory
- Honest statusOrigin Theory
- Downstream flavor readout: the rare kaons [formula in source]Standard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Honest statusinput 4 origin theory
- Downstream flavor readout: the rare kaons [formula in source]tfpt 2 standard model
Registered verification modules
- v202_rare_kaon.pyRegistered verification module · flavor
Read the description recorded in the module registry
the rare kaon sector K → π ν ν̄ from the TFPT CKM point ([C] downstream flavor readout, NOT a compiler power). The kernel fixes the full CKM matrix (s₁₂=λ_C, s₂₃=φ₀/(1+λ_C)=|V_cb|, s₁₃=λ_C³/3, δ=π/3+3λ_C²=1.19823 rad; v18/v88) with no flavor fit; feeding the exact point into the standard Brod–Gorbahn–Stamou short-distance formulas gives BR(K⁺→π⁺νν̄)=9.45×10⁻¹¹ and BR(K_L→π⁰νν̄)=3.33×10⁻¹¹. [I] CKM point + exact apex (ρ̄,η̄)=(0.1374,0.3509), λ_t=V_ts*V_td; [C] the branching ratios (NOT parameter-free — X_t, P_c, κ_± are external EW/QCD input); [N] BR(K⁺)=9.45×10⁻¹¹ lands ON the NA62 2016-2024 combination (9.6 +1.9/-1.8)×10⁻¹¹ (La Thuile 2026), +0.08σ (the 2016-2022 obs (13.0₋₃.₀⁺³·³)×10⁻¹¹ was ~1.2σ above) — a strong consistency hit, but an F_transfer bridge, not a unique TFPT-vs-SM discriminator (SM (8.6±0.4)×10⁻¹¹ also inside the NA62 error); [I] Grossman–Nir ratio 0.352 ≪ 4.3; [X] dated kill test: a stable NA62 BR(K⁺) outside [7,12]×10⁻¹¹, or a KOTO-II BR(K_L) off the GN point, breaks the flavor bridge (core untouched).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.