Registry · Remark IV.R218 tau-effective not_applicable

IV.R218 — What tau^3 is and is not

Ontological status of tau^3: it is NOT a spacetime manifold, NOT embedded in any ambient space. It IS the full fibered product structure earned by the coherence kernel. The manifold, metric, and curvature are coarse-grainings -- Phi_p-images of algebraic data. Smoothness is emergent.

Book IV Part 1 Ch. 4

Lean Formalization

Module: