V.R211 — The Penrose--Hawking theorems are not wrong

The Penrose-Hawking singularity theorems are mathematically correct within their domain (smooth Lorentzian manifolds satisfying energy conditions), but their premise does not hold in tau: the profinite fibered product tau^3 replaces the smooth manifold assumption entirely.