Registry · Remark IV.R309 tau-effective not_applicable

IV.R309 — Quantization as address discretization

Quantization is address discretization: the compact fiber T^2 admits only integer-indexed character modes whose integer indices are the quantum numbers, so every physical observable has discrete eigenvalues because every address readout returns an integer or half-integer after parity.

Book IV Part 3 Ch. 19

Lean Formalization

Module: