Registry · Remark IV.R78 tau-effective not_applicable

IV.R78 — Physical interpretation

Higher resolution makes the mass gap larger, not smaller: adding more modes strengthens admissibility constraints, increasing excitation energy cost. This contrasts with the continuum picture where more modes could fill the gap. Lean-verified through depth 5.

Book IV Part 5 Ch. 41

Lean Formalization

Module:

Symbol: