Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:50:05 UTC
OPS.11.1:7 - Conformance Checklist
The model answers a named operating question and uses the recipient’s completion or service condition.
Routes, resource occupancy, calendars and eligibility are distinguishable where they change feasibility.
Shared participants remain shared across local accounts.
Product dependencies, resource use, enabling conditions and authority relations retain their meanings; a proposed change identifies which of them changes.
Each aggregate or cross-scale relationship has an operation and conditions appropriate to its receiving use.
A refinement recovers an answer-changing distinction; unaffected detail can remain compact.
The returned result distinguishes the computed consequence from the assumptions about the operation that support it.
A changed premise identifies the affected account and receiving consequences.