Descriptive relations selected by Gd
| Selected occurrence | Predicate and ordered participants | Obtaining descriptive basis |
|---|---|---|
| rHT | discriminatesFailure(Hd, Td) | Hd names Td and the rival causes of its failure. |
| rRH | targetsDiagnosedContribution(Rd, Hd) | Rd selects the contribution identified by Hd. |
| rFR | specifiesAssessmentFeedback(Fd, Rd) | Fd explicitly supplies the state/effect meaning for assessing Rd. |
| rLFT | relatesTransferMeanings(Ld, Fd, Td) | Ld binds Fd’s predicates and operation to Td’s receiving interface. |
These relations obtain from the explicit descriptions and ordered participants. They assert no actual diagnosis, construction, experiment or successful transfer. A missing selected relation prevents treating this as the completed Gd described here.
| Constraint and candidate | Required affirmative conditions | Dependent occurrences |
|---|---|---|
| PerformCurrent | o: operational prerequisites are present; k: the current configuration is supported for the task. | rHT, with Td’s stated receiving requirement |
| ConstructRevision | n: the selected repair is useful and needed; h: discriminating diagnosis supports it; z: construction access is available and permitted; f: feedback has qualified meaning; t: the receiving-transfer basis is supported. | rHT, rRH, rFR, rLFT |
| QualifyRevision | y: the candidate has been constructed; j: independent applicable final cases are available; f=t=S: qualified feedback and transfer grounds remain present. | rFR, rLFT |
Hd does not itself establish h: the traces and support-regime comparison in the connected explanation supply that evidence. Domain state/effect predicates and exercised feedback supply f; receiving-interface conformance supplies t. Construction progress supplies y, while independently prepared applicable tests supply j. The live contributor and configuration evidence supply o and k.
Wd is each alternative teaching case’s comparison window, holding its named arrangement and facts fixed until one changes. Base values are k=n=h=z=f=t=j=S and o=y=N. Current performance lacks a live contribution, but construction and assessment facilities exist. These are stipulated facts, not observations.
| Case / window | Changes to base values and subject |
|---|---|
| D0 / Wd | None: the operational contribution and constructed candidate are absent; all construction grounds are supplied. |
| D1 / Wd | f=N: the evaluator counts acknowledgement without an actual effect as success. |
| D2 / Wd | t=U: the receiving interface’s needed outcome lookup has not been established. |
| D3 / Wd | y=S and n=N: construction has produced the candidate and closed this selected construction need; all other base values remain. |
Use S/N/U with the meanings above. Invalid or inconsistent input returns Error for the affected judgement; otherwise any required N disables, all S plus the required relations enable, and remaining U leaves Unknown. Every predicate’s required polarity is affirmative. Inspect the complete basis before using a decisive N; D2’s missing candidate defeats QualifyRevision even though its transfer fact is also unknown.