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