Interface: ProofTraceDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Oversight / ProofTraceDto

Interface: ProofTraceDto

Defined in: src/types/oversight.ts:108

A failed proof trace with causal chain.

Remarks

Contains recursive parent field for multi-level causal chains.

Properties

depth

depth: number

Defined in: src/types/oversight.ts:118

Depth at which failure occurred in the proof tree.

---

failureDetails

failureDetails: string

Defined in: src/types/oversight.ts:116

Detailed reason description.

---

failurePoint?

optional failurePoint: string

Defined in: src/types/oversight.ts:112

The specific term where failure occurred.

---

failureReason

failureReason: string

Defined in: src/types/oversight.ts:114

Why the proof failed (human-readable classification).

---

goalTermIds

goalTermIds: string[]

Defined in: src/types/oversight.ts:110

The goal terms that couldn’t be proved.

---

parent?

optional parent: ProofTraceDto

Defined in: src/types/oversight.ts:122

Nested parent trace (for multi-level causal chains).

---

suggestions

suggestions: FixSuggestionDto[]

Defined in: src/types/oversight.ts:120

Suggested fixes from the proof engine.