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

Back to manuscript

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.

Nearby in this section