Test F1: scheduler consistency alone

Any argument using only $\mathsf{S}$ retains En08-A's obstruction CheungEn08A (thm:main). A process-matrix, comb, or channel-table description does not remove the obstruction just by being quantum notation. For a new class, however, an actual realization or interpretation of the countermodel must be established; it is not inferred solely from an acyclic signalling graph.

Pass condition. Supply the genuinely additional package and its relevant exclusion certificates. If cone properties are assumed rather than derived, the conclusion must remain explicitly conditional.