Registry · Remark V.R269 tau-effective not_applicable

V.R269 — Spacetime in tau

In Category tau, spacetime is not a substance or manifold. It is a readout: the chart projection of H_partial[omega] into a coordinate basis. The points of spacetime are addresses in the profinite tower, spectral labels (n, k_1, k_2) indexing boundary characters, not geometric points in a continuum.

Book V Part 7 Ch. 61

Lean Formalization

Module: