Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · definition · 8ca47088

Definition: Local Grade S in this manuscript

Stage F: release and exact successor package · lines 2148–2161

Back to manuscript

The supported release consists of the unchanged host, the explicit convolution contract, its written analytical obstruction, the scalar-input closure results, a nonempty finite supplied-report instrument, and a scheduled regular route.

A laboratory interpretation of the full continuum calculation requires (SC-2). A laboratory interpretation of its numerical witness pairing requires only (SC-1). Installed finite reporting does not by itself require either continuum acquisition claim.

Nearby in this section