Registry · Remark IV.R09 tau-effective formalized

IV.R09 — Self-Assessment

Scope distribution: 12 Established (10 couplings + 2 structural identities), 7 Tau-effective (5 formulas + 2 framework), 4 Conjectural (3 near-matches + G frontier), 0 Metaphorical. Lean-verified via native_decide on list filter counts.

Book IV Part 2 Ch. 15

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedger

Symbol: Tau.BookIV.Calibration.scope_distribution