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