crossDomainModuleCount
plain-language theorem explainer
The definition fixes the integer count of cross-domain modules in the wave-64 layer at 27. A researcher auditing the meta-theorem inventory cites this constant when confirming the total against the enumerated C1–C27 list. The assignment is a direct numeric literal with no reduction steps.
Claim. Let $N$ be the number of cross-domain modules in the wave-63/64 layer. Then $N=27$.
background
The module presents a structural meta-claim that the cross-domain layer now contains a quantifiable number of joint theorems. It enumerates 27 modules C1–C27 with explicit cardinalities (for example 5×5×5=125 for CognitiveStateSpace, C(8,4)=70 for RegulatoryCeiling, and 5⁶=15625 for ProductRecognitionLattice) and states that the present definition supplies the total as C28. The local setting is a witness for the lower bound on cross-domain theorems with zero sorry or axiom in the Lean file.
proof idea
The declaration is a direct definition that assigns the literal value 27 to the natural-number constant.
why it matters
This supplies the base constant referenced by downstream results count_eq, count_is_D_cubed (equating the value to 3³), count_in_spectrum (placing it in [25,45]), average_per_pattern, and the certifying structure MetaTheoremCountCert. It closes the enumeration of the 27 modules listed in the module documentation and aligns with the framework landmark T8 that forces D=3 spatial dimensions, since the count equals 3³.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.