Interface: WitnessProofDto
@kortexya/reasoninglayer / Terms / WitnessProofDto
Interface: WitnessProofDto
Defined in: src/types/terms.ts:19
Proof that a term satisfies a type witness.
Appears in ValidatedTermResponse when witnesses are satisfied.
Properties
bindings
bindings:
Record<string,string>
Defined in: src/types/terms.ts:23
Variable bindings that satisfy the witness.
certainty
certainty:
number
Defined in: src/types/terms.ts:25
Confidence/certainty of the proof.
witnessId
witnessId:
string
Defined in: src/types/terms.ts:21
ID of the witness that was satisfied.