Four convolution scope lines and one comparison line

convolution scope lines and one comparison line{ A — Closed, negative. No encoding of the convolution coefficient $a$ alone has an invariant record on its inherited whole orbit while retaining dependence on $a$.

B — Conditional construction proved; application unresolved. The relational programs work under the stated reference hypotheses. Neither named classical source supplies that reference.

C — Conditional trade-off; application unresolved. The bounds give tolerance-based closure only under an independently justified amplitude cutoff.

D — Excluded scope entry, not a release. No sharp-regulator limit or coordinate counterterm is performed.

R — Comparison only, not a fifth closure. The ramp observable is already classically invariant on its stated algebra, at the order covered by its source theorem. That identity is not proved by Enter, and the ramp edge defect is not $c_{\epsilon }$.}