Definition: Local Grade S

A local Grade S package specifies and establishes:

1. a prescribed Lorentzian background, local rods, and a supported analytical laboratory;

2. named classical equations and proved descent identities on that laboratory;

3. a finite destructive clock with a complete recorded instrument;

4. an explicit finite encoding of selected classical evaluations;

5. reference-preserving transport whose complete dependencies respect the prescribed causal relation.

Grade E would additionally require a construction determining geometric data from operational records. It is not asserted.