Registry · Remark III.R28 tau-effective not_applicable

III.R28 — Export Contracts: Books IV-VII

Binding precondition/postcondition contracts for each downstream book. Book IV: fiber T² at E₁, D-sector, particle spectrum + gravity. Book V: base τ¹ at E₁, A/B/C sectors, gauge forces + cosmology. Book VI: E₂, proto-codes, origin of life. Book VII: E₃, self-models, ethics, saturation.

Book III Part 7 Ch. 62

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module:

Symbol: