bandUpper_ratio
plain-language theorem explainer
The result establishes that at the upper boundary of the recognition band the ratio of the boundary value to its complement equals the golden ratio φ. Researchers deriving scaling relations or band widths in Recognition Science unification models cite this identity. The short term proof rewrites the complement via the band sum identity then reduces the ratio by field simplification.
Claim. $ρ_upper / (1 - ρ_upper) = φ$ where $ρ_upper = φ^{-1}$ and $φ$ denotes the golden ratio.
background
The RecognitionBandGeometry module introduces the cognitive recognition band with explicit boundaries. The upper boundary is defined as $ρ_upper = φ^{-1}$ and the lower as $ρ_lower = φ^{-2}$. A supporting theorem states that the boundaries sum to one, so $1 - ρ_upper = ρ_lower$. This local setting rests on the non-vanishing of φ established in the Constants, PhiLadderLattice and PhiSupport modules.
proof idea
The proof rewrites the denominator using the identity $1 - ρ_upper = ρ_lower$. It unfolds the definitions of both boundaries and applies field simplification, invoking the lemma that φ is nonzero to cancel terms and obtain φ directly.
why it matters
The theorem supplies the upper-boundary counterpart to the lower-boundary ratio, completing the pair of identities needed for band geometry calculations. It feeds into phi-ladder scaling and recognition composition steps in the T5-T8 forcing chain. No downstream citations appear yet, so the result functions as a basic algebraic closure for boundary arithmetic.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.