Registry · Definition IV.D06 tau-effective formalized

IV.D06 — Weak Sector at E₁

A-sector instantiation: π-generator, self-coupling κ(A;1) = ι_τ, balanced polarity (unique), depth 1. The master constant ι_τ itself IS the weak self-coupling. Physical: temporal arrow, parity violation, beta decay.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (2)

IV.D01 III.D13

Depended on by (28)

IV.D07 IV.D127 IV.P03 IV.T01 IV.T02 IV.T62 V.D52 V.D57 IV.T102 IV.P171 IV.T114 IV.T115 IV.P114 IV.P99 IV.P100 IV.T80 IV.P161 IV.T246 IV.T292 IV.T378 IV.P295 IV.P296 IV.P303 IV.P342 IV.P364 IV.P369 IV.P373 IV.P389

Lean Formalization

Module: TauLib.BookIV.Sectors.SectorParameters

Symbol: Tau.BookIV.Sectors.weak_sector