Pith. sign in
module module moderate

IndisputableMonolith.Physics.CKMElementScoreCard

show as:
view Lean formalization →

This module assembles row-wise geometric predictions for the three CKM matrix elements and certifies their consistency with ledger-derived values. Particle physicists checking flavor-mixing predictions against the Recognition framework would cite it. The module defines comparison rows from the imported geometry and mixing modules then packages them under a single certificate.

claimThe CKM scorecard asserts that the ledger-geometry values for $|V_{us}|$, $|V_{cb}|$ and $|V_{ub}|$ satisfy the geometric relations derived from the cubic ledger and the fine-structure constant, with the certificate that these relations hold.

background

The module sits inside T11 (CKM Matrix Geometry), which derives the mixing angles from ledger geometry and the fine-structure constant, and inside Phase 7.2 (CKM & PMNS Mixing Matrix Derivation), which obtains the same elements from edge-dual coupling on the cubic ledger. Both upstream modules replace free parameters with topological constraints. The present module introduces explicit row definitions for each CKM element together with a top-level certificate that collects the three comparisons.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the concrete scorecard that closes T11 and Phase 7.2, turning the geometric derivations into an explicit, checkable certificate for the three CKM elements. It therefore feeds any later claim that the observed mixing angles are fixed by the Recognition Science ledger structure rather than chosen by hand.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (8)