Registry · Theorem
IV.T98
tau-effective
formalized
IV.T98 — Uniqueness of Phi
The map Phi : G_0 -> G_1 is the unique bijection satisfying: (a) depth compatibility (depth-1 generators to depth-1 sectors), (b) base-fiber respect, and (c) omega maps to the crossing-point sector. The proof is constructive: each constraint fixes the next generator's assignment sequentially.
Book IV
Part 1
Ch. 6