Registry · Theorem V.T49 tau-effective formalized

V.T49 — Micro--Macro Bridge

The three edge ratios of the calibration triangle are determined entirely by iota_tau and the sector couplings, with no SI unit in the derivation. The neutron-to-TOV ratio involves Lambda_tau/kappa_tau times packing and coupling factors; all three edges chain through sector algebra.

Book V Part 2 Ch. 19

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.MicromacroBridge