Link to current text
A.15.3:9 - Consequences
| Benefit | Cost and control |
| Planned choices remain replayable. | Each row must point to a declared member and the pattern that defines it. |
| Declaration families remain coherent. | Planners must dispatch relation participants and operation values separately. |
| Actual-use claims remain honest. | A matching plan row cannot substitute for grounding the Work occurrence and the independently obtaining relations involving it. |
| Missing ontology becomes visible. | An unowned filling returns a precise blocker instead of a convenient generic slot. |