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.

Book IV Part 3 Ch. 17

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.QuantumCharacters

Symbol: Tau.BookIV.QuantumMechanics.AutomaticQuantization