theorem
proved
numerological_summary
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Foundation.SpectralEmergence on GitHub at line 559.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
-
Q3_aut_order -
Q3_edges -
Q3_faces -
Q3_vertices -
Q3_faces -
Q3_vertices -
Q3_faces -
Q3_vertices -
V -
face_pairs -
aut_order -
consciousness_ground -
consciousness_is_zero_defect -
E -
F₂ -
face_pairs -
fermion_count_24 -
fermion_flavors -
Q3_aut_order -
Q3_edges -
Q3_faces -
Q3_vertices -
three_generations -
V -
Q3_aut_order -
Q3_edges -
Q3_faces -
Q3_vertices -
three_generations -
V
formal source
556 1 (consciousness ground state = unique minimum)
557
558 All from D = 3. Zero parameters. -/
559theorem numerological_summary :
560 V 3 = 8 ∧
561 E 3 = 12 ∧
562 F₂ 3 = 6 ∧
563 face_pairs 3 = 3 ∧
564 aut_order 3 = 48 ∧
565 fermion_flavors = 24 ∧
566 consciousness_ground.is_zero_defect :=
567 ⟨Q3_vertices, Q3_edges, Q3_faces, three_generations,
568 Q3_aut_order, fermion_count_24, consciousness_is_zero_defect⟩
569
570end
571
572end SpectralEmergence
573end Foundation
574end IndisputableMonolith