Theorem: VII-F-ST local Grade S release

For the declared inputs and finite permissions, the following package exists:

1. the prescribed conical $3+1$ background, its singular worldsheet, finite developing atlas, and compact regular laboratory;

2. an embedded uniformly spacelike product marking with exactly one transverse incidence-event parameter, changing the normal transverse particle link from three faces to six;

3. exact coordinates, lengths, areas, one-sided laws, and nondegeneracy checks for every transverse cell in the compact certificate;

4. one common positively primitive, reference-framed affine peripheral holonomy on the collar, core, outgoing star, and both zero germs;

5. an exact geometry-only guard, spectator-blind location metadata transport, and a decoder-correct finite reversible implementation with explicit storage and gate bounds;

6. a complete finite destructive-clock instrument, an exact four-row evaluation and table-probe package, and explicit event-time/history-label separation;

7. a buffered causal execution and exact reference-preserving transport of the finite payload and its classical control record.

These assertions satisfy Definition def:grade. They do not construct Grade E.

Proof. Propositions prop:geometry and prop:nonGH, together with Definition def:support, give (i). Theorem thm:spacelike, Theorem thm:event, and Corollary cor:product give (ii). Section sec:cells gives (iii). Theorems thm:word and thm:holonomy give (iv). Section sec:encoding gives (v). Theorem thm:instrument, Proposition prop:table-probe, and Proposition prop:calibration give (vi). Section sec:transport gives (vii). The five Grade S clauses have therefore been supplied. No extraction of the background geometry from records occurs.