Registry · Proposition IV.P146 tau-effective formalized

IV.P146 — Uniqueness of Assignment

The Generator-Sector Assignment is the unique bijection from {alpha, pi, gamma, eta, omega} to {D, A, B, C, H} compatible with the base-fiber decomposition of tau^3, the Parity Bridge Theorem (III.T07), and the radial/solenoidal distinction. No alternative exists.

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Arena.CoherenceKernel

Symbol: Tau.BookIV.Arena.UniquenessOfAssignment