Interface: ProofDto
@kortexya/reasoninglayer / Inference / ProofDto
Interface: ProofDto
Defined in: src/types/inference.ts:33
Recursive proof tree node.
Represents a step in the proof derivation, potentially with sub-proofs for intermediate goals.
Properties
certainty
certainty:
number
Defined in: src/types/inference.ts:43
Certainty of this proof step.
goalTermId
goalTermId:
string
Defined in: src/types/inference.ts:35
The goal term ID that was proved at this step.
ruleTermId?
optionalruleTermId:string
Defined in: src/types/inference.ts:37
The rule term ID used to prove this goal.
subproofs?
optionalsubproofs:ProofDto[]
Defined in: src/types/inference.ts:41
Sub-proofs for intermediate goals.
substitution
substitution:
HomoiconicSubstitutionDto
Defined in: src/types/inference.ts:39
The substitution applied at this proof step.