Registry · Remark V.R79 tau-effective not_applicable

V.R79 — No Cauchy horizon instability

The present-surface structure admits only one type of horizon (outward contraction), eliminating inner Cauchy horizons. The tau-NF algorithm produces a unique character at every depth, leaving no room for the multi-valued structure that generates inner horizons in Kerr.

Book V Part 2 Ch. 15

Lean Formalization

Module: