{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://www.samirac.com/schemas/execution-receipt.schema.json",
  "title": "SAQ Execution Receipt",
  "description": "An attributable record of the proposed, authorized, and realized action and resulting operational state.",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "receipt_id",
    "schema_version",
    "contract_id",
    "contract_digest",
    "grant_id",
    "grant_digest",
    "executor",
    "started_at",
    "completed_at",
    "proposed_action_digest",
    "authorized_action_digest",
    "realized_action",
    "outcome",
    "resulting_state",
    "external_references",
    "side_effects",
    "variance",
    "correction_required",
    "receipt_digest"
  ],
  "properties": {
    "receipt_id": {
      "$ref": "common-definitions.schema.json#/$defs/identifier"
    },
    "schema_version": {
      "const": "0.1"
    },
    "contract_id": {
      "$ref": "common-definitions.schema.json#/$defs/identifier"
    },
    "contract_digest": {
      "$ref": "common-definitions.schema.json#/$defs/digest"
    },
    "grant_id": {
      "$ref": "common-definitions.schema.json#/$defs/identifier"
    },
    "grant_digest": {
      "$ref": "common-definitions.schema.json#/$defs/digest"
    },
    "executor": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "executor_id",
        "executor_type",
        "runtime_id"
      ],
      "properties": {
        "executor_id": {
          "$ref": "common-definitions.schema.json#/$defs/identifier"
        },
        "executor_type": {
          "type": "string",
          "enum": [
            "service",
            "workflow",
            "human",
            "ai_agent",
            "system"
          ]
        },
        "runtime_id": {
          "$ref": "common-definitions.schema.json#/$defs/identifier"
        },
        "extensions": {
          "type": "object",
          "additionalProperties": true
        }
      }
    },
    "started_at": {
      "type": "string",
      "format": "date-time"
    },
    "completed_at": {
      "type": "string",
      "format": "date-time"
    },
    "proposed_action_digest": {
      "$ref": "common-definitions.schema.json#/$defs/digest"
    },
    "authorized_action_digest": {
      "$ref": "common-definitions.schema.json#/$defs/digest"
    },
    "realized_action": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "action_type",
        "parameters",
        "action_digest",
        "target_digest",
        "result"
      ],
      "properties": {
        "action_type": {
          "$ref": "common-definitions.schema.json#/$defs/identifier"
        },
        "parameters": {
          "type": "object",
          "additionalProperties": true
        },
        "action_digest": {
          "$ref": "common-definitions.schema.json#/$defs/digest"
        },
        "target_digest": {
          "$ref": "common-definitions.schema.json#/$defs/digest"
        },
        "result": {
          "type": "object",
          "additionalProperties": true
        }
      }
    },
    "outcome": {
      "type": "string",
      "enum": [
        "SUCCEEDED",
        "PARTIAL",
        "FAILED",
        "REJECTED"
      ]
    },
    "resulting_state": {
      "oneOf": [
        {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "state_source",
            "observed_at",
            "state_version",
            "state_digest"
          ],
          "properties": {
            "state_source": {
              "$ref": "common-definitions.schema.json#/$defs/identifier"
            },
            "observed_at": {
              "type": "string",
              "format": "date-time"
            },
            "state_version": {
              "type": "string",
              "minLength": 1
            },
            "state_digest": {
              "$ref": "common-definitions.schema.json#/$defs/digest"
            },
            "attributes": {
              "type": "object",
              "additionalProperties": true
            }
          }
        },
        {
          "type": "null"
        }
      ]
    },
    "external_references": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "system",
          "reference_id"
        ],
        "properties": {
          "system": {
            "$ref": "common-definitions.schema.json#/$defs/identifier"
          },
          "reference_id": {
            "$ref": "common-definitions.schema.json#/$defs/identifier"
          },
          "uri": {
            "type": "string",
            "format": "uri"
          }
        }
      }
    },
    "side_effects": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": true
      }
    },
    "variance": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "detected",
        "reason_codes"
      ],
      "properties": {
        "detected": {
          "type": "boolean"
        },
        "reason_codes": {
          "type": "array",
          "items": {
            "$ref": "common-definitions.schema.json#/$defs/reasonCode"
          },
          "uniqueItems": true
        },
        "description": {
          "type": "string",
          "maxLength": 4000
        }
      }
    },
    "correction_required": {
      "type": "boolean"
    },
    "receipt_digest": {
      "$ref": "common-definitions.schema.json#/$defs/digest"
    },
    "signature": {
      "$ref": "common-definitions.schema.json#/$defs/signature"
    },
    "extensions": {
      "type": "object",
      "additionalProperties": true
    }
  },
  "allOf": [
    {
      "if": {
        "properties": {
          "outcome": {
            "const": "SUCCEEDED"
          }
        }
      },
      "then": {
        "properties": {
          "resulting_state": {
            "type": "object"
          }
        }
      }
    },
    {
      "if": {
        "properties": {
          "correction_required": {
            "const": true
          }
        }
      },
      "then": {
        "properties": {
          "variance": {
            "properties": {
              "detected": {
                "const": true
              },
              "reason_codes": {
                "minItems": 1
              }
            }
          }
        }
      }
    }
  ]
}