Manuscript XIX-A@1 · XIX-A.tex · section · e30d8062
The regulated coordinate density
Third refusal: the density ramp is a named non-clock › The regulated coordinate density · lines 1092–1099
The lemma does not deny that a strictly monotone segment of an external profile can be used to reparametrize an interval. That operation remains an externally prescribed parametrization; it does not turn (eq:ramp) into the matter-defined clock of Section sec:inflaton.