Registry · Remark IV.R223 tau-effective not_applicable

IV.R223 — Scope: tau-effective

The Boundary Triad Theorem is tau-effective: all three hypotheses (Central Theorem, bipolar decomposition, Generator-Sector Correspondence) are proved theorems from Books I-II. No conjecture is invoked. The completeness conclusion inherits this status.

Book IV Part 1 Ch. 5

Lean Formalization

Module: