Interface: ProofTraceNodeDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Conversation / ProofTraceNodeDto

Interface: ProofTraceNodeDto

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

A proof trace node for backward chaining derivation trees.

Properties

children?

optional children: ProofTraceNodeDto[]

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

Child nodes in the proof tree.

---

confidence?

optional confidence: number

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

Optional confidence score.

---

detail?

optional detail: string

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

Optional detail text.

---

id

id: string

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

Unique node ID.

---

label

label: string

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

Display label for the node.

---

nodeType

nodeType: string

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

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

---

rule?

optional rule: string

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

Optional rule name/ID used at this step.