Restricted destructive deferred readout

The selected $\Lambda$ can depend on the input through the coupled geometric trace. The theorem is pairwise and does not assert that the complete coupled map is linear.

The deferred circuit must still return $S$ or consume it in a well-typed continuation. Observational inaccessibility does not create a discard rule. Allowing intermediate access to $R$, $S$, or $A$ requires a different theorem. Standard deferred-measurement constructions can treat more general record-dependent circuits GurevichBlass2022, but their hypotheses are not silently imported into the present geometric comparison.