Descriptive relations selected by Gc
| Selected occurrence | Predicate and ordered participants | Obtaining descriptive basis |
|---|---|---|
| rPT | addressesInterpretation(Pc, Tc) | Pc explicitly identifies Tc and its interpretation decision. |
| rCPT | specifiesNeededInputs(Cc, Pc, Tc) | Cc names the premise, applicability and attempt status required by Pc and Tc. |
| rQT | seeksPremise(Qc, Tc) | Qc explicitly targets the missing premise of Tc. |
| rET | targetsComparison(Ec, Tc) | Ec identifies Tc’s unresolved comparison and completion reserve. |
These locally defined predicates concern the descriptions and the participant order shown. Their grounds are the written content, not a performed experiment. If a selected relation is missing, this completed Gc identity is unestablished; a case value cannot supply the missing relation.
| Constraint and candidate | Required affirmative conditions | Dependent occurrences |
|---|---|---|
| Use | p: Pc applies to this decision; f: its underlying premise is supported; c: the next context is adequate; e: the prior effect is resolved; a: a supported continuation has been selected; x: execution capacity and permission are present. | rPT, rCPT |
| Obtain | m: a consequential premise is missing; q: Qc’s source operation is reachable, permitted, useful and affordable. | rQT |
| Deliberate | d: a consequential comparison remains unresolved; v: an applicable evaluator can inform it; b: the remaining means suffice after the completion reserve. | rET |
| RebuildContext | l: consequential context loss occurred; r: original evidence is available and reconstruction is permitted and feasible. | rCPT |
The actual suppliers are the qualified policy and decision evidence, procedure source, observed effect status, working-input inspection, selected-action account, executor/permission holder and effort account. Confidence alone establishes neither f nor x. A relation that concerns written content does not establish any of these current conditions.
For the following constructed teaching cases, S means satisfied, N not satisfied and U unknown. Wc is the comparison window for each alternative case, holding that case’s stipulated configuration and facts fixed until a named condition changes; it is not a dated run. Base values are p=f=c=e=a=x=q=v=b=r=S and m=d=l=N. A changed row retains every other base value.
| Case / window | Stipulated case facts and subject |
|---|---|
| C0 / Wc | All base values: the described policy, premise, context, resolved attempt, selected continuation and executor are supplied. |
| C1 / Wc | After a model/premise applicability change, p=U and f=U; the needed premise is missing, m=S. Source access remains q=S. |
| C2 / Wc | A summary lost the unresolved attempt: c=N, e=U, l=S. Original evidence and feasible reconstruction remain r=S. |
| C3 / Wc | No supported continuation is selected, a=N; the comparison is unresolved, d=S. Evaluator and sufficient effort remain v=b=S. |
| C4 / Wc | The same comparison as C3 with b=N: remaining means no longer preserve the completion reserve. |
For each candidate, inspect its complete conjunction and relation basis. Invalid or internally inconsistent input returns Error for that judgement. Otherwise any N yields Disabled, all S with the selected relations yields Enabled, and remaining U yields Unknown. No erroneous input is stipulated in C0–C4. All conditions have the affirmative polarity specified above.