Corollary: The precise sense of time-axis manipulation

In this model, Enter acts on a finite quantum encoding calibrated to the metric's time axis. It can change the selected clock observable through preceding local gates, extract a time label, condition surviving matter, and enable declared causal classical control. It does not consume a spacetime dimension, move the readout event backward in $T$, or derive a new metric.

Proof. The positive statements are the specified unitary and instrument operations. Their outputs and locations are those already proved. The negative statements follow because $M,g,T$ are unchanged classical components of the specification.