Registry · Remark V.R63 tau-effective not_applicable

V.R63 — Michelson--Morley explained

The Michelson-Morley result is automatic in the tau-framework: the null set C is a cone (isotropic) and all admissible readouts agree on its shape. No aether is needed because the ontological substrate is the boundary holonomy algebra, not a spatial medium.

Book V Part 2 Ch. 12

Lean Formalization

Module: