Registry · Definition V.D12 tau-effective formalized

V.D12 — Book~IV to Book~V Export Contract

The Book IV to Book V export contract consists of ten items (arena tau^3, five sectors, sector couplings, calibration anchor, mass ratio R, defect functional, entropy splitting, tau-Einstein equation, no-shrink theorem, and G derivation), each with stated scope, forming the complete interface that Book V imports from Book IV.

Book V Part 0 Ch. 2

Dependency Graph

Depends on (3)

Depended on by (9)

Lean Formalization

Module: TauLib.BookV.Prologue.ExportContract

Symbol: Tau.BookV.Prologue.BookivToBookvExportContract