Registry · Theorem III.T29 tau-effective formalized

III.T29 — Physics Layer Assembly

NS (mortar/regularity), YM (bricks/mass gap), Hodge (blueprint/addressability) together construct the E₁ enrichment layer. All three are instances of Mutual Determination at E₀→E₁.

Book III Part 5 Ch. 43

Dependency Graph

Depends on (4)

III.T25 III.T27 III.T28 III.D25

Depended on by (5)

III.D57 III.R20 III.R21 III.R37 III.T50

Lean Formalization

Module: TauLib.BookIII.Physics.PhysicsAssembly

Symbol: physics_assembly_check