Interface: SolutionDto
@kortexya/reasoninglayer / Inference / SolutionDto
Interface: SolutionDto
Defined in: src/types/inference.ts:87
A solution from backward chaining.
Contains variable bindings, an optional proof tree, certainty score, and open-world inference metadata.
Properties
certainty
certainty:
number
Defined in: src/types/inference.ts:93
Certainty score (0.0 to 1.0).
evidenceMatched?
optionalevidenceMatched:number|null
Defined in: src/types/inference.ts:95
Number of matched antecedents (open-world only).
evidenceRatio?
optionalevidenceRatio:number|null
Defined in: src/types/inference.ts:97
Evidence ratio for open-world inference (matched/total antecedents). Null in closed-world mode.
evidenceSupport?
optionalevidenceSupport:number|null
Defined in: src/types/inference.ts:110
Deep evidential support in [0, 1] (open-world only): the fraction of
ground-fact leaves the proof rests on that are actually witnessed by facts,
computed recursively over the proof tree.
Remarks
Unlike evidenceRatio (shallow, top-level), this sees through chained derivations, so residuation inside a derived sub-goal is reflected. It is the epistemic ranking axis, orthogonal to certainty (the residuation-faithful degree): rank candidate solutions by this to prefer the ones actually grounded in evidence.
proof?
optionalproof:ProofDto|null
Defined in: src/types/inference.ts:91
Proof tree showing how the solution was derived. Null if proof generation was disabled.
residuatedSorts?
optionalresiduatedSorts:string[]
Defined in: src/types/inference.ts:112
Sort names that were residuated (suspended due to missing information). Open-world only.
substitution
substitution:
HomoiconicSubstitutionDto
Defined in: src/types/inference.ts:89
Variable substitution (bindings from variables to values).