Registry · Remark V.R167 tau-effective not_applicable

V.R167 — All three tests pass with zero fitting

Perihelion advance, light deflection, and Shapiro delay are all computed from the same tau-Einstein equation with coupling kappa_tau = 1 - iota_tau and G = (c^3/hbar) iota_tau^2, with no case-by-case fitting.

Book V Part 5 Ch. 35

Lean Formalization

Module: