Registry · Remark V.R27 tau-effective not_applicable

V.R27 — Simultaneity Is Structural

In Category tau simultaneity is objective: two events x, y in tau^3 are simultaneous iff depth(x) = depth(y). This contrasts with special relativity's observer-dependent simultaneity; the objective foliation exists because the alpha-orbit provides a canonical depth function.

Book V Part 1 Ch. 5

Lean Formalization

Module: