Registry · Remark V.R166 tau-effective not_applicable

V.R166 — Kepler as theorem, not phenomenology

Kepler's laws are theorems of Category tau derived from rotational flux conservation and the Newtonian limit of the tau-Einstein equation, not empirical fits or postulates. They follow from the structural properties of H_partial[omega].

Book V Part 5 Ch. 35

Lean Formalization

Module: