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.

Book V Part 1 Ch. 4

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.CausalOrderingTheorem