Interface: NegativeExampleDto
@kortexya/reasoninglayer / NegativeExampleDto
Interface: NegativeExampleDto
Section titled “Interface: NegativeExampleDto”Defined in: src/types/synthetic.ts:159
A generated negative training example with provenance.
Properties
Section titled “Properties”explanation
Section titled “explanation”explanation:
string
Defined in: src/types/synthetic.ts:161
Human-readable explanation of why this is negative.
features?
Section titled “features?”
optionalfeatures?:Record<string,unknown>
Defined in: src/types/synthetic.ts:176
The negative’s features, verbatim as the engine sent them (keys are the user’s feature names).
rejectionReason
Section titled “rejectionReason”rejectionReason:
string
Defined in: src/types/synthetic.ts:163
The rejection reason category.
optionalsort?:string
Defined in: src/types/synthetic.ts:174
The negative’s sort, by name — present once the engine reports the record itself, so a caller can dry-run it against the write checks.
sortId
Section titled “sortId”sortId:
string
Defined in: src/types/synthetic.ts:165
The sort this negative was generated against.
strategy
Section titled “strategy”strategy:
string
Defined in: src/types/synthetic.ts:167
The strategy used to generate this negative.
termId
Section titled “termId”termId:
string
Defined in: src/types/synthetic.ts:169
The term ID of the negative example.
violatedConstraint?
Section titled “violatedConstraint?”
optionalviolatedConstraint?:ViolatedConstraintDto
Defined in: src/types/synthetic.ts:186
The declared constraint this negative violates — present on a negative
of strategy ConstraintViolation, absent otherwise.
worldMode?
Section titled “worldMode?”
optionalworldMode?:string
Defined in: src/types/synthetic.ts:181
The world mode of the sort this negative targets: open (an undeclared
feature is admitted, so no negative rests on one) or closed.