Interface: WitnessInstantiationDto
@kortexya/reasoninglayer / WitnessInstantiationDto
Interface: WitnessInstantiationDto
Section titled “Interface: WitnessInstantiationDto”Defined in: src/types/terms.ts:50
A witness instantiation showing how a witness was satisfied.
Contains bindings, confidence, and an optional human-readable explanation.
Properties
Section titled “Properties”bindings
Section titled “bindings”bindings:
Record<string,string>
Defined in: src/types/terms.ts:54
The bindings that satisfy the witness (e.g., {“?Y”: “bob”}).
confidence
Section titled “confidence”confidence:
number
Defined in: src/types/terms.ts:56
Confidence in the witness (1.0 = certain).
explanation?
Section titled “explanation?”
optionalexplanation?:string|null
Defined in: src/types/terms.ts:58
Human-readable explanation.
witnessId
Section titled “witnessId”witnessId:
string
Defined in: src/types/terms.ts:52
ID of the witness that was satisfied.