Release and proof boundary

and proof boundary{ Constructed: two explicit smoothing comparisons; a finite-width microcausal insertion and free polynomial algebra; a minimal boundary-sensitive classical carrier; classical auxiliary equivalence; and a linear free-shell quantum repair.

Proved incompatible: the unchanged off-shell sharp insertion with the microcausal polynomial domain; the convolution comparison with the unchanged classical gauge action; and the specified continuous sharp Wick-extension requirements.

Unresolved: an associative renormalized sharp nonlinear sector outside those requirements, mixed time-ordered products, an interacting quantum gauge differential, and a physical correlation of the original sharp relational observable.

All positive constructions are labelled by the observable and domain they actually use.}