A.19.CHR:4.1.1 - CHRMechanismSuiteDescription
A concrete MechSuiteDescription instance whose role is to:
- enumerate the canonical CHR mechanisms (as
MechanismDeclarationRefs), - declare suite‑level obligations/invariants,
- declare suite‑level spec pins (refs only),
- declare admissible suite protocols (Uses pipelines),
- require an edition/reference baseline in WorkPlanning on P2W paths; add typed planned fillings only when their independently declared positions are current.
A.6.7 supplies the general suite form. This pattern selects the six CHR roles and their shared obligations, with the P2W baseline specified below.