Registry · Theorem
V.T273
tau-effective
formalized
V.T273 — Ontic Entropy Monotonicity for Mature BH
S_vN(ρ_ontic(n+1)) ≤ S_vN(ρ_ontic(n)) for all n ≥ n_mature. The ontic state becomes purer (not less ordered) via defect exhaustion. Opposite of information loss. Follows from categorical second law + ρ-invariance of linking boundary.
Book V
Part 6
Ch. 52