Separate judgements and derived current sets
Each row below is one candidate judgement. Its constraint identifies the applicable test and affirmative polarity; its case/window identifies every input and about-subject basis in the preceding table; its dependencies identify the selected obtaining occurrences in the constraint table. The rRK basis is separately the obtaining descriptive relation, not a condition value inferred from a label.
Apply this stated rule: an invalid or internally inconsistent case/test returns Error for the affected judgement; otherwise any required N yields Disabled, all required S plus required obtaining relations yield Enabled, and remaining unknown values yield Unknown. Inspect all facts relevant to the claim before using a decisive N. No error is stipulated in these four cases.
| Judgement | Case, window and applicable basis | Evaluated outcomes / obtaining basis | Result and reason |
|---|---|---|---|
| J0-C | Initial, W0, C; rKT/rNT | a=o=c=e=S | Enabled: the procedure, observation, combined performance and effect conditions are supplied. |
| J0-O | Initial, W0, O; rQN/rNT | n=N; s=p=u=? | Disabled: no missing applicability contribution warrants Q; unspecified later predicates do not override that defeated need. |
| J0-R | Initial, W0, R-test; rRK/rKT | f=N; x=h=?; rRK obtains from R,K content | Disabled: the selected repeated-failure trigger is absent. |
| J1-C | Changed edition, W1, C; rKT/rNT | a=N; o=c=e=S | Disabled: the old procedure edition no longer applies. |
| J1-O | Changed edition, W1, O; rQN/rNT | n=s=p=u=S | Enabled: a contribution is needed and reachable; this acquisition is explicitly permitted, useful and timely. |
| J1-R | Changed edition, W1, R-test; rRK/rKT | f=N; x=h=?; rRK obtains | Disabled: source change alone supplies no repeated controller failure. |
| J2-C | Interrupted return, W2, C; rKT/rNT | a=?; o=c=e=S | Unknown: procedure applicability is not established. |
| J2-O | Interrupted return, W2, O; rQN/rNT | n=S; s=N; p=u=? | Disabled: the source cannot supply the contribution in this interval. |
| J2-R | Interrupted return, W2, R-test; rRK/rKT | f=x=h=S; rRK obtains | Enabled: the targeted fixed-model repair has its trigger, access and qualified construction experience. |
| J3-C | Combined performance fails, W3, C; rKT/rNT | a=o=e=S; c=N | Disabled: individually available acts cannot meet the combined timing/resource condition. |
| J3-O | Combined performance fails, W3, O; rQN/rNT | n=N; s=p=u=? | Disabled: applicability is known; another acquisition does not address the failed combined condition. |
| J3-R | Combined performance fails, W3, R-test; rRK/rKT | f=x=h=S; rRK obtains | Enabled: the construction exercise remains available; no claim that it repairs the capacity defect follows. |
The current sets are derived from those judgements, not from the displayed order:
| Window and judgement sources | Enabled set | Disabled set | Unknown set | Stop, return and recheck |
|---|---|---|---|---|
| W0: J0-C/O/R | Continue | Obtain, Repair | Empty | Display Continue. Actual execution needs its own qualified conditions and authority. Recheck changed procedure, target, combined performance or effect state. |
| W1: J1-C/O/R | Obtain | Continue, Repair | Empty | Display Q as available. After a qualified return, rejudge applicability and Continue’s other current conditions. Recheck Q’s access, permission or timing if they change. |
| W2: J2-C/O/R | Repair | Obtain | Continue | Return source availability to its provider and applicability to its authoritative source. Repair remains possible but supplies no missing current fact by itself. |
| W3: J3-C/O/R | Repair | Continue, Obtain | Empty | Return the failed combined condition to its engineering owner; retain the independently available repair exercise. Recheck c only from a changed arrangement or applicable evidence. |
A new currentness fact normally changes only the affected judgement and set. Changing a selected constituent, obtaining relation, constraint or selection-use frame reidentifies G; changing a locus binding or potential-continuation row reopens CGUS membership. If a case contains conflicting applicability statements, stop that judgement as Error and obtain a corrected case basis.
This whole-structure description exposes all three potential continuations and their current results. It does not describe the selected Methods’ internal algorithms, a B.1.5 Method whole, dated Work, learning effectiveness, human motor learning or a transformation-flow network. Those omissions preserve the narrower availability question; they would be insufficient for a claim about performed or authorized work.