Registry · Proposition IV.P152 tau-effective formalized

IV.P152 — Master constant is sigma-fixed

The master constant iota_tau, the reduced Planck element hbar_tau, and the gravitational element kappa_tau are all sigma-fixed elements of H_partial[omega]: sigma*(iota_tau) = iota_tau, etc. They live at the crossing point of L, where chi_+ and chi_- coincide, as full-lemniscate spectral invariants.

Book IV Part 1 Ch. 5

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.MasterConstantIsSigmafixed