Interface: ProofTraceDto
@kortexya/reasoninglayer / ProofTraceDto
Interface: ProofTraceDto
Section titled “Interface: ProofTraceDto”Defined in: src/types/oversight.ts:117
A failed proof trace with causal chain.
Remarks
Section titled “Remarks”Contains recursive parent field for multi-level causal chains.
Properties
Section titled “Properties”depth:
number
Defined in: src/types/oversight.ts:127
Depth at which failure occurred in the proof tree.
failureDetails
Section titled “failureDetails”failureDetails:
string
Defined in: src/types/oversight.ts:125
Detailed reason description.
failurePoint?
Section titled “failurePoint?”
optionalfailurePoint?:string
Defined in: src/types/oversight.ts:121
The specific term where failure occurred.
failureReason
Section titled “failureReason”failureReason:
string
Defined in: src/types/oversight.ts:123
Why the proof failed (human-readable classification).
goalTermIds
Section titled “goalTermIds”goalTermIds:
string[]
Defined in: src/types/oversight.ts:119
The goal terms that couldn’t be proved.
parent?
Section titled “parent?”
optionalparent?:ProofTraceDto
Defined in: src/types/oversight.ts:131
Nested parent trace (for multi-level causal chains).
suggestions
Section titled “suggestions”suggestions:
FixSuggestionDto[]
Defined in: src/types/oversight.ts:129
Suggested fixes from the proof engine.