Background, attribution, and proof boundary

The programme begins after the construction of one free partial product, not before it. IX-D separates that product from causal interfaces; IX-E formulates the binary extension problem; IX-E-2 evaluates the missing kernel difference; and IX-E-3 identifies the functional-support certificate needed to use that evaluation on all retained two-way pairs IXD,IXE,IXE2,IXE3.

The finite operational background is Enter's separation between a consumed quantum input name, a classical record, and an unmeasured residual. Its operational characterization has its own structural assumptions EnterArticle,EnterI. We adopt finite Born instruments and prove the complete channel identities needed here; we do not re-prove that characterization.

The philosophical background is a discipline of non-identification: destructive readout is not quantum recovery, a channel is not a thermodynamic machine, and an operational analogy does not supply a geometric dictionary EnterPhil. In I-B, geometry, locations, operational permissions, and clock calibration are supplied separately. The finite clock is not the geometric time axis IB.