Manuscript X-J-ST@1 · X-J-ST.tex · definition · 8f0d1a36
Definition: Local Grade S for X-J-ST
Release and prospective significance · lines 2138–2154
X-J-ST@1#def:grade
The release consists of:
the retained prescribed host, completion, positive width, and finite operational reserve;
the two explicit compact coefficient definitions, their charge witnesses, and their matching boundary;
a nonempty finite dictionary of supplied real tasks;
complete destructive instruments including failures, surviving systems, and untouched references;
a positive scoped TV theorem and its error margins;
finite adaptive composition, scheduled locality, a regular reference-preserving route, and resource accounting.
Continuum field acquisition is not included in this grade.