unitarityAngle_beta
plain-language theorem explainer
The declaration assigns the numerical value 22 degrees to the CKM unitarity angle beta. Researchers modeling quark flavor mixing via Recognition Science would cite this constant when checking triangle closure. It is supplied as a direct constant definition that feeds the summation identity proved in the same module.
Claim. The CKM unitarity triangle angle $β$ equals $22^∘$.
background
The StandardModel.CKMMatrix module targets derivation of the CKM matrix from φ-quantized mixing angles tied to the eight-tick phase structure. The three unitarity angles are introduced as numerical constants so that their sum enforces the required closure condition on the complex plane. This setup implements the module's core insight that the CKM matrix emerges from RS with its four physical parameters.
proof idea
The declaration is a direct constant assignment of the real number 22. No lemmas or tactics are applied; the definition simply supplies the value for downstream use.
why it matters
It supplies the beta component required by the triangle_sum theorem, which proves the three unitarity angles sum to 180 degrees. The definition advances the CKM construction in the Recognition Science framework by instantiating one of the φ-angles linked to the eight-tick octave. It touches the open question of exact derivation from the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.