Manuscript VII-J-ST@1 · VII-J-ST.tex · definition · f1f1d82c
Definition: Local Grade S
Scope, Enter philosophy, and the two targets › The Enter discipline · lines 209–222
VII-J-ST@1#def:grade
A local Grade S certificate consists of:
prescribed classical geometry and a supported regular operational presentation;
explicit finite channels and complete control interfaces;
a finite destructive-clock instrument with its calibration;
proved support, influence, and causal-embedding statements;
a nonempty finite transport realization with a resource ledger.
Derivation of the geometry from operational records, called Grade E here, is not included.