Registry · Theorem
V.T09
tau-effective
formalized
V.T09 — Causal Ordering Theorem
The causal ordering alpha_m < alpha_n is structurally enforced by the kernel axioms: rho maps alpha_m to alpha_{m+1} but never maps alpha_n to any alpha_k with k <= n. There is no backward causation -- no morphism in Category tau reverses the orbit direction.