V.T37 — Horizon as present-surface contraction

A tau-horizon at depth n_H satisfies causal disconnection (fiber configurations in Sigma_{n_H-1} \ Sigma_{n_H} cannot exchange information with the base), irreversibility (Sigma_n is contained in Sigma_{n_H} for all n >= n_H, the tau-native area theorem), and Schwarzschild correspondence.