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
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.