Registry · Definition IV.D39 tau-effective formalized

IV.D39 — Complete Constants Ledger

Complete constants ledger: 23 entries across 5 categories (10 couplings, 5 formulas, 2 identities, 3 near-matches, 3 framework). Export contract for Parts III-X.

Book IV Part 2 Ch. 15

Dependency Graph

Depends on (14)

IV.D38 IV.D07 IV.D33 IV.D34 IV.D35 IV.D36 IV.D37 IV.T07 IV.T08 IV.D28 IV.D29 IV.D30 IV.T06 IV.R08

Depended on by (2)

IV.R09 IV.T09

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedger

Symbol: Tau.BookIV.Calibration.complete_ledger