Interface: NafProveResponse
@kortexya/reasoninglayer / NafProveResponse
Interface: NafProveResponse
Section titled “Interface: NafProveResponse”Defined in: src/types/inference.ts:1120
Response from NAF proof search.
Remarks
Section titled “Remarks”The backend returns a BackwardChainResponse for NAF prove.
This type mirrors that structure.
Properties
Section titled “Properties”derivationComplete?
Section titled “derivationComplete?”
optionalderivationComplete?:boolean
Defined in: src/types/inference.ts:1142
Whether every negation in the answer was established.
Remarks
Section titled “Remarks”A NAF literal whose sub-proof hit a depth, time or lookup bound
“succeeds” as not-provable. Only derivationComplete: true says that
each such negation was established; false means a solution may rest on
a bounded, not an exhausted, sub-proof.
goalId?
Section titled “goalId?”
optionalgoalId?:string|null
Defined in: src/types/inference.ts:1132
Goal ID if the goal was saved (when saveGoal is true).
The engine stores the saved goal apart from the tenant’s facts: it is
not visible to MATCH or to getFacts, and it is reached through
listGoals / getGoal / deleteGoal.
queryTimeMs
Section titled “queryTimeMs”queryTimeMs:
number
Defined in: src/types/inference.ts:1124
Query execution time in milliseconds.
solutions
Section titled “solutions”solutions:
SolutionDto[]
Defined in: src/types/inference.ts:1122
Solutions found.