Registry · Theorem III.T08 tau-effective formalized

III.T08 — No Knobs Principle

All inter-sector couplings are canonically determined by ι_τ = 2/(π+e). The framework has no free parameters: (i) every coupling is a function of ι_τ and primorial depth, (ii) the 10-entry ledger is complete, (iii) perturbation of any coupling breaks sector preservation.

Book III Part 2 Ch. 13

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIII.Sectors.ParityBridge

Symbol: no_knobs_5_3