Definition: Local Grade S

A local Grade S package here consists of:

1. a prescribed spacetime and a supported regular laboratory;

2. explicit classical or numerical objects with stated domains and proof dependencies;

3. complete finite channels, including untouched references;

4. one destructive clock and an explicit calibration contract;

5. proved computational support and separately certified physical causal containment;

6. one nonempty finite transport realization and its resource ledger.

Grade E, understood here as a claim to derive spacetime or its metric from records or quantum data, is not constructed.