Interface: GoalSummaryDto
@kortexya/reasoninglayer / GoalSummaryDto
Interface: GoalSummaryDto
Section titled “Interface: GoalSummaryDto”Defined in: src/types/inference.ts:1410
Summary of a saved goal, returned by the list goals endpoint.
Properties
Section titled “Properties”clauseCount
Section titled “clauseCount”clauseCount:
number
Defined in: src/types/inference.ts:1414
Number of clauses in the goal.
createdAt?
Section titled “createdAt?”
optionalcreatedAt?:string|null
Defined in: src/types/inference.ts:1418
When the goal was created (if available).
goalId
Section titled “goalId”goalId:
string
Defined in: src/types/inference.ts:1412
The saved goal’s id (UUID). It names a saved goal, not a fact.
minDegree?
Section titled “minDegree?”
optionalminDegree?:number|null
Defined in: src/types/inference.ts:1416
Minimum certainty threshold (if set).