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.