Interface: ResidualWitnessDto
@kortexya/reasoninglayer / ResidualWitnessDto
Interface: ResidualWitnessDto
Section titled “Interface: ResidualWitnessDto”Defined in: src/types/terms.ts:36
A residuated (suspended) type witness.
Appears in ValidatedTermResponse when a witness could not be fully evaluated. Indicates what information is missing for the witness to be satisfied.
Properties
Section titled “Properties”partialBindings
Section titled “partialBindings”partialBindings:
Record<string,string>
Defined in: src/types/terms.ts:40
Partial bindings found so far.
trigger
Section titled “trigger”trigger:
string
Defined in: src/types/terms.ts:42
What would trigger re-evaluation.
witnessId
Section titled “witnessId”witnessId:
string
Defined in: src/types/terms.ts:38
ID of the witness that couldn’t be satisfied yet.