Manuscript X-F-ST@1 · X-F-ST.tex · definition · e71f03ef
Definition: Local Grade S
Purpose, source status, Enter, and the retained host › Exact retention of the host · lines 286–299
X-F-ST@1#def:grade
The package consists of the inherited supported host; named identities and response kernels with proved normalization, support, and transformation laws; a finite installed dictionary of supplied evaluations; a complete destructive-clock instrument including untouched references; and scheduled locality with a nonempty regular reference-preserving route under declared finite operational permissions.
Grade E, Einstein dynamics from records, and spacetime emergence are not included.