Registry · Definition IV.D04 tau-effective formalized

IV.D04 — Higgs Sector at E₁

ω-sector instantiation: γ∩η crossing generator, self-coupling κ(B,C) = ι_τ³/(1+ι_τ), crossing polarity, depth 3. Unique +1 derived sector from the lemniscate crossing point. Physical: mass generation.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (2)

IV.D01 III.D13

Depended on by (80)

IV.D07 IV.D128 IV.L11 IV.P106 IV.P133 IV.P135 IV.P150 IV.P156 IV.P164 IV.P175 IV.P182 IV.P86 IV.P94 IV.P97 IV.T100 IV.T101 IV.T102 IV.T115 IV.T62 IV.T81 IV.T82 IV.T89 IV.T97 IV.T98 V.C08 V.D19 V.D50 V.D62 V.D65 V.P105 V.P106 V.P120 V.P121 V.P207 V.P208 V.P21 V.P211 V.P28 V.P36 V.P43 V.P86 V.P91 V.T106 V.T110 V.T122 V.T130 V.T133 V.T136 V.T137 V.T140 V.T142 V.T158 V.T161 V.T20 V.T33 V.T334 V.T345 V.T37 V.T59 V.T63 V.T64 V.T69 V.T95 IV.T221 IV.T224 IV.T225 IV.T226 IV.T227 IV.T310 IV.T340 IV.T355 IV.P240 IV.P241 IV.P245 IV.P276 IV.P314 IV.P335 IV.P341 IV.P342 IV.P343

Lean Formalization

Module: TauLib.BookIV.Sectors.SectorParameters

Symbol: Tau.BookIV.Sectors.higgs_sector