Registry · Theorem III.T41 tau-effective formalized

III.T41 — Hinge Theorem

Every result in Books IV-VII is a sector instantiation of Book III's enrichment structure. The seven-book architecture is DERIVED, not postulated. Four downstream books = four enrichment-level instantiations: IV (fiber T² at E₁), V (base τ¹ at E₁), VI (E₂), VII (E₃).

Book III Part 7 Ch. 61

Dependency Graph

Depends on (6)

III.D66 III.T01 III.T03 III.T08 III.T40 III.P30

Depended on by (11)

III.R28 III.R31 III.R35 III.R36 III.R37 III.R38 III.T42 III.T43 III.T47 III.T49 III.T50

Lean Formalization

Module: TauLib.BookIII.Hinge.HingeTheorem

Symbol: hinge_theorem_check