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:54
Certainty of this proof step.
goalDisplay?
optionalgoalDisplay:string
Defined in: src/types/inference.ts:43
Human-readable rendering of the goal proven at this step — the conclusion,
e.g. iam_permission(action: "view_file", object: "design.pdf", subject: "alice").
Lets a client render a readable proof tree without resolving term IDs.
goalTermId
goalTermId:
string
Defined in: src/types/inference.ts:35
The goal term ID that was proved at this step.
ruleLabel?
optionalruleLabel:string
Defined in: src/types/inference.ts:48
Human-readable rendering of the rule applied at this step (its head Ψ-term). Absent for a stored fact / axiom (no rule was applied).
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:52
Sub-proofs for intermediate goals.
substitution
substitution:
HomoiconicSubstitutionDto
Defined in: src/types/inference.ts:50
The substitution applied at this proof step.