phi
plain-language theorem explainer
Golden ratio defined locally as (1 + sqrt(5))/2 to support phi-bit entropy in Recognition Science. Researchers on recognition channel capacity reference it when expressing information measures that exceed Shannon limits for CP6. The entry is a direct closed-form algebraic assignment for module self-containment.
Claim. Let $phi = (1 + sqrt(5))/2$ denote the golden ratio serving as base for phi-bit units in recognition entropy.
background
The Recognition Entropy module develops an information theory in which entropy uses log base phi rather than base 2, with CP6 recognition capacity scaling as phi^12 and exceeding Shannon capacity. Phi is supplied here as the golden ratio for self-containment. The module depends on the meta-realization structure from UniversalForcingSelfReference.for, which records structural properties required for orbit and step coherence axioms.
proof idea
One-line definition that assigns the standard closed-form expression of the golden ratio directly to the identifier.
why it matters
This definition anchors all phi-bit calculations in the module and supports the listed key results on recognition capacity versus Shannon limits. It instantiates the self-similar fixed point forced at T6 in the UnifiedForcingChain. No downstream uses appear yet, but the entry enables the module's comparison of recognition information to classical measures.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.