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

Back to manuscript

The release consists of:

  1. the retained prescribed host, completion, positive width, and finite operational reserve;

  2. the two explicit compact coefficient definitions, their charge witnesses, and their matching boundary;

  3. a nonempty finite dictionary of supplied real tasks;

  4. complete destructive instruments including failures, surviving systems, and untouched references;

  5. a positive scoped TV theorem and its error margins;

  6. finite adaptive composition, scheduled locality, a regular reference-preserving route, and resource accounting.

Continuum field acquisition is not included in this grade.

Nearby in this section