module module

`IndisputableMonolith.Foundation.SpectralEmergence`

show as: view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Cost module_import

declarations in this module (57)

structure of L12
def V L81
def E L85
def F L89
def face_pairs L93
def aut_order L97
theorem Q3_vertices L101
theorem Q3_edges L102
theorem Q3_faces L103
theorem Q3_face_pairs L104
theorem Q3_aut_order L105
theorem Q3_euler_characteristic L109
theorem Q3_self_dual_vertex_count L114
inductive SpectralSector L131
theorem sector_dim_sum L165
theorem gauge_sector_dim L174
theorem conjugate_dim_forced L182
theorem gauge_generators_eq_edges L191
theorem three_generations L204
abbrev Generation L207
theorem generations_eq_dimension L210
def fermion_flavors L219
theorem fermion_count_24 L228
theorem fermions_eq_D_times_V L233
theorem fermions_eq_half_aut L238
def total_fermion_states L242
theorem fermion_states_eq_aut L246
theorem quark_lepton_ratio L250
def J_phi L263
theorem J_phi_pos L266
theorem J_one_zero L275
theorem J_phi_sq_identity L279
def mass_rung L284
theorem mass_rung_step L288
theorem mass_rung_pos L296
theorem rung_ratio L301
theorem rung_separation L309
structure Q3State L331
def consciousness_ground L348
theorem consciousness_zero_cost L353
theorem consciousness_is_zero_defect L358
theorem consciousness_or_particle L363
theorem zero_defect_unique L371
theorem any_deviation_costs L378
structure SpectralViability L396
theorem D3_viable L402
theorem D1_fails_sync L408
theorem D2_fails_sync L411
theorem D4_fails_sync L414
theorem D5_fails_sync L417
theorem gap_sync_unique L420
theorem D3_unique_viable L427
structure SpectralEmergenceCert L449
theorem spectral_emergence L495
def SelfConsistent L532
theorem framework_self_consistent L543
theorem numerological_summary L559