Registry · Theorem III.T42 tau-effective formalized

III.T42 — No Knobs Theorem

Every inter-sector coupling is a rational function of ι_τ = 2/(π+e) evaluated at specific primorial depth. All 10 entries (6 inter-sector + 4 self-couplings) are canonically determined. No free parameters exist in the framework.

Book III Part 7 Ch. 63

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIII.Hinge.HingeTheorem

Symbol: no_knobs_check