Theorem: No enlargement under a fitting certificate

If a certificate passes Definition def:fit, its composition uses only its declared finite registers, ports, and operations inside the retained laboratory. Throughout execution,

In particular:

1. the conical deficit, metric, worldsheet, and chart are unchanged;

2. the host and analytical signature conventions and the time calibration are unchanged;

3. the width remains the same positive $\epsilon$, with the same regulator and switches;

4. no second cone, sharp-width limit, or global conical Green operator is introduced.

Proof. The command types act on finite register interfaces. None has a host-update or regulator-update output. By induction, every command leaves $\mathsf{H}$ unchanged. The location, timing, and capacity clauses of the fit contract guarantee that the finite register operations stay inside the supplied reserve.

There is no limiting operation in this argument.