{
  "contractVersion": "1.0.0",
  "crossRecordValidationRequired": true,
  "runtimeValidationRequired": true,
  "schema": "hasna.deployment.schema_bundle.v1",
  "schemaDigest": "57f6502c555b25fa459d6dd89b598688702ec02de743050c53f33457b0aba941",
  "schemas": {
    "hasna.artifact_attestation.v1": {
      "$id": "hasna.artifact_attestation.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "artifact": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.build_artifact.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "artifactDigest": {
          "$ref": "#/properties/digest"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "evidenceRefs": {
          "items": {
            "$ref": "#/properties/signatureRef"
          },
          "minItems": 1,
          "type": "array"
        },
        "expiresAt": {
          "anyOf": [
            {
              "$ref": "#/properties/createdAt"
            },
            {
              "type": "null"
            }
          ]
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "issuer": {
          "$ref": "#/properties/producer"
        },
        "keyRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/keyRef/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/keyRef/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "policyResult": {
          "enum": [
            "passed",
            "failed"
          ],
          "type": "string"
        },
        "policyRevision": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "predicateKind": {
          "pattern": "^[a-z][a-z0-9._-]{0,127}$",
          "type": "string"
        },
        "predicateSchemaVersion": {
          "pattern": "^v?[0-9]+(?:\\.[0-9]+){0,2}$",
          "type": "string"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "schema": {
          "const": "hasna.artifact_attestation.v1",
          "type": "string"
        },
        "signatureRef": {
          "additionalProperties": false,
          "properties": {
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "file",
                "command_output",
                "screenshot",
                "log",
                "diff",
                "report",
                "artifact",
                "url",
                "video",
                "har",
                "test_result",
                "metric",
                "trace",
                "other"
              ],
              "type": "string"
            },
            "sha256": {
              "$ref": "#/properties/digest"
            },
            "summary": {
              "minLength": 1,
              "type": "string"
            },
            "uri": {
              "$ref": "#/properties/keyRef/properties/uri"
            }
          },
          "required": [
            "id"
          ],
          "type": "object"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "artifact",
        "artifactDigest",
        "predicateKind",
        "predicateSchemaVersion",
        "issuer",
        "keyRef",
        "signatureRef",
        "policyResult",
        "policyRevision",
        "evidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.build_artifact.v1": {
      "$id": "hasna.build_artifact.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "artifactDigest": {
          "$ref": "#/properties/digest"
        },
        "buildRun": {
          "additionalProperties": false,
          "properties": {
            "actor": {
              "$ref": "#/properties/producer"
            },
            "constraints": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "costEstimates": {
              "default": [],
              "items": {
                "$ref": "#/properties/buildRun/properties/decisions/items/properties/costEstimate"
              },
              "type": "array"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "decisions": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "actor": {
                    "$ref": "#/properties/producer"
                  },
                  "costEstimate": {
                    "additionalProperties": false,
                    "properties": {
                      "accountId": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "amountMicros": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "basis": {
                        "default": "estimated",
                        "enum": [
                          "actual",
                          "estimated",
                          "budget",
                          "limit"
                        ],
                        "type": "string"
                      },
                      "completionTokens": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "createdAt": {
                        "$ref": "#/properties/createdAt"
                      },
                      "currency": {
                        "default": "USD",
                        "pattern": "^[A-Z]{3}$",
                        "type": "string"
                      },
                      "id": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "metadata": {
                        "$ref": "#/properties/buildRun/properties/metadata"
                      },
                      "model": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "promptTokens": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "provider": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "resourceRefs": {
                        "default": [],
                        "items": {
                          "$ref": "#/properties/buildWorkflowRef"
                        },
                        "type": "array"
                      },
                      "schema": {
                        "const": "hasna.cost_estimate.v1",
                        "type": "string"
                      },
                      "totalTokens": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "updatedAt": {
                        "$ref": "#/properties/buildRun/properties/updatedAt"
                      }
                    },
                    "required": [
                      "schema",
                      "id",
                      "createdAt",
                      "amountMicros"
                    ],
                    "type": "object"
                  },
                  "createdAt": {
                    "$ref": "#/properties/createdAt"
                  },
                  "decisionType": {
                    "enum": [
                      "guardrail",
                      "model_route",
                      "tool_select",
                      "budget",
                      "secret_access",
                      "approval",
                      "policy",
                      "other"
                    ],
                    "type": "string"
                  },
                  "evidenceRefs": {
                    "default": [],
                    "items": {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "kind": {
                          "enum": [
                            "file",
                            "command_output",
                            "screenshot",
                            "log",
                            "diff",
                            "report",
                            "artifact",
                            "url",
                            "video",
                            "har",
                            "test_result",
                            "metric",
                            "trace",
                            "other"
                          ],
                          "type": "string"
                        },
                        "sha256": {
                          "$ref": "#/properties/digest"
                        },
                        "summary": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "uri": {
                          "$ref": "#/properties/uri"
                        }
                      },
                      "required": [
                        "id"
                      ],
                      "type": "object"
                    },
                    "type": "array"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "inputHash": {
                    "pattern": "^(sha256:)?[a-fA-F0-9]{64}$",
                    "type": "string"
                  },
                  "metadata": {
                    "$ref": "#/properties/buildRun/properties/metadata"
                  },
                  "obligations": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "policyBundleId": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "reason": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "redactions": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "schema": {
                    "const": "hasna.decision_envelope.v1",
                    "type": "string"
                  },
                  "selected": {
                    "default": [],
                    "items": {
                      "$ref": "#/properties/buildWorkflowRef"
                    },
                    "type": "array"
                  },
                  "skipped": {
                    "default": [],
                    "items": {
                      "$ref": "#/properties/buildWorkflowRef"
                    },
                    "type": "array"
                  },
                  "status": {
                    "enum": [
                      "allowed",
                      "denied",
                      "warned",
                      "approval_required",
                      "selected",
                      "skipped",
                      "unknown"
                    ],
                    "type": "string"
                  },
                  "traceId": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "updatedAt": {
                    "$ref": "#/properties/buildRun/properties/updatedAt"
                  }
                },
                "required": [
                  "schema",
                  "id",
                  "createdAt",
                  "decisionType",
                  "status",
                  "reason"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "evidenceRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/buildRun/properties/decisions/items/properties/evidenceRefs/items"
              },
              "type": "array"
            },
            "finishedAt": {
              "$ref": "#/properties/buildRun/properties/updatedAt"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "metadata": {
              "additionalProperties": {},
              "type": "object"
            },
            "objective": {
              "minLength": 1,
              "type": "string"
            },
            "proofBundleRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/buildWorkflowRef"
              },
              "type": "array"
            },
            "resourceRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/buildWorkflowRef"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.work_run.v1",
              "type": "string"
            },
            "startedAt": {
              "$ref": "#/properties/buildRun/properties/updatedAt"
            },
            "status": {
              "enum": [
                "pending",
                "running",
                "succeeded",
                "failed",
                "cancelled",
                "blocked",
                "skipped",
                "unknown"
              ],
              "type": "string"
            },
            "traceId": {
              "minLength": 1,
              "type": "string"
            },
            "updatedAt": {
              "anyOf": [
                {
                  "$ref": "#/properties/createdAt"
                },
                {
                  "type": "null"
                }
              ]
            },
            "validationPlanRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/buildWorkflowRef"
              },
              "type": "array"
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "objective",
            "status",
            "actor"
          ],
          "type": "object"
        },
        "buildWorkflowRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "$ref": "#/properties/uri"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "builder": {
          "$ref": "#/properties/producer"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "kind": {
          "enum": [
            "oci_image",
            "archive",
            "binary"
          ],
          "type": "string"
        },
        "mediaType": {
          "maxLength": 160,
          "minLength": 1,
          "type": "string"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "provenanceRefs": {
          "$ref": "#/properties/sbomRefs"
        },
        "repositoryCommitSha": {
          "pattern": "^[a-f0-9]{40}$",
          "type": "string"
        },
        "repositoryTreeSha": {
          "pattern": "^[a-f0-9]{40}$",
          "type": "string"
        },
        "sbomRefs": {
          "default": [],
          "items": {
            "$ref": "#/properties/buildRun/properties/decisions/items/properties/evidenceRefs/items"
          },
          "type": "array"
        },
        "scanRefs": {
          "$ref": "#/properties/sbomRefs"
        },
        "schema": {
          "const": "hasna.build_artifact.v1",
          "type": "string"
        },
        "signatureRefs": {
          "$ref": "#/properties/sbomRefs"
        },
        "sourceCandidate": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.verified_source_candidate.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "status": {
          "enum": [
            "active",
            "superseded",
            "revoked"
          ],
          "type": "string"
        },
        "uri": {
          "minLength": 1,
          "type": "string"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "kind",
        "mediaType",
        "uri",
        "artifactDigest",
        "sourceCandidate",
        "repositoryCommitSha",
        "repositoryTreeSha",
        "buildWorkflowRef",
        "buildRun",
        "builder",
        "status"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.deployment_approval_decision.v1": {
      "$id": "hasna.deployment_approval_decision.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "actionId": {
          "anyOf": [
            {
              "pattern": "^[a-z][a-z0-9._-]{0,127}$",
              "type": "string"
            },
            {
              "type": "null"
            }
          ]
        },
        "actorRole": {
          "enum": [
            "requester",
            "planner",
            "approver",
            "executor",
            "auditor",
            "administrator"
          ],
          "type": "string"
        },
        "attemptScope": {
          "additionalProperties": false,
          "properties": {
            "maximum": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "minimum": {
              "exclusiveMinimum": 0,
              "type": "integer"
            }
          },
          "required": [
            "minimum",
            "maximum"
          ],
          "type": "object"
        },
        "authorizationPolicyRevision": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "boundInputDigests": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "kind": {
                "$ref": "#/properties/actionId/anyOf/0"
              }
            },
            "required": [
              "kind",
              "digest"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "decision": {
          "additionalProperties": false,
          "properties": {
            "actor": {
              "$ref": "#/properties/producer"
            },
            "costEstimate": {
              "additionalProperties": false,
              "properties": {
                "accountId": {
                  "minLength": 1,
                  "type": "string"
                },
                "amountMicros": {
                  "minimum": 0,
                  "type": "integer"
                },
                "basis": {
                  "default": "estimated",
                  "enum": [
                    "actual",
                    "estimated",
                    "budget",
                    "limit"
                  ],
                  "type": "string"
                },
                "completionTokens": {
                  "minimum": 0,
                  "type": "integer"
                },
                "createdAt": {
                  "$ref": "#/properties/createdAt"
                },
                "currency": {
                  "default": "USD",
                  "pattern": "^[A-Z]{3}$",
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "metadata": {
                  "$ref": "#/properties/decision/properties/metadata"
                },
                "model": {
                  "minLength": 1,
                  "type": "string"
                },
                "promptTokens": {
                  "minimum": 0,
                  "type": "integer"
                },
                "provider": {
                  "minLength": 1,
                  "type": "string"
                },
                "resourceRefs": {
                  "default": [],
                  "items": {
                    "$ref": "#/properties/decision/properties/selected/items"
                  },
                  "type": "array"
                },
                "schema": {
                  "const": "hasna.cost_estimate.v1",
                  "type": "string"
                },
                "totalTokens": {
                  "minimum": 0,
                  "type": "integer"
                },
                "updatedAt": {
                  "$ref": "#/properties/decision/properties/updatedAt"
                }
              },
              "required": [
                "schema",
                "id",
                "createdAt",
                "amountMicros"
              ],
              "type": "object"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "decisionType": {
              "enum": [
                "guardrail",
                "model_route",
                "tool_select",
                "budget",
                "secret_access",
                "approval",
                "policy",
                "other"
              ],
              "type": "string"
            },
            "evidenceRefs": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "file",
                      "command_output",
                      "screenshot",
                      "log",
                      "diff",
                      "report",
                      "artifact",
                      "url",
                      "video",
                      "har",
                      "test_result",
                      "metric",
                      "trace",
                      "other"
                    ],
                    "type": "string"
                  },
                  "sha256": {
                    "$ref": "#/properties/digest"
                  },
                  "summary": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "uri": {
                    "$ref": "#/properties/decision/properties/selected/items/properties/uri"
                  }
                },
                "required": [
                  "id"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "inputHash": {
              "pattern": "^(sha256:)?[a-fA-F0-9]{64}$",
              "type": "string"
            },
            "metadata": {
              "additionalProperties": {},
              "type": "object"
            },
            "obligations": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "policyBundleId": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "redactions": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.decision_envelope.v1",
              "type": "string"
            },
            "selected": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "externalId": {
                    "$ref": "#/properties/decision/properties/selected/items/properties/uri"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "task",
                      "project",
                      "repo",
                      "run",
                      "loop",
                      "workflow",
                      "action",
                      "event",
                      "integration",
                      "session",
                      "machine",
                      "model",
                      "tool",
                      "file",
                      "document",
                      "url",
                      "artifact",
                      "knowledge",
                      "email",
                      "conversation",
                      "dashboard",
                      "render",
                      "panel",
                      "report",
                      "commit",
                      "branch",
                      "pull_request",
                      "issue",
                      "comment",
                      "verification",
                      "finding",
                      "context_pack",
                      "proof_bundle",
                      "memento",
                      "eval",
                      "budget",
                      "cost",
                      "alert",
                      "incident",
                      "app",
                      "release",
                      "rollout",
                      "announcement",
                      "audience",
                      "feedback",
                      "unknown"
                    ],
                    "type": "string"
                  },
                  "name": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "sourcePackage": {
                    "$ref": "#/properties/decision/properties/selected/items/properties/uri"
                  },
                  "tags": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "uri": {
                    "minLength": 1,
                    "type": "string"
                  }
                },
                "required": [
                  "kind",
                  "id"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "skipped": {
              "default": [],
              "items": {
                "$ref": "#/properties/decision/properties/selected/items"
              },
              "type": "array"
            },
            "status": {
              "enum": [
                "allowed",
                "denied",
                "warned",
                "approval_required",
                "selected",
                "skipped",
                "unknown"
              ],
              "type": "string"
            },
            "traceId": {
              "minLength": 1,
              "type": "string"
            },
            "updatedAt": {
              "anyOf": [
                {
                  "$ref": "#/properties/createdAt"
                },
                {
                  "type": "null"
                }
              ]
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "decisionType",
            "status",
            "reason"
          ],
          "type": "object"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "environment": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.environment_binding.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "evidenceRefs": {
          "items": {
            "$ref": "#/properties/decision/properties/evidenceRefs/items"
          },
          "minItems": 1,
          "type": "array"
        },
        "expiresAt": {
          "$ref": "#/properties/createdAt"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "issuedAt": {
          "$ref": "#/properties/createdAt"
        },
        "phaseId": {
          "anyOf": [
            {
              "$ref": "#/properties/actionId/anyOf/0"
            },
            {
              "type": "null"
            }
          ]
        },
        "plan": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_plan.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "runtimeMaterial": {
          "anyOf": [
            {
              "additionalProperties": false,
              "properties": {
                "digest": {
                  "$ref": "#/properties/digest"
                },
                "kind": {
                  "$ref": "#/properties/actionId/anyOf/0"
                },
                "preActionStateSerial": {
                  "minimum": 0,
                  "type": "integer"
                },
                "stateLineage": {
                  "$ref": "#/properties/id"
                }
              },
              "required": [
                "kind",
                "digest",
                "stateLineage",
                "preActionStateSerial"
              ],
              "type": "object"
            },
            {
              "type": "null"
            }
          ]
        },
        "schema": {
          "const": "hasna.deployment_approval_decision.v1",
          "type": "string"
        },
        "scope": {
          "enum": [
            "plan",
            "action",
            "phase"
          ],
          "type": "string"
        },
        "separationOfDutiesPassed": {
          "type": "boolean"
        },
        "unchangedRetryPolicy": {
          "enum": [
            "allowed",
            "denied"
          ],
          "type": "string"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "decision",
        "plan",
        "scope",
        "actionId",
        "phaseId",
        "runtimeMaterial",
        "boundInputDigests",
        "environment",
        "actorRole",
        "attemptScope",
        "unchangedRetryPolicy",
        "issuedAt",
        "expiresAt",
        "separationOfDutiesPassed",
        "authorizationPolicyRevision",
        "evidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.deployment_attempt.v1": {
      "$id": "hasna.deployment_attempt.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "actionSteps": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "actionId": {
                "$ref": "#/properties/approvals/items/properties/actionId/anyOf/0"
              },
              "evidenceRefs": {
                "default": [],
                "items": {
                  "additionalProperties": false,
                  "properties": {
                    "id": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "kind": {
                      "enum": [
                        "file",
                        "command_output",
                        "screenshot",
                        "log",
                        "diff",
                        "report",
                        "artifact",
                        "url",
                        "video",
                        "har",
                        "test_result",
                        "metric",
                        "trace",
                        "other"
                      ],
                      "type": "string"
                    },
                    "sha256": {
                      "$ref": "#/properties/digest"
                    },
                    "summary": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "uri": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "id"
                  ],
                  "type": "object"
                },
                "type": "array"
              },
              "finishedAt": {
                "anyOf": [
                  {
                    "$ref": "#/properties/createdAt"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "providerCorrelationId": {
                "anyOf": [
                  {
                    "$ref": "#/properties/id"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "sequence": {
                "exclusiveMinimum": 0,
                "type": "integer"
              },
              "startedAt": {
                "anyOf": [
                  {
                    "$ref": "#/properties/createdAt"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "state": {
                "enum": [
                  "pending",
                  "running",
                  "succeeded",
                  "failed",
                  "cancelled",
                  "unknown_outcome"
                ],
                "type": "string"
              }
            },
            "required": [
              "sequence",
              "actionId",
              "state",
              "providerCorrelationId",
              "startedAt",
              "finishedAt"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "approvals": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "actionId": {
                "anyOf": [
                  {
                    "pattern": "^[a-z][a-z0-9._-]{0,127}$",
                    "type": "string"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "decision": {
                "additionalProperties": false,
                "properties": {
                  "digest": {
                    "$ref": "#/properties/digest"
                  },
                  "id": {
                    "$ref": "#/properties/id"
                  },
                  "schema": {
                    "const": "hasna.deployment_approval_decision.v1",
                    "type": "string"
                  }
                },
                "required": [
                  "schema",
                  "id",
                  "digest"
                ],
                "type": "object"
              },
              "phaseId": {
                "anyOf": [
                  {
                    "$ref": "#/properties/approvals/items/properties/actionId/anyOf/0"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "runtimeMaterialDigest": {
                "anyOf": [
                  {
                    "$ref": "#/properties/digest"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "scope": {
                "enum": [
                  "plan",
                  "action",
                  "phase"
                ],
                "type": "string"
              }
            },
            "required": [
              "decision",
              "scope",
              "actionId",
              "phaseId",
              "runtimeMaterialDigest"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "attemptNumber": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "decisionActors": {
          "items": {
            "$ref": "#/properties/producer"
          },
          "minItems": 1,
          "type": "array"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "environmentLock": {
          "additionalProperties": false,
          "properties": {
            "fencingToken": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "id": {
              "$ref": "#/properties/id"
            }
          },
          "required": [
            "id",
            "fencingToken"
          ],
          "type": "object"
        },
        "evidenceRefs": {
          "$ref": "#/properties/actionSteps/items/properties/evidenceRefs"
        },
        "executorActors": {
          "$ref": "#/properties/decisionActors"
        },
        "failureReason": {
          "anyOf": [
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "type": "null"
            }
          ]
        },
        "finalReceipt": {
          "anyOf": [
            {
              "additionalProperties": false,
              "properties": {
                "digest": {
                  "$ref": "#/properties/digest"
                },
                "id": {
                  "$ref": "#/properties/id"
                },
                "schema": {
                  "const": "hasna.deployment_receipt.v1",
                  "type": "string"
                }
              },
              "required": [
                "schema",
                "id",
                "digest"
              ],
              "type": "object"
            },
            {
              "type": "null"
            }
          ]
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "inboxCorrelationRef": {
          "$ref": "#/properties/outboxCorrelationRef"
        },
        "outboxCorrelationRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/actionSteps/items/properties/evidenceRefs/items/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/actionSteps/items/properties/evidenceRefs/items/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "$ref": "#/properties/actionSteps/items/properties/evidenceRefs/items/properties/uri"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "plan": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_plan.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "providerReceipts": {
          "default": [],
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "id": {
                "$ref": "#/properties/id"
              },
              "schema": {
                "const": "hasna.provider_receipt.v1",
                "type": "string"
              }
            },
            "required": [
              "schema",
              "id",
              "digest"
            ],
            "type": "object"
          },
          "type": "array"
        },
        "requester": {
          "$ref": "#/properties/producer"
        },
        "retryOf": {
          "anyOf": [
            {
              "additionalProperties": false,
              "properties": {
                "digest": {
                  "$ref": "#/properties/digest"
                },
                "id": {
                  "$ref": "#/properties/id"
                },
                "revision": {
                  "exclusiveMinimum": 0,
                  "type": "integer"
                },
                "schema": {
                  "const": "hasna.deployment_attempt.v1",
                  "type": "string"
                }
              },
              "required": [
                "schema",
                "id",
                "revision",
                "digest"
              ],
              "type": "object"
            },
            {
              "type": "null"
            }
          ]
        },
        "revision": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "schema": {
          "const": "hasna.deployment_attempt.v1",
          "type": "string"
        },
        "state": {
          "enum": [
            "queued",
            "running",
            "reconciling",
            "unknown_outcome",
            "succeeded",
            "failed",
            "cancelled"
          ],
          "type": "string"
        },
        "updatedAt": {
          "$ref": "#/properties/createdAt"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "updatedAt",
        "revision",
        "plan",
        "approvals",
        "requester",
        "decisionActors",
        "executorActors",
        "environmentLock",
        "attemptNumber",
        "retryOf",
        "state",
        "actionSteps",
        "outboxCorrelationRef",
        "inboxCorrelationRef",
        "failureReason",
        "finalReceipt"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.deployment_plan.v1": {
      "$id": "hasna.deployment_plan.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "actions": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "approvalScope": {
                "enum": [
                  "none",
                  "plan",
                  "action",
                  "phase"
                ],
                "type": "string"
              },
              "compensationOperationId": {
                "anyOf": [
                  {
                    "$ref": "#/properties/actions/items/properties/operationId"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "dependsOn": {
                "default": [],
                "items": {
                  "$ref": "#/properties/actions/items/properties/id"
                },
                "type": "array"
              },
              "evidenceRequirements": {
                "items": {
                  "$ref": "#/properties/actions/items/properties/id"
                },
                "minItems": 1,
                "type": "array"
              },
              "fencingRequired": {
                "type": "boolean"
              },
              "id": {
                "pattern": "^[a-z][a-z0-9._-]{0,127}$",
                "type": "string"
              },
              "idempotencyRequired": {
                "type": "boolean"
              },
              "inputs": {
                "default": [],
                "items": {
                  "$ref": "#/properties/inputs/items"
                },
                "type": "array"
              },
              "lockClass": {
                "$ref": "#/properties/actions/items/properties/id"
              },
              "maxAttempts": {
                "exclusiveMinimum": 0,
                "maximum": 20,
                "type": "integer"
              },
              "operationId": {
                "pattern": "^[a-z][a-z0-9_]*(?:\\.[a-z][a-z0-9_]*)+$",
                "type": "string"
              },
              "operationVersion": {
                "exclusiveMinimum": 0,
                "type": "integer"
              },
              "outputSchema": {
                "$ref": "#/properties/inputs/items/properties/schema"
              },
              "postconditions": {
                "default": [],
                "items": {
                  "$ref": "#/properties/actions/items/properties/id"
                },
                "type": "array"
              },
              "preconditions": {
                "default": [],
                "items": {
                  "$ref": "#/properties/actions/items/properties/id"
                },
                "type": "array"
              },
              "providerCapabilityDigest": {
                "anyOf": [
                  {
                    "$ref": "#/properties/digest"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "providerOperation": {
                "anyOf": [
                  {
                    "$ref": "#/properties/actions/items/properties/operationId"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "reconciliationRequired": {
                "type": "boolean"
              },
              "retryClass": {
                "enum": [
                  "none",
                  "safe",
                  "reconcile_first"
                ],
                "type": "string"
              },
              "riskClass": {
                "enum": [
                  "low",
                  "medium",
                  "high",
                  "critical"
                ],
                "type": "string"
              },
              "runtimeMaterialKind": {
                "anyOf": [
                  {
                    "$ref": "#/properties/actions/items/properties/id"
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "sideEffectClass": {
                "enum": [
                  "none",
                  "read_only",
                  "external_notification",
                  "external_mutation",
                  "money_movement",
                  "dns_or_domain_change",
                  "bulk_message_or_call",
                  "legal_or_filing",
                  "compute_or_infra_mutation",
                  "irreversible"
                ],
                "type": "string"
              },
              "timeoutClass": {
                "$ref": "#/properties/actions/items/properties/id"
              }
            },
            "required": [
              "id",
              "operationId",
              "operationVersion",
              "outputSchema",
              "lockClass",
              "fencingRequired",
              "sideEffectClass",
              "riskClass",
              "approvalScope",
              "runtimeMaterialKind",
              "providerOperation",
              "providerCapabilityDigest",
              "retryClass",
              "maxAttempts",
              "timeoutClass",
              "compensationOperationId",
              "idempotencyRequired",
              "reconciliationRequired",
              "evidenceRequirements"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "authorizationRequirements": {
          "default": [],
          "items": {
            "$ref": "#/properties/actions/items/properties/id"
          },
          "type": "array"
        },
        "compiler": {
          "additionalProperties": false,
          "properties": {
            "actor": {
              "$ref": "#/properties/producer"
            },
            "contractKitVersion": {
              "const": "1.0.0",
              "type": "string"
            },
            "version": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "actor",
            "version",
            "contractKitVersion"
          ],
          "type": "object"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "estimatedCost": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "amountMicros": {
              "minimum": 0,
              "type": "integer"
            },
            "basis": {
              "default": "estimated",
              "enum": [
                "actual",
                "estimated",
                "budget",
                "limit"
              ],
              "type": "string"
            },
            "completionTokens": {
              "minimum": 0,
              "type": "integer"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "currency": {
              "default": "USD",
              "pattern": "^[A-Z]{3}$",
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "metadata": {
              "additionalProperties": {},
              "type": "object"
            },
            "model": {
              "minLength": 1,
              "type": "string"
            },
            "promptTokens": {
              "minimum": 0,
              "type": "integer"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            },
            "resourceRefs": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "externalId": {
                    "$ref": "#/properties/estimatedCost/properties/resourceRefs/items/properties/uri"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "task",
                      "project",
                      "repo",
                      "run",
                      "loop",
                      "workflow",
                      "action",
                      "event",
                      "integration",
                      "session",
                      "machine",
                      "model",
                      "tool",
                      "file",
                      "document",
                      "url",
                      "artifact",
                      "knowledge",
                      "email",
                      "conversation",
                      "dashboard",
                      "render",
                      "panel",
                      "report",
                      "commit",
                      "branch",
                      "pull_request",
                      "issue",
                      "comment",
                      "verification",
                      "finding",
                      "context_pack",
                      "proof_bundle",
                      "memento",
                      "eval",
                      "budget",
                      "cost",
                      "alert",
                      "incident",
                      "app",
                      "release",
                      "rollout",
                      "announcement",
                      "audience",
                      "feedback",
                      "unknown"
                    ],
                    "type": "string"
                  },
                  "name": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "sourcePackage": {
                    "$ref": "#/properties/estimatedCost/properties/resourceRefs/items/properties/uri"
                  },
                  "tags": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "uri": {
                    "minLength": 1,
                    "type": "string"
                  }
                },
                "required": [
                  "kind",
                  "id"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.cost_estimate.v1",
              "type": "string"
            },
            "totalTokens": {
              "minimum": 0,
              "type": "integer"
            },
            "updatedAt": {
              "anyOf": [
                {
                  "$ref": "#/properties/createdAt"
                },
                {
                  "type": "null"
                }
              ]
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "amountMicros"
          ],
          "type": "object"
        },
        "evidenceRequirements": {
          "items": {
            "$ref": "#/properties/actions/items/properties/id"
          },
          "minItems": 1,
          "type": "array"
        },
        "expectedStateDigest": {
          "$ref": "#/properties/digest"
        },
        "expiresAt": {
          "anyOf": [
            {
              "$ref": "#/properties/createdAt"
            },
            {
              "type": "null"
            }
          ]
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "inputs": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "id": {
                "$ref": "#/properties/id"
              },
              "revision": {
                "exclusiveMinimum": 0,
                "type": "integer"
              },
              "schema": {
                "pattern": "^hasna\\.[a-z][a-z0-9_]*(\\.[a-z][a-z0-9_]*)*\\.v[0-9]+$",
                "type": "string"
              }
            },
            "required": [
              "schema",
              "id",
              "digest"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "issuedAt": {
          "$ref": "#/properties/createdAt"
        },
        "kind": {
          "enum": [
            "deployment",
            "promotion",
            "rollback",
            "reconciliation"
          ],
          "type": "string"
        },
        "policyRequirements": {
          "default": [],
          "items": {
            "$ref": "#/properties/actions/items/properties/id"
          },
          "type": "array"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "providerCapabilityDigests": {
          "default": [],
          "items": {
            "$ref": "#/properties/digest"
          },
          "type": "array"
        },
        "request": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_request.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "riskClass": {
          "enum": [
            "low",
            "medium",
            "high",
            "critical"
          ],
          "type": "string"
        },
        "rollbackInputs": {
          "default": [],
          "items": {
            "$ref": "#/properties/inputs/items"
          },
          "type": "array"
        },
        "rollbackTarget": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_receipt.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "schema": {
          "const": "hasna.deployment_plan.v1",
          "type": "string"
        },
        "verificationCriteria": {
          "items": {
            "$ref": "#/properties/actions/items/properties/id"
          },
          "minItems": 1,
          "type": "array"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "kind",
        "request",
        "compiler",
        "inputs",
        "actions",
        "riskClass",
        "evidenceRequirements",
        "expectedStateDigest",
        "verificationCriteria",
        "issuedAt"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.deployment_receipt.v1": {
      "$id": "hasna.deployment_receipt.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "approvals": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "id": {
                "$ref": "#/properties/id"
              },
              "schema": {
                "const": "hasna.deployment_approval_decision.v1",
                "type": "string"
              }
            },
            "required": [
              "schema",
              "id",
              "digest"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "artifact": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.build_artifact.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "attempt": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.deployment_attempt.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "attestations": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "id": {
                "$ref": "#/properties/id"
              },
              "schema": {
                "const": "hasna.artifact_attestation.v1",
                "type": "string"
              }
            },
            "required": [
              "schema",
              "id",
              "digest"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "desiredStateDigest": {
          "$ref": "#/properties/digest"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "environment": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.environment_binding.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "evidenceRefs": {
          "items": {
            "$ref": "#/properties/verification/items/properties/evidenceRefs/items"
          },
          "minItems": 1,
          "type": "array"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "infrastructurePlanRef": {
          "$ref": "#/properties/verification/items/properties/evidenceRefs/items"
        },
        "infrastructureStateLineageRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/verification/items/properties/evidenceRefs/items/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/verification/items/properties/evidenceRefs/items/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "$ref": "#/properties/verification/items/properties/evidenceRefs/items/properties/uri"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "intent": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.intent_snapshot.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "observedStateDigest": {
          "$ref": "#/properties/digest"
        },
        "outcome": {
          "enum": [
            "succeeded",
            "failed",
            "cancelled",
            "unknown_outcome"
          ],
          "type": "string"
        },
        "plan": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_plan.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "product": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.product_projection.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "providerReceipts": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "id": {
                "$ref": "#/properties/id"
              },
              "schema": {
                "const": "hasna.provider_receipt.v1",
                "type": "string"
              }
            },
            "required": [
              "schema",
              "id",
              "digest"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "request": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_request.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "rollbackTarget": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_receipt.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "schema": {
          "const": "hasna.deployment_receipt.v1",
          "type": "string"
        },
        "verification": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "evidenceRefs": {
                "items": {
                  "additionalProperties": false,
                  "properties": {
                    "id": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "kind": {
                      "enum": [
                        "file",
                        "command_output",
                        "screenshot",
                        "log",
                        "diff",
                        "report",
                        "artifact",
                        "url",
                        "video",
                        "har",
                        "test_result",
                        "metric",
                        "trace",
                        "other"
                      ],
                      "type": "string"
                    },
                    "sha256": {
                      "$ref": "#/properties/digest"
                    },
                    "summary": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "uri": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "id"
                  ],
                  "type": "object"
                },
                "minItems": 1,
                "type": "array"
              },
              "id": {
                "pattern": "^[a-z][a-z0-9._-]{0,127}$",
                "type": "string"
              },
              "kind": {
                "enum": [
                  "health",
                  "readiness",
                  "version",
                  "migration",
                  "alarm",
                  "access",
                  "restore",
                  "rollback",
                  "security",
                  "contract"
                ],
                "type": "string"
              },
              "status": {
                "enum": [
                  "passed",
                  "failed",
                  "missing",
                  "expired",
                  "blocked"
                ],
                "type": "string"
              }
            },
            "required": [
              "id",
              "kind",
              "status",
              "evidenceRefs"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "verifiers": {
          "items": {
            "$ref": "#/properties/producer"
          },
          "minItems": 1,
          "type": "array"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "request",
        "plan",
        "approvals",
        "attempt",
        "product",
        "intent",
        "artifact",
        "attestations",
        "environment",
        "providerReceipts",
        "desiredStateDigest",
        "observedStateDigest",
        "verification",
        "verifiers",
        "evidenceRefs",
        "outcome"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.deployment_request.v1": {
      "$id": "hasna.deployment_request.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "artifact": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.build_artifact.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "attestations": {
          "default": [],
          "items": {
            "additionalProperties": false,
            "properties": {
              "digest": {
                "$ref": "#/properties/digest"
              },
              "id": {
                "$ref": "#/properties/id"
              },
              "schema": {
                "const": "hasna.artifact_attestation.v1",
                "type": "string"
              }
            },
            "required": [
              "schema",
              "id",
              "digest"
            ],
            "type": "object"
          },
          "type": "array"
        },
        "auditCorrelationId": {
          "$ref": "#/properties/id"
        },
        "costEstimate": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "amountMicros": {
              "minimum": 0,
              "type": "integer"
            },
            "basis": {
              "default": "estimated",
              "enum": [
                "actual",
                "estimated",
                "budget",
                "limit"
              ],
              "type": "string"
            },
            "completionTokens": {
              "minimum": 0,
              "type": "integer"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "currency": {
              "default": "USD",
              "pattern": "^[A-Z]{3}$",
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "metadata": {
              "additionalProperties": {},
              "type": "object"
            },
            "model": {
              "minLength": 1,
              "type": "string"
            },
            "promptTokens": {
              "minimum": 0,
              "type": "integer"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            },
            "resourceRefs": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "externalId": {
                    "$ref": "#/properties/costEstimate/properties/resourceRefs/items/properties/uri"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "task",
                      "project",
                      "repo",
                      "run",
                      "loop",
                      "workflow",
                      "action",
                      "event",
                      "integration",
                      "session",
                      "machine",
                      "model",
                      "tool",
                      "file",
                      "document",
                      "url",
                      "artifact",
                      "knowledge",
                      "email",
                      "conversation",
                      "dashboard",
                      "render",
                      "panel",
                      "report",
                      "commit",
                      "branch",
                      "pull_request",
                      "issue",
                      "comment",
                      "verification",
                      "finding",
                      "context_pack",
                      "proof_bundle",
                      "memento",
                      "eval",
                      "budget",
                      "cost",
                      "alert",
                      "incident",
                      "app",
                      "release",
                      "rollout",
                      "announcement",
                      "audience",
                      "feedback",
                      "unknown"
                    ],
                    "type": "string"
                  },
                  "name": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "sourcePackage": {
                    "$ref": "#/properties/costEstimate/properties/resourceRefs/items/properties/uri"
                  },
                  "tags": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "uri": {
                    "minLength": 1,
                    "type": "string"
                  }
                },
                "required": [
                  "kind",
                  "id"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.cost_estimate.v1",
              "type": "string"
            },
            "totalTokens": {
              "minimum": 0,
              "type": "integer"
            },
            "updatedAt": {
              "anyOf": [
                {
                  "$ref": "#/properties/createdAt"
                },
                {
                  "type": "null"
                }
              ]
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "amountMicros"
          ],
          "type": "object"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "environment": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.environment_binding.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "evidenceRefs": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "id": {
                "minLength": 1,
                "type": "string"
              },
              "kind": {
                "enum": [
                  "file",
                  "command_output",
                  "screenshot",
                  "log",
                  "diff",
                  "report",
                  "artifact",
                  "url",
                  "video",
                  "har",
                  "test_result",
                  "metric",
                  "trace",
                  "other"
                ],
                "type": "string"
              },
              "sha256": {
                "$ref": "#/properties/digest"
              },
              "summary": {
                "minLength": 1,
                "type": "string"
              },
              "uri": {
                "$ref": "#/properties/costEstimate/properties/resourceRefs/items/properties/uri"
              }
            },
            "required": [
              "id"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "expiresAt": {
          "anyOf": [
            {
              "$ref": "#/properties/createdAt"
            },
            {
              "type": "null"
            }
          ]
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "idempotencyKeyFingerprint": {
          "$ref": "#/properties/digest"
        },
        "intent": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.intent_snapshot.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "kind": {
          "enum": [
            "deployment",
            "promotion",
            "rollback",
            "reconciliation"
          ],
          "type": "string"
        },
        "policyProfile": {
          "pattern": "^[a-z][a-z0-9._-]{0,127}$",
          "type": "string"
        },
        "priorReceipt": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_receipt.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "product": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.product_projection.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "requestAt": {
          "$ref": "#/properties/createdAt"
        },
        "requester": {
          "$ref": "#/properties/producer"
        },
        "schema": {
          "const": "hasna.deployment_request.v1",
          "type": "string"
        },
        "sourceRequestId": {
          "$ref": "#/properties/id"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "kind",
        "requester",
        "product",
        "environment",
        "intent",
        "policyProfile",
        "idempotencyKeyFingerprint",
        "requestAt",
        "sourceRequestId",
        "auditCorrelationId",
        "evidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.environment_binding.v1": {
      "$id": "hasna.environment_binding.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "authorizationProfile": {
          "$ref": "#/properties/environment/properties/id"
        },
        "backupProfile": {
          "$ref": "#/properties/environment/properties/id"
        },
        "changeEvidenceRefs": {
          "items": {
            "$ref": "#/properties/providerCapabilityCard/properties/evidenceRefs/items"
          },
          "minItems": 1,
          "type": "array"
        },
        "commercialBindingRef": {
          "$ref": "#/properties/providerConnectionRef"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "dataBackend": {
          "enum": [
            "sqlite",
            "postgresql"
          ],
          "type": "string"
        },
        "dataClassification": {
          "enum": [
            "public",
            "internal",
            "private",
            "sensitive"
          ],
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "environment": {
          "additionalProperties": false,
          "properties": {
            "classification": {
              "enum": [
                "development",
                "staging",
                "production",
                "disaster_recovery"
              ],
              "type": "string"
            },
            "id": {
              "pattern": "^[a-z][a-z0-9._-]{0,127}$",
              "type": "string"
            }
          },
          "required": [
            "id",
            "classification"
          ],
          "type": "object"
        },
        "etag": {
          "$ref": "#/properties/digest"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "intent": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.intent_snapshot.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "policyProfile": {
          "$ref": "#/properties/environment/properties/id"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "product": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.product_projection.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "providerCapabilityCard": {
          "additionalProperties": false,
          "properties": {
            "adapterId": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "appId": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "auditEvents": {
              "default": [],
              "items": {
                "$ref": "#/properties/providerConnectionRef/properties/uri"
              },
              "type": "array"
            },
            "costPosture": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "credentialRequirements": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "allowedSecretInputs": {
                    "default": [
                      "credential_ref"
                    ],
                    "items": {
                      "enum": [
                        "credential_ref",
                        "lease_ref"
                      ],
                      "type": "string"
                    },
                    "minItems": 1,
                    "type": "array"
                  },
                  "failClosedDiagnostic": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  },
                  "refName": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  },
                  "requiredForModes": {
                    "items": {
                      "$ref": "#/properties/providerCapabilityCard/properties/modes/items"
                    },
                    "minItems": 1,
                    "type": "array"
                  },
                  "revocationCheck": {
                    "default": true,
                    "type": "boolean"
                  }
                },
                "required": [
                  "refName",
                  "requiredForModes",
                  "failClosedDiagnostic"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "defaultMode": {
              "$ref": "#/properties/providerCapabilityCard/properties/modes/items"
            },
            "evidenceRefs": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "file",
                      "command_output",
                      "screenshot",
                      "log",
                      "diff",
                      "report",
                      "artifact",
                      "url",
                      "video",
                      "har",
                      "test_result",
                      "metric",
                      "trace",
                      "other"
                    ],
                    "type": "string"
                  },
                  "sha256": {
                    "$ref": "#/properties/digest"
                  },
                  "summary": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "uri": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  }
                },
                "required": [
                  "id"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "modes": {
              "items": {
                "enum": [
                  "mock",
                  "fixture",
                  "sandbox",
                  "read_only_live",
                  "live_mutating"
                ],
                "type": "string"
              },
              "minItems": 1,
              "type": "array"
            },
            "operations": {
              "items": {
                "additionalProperties": false,
                "properties": {
                  "noSideEffectSmoke": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  },
                  "operation": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  },
                  "reconciliation": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  },
                  "requiresApproval": {
                    "default": false,
                    "type": "boolean"
                  },
                  "requiresIdempotencyKey": {
                    "default": false,
                    "type": "boolean"
                  },
                  "requiresRollbackOrRevocation": {
                    "default": false,
                    "type": "boolean"
                  },
                  "requiresSandboxEvidence": {
                    "default": false,
                    "type": "boolean"
                  },
                  "rollbackOrRevocation": {
                    "$ref": "#/properties/providerConnectionRef/properties/uri"
                  },
                  "sideEffectClass": {
                    "enum": [
                      "none",
                      "read_only",
                      "external_notification",
                      "external_mutation",
                      "money_movement",
                      "dns_or_domain_change",
                      "bulk_message_or_call",
                      "legal_or_filing",
                      "compute_or_infra_mutation",
                      "irreversible"
                    ],
                    "type": "string"
                  },
                  "supportedModes": {
                    "items": {
                      "$ref": "#/properties/providerCapabilityCard/properties/modes/items"
                    },
                    "minItems": 1,
                    "type": "array"
                  }
                },
                "required": [
                  "operation",
                  "supportedModes",
                  "sideEffectClass"
                ],
                "type": "object"
              },
              "minItems": 1,
              "type": "array"
            },
            "ownerPackage": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "providerId": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "rateLimitPosture": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "redactionRules": {
              "default": [],
              "items": {
                "$ref": "#/properties/providerConnectionRef/properties/uri"
              },
              "type": "array"
            }
          },
          "required": [
            "providerId",
            "appId",
            "adapterId",
            "ownerPackage",
            "modes",
            "defaultMode",
            "operations",
            "rateLimitPosture"
          ],
          "type": "object"
        },
        "providerCapabilityDigest": {
          "$ref": "#/properties/digest"
        },
        "providerConnectionRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/providerConnectionRef/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "providerIdentity": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "$ref": "#/properties/id"
            },
            "clusterId": {
              "$ref": "#/properties/id"
            },
            "networkId": {
              "$ref": "#/properties/id"
            },
            "projectId": {
              "$ref": "#/properties/id"
            },
            "region": {
              "$ref": "#/properties/environment/properties/id"
            },
            "routingId": {
              "$ref": "#/properties/id"
            },
            "storageId": {
              "$ref": "#/properties/id"
            }
          },
          "required": [
            "accountId",
            "region"
          ],
          "type": "object"
        },
        "revision": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "rollbackProfile": {
          "$ref": "#/properties/environment/properties/id"
        },
        "schema": {
          "const": "hasna.environment_binding.v1",
          "type": "string"
        },
        "updatedAt": {
          "$ref": "#/properties/createdAt"
        },
        "writer": {
          "$ref": "#/properties/producer"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "updatedAt",
        "revision",
        "etag",
        "product",
        "intent",
        "environment",
        "dataBackend",
        "providerConnectionRef",
        "providerCapabilityCard",
        "providerCapabilityDigest",
        "providerIdentity",
        "policyProfile",
        "authorizationProfile",
        "dataClassification",
        "backupProfile",
        "rollbackProfile",
        "writer",
        "changeEvidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.intent_snapshot.v1": {
      "$id": "hasna.intent_snapshot.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "accessClass": {
          "$ref": "#/properties/processes/items/properties/id"
        },
        "alarmClass": {
          "$ref": "#/properties/processes/items/properties/id"
        },
        "backupClass": {
          "$ref": "#/properties/processes/items/properties/id"
        },
        "commitSha": {
          "pattern": "^[a-f0-9]{40}$",
          "type": "string"
        },
        "configurationRequirements": {
          "default": [],
          "items": {
            "additionalProperties": false,
            "properties": {
              "kind": {
                "enum": [
                  "configuration",
                  "secret_reference"
                ],
                "type": "string"
              },
              "name": {
                "pattern": "^[A-Z][A-Z0-9_]*$",
                "type": "string"
              },
              "referenceClass": {
                "$ref": "#/properties/processes/items/properties/id"
              },
              "required": {
                "type": "boolean"
              }
            },
            "required": [
              "name",
              "kind",
              "required"
            ],
            "type": "object"
          },
          "type": "array"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "evidenceRefs": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "id": {
                "minLength": 1,
                "type": "string"
              },
              "kind": {
                "$ref": "#/properties/validationPlan/properties/requiredEvidenceKinds/items"
              },
              "sha256": {
                "$ref": "#/properties/digest"
              },
              "summary": {
                "minLength": 1,
                "type": "string"
              },
              "uri": {
                "$ref": "#/properties/repositoryRef/properties/uri"
              }
            },
            "required": [
              "id"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "intentDocument": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "path": {
              "$ref": "#/properties/repositoryRef/properties/uri"
            }
          },
          "required": [
            "path",
            "digest"
          ],
          "type": "object"
        },
        "migration": {
          "additionalProperties": false,
          "properties": {
            "compatibility": {
              "enum": [
                "none",
                "backward_compatible",
                "forward_compatible",
                "breaking"
              ],
              "type": "string"
            },
            "order": {
              "enum": [
                "before_workload",
                "after_workload",
                "independent"
              ],
              "type": "string"
            },
            "rollbackClass": {
              "$ref": "#/properties/processes/items/properties/id"
            }
          },
          "required": [
            "compatibility",
            "order",
            "rollbackClass"
          ],
          "type": "object"
        },
        "networkClass": {
          "$ref": "#/properties/processes/items/properties/id"
        },
        "processes": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "id": {
                "pattern": "^[a-z][a-z0-9._-]{0,127}$",
                "type": "string"
              },
              "liveness": {
                "additionalProperties": false,
                "properties": {
                  "expectedStatuses": {
                    "items": {
                      "maximum": 599,
                      "minimum": 100,
                      "type": "integer"
                    },
                    "minItems": 1,
                    "type": "array"
                  },
                  "path": {
                    "pattern": "^\\/[A-Za-z0-9._~!$&'()*+,;=:@%/-]*$",
                    "type": "string"
                  },
                  "protocol": {
                    "enum": [
                      "http",
                      "https"
                    ],
                    "type": "string"
                  }
                },
                "required": [
                  "path",
                  "protocol",
                  "expectedStatuses"
                ],
                "type": "object"
              },
              "ports": {
                "default": [],
                "items": {
                  "maximum": 65535,
                  "minimum": 1,
                  "type": "integer"
                },
                "type": "array"
              },
              "readiness": {
                "$ref": "#/properties/processes/items/properties/liveness"
              },
              "resources": {
                "additionalProperties": false,
                "properties": {
                  "cpuMillicores": {
                    "exclusiveMinimum": 0,
                    "type": "integer"
                  },
                  "maxReplicas": {
                    "exclusiveMinimum": 0,
                    "type": "integer"
                  },
                  "memoryMiB": {
                    "exclusiveMinimum": 0,
                    "type": "integer"
                  },
                  "minReplicas": {
                    "minimum": 0,
                    "type": "integer"
                  }
                },
                "required": [
                  "cpuMillicores",
                  "memoryMiB",
                  "minReplicas",
                  "maxReplicas"
                ],
                "type": "object"
              },
              "role": {
                "enum": [
                  "web",
                  "worker",
                  "cron",
                  "migration",
                  "scheduler"
                ],
                "type": "string"
              },
              "version": {
                "$ref": "#/properties/processes/items/properties/liveness"
              }
            },
            "required": [
              "id",
              "role",
              "resources"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "product": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.product_projection.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "repositoryRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/repositoryRef/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/repositoryRef/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "restoreClass": {
          "$ref": "#/properties/processes/items/properties/id"
        },
        "rollbackClass": {
          "$ref": "#/properties/processes/items/properties/id"
        },
        "schema": {
          "const": "hasna.intent_snapshot.v1",
          "type": "string"
        },
        "serviceRequirements": {
          "default": [],
          "items": {
            "additionalProperties": false,
            "properties": {
              "class": {
                "$ref": "#/properties/processes/items/properties/id"
              },
              "id": {
                "$ref": "#/properties/processes/items/properties/id"
              },
              "kind": {
                "enum": [
                  "database",
                  "object_storage",
                  "queue",
                  "cron",
                  "worker"
                ],
                "type": "string"
              },
              "required": {
                "type": "boolean"
              }
            },
            "required": [
              "id",
              "kind",
              "required",
              "class"
            ],
            "type": "object"
          },
          "type": "array"
        },
        "treeSha": {
          "pattern": "^[a-f0-9]{40}$",
          "type": "string"
        },
        "validationPlan": {
          "additionalProperties": false,
          "properties": {
            "checks": {
              "items": {
                "additionalProperties": false,
                "properties": {
                  "command": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "expected": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "command",
                      "test",
                      "typecheck",
                      "lint",
                      "eval",
                      "security",
                      "review",
                      "deploy",
                      "smoke",
                      "manual",
                      "other"
                    ],
                    "type": "string"
                  },
                  "required": {
                    "default": true,
                    "type": "boolean"
                  },
                  "resourceRefs": {
                    "default": [],
                    "items": {
                      "$ref": "#/properties/repositoryRef"
                    },
                    "type": "array"
                  },
                  "timeoutMs": {
                    "exclusiveMinimum": 0,
                    "type": "integer"
                  }
                },
                "required": [
                  "id",
                  "kind"
                ],
                "type": "object"
              },
              "minItems": 1,
              "type": "array"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "metadata": {
              "additionalProperties": {},
              "type": "object"
            },
            "objective": {
              "minLength": 1,
              "type": "string"
            },
            "requiredEvidenceKinds": {
              "default": [],
              "items": {
                "enum": [
                  "file",
                  "command_output",
                  "screenshot",
                  "log",
                  "diff",
                  "report",
                  "artifact",
                  "url",
                  "video",
                  "har",
                  "test_result",
                  "metric",
                  "trace",
                  "other"
                ],
                "type": "string"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.validation_plan.v1",
              "type": "string"
            },
            "subject": {
              "$ref": "#/properties/repositoryRef"
            },
            "updatedAt": {
              "anyOf": [
                {
                  "$ref": "#/properties/createdAt"
                },
                {
                  "type": "null"
                }
              ]
            },
            "verifier": {
              "$ref": "#/properties/producer"
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "objective",
            "checks"
          ],
          "type": "object"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "product",
        "repositoryRef",
        "commitSha",
        "treeSha",
        "intentDocument",
        "processes",
        "migration",
        "accessClass",
        "networkClass",
        "backupClass",
        "restoreClass",
        "alarmClass",
        "rollbackClass",
        "validationPlan",
        "evidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.launch_evidence.v1": {
      "$id": "hasna.launch_evidence.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "compiledAt": {
          "$ref": "#/properties/createdAt"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "deploymentReceipt": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.deployment_receipt.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "environment": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.environment_binding.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "expiresAt": {
          "$ref": "#/properties/createdAt"
        },
        "findings": {
          "default": [],
          "items": {
            "additionalProperties": false,
            "properties": {
              "evidenceRefs": {
                "items": {
                  "$ref": "#/properties/requiredChecks/items/properties/evidenceRefs/items"
                },
                "minItems": 1,
                "type": "array"
              },
              "id": {
                "$ref": "#/properties/requiredChecks/items/properties/id"
              },
              "severity": {
                "enum": [
                  "p0",
                  "p1",
                  "p2",
                  "p3"
                ],
                "type": "string"
              },
              "status": {
                "enum": [
                  "open",
                  "resolved",
                  "accepted"
                ],
                "type": "string"
              }
            },
            "required": [
              "id",
              "severity",
              "status",
              "evidenceRefs"
            ],
            "type": "object"
          },
          "type": "array"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "independentReview": {
          "type": "boolean"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "product": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.product_projection.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "proofBundleRefs": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "externalId": {
                "$ref": "#/properties/requiredChecks/items/properties/evidenceRefs/items/properties/uri"
              },
              "id": {
                "minLength": 1,
                "type": "string"
              },
              "kind": {
                "enum": [
                  "task",
                  "project",
                  "repo",
                  "run",
                  "loop",
                  "workflow",
                  "action",
                  "event",
                  "integration",
                  "session",
                  "machine",
                  "model",
                  "tool",
                  "file",
                  "document",
                  "url",
                  "artifact",
                  "knowledge",
                  "email",
                  "conversation",
                  "dashboard",
                  "render",
                  "panel",
                  "report",
                  "commit",
                  "branch",
                  "pull_request",
                  "issue",
                  "comment",
                  "verification",
                  "finding",
                  "context_pack",
                  "proof_bundle",
                  "memento",
                  "eval",
                  "budget",
                  "cost",
                  "alert",
                  "incident",
                  "app",
                  "release",
                  "rollout",
                  "announcement",
                  "audience",
                  "feedback",
                  "unknown"
                ],
                "type": "string"
              },
              "name": {
                "minLength": 1,
                "type": "string"
              },
              "sourcePackage": {
                "$ref": "#/properties/requiredChecks/items/properties/evidenceRefs/items/properties/uri"
              },
              "tags": {
                "default": [],
                "items": {
                  "minLength": 1,
                  "type": "string"
                },
                "type": "array"
              },
              "uri": {
                "$ref": "#/properties/requiredChecks/items/properties/evidenceRefs/items/properties/uri"
              }
            },
            "required": [
              "kind",
              "id"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "requiredChecks": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "evidenceRefs": {
                "items": {
                  "additionalProperties": false,
                  "properties": {
                    "id": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "kind": {
                      "enum": [
                        "file",
                        "command_output",
                        "screenshot",
                        "log",
                        "diff",
                        "report",
                        "artifact",
                        "url",
                        "video",
                        "har",
                        "test_result",
                        "metric",
                        "trace",
                        "other"
                      ],
                      "type": "string"
                    },
                    "sha256": {
                      "$ref": "#/properties/digest"
                    },
                    "summary": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "uri": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "id"
                  ],
                  "type": "object"
                },
                "minItems": 1,
                "type": "array"
              },
              "id": {
                "pattern": "^[a-z][a-z0-9._-]{0,127}$",
                "type": "string"
              },
              "kind": {
                "enum": [
                  "health",
                  "readiness",
                  "version",
                  "migration",
                  "alarm",
                  "access",
                  "restore",
                  "rollback",
                  "security",
                  "contract"
                ],
                "type": "string"
              },
              "status": {
                "enum": [
                  "passed",
                  "failed",
                  "missing",
                  "expired",
                  "blocked"
                ],
                "type": "string"
              }
            },
            "required": [
              "id",
              "kind",
              "status",
              "evidenceRefs"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "schema": {
          "const": "hasna.launch_evidence.v1",
          "type": "string"
        },
        "status": {
          "enum": [
            "candidate",
            "blocked",
            "ready",
            "launched",
            "rolled_back"
          ],
          "type": "string"
        },
        "verifiers": {
          "items": {
            "$ref": "#/properties/producer"
          },
          "minItems": 1,
          "type": "array"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "product",
        "environment",
        "deploymentReceipt",
        "requiredChecks",
        "proofBundleRefs",
        "verifiers",
        "independentReview",
        "status",
        "compiledAt",
        "expiresAt"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.product_projection.v1": {
      "$id": "hasna.product_projection.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "displayName": {
          "maxLength": 200,
          "minLength": 1,
          "type": "string"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "lifecycle": {
          "enum": [
            "draft",
            "active",
            "paused",
            "archived"
          ],
          "type": "string"
        },
        "ownerRefs": {
          "items": {
            "$ref": "#/properties/producer"
          },
          "minItems": 1,
          "type": "array"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "projectedAt": {
          "$ref": "#/properties/createdAt"
        },
        "repositoryRef": {
          "$ref": "#/properties/sourceProjectRef"
        },
        "revision": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "schema": {
          "const": "hasna.product_projection.v1",
          "type": "string"
        },
        "slug": {
          "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
          "type": "string"
        },
        "sourceEvidenceRefs": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "id": {
                "minLength": 1,
                "type": "string"
              },
              "kind": {
                "enum": [
                  "file",
                  "command_output",
                  "screenshot",
                  "log",
                  "diff",
                  "report",
                  "artifact",
                  "url",
                  "video",
                  "har",
                  "test_result",
                  "metric",
                  "trace",
                  "other"
                ],
                "type": "string"
              },
              "sha256": {
                "$ref": "#/properties/digest"
              },
              "summary": {
                "minLength": 1,
                "type": "string"
              },
              "uri": {
                "$ref": "#/properties/sourceProjectRef/properties/uri"
              }
            },
            "required": [
              "id"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "sourceProjectRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/sourceProjectRef/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/sourceProjectRef/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "sourceRevision": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "workspaceRef": {
          "$ref": "#/properties/sourceProjectRef"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "revision",
        "sourceProjectRef",
        "sourceRevision",
        "slug",
        "displayName",
        "repositoryRef",
        "workspaceRef",
        "lifecycle",
        "ownerRefs",
        "projectedAt",
        "sourceEvidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.provider_receipt.v1": {
      "$id": "hasna.provider_receipt.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "adapter": {
          "$ref": "#/properties/provider"
        },
        "attempt": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "revision": {
              "exclusiveMinimum": 0,
              "type": "integer"
            },
            "schema": {
              "const": "hasna.deployment_attempt.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "revision",
            "digest"
          ],
          "type": "object"
        },
        "capabilityDigest": {
          "$ref": "#/properties/digest"
        },
        "connectionRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/connectionRef/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/connectionRef/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "normalizedResult": {
          "enum": [
            "accepted",
            "succeeded",
            "failed",
            "cancelled",
            "unknown"
          ],
          "type": "string"
        },
        "observationEvidenceRefs": {
          "default": [],
          "items": {
            "$ref": "#/properties/responseEvidenceRefs/items"
          },
          "type": "array"
        },
        "observedAt": {
          "$ref": "#/properties/createdAt"
        },
        "observedProviderRevision": {
          "anyOf": [
            {
              "$ref": "#/properties/id"
            },
            {
              "type": "null"
            }
          ]
        },
        "operationId": {
          "pattern": "^[a-z][a-z0-9_]*(?:\\.[a-z][a-z0-9_]*)+$",
          "type": "string"
        },
        "operationVersion": {
          "exclusiveMinimum": 0,
          "type": "integer"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "provider": {
          "pattern": "^[a-z][a-z0-9._-]{0,127}$",
          "type": "string"
        },
        "providerIdentity": {
          "additionalProperties": false,
          "properties": {
            "deploymentId": {
              "anyOf": [
                {
                  "$ref": "#/properties/id"
                },
                {
                  "type": "null"
                }
              ]
            },
            "eventId": {
              "anyOf": [
                {
                  "$ref": "#/properties/id"
                },
                {
                  "type": "null"
                }
              ]
            },
            "operationId": {
              "$ref": "#/properties/id"
            },
            "projectId": {
              "anyOf": [
                {
                  "$ref": "#/properties/id"
                },
                {
                  "type": "null"
                }
              ]
            },
            "resourceIds": {
              "default": [],
              "items": {
                "$ref": "#/properties/id"
              },
              "type": "array"
            }
          },
          "required": [
            "projectId",
            "operationId",
            "deploymentId",
            "eventId"
          ],
          "type": "object"
        },
        "providerStatus": {
          "$ref": "#/properties/provider"
        },
        "reconciliationState": {
          "enum": [
            "not_required",
            "pending",
            "confirmed",
            "diverged"
          ],
          "type": "string"
        },
        "redaction": {
          "enum": [
            "none",
            "partial",
            "full"
          ],
          "type": "string"
        },
        "requestFingerprint": {
          "$ref": "#/properties/digest"
        },
        "responseEvidenceRefs": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "id": {
                "minLength": 1,
                "type": "string"
              },
              "kind": {
                "enum": [
                  "file",
                  "command_output",
                  "screenshot",
                  "log",
                  "diff",
                  "report",
                  "artifact",
                  "url",
                  "video",
                  "har",
                  "test_result",
                  "metric",
                  "trace",
                  "other"
                ],
                "type": "string"
              },
              "sha256": {
                "$ref": "#/properties/digest"
              },
              "summary": {
                "minLength": 1,
                "type": "string"
              },
              "uri": {
                "$ref": "#/properties/connectionRef/properties/uri"
              }
            },
            "required": [
              "id"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "retryClass": {
          "enum": [
            "none",
            "safe",
            "reconcile_first"
          ],
          "type": "string"
        },
        "schema": {
          "const": "hasna.provider_receipt.v1",
          "type": "string"
        },
        "unknownOutcome": {
          "type": "boolean"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "attempt",
        "provider",
        "adapter",
        "connectionRef",
        "capabilityDigest",
        "operationId",
        "operationVersion",
        "providerIdentity",
        "requestFingerprint",
        "providerStatus",
        "normalizedResult",
        "observedProviderRevision",
        "observedAt",
        "retryClass",
        "reconciliationState",
        "unknownOutcome",
        "redaction",
        "responseEvidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    },
    "hasna.verified_source_candidate.v1": {
      "$id": "hasna.verified_source_candidate.v1",
      "$schema": "http://json-schema.org/draft-07/schema#",
      "additionalProperties": false,
      "properties": {
        "branchRef": {
          "$ref": "#/properties/repositoryRef"
        },
        "commitSha": {
          "pattern": "^[a-f0-9]{40}$",
          "type": "string"
        },
        "createdAt": {
          "format": "date-time",
          "type": "string"
        },
        "digest": {
          "pattern": "^[a-fA-F0-9]{64}$",
          "type": "string"
        },
        "evidenceRefs": {
          "items": {
            "$ref": "#/properties/verificationRun/properties/decisions/items/properties/evidenceRefs/items"
          },
          "minItems": 1,
          "type": "array"
        },
        "id": {
          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,159}$",
          "type": "string"
        },
        "intent": {
          "additionalProperties": false,
          "properties": {
            "digest": {
              "$ref": "#/properties/digest"
            },
            "id": {
              "$ref": "#/properties/id"
            },
            "schema": {
              "const": "hasna.intent_snapshot.v1",
              "type": "string"
            }
          },
          "required": [
            "schema",
            "id",
            "digest"
          ],
          "type": "object"
        },
        "producer": {
          "additionalProperties": false,
          "properties": {
            "accountId": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "agent",
                "human",
                "service",
                "model",
                "workflow",
                "system"
              ],
              "type": "string"
            },
            "machineId": {
              "minLength": 1,
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "provider": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "pullRequestRef": {
          "$ref": "#/properties/repositoryRef"
        },
        "repositoryRef": {
          "additionalProperties": false,
          "properties": {
            "externalId": {
              "$ref": "#/properties/repositoryRef/properties/uri"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "kind": {
              "enum": [
                "task",
                "project",
                "repo",
                "run",
                "loop",
                "workflow",
                "action",
                "event",
                "integration",
                "session",
                "machine",
                "model",
                "tool",
                "file",
                "document",
                "url",
                "artifact",
                "knowledge",
                "email",
                "conversation",
                "dashboard",
                "render",
                "panel",
                "report",
                "commit",
                "branch",
                "pull_request",
                "issue",
                "comment",
                "verification",
                "finding",
                "context_pack",
                "proof_bundle",
                "memento",
                "eval",
                "budget",
                "cost",
                "alert",
                "incident",
                "app",
                "release",
                "rollout",
                "announcement",
                "audience",
                "feedback",
                "unknown"
              ],
              "type": "string"
            },
            "name": {
              "minLength": 1,
              "type": "string"
            },
            "sourcePackage": {
              "$ref": "#/properties/repositoryRef/properties/uri"
            },
            "tags": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "uri": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "kind",
            "id"
          ],
          "type": "object"
        },
        "results": {
          "items": {
            "additionalProperties": false,
            "properties": {
              "evidenceRefs": {
                "items": {
                  "$ref": "#/properties/verificationRun/properties/decisions/items/properties/evidenceRefs/items"
                },
                "minItems": 1,
                "type": "array"
              },
              "id": {
                "pattern": "^[a-z][a-z0-9._-]{0,127}$",
                "type": "string"
              },
              "kind": {
                "enum": [
                  "review",
                  "test",
                  "policy",
                  "source_integrity"
                ],
                "type": "string"
              },
              "status": {
                "enum": [
                  "passed",
                  "failed",
                  "not_run"
                ],
                "type": "string"
              }
            },
            "required": [
              "id",
              "kind",
              "status",
              "evidenceRefs"
            ],
            "type": "object"
          },
          "minItems": 1,
          "type": "array"
        },
        "schema": {
          "const": "hasna.verified_source_candidate.v1",
          "type": "string"
        },
        "status": {
          "enum": [
            "candidate",
            "verified",
            "rejected",
            "superseded"
          ],
          "type": "string"
        },
        "treeSha": {
          "pattern": "^[a-f0-9]{40}$",
          "type": "string"
        },
        "validationPlan": {
          "additionalProperties": false,
          "properties": {
            "checks": {
              "items": {
                "additionalProperties": false,
                "properties": {
                  "command": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "expected": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "kind": {
                    "enum": [
                      "command",
                      "test",
                      "typecheck",
                      "lint",
                      "eval",
                      "security",
                      "review",
                      "deploy",
                      "smoke",
                      "manual",
                      "other"
                    ],
                    "type": "string"
                  },
                  "required": {
                    "default": true,
                    "type": "boolean"
                  },
                  "resourceRefs": {
                    "default": [],
                    "items": {
                      "$ref": "#/properties/repositoryRef"
                    },
                    "type": "array"
                  },
                  "timeoutMs": {
                    "exclusiveMinimum": 0,
                    "type": "integer"
                  }
                },
                "required": [
                  "id",
                  "kind"
                ],
                "type": "object"
              },
              "minItems": 1,
              "type": "array"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "metadata": {
              "additionalProperties": {},
              "type": "object"
            },
            "objective": {
              "minLength": 1,
              "type": "string"
            },
            "requiredEvidenceKinds": {
              "default": [],
              "items": {
                "enum": [
                  "file",
                  "command_output",
                  "screenshot",
                  "log",
                  "diff",
                  "report",
                  "artifact",
                  "url",
                  "video",
                  "har",
                  "test_result",
                  "metric",
                  "trace",
                  "other"
                ],
                "type": "string"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.validation_plan.v1",
              "type": "string"
            },
            "subject": {
              "$ref": "#/properties/repositoryRef"
            },
            "updatedAt": {
              "anyOf": [
                {
                  "$ref": "#/properties/createdAt"
                },
                {
                  "type": "null"
                }
              ]
            },
            "verifier": {
              "$ref": "#/properties/producer"
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "objective",
            "checks"
          ],
          "type": "object"
        },
        "verificationRun": {
          "additionalProperties": false,
          "properties": {
            "actor": {
              "$ref": "#/properties/producer"
            },
            "constraints": {
              "default": [],
              "items": {
                "minLength": 1,
                "type": "string"
              },
              "type": "array"
            },
            "costEstimates": {
              "default": [],
              "items": {
                "$ref": "#/properties/verificationRun/properties/decisions/items/properties/costEstimate"
              },
              "type": "array"
            },
            "createdAt": {
              "$ref": "#/properties/createdAt"
            },
            "decisions": {
              "default": [],
              "items": {
                "additionalProperties": false,
                "properties": {
                  "actor": {
                    "$ref": "#/properties/producer"
                  },
                  "costEstimate": {
                    "additionalProperties": false,
                    "properties": {
                      "accountId": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "amountMicros": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "basis": {
                        "default": "estimated",
                        "enum": [
                          "actual",
                          "estimated",
                          "budget",
                          "limit"
                        ],
                        "type": "string"
                      },
                      "completionTokens": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "createdAt": {
                        "$ref": "#/properties/createdAt"
                      },
                      "currency": {
                        "default": "USD",
                        "pattern": "^[A-Z]{3}$",
                        "type": "string"
                      },
                      "id": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "metadata": {
                        "$ref": "#/properties/validationPlan/properties/metadata"
                      },
                      "model": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "promptTokens": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "provider": {
                        "minLength": 1,
                        "type": "string"
                      },
                      "resourceRefs": {
                        "default": [],
                        "items": {
                          "$ref": "#/properties/repositoryRef"
                        },
                        "type": "array"
                      },
                      "schema": {
                        "const": "hasna.cost_estimate.v1",
                        "type": "string"
                      },
                      "totalTokens": {
                        "minimum": 0,
                        "type": "integer"
                      },
                      "updatedAt": {
                        "$ref": "#/properties/validationPlan/properties/updatedAt"
                      }
                    },
                    "required": [
                      "schema",
                      "id",
                      "createdAt",
                      "amountMicros"
                    ],
                    "type": "object"
                  },
                  "createdAt": {
                    "$ref": "#/properties/createdAt"
                  },
                  "decisionType": {
                    "enum": [
                      "guardrail",
                      "model_route",
                      "tool_select",
                      "budget",
                      "secret_access",
                      "approval",
                      "policy",
                      "other"
                    ],
                    "type": "string"
                  },
                  "evidenceRefs": {
                    "default": [],
                    "items": {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "kind": {
                          "$ref": "#/properties/validationPlan/properties/requiredEvidenceKinds/items"
                        },
                        "sha256": {
                          "$ref": "#/properties/digest"
                        },
                        "summary": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "uri": {
                          "$ref": "#/properties/repositoryRef/properties/uri"
                        }
                      },
                      "required": [
                        "id"
                      ],
                      "type": "object"
                    },
                    "type": "array"
                  },
                  "id": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "inputHash": {
                    "pattern": "^(sha256:)?[a-fA-F0-9]{64}$",
                    "type": "string"
                  },
                  "metadata": {
                    "$ref": "#/properties/validationPlan/properties/metadata"
                  },
                  "obligations": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "policyBundleId": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "reason": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "redactions": {
                    "default": [],
                    "items": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "type": "array"
                  },
                  "schema": {
                    "const": "hasna.decision_envelope.v1",
                    "type": "string"
                  },
                  "selected": {
                    "default": [],
                    "items": {
                      "$ref": "#/properties/repositoryRef"
                    },
                    "type": "array"
                  },
                  "skipped": {
                    "default": [],
                    "items": {
                      "$ref": "#/properties/repositoryRef"
                    },
                    "type": "array"
                  },
                  "status": {
                    "enum": [
                      "allowed",
                      "denied",
                      "warned",
                      "approval_required",
                      "selected",
                      "skipped",
                      "unknown"
                    ],
                    "type": "string"
                  },
                  "traceId": {
                    "minLength": 1,
                    "type": "string"
                  },
                  "updatedAt": {
                    "$ref": "#/properties/validationPlan/properties/updatedAt"
                  }
                },
                "required": [
                  "schema",
                  "id",
                  "createdAt",
                  "decisionType",
                  "status",
                  "reason"
                ],
                "type": "object"
              },
              "type": "array"
            },
            "evidenceRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/verificationRun/properties/decisions/items/properties/evidenceRefs/items"
              },
              "type": "array"
            },
            "finishedAt": {
              "$ref": "#/properties/validationPlan/properties/updatedAt"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "metadata": {
              "$ref": "#/properties/validationPlan/properties/metadata"
            },
            "objective": {
              "minLength": 1,
              "type": "string"
            },
            "proofBundleRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/repositoryRef"
              },
              "type": "array"
            },
            "resourceRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/repositoryRef"
              },
              "type": "array"
            },
            "schema": {
              "const": "hasna.work_run.v1",
              "type": "string"
            },
            "startedAt": {
              "$ref": "#/properties/validationPlan/properties/updatedAt"
            },
            "status": {
              "enum": [
                "pending",
                "running",
                "succeeded",
                "failed",
                "cancelled",
                "blocked",
                "skipped",
                "unknown"
              ],
              "type": "string"
            },
            "traceId": {
              "minLength": 1,
              "type": "string"
            },
            "updatedAt": {
              "$ref": "#/properties/validationPlan/properties/updatedAt"
            },
            "validationPlanRefs": {
              "default": [],
              "items": {
                "$ref": "#/properties/repositoryRef"
              },
              "type": "array"
            }
          },
          "required": [
            "schema",
            "id",
            "createdAt",
            "objective",
            "status",
            "actor"
          ],
          "type": "object"
        },
        "verifiedAt": {
          "$ref": "#/properties/createdAt"
        },
        "verifiers": {
          "items": {
            "$ref": "#/properties/producer"
          },
          "minItems": 1,
          "type": "array"
        }
      },
      "required": [
        "schema",
        "id",
        "createdAt",
        "producer",
        "digest",
        "status",
        "repositoryRef",
        "commitSha",
        "treeSha",
        "intent",
        "validationPlan",
        "verificationRun",
        "results",
        "verifiers",
        "verifiedAt",
        "evidenceRefs"
      ],
      "type": "object",
      "x-hasna-cross-record-validation-required": true,
      "x-hasna-runtime-validation-required": true
    }
  }
}