Registry · Remark V.R222 tau-effective not_applicable

V.R222 — Event horizon as linking boundary

The event horizon in tau is the linking boundary: the boundary of the T^2 region enclosed by the non-trivial linking class. Inside the linking boundary, the fiber topology is non-contractible; outside, it is contractible. This is the tau-native definition replacing the GR causal boundary.

Book V Part 6 Ch. 50

Lean Formalization

Module: