{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Eviulon Claim Correction Execution Record",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "id",
    "sourceDecisionId",
    "claimId",
    "executionState",
    "exactBeforePassage",
    "exactAfterPassage",
    "activeSynthesisMutated",
    "truthBoundary"
  ],
  "properties": {
    "id": {
      "type": "string"
    },
    "sourceDecisionId": {
      "type": "string"
    },
    "claimId": {
      "type": "string"
    },
    "executionState": {
      "enum": [
        "APPLIED",
        "DEFERRED",
        "REJECTED",
        "SUPERSEDED",
        "UNAVAILABLE"
      ]
    },
    "exactBeforePassage": {
      "type": "string"
    },
    "exactAfterPassage": {
      "type": "string"
    },
    "activeSynthesisMutated": {
      "type": "boolean"
    },
    "truthBoundary": {
      "type": "string"
    }
  }
}