Manuscript IX-C-ST@1 · IX-C-ST.tex · proposition · 892f50c4

Proposition: Catalogue replacement is not metric evolution

The prescribed host and the supported laboratory · lines 365–377 · proof included or linked

IX-C-ST@1#prop:fixedhost

Back to manuscript

Changing the regulator label, subtraction scale, stage label, or parent parameter changes a description register. It leaves the host, lapse, initial surface, worldsheet, and installed causal relation unchanged.

Proof. Those geometric objects are fixed inputs of Definition def:support. No metric-update map is an output of a catalogue command.

Nearby in this section