reactor_weight
plain-language theorem explainer
The reactor mixing weight equals phi to the power of negative eight. Neutrino physicists cite it when deriving the reactor angle in the PMNS matrix from geometric constraints on cubic voxels. The definition closes the eight-tick octave in the phi-ladder for the reactor sector. It is introduced by direct assignment without further reduction steps.
Claim. The reactor mixing weight is defined as $phi^{-8}$, where $phi$ is the golden ratio fixed point of the self-similar forcing chain.
background
The module establishes the geometric foundation for mixing matrices via cubic voxel topology constraints that force CKM and PMNS parameters. Phi arises as the self-similar fixed point in the forcing chain. Upstream results include the Sector inductive type distinguishing lepton, up-quark, down-quark, and electroweak sectors, plus the Quark enumeration for flavor states and the theorem reducing seven axioms to four structural conditions plus three definitional facts.
proof idea
The declaration is a direct definition assigning the value phi raised to the integer power negative eight.
why it matters
It supplies the weight used in pmns_theta13_born_forced to equate the predicted sin squared theta13 to the reactor weight, matching observations near 0.022. This fills the octave closure step in the eight-tick structure of the Recognition Science framework, linking to the D=3 spatial dimensions from cube faces. Downstream results apply it directly to sin2_theta13_pred and pmns_prob for normalized path weights between rungs.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.