Library / Engineering DPF Suite Reference
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-02 23:06:08 UTC · snapshot created 2026-10-03 01:38:24 UTC · last check 2026-10-03 03:05:10 UTC

A lost input and a smaller budget change different continuations

This separate C.2.1 demonstrative episteme has Gc, as identified in the preceding description, as its EntityOfConcern. Its claim is that changed applicability, input or remaining effort changes particular availability judgements while the selected descriptive structure remains fixed. Its ReferenceScheme binds Tc/Pc/Cc/Qc/Ec, the four continuations, rPT/rCPT/rQT/rET, condition letters and Wc/C0–C4 to the exact definitions above. Each row below supplies one candidate’s test, case basis, required values and reason; the description supplies its affirmative polarity, participant meanings, source bounds and dependent occurrences.

JudgementCase, window, applicable test and relation basisEvaluated conditionsResult and reason
C0-UseC0 / Wc; Use constraint and its relationsp=S, f=S, c=S, e=S, a=S, x=SEnabled: the configured way has every stated condition.
C0-ObtainC0 / Wc; Obtain constraint and its relationsm=N, q=SDisabled: no consequential premise is missing.
C0-DeliberateC0 / Wc; Deliberate constraint and its relationsd=N, v=S, b=SDisabled: no comparison remains unresolved.
C0-RebuildContextC0 / Wc; RebuildContext constraint and its relationsl=N, r=SDisabled: no consequential context loss is present.
C1-UseC1 / Wc; Use constraint and its relationsp=U, f=U, c=S, e=S, a=S, x=SUnknown: policy and premise applicability are unknown.
C1-ObtainC1 / Wc; Obtain constraint and its relationsm=S, q=SEnabled: the missing premise can be obtained.
C1-DeliberateC1 / Wc; Deliberate constraint and its relationsd=N, v=S, b=SDisabled: no comparison is stipulated.
C1-RebuildContextC1 / Wc; RebuildContext constraint and its relationsl=N, r=SDisabled: the context still carries its required material.
C2-UseC2 / Wc; Use constraint and its relationsp=S, f=S, c=N, e=U, a=S, x=SDisabled: the next context is inadequate; the effect also remains unknown.
C2-ObtainC2 / Wc; Obtain constraint and its relationsm=N, q=SDisabled: another premise acquisition is not the missing operation.
C2-DeliberateC2 / Wc; Deliberate constraint and its relationsd=N, v=S, b=SDisabled: no comparison is stipulated.
C2-RebuildContextC2 / Wc; RebuildContext constraint and its relationsl=S, r=SEnabled: the original evidence permits reconstruction.
C3-UseC3 / Wc; Use constraint and its relationsp=S, f=S, c=S, e=S, a=N, x=SDisabled: no supported continuation is selected.
C3-ObtainC3 / Wc; Obtain constraint and its relationsm=N, q=SDisabled: no premise acquisition is required.
C3-DeliberateC3 / Wc; Deliberate constraint and its relationsd=S, v=S, b=SEnabled: the comparison has an evaluator and affordable effort after the reserve.
C3-RebuildContextC3 / Wc; RebuildContext constraint and its relationsl=N, r=SDisabled: no context loss is present.
C4-UseC4 / Wc; Use constraint and its relationsp=S, f=S, c=S, e=S, a=N, x=SDisabled: no supported continuation is selected.
C4-ObtainC4 / Wc; Obtain constraint and its relationsm=N, q=SDisabled: no premise acquisition is required.
C4-DeliberateC4 / Wc; Deliberate constraint and its relationsd=S, v=S, b=NDisabled: the calculation cannot preserve the completion reserve.
C4-RebuildContextC4 / Wc; RebuildContext constraint and its relationsl=N, r=SDisabled: no context loss is present.

C1 enables useful acquisition while leaving Use unknown; a successful return must first establish its applicable premise. C2 enables input reconstruction without claiming that reconstruction resolves the effect: preserve the original attempt and use the actual outcome lookup. C3 enables deliberation; changing only the budget to C4 disables it. A simpler supported continuation outside this slice may still be available.

The displayed values are stipulated, not observed agent performance. New case facts reopen their affected judgements. Changing a constituent, selected relation, applied constraint or governed question requires identifying the changed structure. A contradictory premise value returns Error; absence of a needed fact returns Unknown unless another required condition defeats that candidate. The display neither authorizes an action nor demonstrates improved assistance selection.