THE LAW VOCABULARY — the closed set of operator-facing guarantees a DSP stage's C
postconditions can be classified under (2026-08-06-channel-contract.md, "the laws column";
R-054's per-function OMX_POST tokens are the IMPLEMENTATION of one or more of these words,
never a second vocabulary — a stage's granular finite-in/finite-out/ramp-self-heals
tokens all cash out as finite here, at the grain an operator or a manual reads).
Closed, and stays closed: a new member is added only when a stage's postcondition fits none of
these ten (operator ruling, 2026-09-17 — the list as written in the brief IS the vocabulary,
not a sketch of one). Ten members, none added by this lane.
THE LAW VOCABULARY — the closed set of operator-facing guarantees a DSP stage's C postconditions can be classified under (
2026-08-06-channel-contract.md, "thelawscolumn"; R-054's per-functionOMX_POSTtokens are the IMPLEMENTATION of one or more of these words, never a second vocabulary — a stage's granularfinite-in/finite-out/ramp-self-healstokens all cash out asfinitehere, at the grain an operator or a manual reads).Closed, and stays closed: a new member is added only when a stage's postcondition fits none of these ten (operator ruling, 2026-09-17 — the list as written in the brief IS the vocabulary, not a sketch of one). Ten members, none added by this lane.