Interface: ProofTraceNodeDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Conversation / ProofTraceNodeDto

Interface: ProofTraceNodeDto

Defined in: src/types/conversation.ts:63

A proof trace node for backward chaining derivation trees.

Properties

children?

optional children: ProofTraceNodeDto[]

Defined in: src/types/conversation.ts:77

Child nodes in the proof tree.

---

confidence?

optional confidence: number

Defined in: src/types/conversation.ts:75

Optional confidence score.

---

detail?

optional detail: string

Defined in: src/types/conversation.ts:71

Optional detail text.

---

id

id: string

Defined in: src/types/conversation.ts:65

Unique node ID.

---

label

label: string

Defined in: src/types/conversation.ts:67

Display label for the node.

---

nodeType

nodeType: string

Defined in: src/types/conversation.ts:69

Node type (e.g., “goal”, “rule”, “fact”).

---

rule?

optional rule: string

Defined in: src/types/conversation.ts:73

Optional rule name/ID used at this step.