Definition: Local Grade S

A local Grade S package consists here of:

1. a prescribed spacetime and a supported regular laboratory;

2. mathematical objects with stated domains and explicit inputs;

3. complete finite channels, including arbitrary untouched references;

4. one destructive clock with a declared calibration;

5. computational support bounds and a separate physical causal-containment certificate;

6. one nonempty finite transport realization with resources and durations accounted for.

Grade E, meaning a derivation of spacetime or its metric from records or quantum data, is not constructed.