Registry · Proposition IV.P04 tau-effective formalized

IV.P04 — No-Running Principle

All 5 sector couplings are regime-independent boundary fixed-point invariants. Orthodox running couplings are readout drift, not ontic variation.

Book IV Part 2 Ch. 7

Dependency Graph

Depends on (1)

IV.D07

Lean Formalization

Module: TauLib.BookIV.Physics.Thermodynamics

Symbol: Tau.BookIV.Physics.no_running_all_sectors