cp6CapacityPhiBits
plain-language theorem explainer
The definition assigns phi to the twelfth power as the recognition capacity of the twelve-dimensional CP6 manifold when measured in phi-bit units. Researchers comparing native recognition channels to Shannon bit capacities cite this scaling when quantifying information density at fixed resolution. The declaration is introduced by a direct abbreviation from the already-established phi constant.
Claim. The capacity of the CP6 meaning manifold in phi-bits equals $\phi^{12}$.
background
The module treats information in base-phi units, where phi-bits replace Shannon bits because the recognition channel capacity of CP6 scales as phi to the twelfth power. Phi itself is the self-similar fixed point forced by J-uniqueness in the UnifiedForcingChain. The twelve-dimensional count for CP6 follows from the recognition event structure whose real manifold dimension enters the exponent directly.
Upstream results supply the necessary primitives: PhiForcingDerived.of defines the J-cost whose fixed point yields phi, while SpectralEmergence.of and recognition_event_12_dof fix the dimensional origin of the exponent twelve.
proof idea
The declaration is a direct definition that sets the capacity equal to the already-defined phi raised to the power twelve.
why it matters
This supplies the explicit scaling constant referenced in the module's key results for recognition capacity in phi-bits. It supports the module claim that recognition capacity exceeds Shannon capacity because phi is less than two. The definition sits inside the information domain and connects to the twelve degrees of freedom already present in the recognition event structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.