Interface: ProofNodeDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Causal / ProofNodeDto

Interface: ProofNodeDto

Defined in: src/types/causal.ts:46

A node in the causal proof tree.

Properties

certainty?

optional certainty: number | null

Defined in: src/types/causal.ts:48

Certainty at this step.

---

children

children: string[]

Defined in: src/types/causal.ts:50

Child node IDs.

---

depth

depth: number

Defined in: src/types/causal.ts:52

Depth in the proof tree.

---

explanation

explanation: string

Defined in: src/types/causal.ts:54

Human-readable explanation.

---

id

id: string

Defined in: src/types/causal.ts:56

Unique identifier for this node.

---

parentId?

optional parentId: string | null

Defined in: src/types/causal.ts:58

Parent node ID (if any).

---

ruleName

ruleName: string

Defined in: src/types/causal.ts:60

Rule name or constraint that justified this step.

---

stepType

stepType: string

Defined in: src/types/causal.ts:62

Type of proof step.