Registry · Proposition
IV.P12
tau-effective
formalized
IV.P12 — Automatic Quantization
Admissible quantum addresses are restricted to Λ_CR by CR-compatibility, parity constraint, and ι_τ coupling lock. Discrete spectrum is automatic — derived from topology, not postulated.