Hypotheses are not obligations renamed

The scheduler package $\mathsf{S}$ retained from XXII-A comprises acyclic dependency, finite-experiment termination, commutation of independent operations, schedule-independent complete records, sensitivity equal to strict reachability in its designated models, and confluence CheungXXIIA,CheungEn08A.

It is not assigned automatically to every $D\in \mathcal{D}({\mathcal{P}}_{3q})$. A general process matrix need not come with the complete dependency graph required to interpret those statements.

For a later proposed construction ${\mathfrak{F}}_m$, let

be its actual finite additional hypothesis list, including class restrictions where they have substantive force. Its admissible domain would be

The obligations include

and a justified additional-content comparison with $\mathsf{S}$ in a common operational model universe.

One may not prove the latter merely by observing that process matrices and scheduler networks have different names. A dictionary between the compared models, access, and extracted relations must be stated. XXII-B fixes the corresponding audit discipline CheungXXIIB (def:entry, def:exclusion).

No successful list $\mathsf{H}$ and no witness for (eq:nonvacuity) are supplied here. This is compatible with the independently proved nonemptiness of the unrestricted base class.