Interface: CorrectionRecordDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Conformance / CorrectionRecordDto

Interface: CorrectionRecordDto

Defined in: src/types/conformance.ts:52

One record per detected violation, describing what the repair pass did with it.

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

const record: CorrectionRecordDto = {
  subject: 'acme:Order42',
  feature: 'acme:placedBy',
  object: 'acme:Alice',
  kind: 'V1Inversion',
  outcome: 'applied',
};

Properties

feature

feature: string

Defined in: src/types/conformance.ts:56

Feature (predicate) whose declared domain/range was violated.

---

kind

kind: string

Defined in: src/types/conformance.ts:60

Which violation pattern was diagnosed.

---

object

object: string

Defined in: src/types/conformance.ts:58

Object identity of the violating triple.

---

outcome

outcome: string

Defined in: src/types/conformance.ts:62

Disposition: "applied", "rolled_back", or "residuated".

---

subject

subject: string

Defined in: src/types/conformance.ts:54

Subject identity of the violating triple.