Registry · Remark IV.R209 tau-effective not_applicable

IV.R209 — Forward references

Forward references to the remainder of Part I: Chapter 4 introduces the T^2 fiber and spatial structure; Chapter 5 establishes the Generator-Sector Correspondence Phi : G_0 -> G_1; Chapter 6 proves the Boundary Triad Theorem unifying self-representation, polarity, and sector decomposition.

Book IV Part 1 Ch. 3

Lean Formalization

Module: