Definition: Local Grade S

A local Grade S package in this paper comprises:

1. a prescribed background and a compact regular support presentation;

2. explicit classical functionals, domains, topologies, and proofs;

3. complete finite instruments with declared input and output interfaces;

4. a finite destructive clock and an explicit calibration contract;

5. scheduled-support and independently certified causal-containment statements;

6. a finite reference-preserving transport realization with a resource ledger.

Grade E, understood here as an emergence claim for spacetime or its metric, is not part of the definition.