Interface: FormalJudgeViolationDto
@kortexya/reasoninglayer / FormalJudgeViolationDto
Interface: FormalJudgeViolationDto
Section titled “Interface: FormalJudgeViolationDto”Defined in: src/types/oversight.ts:90
A constraint violation the formal judge found.
Remarks
Section titled “Remarks”Returned by judge, judgeRefine and session finalize. It names the
verification layer and the violated fact; it carries no severity. The
generation area’s ViolationDto is a different shape.
Properties
Section titled “Properties”constraintType?
Section titled “constraintType?”
optionalconstraintType?:string
Defined in: src/types/oversight.ts:98
Constraint type that was violated (e.g. temporal, resource, tool_contract).
description
Section titled “description”description:
string
Defined in: src/types/oversight.ts:94
Human-readable description of the violation.
factId
Section titled “factId”factId:
string
Defined in: src/types/oversight.ts:96
Term id of the violated fact.
layer:
string
Defined in: src/types/oversight.ts:92
Verification layer where the violation occurred.