Manuscript X-A-ST@1 · X-A-ST.tex · definition · d9ccbde1
Definition: Local Grade S
Purpose, background, and scope · lines 210–227
X-A-ST@1#def:grade
For this manuscript, a local Grade S package consists of:
a prescribed host with a supported regular laboratory;
classical objects with explicit domains, equations, initial data, and transformation laws;
one finite destructive-clock factor and a stated evaluation dictionary;
complete finite instruments, including their untouched-reference extensions;
a scheduled-locality theorem and a nonempty reference-preserving route whose physical dependency containment is separately certified.
Grade E, metric emergence, and a quantum field construction are not included in this definition.