Theorem: VIII-ST local Grade S release

For the prescribed catalogue and fixed-host operational permissions, this manuscript establishes:

1. an explicit uniformly spacelike, embedded, acausal, strictly ordered product marking, with a unique transverse three-to-six incidence for every fixed $\mu \in I$;

2. exact vertices, finite lengths, areas, one-sided laws, adapted Lorentz-affine charts, winding-marked words, and complete five-component matching certificates;

3. fixed-presentation uniqueness, stale-rotation rejection, time-shift rejection, and spectator-blind deterministic control;

4. residual-source separation, sharp coarse-instrument compatibility conditions, and the stated full-input recovery safeguards;

5. a semantic expectation-selected catalogue packet, source-off specialization, affine-label obstruction, and finite-promise acquisition obstruction;

6. an exact algebraic table, guarded five-command history, complete-output induction, and finite reversible implementation on canonical forward domains with retained histories;

7. one complete destructive-clock instrument, explicit calibration limits, branchwise promise conditions, and a fixed-table complete-channel approximation theorem;

8. computational backwards support, exact intervention no-signalling, and physical containment under a separately certified causal embedding;

9. a nonempty regular buffered protocol transporting an unknown quantum payload and its classical certificate history with arbitrary untouched references and the displayed resource ledger.

The variable-deficit source command is catalogue replacement, not host metric evolution. These results constitute local Grade S, not Grade E.

No inherited quantum response coefficient is admitted. The quantum certificate remains -open. The standing analytical boundaries recorded below are not discharged by this release.

Proof. Lemmas lem:bounds–lem:graphs, Proposition prop:metric-data, and Theorem thm:event prove (i)–(ii), completed by Theorem thm:matching. Propositions prop:rejections and prop:blind prove (iii). Section sec:access proves (iv). Theorem thm:semantic and Propositions prop:affine, prop:finite-promise prove (v). Sections sec:flow–sec:encoding prove (vi). Section sec:clock proves (vii). Section sec:locality proves (viii). Theorem thm:transport and its ledger prove (ix). Proposition prop:fixedhost supplies the principal interpretive correction.

None of these constructions defines a characteristic quantum product, a renormalized relational field observable, or the missing analytic admission map. The final scope statements therefore are not altered.