Source and exact object

The principal source is Cheung's Landmark X-Enter: Readout closure tests for the obstructed convolution coefficient: a named comparison with the ramp prescription, version 1 XEnter. Its surjective-orbit lemma, amplitude tests, conditional relational protocol, and bounded-segment analysis are the parent results transferred here.

The classical convolution premises are reproduced explicitly as Assumption ass:convolution. Their role is limited: the readout proofs require a nonzero real charge and the stated coefficient orbit. They do not require a new derivation of the convolution kernels. The full X-A–Convolution construction is not reconstructed from an unspecified mollifier XConv,XEnter.

The supplied X-A-ST, X-G-ST, and X-H-ST provide the supported presentation and finite supplied-report comparisons XAST,XGST,XHST. Their identifiers are not registration or independent-verification certificates.

The present contribution is the attachment to the retained host, a complete output and reference audit, explicit supplied report instruments, and the separation of mathematical encoding from field acquisition. It is not a priority claim for the parent orbit obstruction or conditional circuit.