Registry · Remark V.R119 tau-effective not_applicable

V.R119 — Why varepsilon is harmless

The cross-term epsilon is harmless: bounded above by S_def(n), it inherits monotone decrease and vanishes at the coherence horizon; the approximation S approx S_def + S_ref is exact to the precision required for all qualitative and most quantitative arguments.

Book V Part 3 Ch. 22

Lean Formalization

Module: