Registry · Remark IV.R199 tau-effective not_applicable

IV.R199 — Forward reference: the refinement tower IS the block universe

The block universe is the completed orbit tower B = union over generators of {g_n : n in N} union {omega}. All levels coexist in the profinite limit hat{alpha}. This is the tau-framework's realization of Minkowski's (1908) spacetime picture, earned from axioms rather than postulated.

Book IV Part 1 Ch. 2

Lean Formalization

Module: