Definition: Local Grade S in this manuscript

A local Grade S package consists of:

1. a prescribed host and a supported regular laboratory;

2. mathematical objects with explicit domains and inputs;

3. complete finite channels, including untouched references;

4. one finite destructive-clock factor with stated calibration;

5. computational dependency bounds, distinguished from physical causal containment;

6. a nonempty regular transport realization with durations and resource counts.

These clauses do not assert emergence of the metric. Grade E is not constructed.