Definition: Local Grade S

A local Grade S package comprises:

1. a prescribed Lorentzian background, a supported classical presentation, and a compact regular operational laboratory;

2. an explicitly proved classical certificate on its declared geometric domain;

3. a complete finite destructive-clock instrument;

4. a finite encoding of already-defined evaluations and labels, with its decoder domain and resources;

5. reference-preserving transport whose complete dependencies are embedded in the prescribed causal relation.

Grade E would additionally require a construction deriving the geometric data from operational records. It is not constructed.