Manuscript X-D-ST@1 · X-D-ST.tex · proposition · e0cf8fdb
Proposition: Host stability
Fixed host, release, and successor boundary · lines 2493–2506 · proof included or linked
X-D-ST@1#prop:fixedhost
Shrinking the coordinate ramp, changing an installed table, or introducing a description of a subtraction scale does not evolve , or the prescribed future relation.
Proof. The host data were fixed before the analytical construction. The maps constructed here return scalar tests, their free classes, or finite operational outputs. None returns a new host metric.