Registry · Definition VI.D01 tau-effective planned

VI.D01 — Polarity Functional

Map P_S: End(S) → 2_τ testing whether a holonomy sector carries intrinsic parity asymmetry; trivial for EM, strong, GR; nontrivial uniquely for weak sector.

Book VI Part 1 Ch. 3

Dependency Graph

Depended on by (4)

VI.L01 VI.P01 VI.T01 VI.D71

Lean Formalization

Module: TauLib.BookVI.LifeCore.ParityBridge

Symbol: Tau.BookVI.ParityBridge.PolarityFunctional