Registry · Corollary
V.C02
tau-effective
formalized
V.C02 — Relativity principle recovered
All admissible readout functors produce the same null set C and the same speed of light c; no admissible readout functor is preferred. This recovers the relativity principle (laws of physics are the same in all inertial frames) as a corollary.