Proposition: Description changes do not evolve the host

Changing the parent parameter, regulator description, stage tag, or a proposed time-ordering token leaves (eq:host), $\Sigma$, and $\mathcal{W}$ unchanged.

Proof. They are description-register entries. No metric update is in the command's output type.