A registered result in its source context
Original ledger classification: Numerical [N] (audit + thresholds) + [P] (phase mechanism open)
Recorded statement: Red-team Target D follow-up: CP-phase residual QUANTIFIED [N] (not closed; freeze respected): frozen leading reading delta_CKM=pi/3+3 lam^2=1.198 232 rad=68.654 deg (registry DELTA_CKM_RAD untouched) gives J=3.327e-5 [I]. Clean phase probe…
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
FLAV.CP.01
Original ledger classification: Numerical [N] (audit + thresholds) + [P] (phase mechanism open)
Original claim text
Red-team Target D follow-up: CP-phase residual QUANTIFIED [N] (not closed; freeze respected): frozen leading reading delta_CKM=pi/3+3 lam^2=1.198232 rad=68.654 deg (registry DELTA_CKM_RAD untouched) gives J=3.327e-5 [I]. Clean phase probe gamma_PDG=65.7+-3.0 deg: pull +0.98 sigma => leading reading SURVIVES. AUDIT (recorded, explicitly NOT promoted): the data central value sits 0.07 deg from the ALTERNATIVE coefficient reading pi/3+2 lam^2 (|Z2| instead of N_fam) - the residual is -1.02 lam^2; textbook look-elsewhere trap, the registry keeps coefficient N_fam=3 (REG.FREEZE.01/v84 forbid silent switching). DECISION THRESHOLD: the two readings differ by lam^2=2.884 deg => 3-sigma distinguishable once sigma_gamma<=0.96 deg (LHCb upgrade / Belle II). Kill both ways: |gamma-68.65deg|>3sigma at sigma_gamma<1deg kills the N_fam coefficient; gamma->68.65 retires the |Z2| shadow. CAVEAT: J-inversion residual -3.15 lam^2 is magnitude-contaminated (TFPT source-scale s23=0.0434 vs PDG M_Z 0.0408; J pull +1.76 sigma recorded); gamma is the clean probe. Target-D typing unchanged: phases remain outside v_geo [P]
Original classification detail
Numerical [N]: leading reading survives at +0.98 sigma; residual = -1.02 lam^2 recorded; decision at sigma_gamma<1 deg
Dependencies as recorded
REDTEAM.D.01; REG.FREEZE.01; FLAV.CKM.01
Open the original ledger source, row 162Location 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
- 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.
- OutcomeRed-team audit
- 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.
- 2026-06-17 (CP phases as [formula in source] powers — a reduction of red-team Target D)Research changelog; TFPT — Introduction and reading guide
- [formula in source] monodromy, flavor and CP readoutstfpt 1 architecture e8
- 2026-06-18 (PMNS: the complete complex matrix + the leptonic Jarlskog CP strength, v270)Research changelog; TFPT — Introduction and reading guide
- [formula in source] monodromy, flavor and CP readoutsArchitecture, E8 and the electromagnetic fixed point
- Neutrinostfpt 2 standard model
- NeutrinosStandard Model and flavor structure
- Nachweise der erneuten PrüfungTFPT Gesamtsynthese 2026-09-28
- 2026-06-15 (archive integration \#1: the rare kaon sector [formula in source] — v202)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v88_cp_phase_audit.pyRegistered verification module · registry
Read the description recorded in the module registry
Target D follow-up: frozen δ=π/3+3λ² survives at +0.98σ vs γ_PDG; audit (not promoted): data sit 0.07° from the alternative π/3+2λ² — decision at σ_γ ≤ 0.96° (LHCb/Belle II); J-inversion flagged magnitude-contaminated
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.