consciousness_ground
plain-language theorem explainer
The definition introduces the consciousness ground state on the Q3 lattice by setting every entry to 1. Researchers modeling spectral emergence from forced D=3 cite it as the reference zero-defect identity. The construction is immediate from the Q3State structure with no further computation required.
Claim. The ground state on the Q_3 lattice is the assignment sending every vertex ratio to the constant value 1.
background
Q3State is the structure of positive real assignments to the eight vertices of the binary cube Q_3 = {0,1}^3. Its total_cost sums J-cost over all entries, and is_zero_defect holds precisely when every entry equals 1. The module derives SU(3) x SU(2) x U(1) content, three generations, and 48 fermionic states from the single input D=3 via the automorphism group of Q_3.
proof idea
Direct definition that sets the entries field to the constant function returning 1, with positivity discharged by norm_num.
why it matters
This supplies the base case for consciousness_is_zero_defect, consciousness_zero_cost, zero_defect_unique, and SpectralEmergenceCert. It realizes the unique consciousness ground state listed in the module summary, closing the loop from T8 (D=3) through the eight-tick octave and phi-ladder to the 48-state fermion count.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.