R2. Reading an invariant input does not prove its invariance

Let $o_{\mathrm{R}}$ be a real numerical coefficient of ${\mathrm{Obs}}_{f,g,\epsilon }^{\mathrm{R}}$ to which the ramp theorem's invariance conclusion applies. If that coefficient is supplied as an input, encoding it in ${\iota }_1$ and running $P_{\mathrm{read}}$ gives

For gauge-related inputs with the same $o_{\mathrm{R}}$, the encoded states, and hence their complete records, are equal.

This is preservation of an upstream identity, not a proof of (eq:copied-ramp), not cancellation of a defect by Enter, and not Option B. It asserts invariance of the numerical coefficient actually covered by the source result, not an unproved all-orders field functional. The field-to-qubit preparation remains missing; none is constructed.