Definition: Local Grade S for this manuscript

A released X-K-ST package consists of:

1. the retained host and regulator metadata;

2. a finite typed instruction certificate;

3. the complete public-history instrument with its Kraus refinements and all failures;

4. the actual clock-supply, memory, output, and release declarations;

5. causal control delivery and certified regular routes;

6. the occupancy, external storage, duration, and operation-count ledgers;

7. a resource and location fit, or explicitly stated unpassed fit inequalities;

8. matching complete-channel or state-specific error hypotheses, with the appropriate conclusions.

Only certificates that pass the host-level fit are called realized local Grade S experiments.