Interface: CorrectionRecordDto
@kortexya/reasoninglayer / CorrectionRecordDto
Interface: CorrectionRecordDto
Section titled “Interface: CorrectionRecordDto”Defined in: src/types/conformance.ts:51
One record per detected violation, describing what the repair pass did with it.
Remarks
Section titled “Remarks”outcome is one of "applied" (unambiguous V1 swap, re-certified sound),
"rolled_back" (swap reversed because it would have been unsound), or
"residuated" (V2/V3 — left for the LLM-choice layer or a human reviewer;
never force-typed). kind names the diagnosed violation pattern.
Example
Section titled “Example”const record: CorrectionRecordDto = { subject: 'acme:Order42', feature: 'acme:placedBy', object: 'acme:Alice', kind: 'V1Inversion', outcome: 'applied',};Properties
Section titled “Properties”feature
Section titled “feature”feature:
string
Defined in: src/types/conformance.ts:55
Feature (predicate) whose declared domain/range was violated.
kind:
string
Defined in: src/types/conformance.ts:59
Which violation pattern was diagnosed.
object
Section titled “object”object:
string
Defined in: src/types/conformance.ts:57
Object identity of the violating triple.
outcome
Section titled “outcome”outcome:
string
Defined in: src/types/conformance.ts:61
Disposition: "applied", "rolled_back", or "residuated".
subject
Section titled “subject”subject:
string
Defined in: src/types/conformance.ts:53
Subject identity of the violating triple.