Interface: ProofNodeDto
@kortexya/reasoninglayer / ProofNodeDto
Interface: ProofNodeDto
Section titled “Interface: ProofNodeDto”Defined in: src/types/causal.ts:46
A node in the causal proof tree.
Properties
Section titled “Properties”certainty?
Section titled “certainty?”
optionalcertainty?:number|null
Defined in: src/types/causal.ts:48
Certainty at this step.
children
Section titled “children”children:
string[]
Defined in: src/types/causal.ts:50
Child node IDs.
depth:
number
Defined in: src/types/causal.ts:52
Depth in the proof tree.
explanation
Section titled “explanation”explanation:
string
Defined in: src/types/causal.ts:54
Human-readable explanation.
id:
string
Defined in: src/types/causal.ts:56
Unique identifier for this node.
parentId?
Section titled “parentId?”
optionalparentId?:string|null
Defined in: src/types/causal.ts:58
Parent node ID (if any).
ruleName
Section titled “ruleName”ruleName:
string
Defined in: src/types/causal.ts:60
Rule name or constraint that justified this step.
stepType
Section titled “stepType”stepType:
string
Defined in: src/types/causal.ts:62
Type of proof step.