Declarations

. The principal orbit obstruction, amplitude tests, conditional relational circuit, and bounded-segment mechanism are attributed to N. Cheung's X-Enter. The convolution premise, ramp result, prescribed host, clock interface, and transport pattern retain their distinct source attributions.

precision. The X-A–Convolution source is used through the explicit classical premises reproduced in X-Enter and in Assumption ass:convolution. Its full kernel derivation is not independently reconstructed here. No unprovided publication date, DOI, definitive title, or registration status is invented for an internal manuscript.

scope. The readout results are self-contained relative to the displayed host and scalar input contracts. They do not prove positivity of a newly chosen convolution kernel or identify two different classical prescriptions.

scope. The complete instruments encode supplied values and status certificates. They are not continuum field detectors, physical state selectors, or gravitational observables. Clock consumption is an access statement. The regular route uses declared finite permissions.

. No successful execution, proof-assistant check, symbolic-program execution, numerical experiment, hardware synthesis, repository integration, independent execution, laboratory realization, referee approval, or journal acceptance is asserted. The release consists of the definitions and written proofs in this source.