Registry · Remark IV.R262 tau-effective formalized

IV.R262 — What the paper got right

The Springer Nature paper's lasting contribution is not the superseded hollow-shell model but the identification of five relational units that close under algebraic relations: c, h, k_B, G, epsilon_0 are all expressible as rational combinations of M, L, H, Q, R.

Book IV Part 2 Ch. 12

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.WhatThePaperGotRight