Constraints and potential continuations
The domain/interface supplier defines what counts as an applicable procedure, current target observation, sufficient combined ability/resources/timing, resolved prior effect and permitted acquisition. The four constructed cases below stipulate values for those meanings. All required polarities are affirmative; a predicate such as “an applicability contribution is needed” already contains its stated missing-or-defeated meaning.
| Constraint and candidate | Applicable predicates or obtaining basis | Dependent selected occurrences |
|---|---|---|
| C / Continue | a: the possessed procedure edition is applicable to T now. o: the required current target observation is available. c: observation and action can be performed together with the required shared resources and timing. e: the prior-effect condition is resolved so this continuation does not blindly repeat an uncertain effect. Require all four. | rKT and rNT. |
| O / Obtain | n: applicability is unresolved or defeated, so this contribution is needed. s: Q’s authoritative source is reachable in the relevant interval. p: Q is permitted. u: that acquisition is useful and fits the available interval. Require all four. | rQN and rNT. |
| R-test / Repair | f: the repeated consume/reopen failure is present. x: controller-change access is available for this construction. h: qualified construction experience is available. Require these three and the obtaining rRK relation with ordered participants R, K. | rRK and rKT. |
Individual ability does not establish c. Training access is not one of Repair’s conditions. A constructed repair’s availability also does not establish that it will fix a shared-capacity defect.
All three candidates remain in G’s potential topology. They are alternatives under the constraints, not stages. The case results exhibit Continue and Obtain in different cases and Repair while operational progress is blocked or unknown. After obtaining a new contribution, re-evaluate the affected facts; no unqualified temporal edge or mandatory next action is added to G.