A registered result in its source context
Original ledger classification: Numerical
Recorded statement: CKM core s12=lambda_C; s23; s13; delta=pi/3+3lC^2
Statement, assumptions and sources
Paper context: TFPT Gesamtsynthese 2026-09-28
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.CKM.01
Original ledger classification: Numerical
Original claim text
CKM core s12=lambda_C; s23; s13; delta=pi/3+3lC^2
Original classification detail
Numerical
Dependencies as recorded
seed phi0
Open the original ledger source, row 37Location 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.
- Architecture, E8 and the electromagnetic fixed point
- 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.
- Nachweise der erneuten PrüfungTFPT Gesamtsynthese 2026-09-28
Registered verification modules
No separate module is linked in this claim record. This is a coverage statement, not a verdict about its truth.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.