V_tb
plain-language theorem explainer
V_tb assigns the complex value 1 to the bottom-right entry of the CKM matrix in the Recognition Science treatment of quark mixing. Researchers deriving weak-interaction parameters from the eight-tick phase structure would cite this when closing unitarity checks. The declaration is a direct one-line assignment with no further reduction.
Claim. The CKM matrix element connecting the top and bottom quarks is defined by $V_{tb} = 1$.
background
The module derives the full 3×3 CKM matrix from φ-quantized mixing angles tied to the eight-tick phase structure of Recognition Science. Approximate magnitudes are given as |V| ≈ [[0.974, 0.227, 0.004], [0.227, 0.973, 0.041], [0.008, 0.040, 0.999]], with V_tb the (3,3) entry. The upstream Hypothesis structure from CPM2D supplies a Constants bundle and projection-defect bounds that feed the constants used throughout the module.
proof idea
One-line definition that directly sets V_tb to the constant 1.
why it matters
The definition supplies the (3,3) entry required by the downstream theorems cp_violation_small and unitarity_triangle_valid. It instantiates the leading-order approximation consistent with the 8-tick octave and the paper proposition on CKM elements from golden-ratio geometry. No open scaffolding is closed here.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.