@rathnasgala2/schemas 2.11.0 → 2.12.0

package/generated/java/src/main/resources/io/gala/schema/generated/schemas/deployment-observation.schema.json

@@ -1,1654 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "urn:gala:schema:deployment-observation:2.0.0",
-  "title": "Gala deployment-observation contract",
-  "type": "object",
-  "required": [
-    "schemaId",
-    "schemaVersion",
-    "observationId",
-    "operationId",
-    "attemptId",
-    "stageAttemptId",
-    "sequence",
-    "intentDigest",
-    "artifactId",
-    "artifactDigest",
-    "adapter",
-    "destination",
-    "observationClass",
-    "outcome",
-    "destinationChanged",
-    "observedAt",
-    "receivedAt",
-    "evidenceDigest",
-    "probes"
-  ],
-  "properties": {
-    "schemaId": { "const": "urn:gala:schema:deployment-observation:2.0.0" },
-    "schemaVersion": { "const": "2.0.0" },
-    "observationId": { "$ref": "#/$defs/stableId" },
-    "operationId": { "$ref": "#/$defs/stableId" },
-    "attemptId": { "$ref": "#/$defs/stableId" },
-    "stageAttemptId": { "$ref": "#/$defs/stableId" },
-    "sequence": { "type": "integer", "minimum": 1, "maximum": 1000 },
-    "intentDigest": { "$ref": "#/$defs/digest" },
-    "artifactId": { "$ref": "#/$defs/stableId" },
-    "artifactDigest": { "$ref": "#/$defs/digest" },
-    "adapter": { "$ref": "#/$defs/adapterIdentity" },
-    "destination": { "$ref": "#/$defs/destinationIdentity" },
-    "generationId": { "$ref": "#/$defs/stableId" },
-    "providerObjectIdDigest": { "$ref": "#/$defs/digest" },
-    "providerVersion": { "$ref": "#/$defs/plainLabel" },
-    "observedArtifactDigest": { "$ref": "#/$defs/digest" },
-    "observationClass": {
-      "enum": [
-        "request-not-started",
-        "request-accepted",
-        "provider-state",
-        "public-state",
-        "deadline-finalization",
-        "supersession-finalization",
-        "timeout",
-        "provider-error"
-      ]
-    },
-    "outcome": {
-      "enum": [
-        "succeeded",
-        "rejected",
-        "not-attempted-retryable",
-        "outcome-unknown-reconciling",
-        "authorization-lost",
-        "rate-limited",
-        "provider-contract-violation"
-      ]
-    },
-    "destinationChanged": { "enum": ["yes", "no", "unknown"] },
-    "observedAt": { "$ref": "#/$defs/rfc3339" },
-    "receivedAt": { "$ref": "#/$defs/rfc3339" },
-    "evidenceDigest": { "$ref": "#/$defs/digest" },
-    "probes": {
-      "type": "array",
-      "items": { "$ref": "#/$defs/publicProbeObservation" },
-      "minItems": 0,
-      "maxItems": 16
-    }
-  },
-  "additionalProperties": false,
-  "$defs": {
-    "stableId": {
-      "type": "string",
-      "pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-7[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$",
-      "description": "Lowercase canonical UUIDv7. Once published, it is immutable; its time ordering conveys neither chronology nor authority."
-    },
-    "slug": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 80,
-      "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$"
-    },
-    "repoRelativePath": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 512,
-      "pattern": "^(?!/)(?!.*\\\\)(?!.*\\u0000).+$",
-      "format": "gala-repository-relative-path",
-      "x-gala-utf8ByteLength": { "maximum": 512 },
-      "description": "NFC UTF-8 repository-relative path using slash separators, with no leading slash, dot segment, NUL, backslash, or percent-decoded traversal."
-    },
-    "canonicalRoute": {
-      "type": "string",
-      "minLength": 1,
-      "pattern": "^/(?!/)(?!.*//)(?!.*[?#]).*$",
-      "format": "gala-canonical-route",
-      "description": "Absolute normalized route with no query, fragment, dot segment, double slash, or non-normalized percent encoding."
-    },
-    "gitObjectId": {
-      "type": "string",
-      "pattern": "^(?:sha1:[0-9a-f]{40}|sha256:[0-9a-f]{64})$"
-    },
-    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
-    "urlHttps": {
-      "type": "string",
-      "format": "uri",
-      "pattern": "^https://(?![^/?#]*@)",
-      "description": "Absolute HTTPS URL without embedded credentials."
-    },
-    "bcp47": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 255,
-      "pattern": "^[A-Za-z0-9-]+$",
-      "format": "gala-bcp47",
-      "x-gala-utf8ByteLength": { "minimum": 1, "maximum": 255 },
-      "description": "Structurally valid canonical BCP-47 language tag."
-    },
-    "isoCountry": {
-      "type": "string",
-      "pattern": "^[A-Z]{2}$",
-      "format": "gala-iso-country",
-      "description": "ISO 3166-1 alpha-2 country code; admission remains subject to the active policy profile."
-    },
-    "plainLabel": {
-      "type": "string",
-      "format": "gala-plain-label",
-      "x-gala-graphemeLength": { "minimum": 1, "maximum": 80 },
-      "description": "Normalized Unicode plain text without markup, controls, or bidi overrides."
-    },
-    "plainText": {
-      "type": "string",
-      "format": "gala-plain-text",
-      "description": "NFC Unicode text without disallowed C0/C1 controls or bidi override/isolate controls."
-    },
-    "rfc3339": {
-      "type": "string",
-      "format": "date-time",
-      "pattern": "^[0-9]{4}-(?:0[1-9]|1[0-2])-(?:0[1-9]|[12][0-9]|3[01])T(?:[01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]\\.[0-9]{3}Z$",
-      "description": "Canonical Gala UTC millisecond subset of RFC 3339."
-    },
-    "semver": {
-      "type": "string",
-      "pattern": "^(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)\\.(?:0|[1-9]\\d*)(?:-(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*)(?:\\.(?:0|[1-9]\\d*|\\d*[A-Za-z-][0-9A-Za-z-]*))*)?$",
-      "description": "Canonical SemVer 2.0.0 without build metadata."
-    },
-    "semverRange": {
-      "type": "string",
-      "minLength": 1,
-      "pattern": "^(?:\\S+|\\S+ \\S+)$",
-      "format": "gala-semver-range",
-      "description": "Whitespace-free npm-compatible exact, caret, or bounded comparator-set range; tags and URLs are invalid."
-    },
-    "packageRange": {
-      "type": "string",
-      "minLength": 3,
-      "pattern": "^(?:@[a-z0-9](?:[a-z0-9._-]*[a-z0-9])?/[a-z0-9](?:[a-z0-9._-]*[a-z0-9])?|[a-z0-9](?:[a-z0-9._-]*[a-z0-9])?)@(?:\\S+|\\S+ \\S+)$",
-      "format": "gala-package-range",
-      "description": "Lowercase npm package identity and admitted semver range; Git, file, URL, and alias sources are invalid."
-    },
-    "packageExact": {
-      "type": "string",
-      "minLength": 3,
-      "pattern": "^(?:@[a-z0-9](?:[a-z0-9._-]*[a-z0-9])?/[a-z0-9](?:[a-z0-9._-]*[a-z0-9])?|[a-z0-9](?:[a-z0-9._-]*[a-z0-9])?)@\\S+$",
-      "format": "gala-package-exact",
-      "description": "Lowercase npm package identity and exact canonical semantic version; aliases are invalid."
-    },
-    "urn": {
-      "type": "string",
-      "minLength": 10,
-      "maxLength": 255,
-      "format": "uri",
-      "pattern": "^urn:gala:[\\x21-\\x7E]+$",
-      "description": "Absolute ASCII URN in the schema-declared Gala namespace."
-    },
-    "glob": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 256,
-      "format": "gala-repository-glob",
-      "x-gala-utf8ByteLength": { "maximum": 256 },
-      "description": "Repository-relative POSIX glob using only star, globstar, and question-mark operators; braces, extglobs, negation, absolute paths, and parent traversal are invalid."
-    },
-    "passiveVisualToken": false,
-    "extensionKey": {
-      "type": "string",
-      "format": "gala-extension-key",
-      "description": "Reverse-DNS extension namespace that cannot shadow a core key."
-    },
-    "npmPackageName": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 214,
-      "pattern": "^(?:[a-z0-9][a-z0-9._-]*|@[a-z0-9][a-z0-9._-]*/[a-z0-9][a-z0-9._-]*)$",
-      "x-gala-utf8ByteLength": { "maximum": 214 }
-    },
-    "int64": {
-      "type": "string",
-      "pattern": "^(?:0|-?[1-9][0-9]*)$",
-      "format": "gala-int64",
-      "description": "Canonical signed 64-bit base-10 JSON string."
-    },
-    "nonNegativeInt64": {
-      "type": "string",
-      "pattern": "^(?:0|[1-9][0-9]*)$",
-      "format": "gala-int64"
-    },
-    "positiveInt64": {
-      "type": "string",
-      "pattern": "^[1-9][0-9]*$",
-      "format": "gala-int64"
-    },
-    "githubPositiveDecimal": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 20,
-      "pattern": "^[1-9][0-9]{0,19}$",
-      "format": "gala-github-positive-uint64"
-    },
-    "githubActionsArtifactId": { "$ref": "#/$defs/githubPositiveDecimal" },
-    "lowerHex40": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
-    "packageIdentity": {
-      "type": "object",
-      "required": ["package", "version", "integrity", "registry"],
-      "properties": {
-        "package": { "$ref": "#/$defs/npmPackageName" },
-        "version": { "$ref": "#/$defs/semver" },
-        "integrity": { "$ref": "#/$defs/digest" },
-        "registry": { "$ref": "#/$defs/urlHttps" }
-      },
-      "additionalProperties": false
-    },
-    "adapterIdentity": {
-      "type": "object",
-      "required": ["adapterId", "adapterVersion", "adapterDigest"],
-      "properties": {
-        "adapterId": { "$ref": "#/$defs/plainLabel" },
-        "adapterVersion": { "$ref": "#/$defs/semver" },
-        "adapterDigest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false
-    },
-    "destinationIdentity": {
-      "type": "object",
-      "required": [
-        "environment",
-        "adapterId",
-        "adapterVersion",
-        "targetDigest",
-        "baseUrl"
-      ],
-      "properties": {
-        "environment": {
-          "type": "string",
-          "enum": ["github-pages", "do-spaces", "local-directory"],
-          "description": "One constant per adapter (LOCAL-60a): `github-pages`, `do-spaces` or `local-directory`; it equals `adapterId` for each MVP adapter."
-        },
-        "adapterId": { "$ref": "#/$defs/plainLabel" },
-        "adapterVersion": { "$ref": "#/$defs/semver" },
-        "targetDigest": { "$ref": "#/$defs/digest" },
-        "baseUrl": {
-          "allOf": [{ "$ref": "#/$defs/urlHttps" }],
-          "maxLength": 2048,
-          "x-gala-utf8ByteLength": { "maximum": 2048 }
-        },
-        "providerBinding": { "$ref": "#/$defs/destinationProviderCoordinates" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": { "adapterId": { "const": "github-pages" } },
-            "required": ["adapterId"]
-          },
-          "then": {
-            "properties": { "environment": { "const": "github-pages" } }
-          }
-        },
-        {
-          "if": {
-            "properties": { "adapterId": { "const": "do-spaces" } },
-            "required": ["adapterId"]
-          },
-          "then": { "properties": { "environment": { "const": "do-spaces" } } }
-        },
-        {
-          "if": {
-            "properties": { "adapterId": { "const": "local-directory" } },
-            "required": ["adapterId"]
-          },
-          "then": {
-            "properties": { "environment": { "const": "local-directory" } }
-          }
-        },
-        {
-          "if": {
-            "properties": { "adapterId": { "const": "github-pages" } },
-            "required": ["adapterId", "providerBinding"]
-          },
-          "then": {
-            "properties": {
-              "providerBinding": {
-                "required": ["owner", "repository"],
-                "properties": {
-                  "region": false,
-                  "servedBucket": false,
-                  "stagingBucket": false
-                }
-              }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "adapterId": { "const": "do-spaces" } },
-            "required": ["adapterId", "providerBinding"]
-          },
-          "then": {
-            "properties": {
-              "providerBinding": {
-                "required": ["region", "servedBucket", "stagingBucket"],
-                "properties": { "owner": false, "repository": false }
-              }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "adapterId": { "const": "local-directory" } },
-            "required": ["adapterId"]
-          },
-          "then": { "properties": { "providerBinding": false } }
-        }
-      ]
-    },
-    "destinationProviderCoordinates": {
-      "type": "object",
-      "required": [],
-      "properties": {
-        "owner": {
-          "type": "string",
-          "minLength": 1,
-          "maxLength": 39,
-          "pattern": "^[A-Za-z0-9](?:[A-Za-z0-9-]{0,37}[A-Za-z0-9])?$",
-          "x-gala-asciiByteLength": { "minimum": 1, "maximum": 39 },
-          "description": "GitHub owner login, for `github-pages` destinations."
-        },
-        "repository": {
-          "type": "string",
-          "minLength": 1,
-          "maxLength": 100,
-          "pattern": "^(?!\\.{1,2}$)[A-Za-z0-9._-]{1,100}$",
-          "x-gala-asciiByteLength": { "minimum": 1, "maximum": 100 },
-          "description": "GitHub repository name, for `github-pages` destinations."
-        },
-        "region": { "$ref": "#/$defs/spacesRegion" },
-        "servedBucket": { "$ref": "#/$defs/spacesBucket" },
-        "stagingBucket": { "$ref": "#/$defs/spacesBucket" }
-      },
-      "additionalProperties": false
-    },
-    "spacesBucket": {
-      "type": "string",
-      "minLength": 3,
-      "maxLength": 63,
-      "pattern": "^[a-z0-9](?:[a-z0-9-]{1,61}[a-z0-9])$",
-      "x-gala-asciiByteLength": { "minimum": 3, "maximum": 63 }
-    },
-    "spacesRegion": {
-      "type": "string",
-      "pattern": "^[a-z]{3}[1-9][0-9]?$",
-      "x-gala-asciiByteLength": { "minimum": 4, "maximum": 5 }
-    },
-    "renderPolicyIdentity": {
-      "type": "object",
-      "required": ["name", "version", "digest"],
-      "properties": {
-        "name": { "$ref": "#/$defs/plainLabel" },
-        "version": { "$ref": "#/$defs/semver" },
-        "digest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false
-    },
-    "verificationOrigin": {
-      "type": "string",
-      "minLength": 9,
-      "maxLength": 2048,
-      "pattern": "^https://[\\x21-\\x7e]+$",
-      "format": "gala-verification-origin",
-      "x-gala-utf8ByteLength": { "maximum": 2048 }
-    },
-    "verificationUrl": {
-      "type": "string",
-      "minLength": 10,
-      "maxLength": 2048,
-      "pattern": "^https://[\\x21-\\x7e]+$",
-      "format": "gala-verification-url",
-      "x-gala-utf8ByteLength": { "maximum": 2048 }
-    },
-    "observedRedirectLocation": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 2048,
-      "pattern": "^https?://[\\x21-\\x7e]+$",
-      "format": "gala-observed-redirect-location",
-      "x-gala-utf8ByteLength": { "maximum": 2048 }
-    },
-    "probeRegion": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 32,
-      "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$"
-    },
-    "verificationHeaderName": {
-      "type": "string",
-      "minLength": 1,
-      "maxLength": 64,
-      "pattern": "^[!#$%&'*+.^_`|~0-9a-z-]{1,64}$",
-      "not": {
-        "enum": [
-          "authorization",
-          "proxy-authorization",
-          "cookie",
-          "set-cookie",
-          "www-authenticate",
-          "proxy-authenticate",
-          "authentication-info",
-          "proxy-authentication-info",
-          "connection",
-          "keep-alive",
-          "te",
-          "trailer",
-          "transfer-encoding",
-          "upgrade",
-          "location",
-          "content-length"
-        ]
-      }
-    },
-    "verificationHeaderValue": {
-      "type": "string",
-      "maxLength": 1024,
-      "pattern": "^(?:$|[!-~](?:[ -~]{0,1022}[!-~])?)$",
-      "x-gala-utf8ByteLength": { "maximum": 1024 }
-    },
-    "observedVerificationHeader": {
-      "type": "object",
-      "required": ["name", "state"],
-      "properties": {
-        "name": { "$ref": "#/$defs/verificationHeaderName" },
-        "state": { "enum": ["present", "absent", "unsafe-omitted"] },
-        "value": { "$ref": "#/$defs/verificationHeaderValue" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": { "state": { "const": "present" } },
-            "required": ["state"]
-          },
-          "then": { "required": ["value"] },
-          "else": { "not": { "anyOf": [{ "required": ["value"] }] } }
-        }
-      ]
-    },
-    "expectedRedirectHop": {
-      "type": "object",
-      "required": [
-        "hopNumber",
-        "requestUrl",
-        "expectedStatus",
-        "expectedLocation"
-      ],
-      "properties": {
-        "hopNumber": { "type": "integer", "minimum": 0, "maximum": 9 },
-        "requestUrl": { "$ref": "#/$defs/verificationUrl" },
-        "expectedStatus": { "enum": [301, 302, 303, 307, 308] },
-        "expectedLocation": { "$ref": "#/$defs/verificationUrl" }
-      },
-      "additionalProperties": false
-    },
-    "verificationHeaderExpectation": {
-      "type": "object",
-      "required": ["name", "value"],
-      "properties": {
-        "name": { "$ref": "#/$defs/verificationHeaderName" },
-        "value": { "$ref": "#/$defs/verificationHeaderValue" }
-      },
-      "additionalProperties": false
-    },
-    "recognizedPriorRouteContract": {
-      "type": "object",
-      "required": [
-        "generationId",
-        "redirectChain",
-        "terminalRequestUrl",
-        "expectedTerminalStatus",
-        "expectedByteLength",
-        "expectedHeaders",
-        "expectedDigest"
-      ],
-      "properties": {
-        "generationId": { "$ref": "#/$defs/stableId" },
-        "redirectChain": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/expectedRedirectHop" },
-          "minItems": 0,
-          "maxItems": 10
-        },
-        "terminalRequestUrl": { "$ref": "#/$defs/verificationUrl" },
-        "expectedTerminalStatus": { "enum": [200, 404] },
-        "expectedByteLength": { "$ref": "#/$defs/nonNegativeInt64" },
-        "expectedHeaders": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/verificationHeaderExpectation" },
-          "minItems": 0,
-          "maxItems": 32
-        },
-        "expectedDigest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false
-    },
-    "verificationPlanTarget": {
-      "type": "object",
-      "required": [
-        "targetId",
-        "origin",
-        "route",
-        "requiredProbeRegions",
-        "redirectChain",
-        "terminalRequestUrl",
-        "expectedTerminalStatus",
-        "expectedByteLength",
-        "maximumResponseBytes",
-        "maximumResponseWireBytes",
-        "requestTimeoutSeconds",
-        "requestProfile",
-        "retryProfile",
-        "maximumAttempts",
-        "maximumConcurrentStreams",
-        "expectedHeaders",
-        "expectedCandidateDigest",
-        "recognizedPriorContracts"
-      ],
-      "properties": {
-        "targetId": { "type": "integer", "minimum": 1, "maximum": 900 },
-        "origin": { "$ref": "#/$defs/verificationOrigin" },
-        "route": { "$ref": "#/$defs/canonicalRoute" },
-        "requiredProbeRegions": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/probeRegion" },
-          "minItems": 1,
-          "maxItems": 8,
-          "uniqueItems": true
-        },
-        "redirectChain": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/expectedRedirectHop" },
-          "minItems": 0,
-          "maxItems": 10
-        },
-        "terminalRequestUrl": { "$ref": "#/$defs/verificationUrl" },
-        "expectedTerminalStatus": { "enum": [200, 404] },
-        "expectedByteLength": { "$ref": "#/$defs/nonNegativeInt64" },
-        "maximumResponseBytes": { "$ref": "#/$defs/nonNegativeInt64" },
-        "maximumResponseWireBytes": { "$ref": "#/$defs/positiveInt64" },
-        "requestTimeoutSeconds": {
-          "type": "integer",
-          "minimum": 1,
-          "maximum": 30
-        },
-        "requestProfile": { "const": "gala-public-verifier-v2" },
-        "retryProfile": { "const": "gala-public-probe-retry-v2" },
-        "maximumAttempts": { "type": "integer", "minimum": 1, "maximum": 10 },
-        "maximumConcurrentStreams": {
-          "type": "integer",
-          "minimum": 1,
-          "maximum": 32
-        },
-        "expectedHeaders": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/verificationHeaderExpectation" },
-          "minItems": 0,
-          "maxItems": 32
-        },
-        "expectedCandidateDigest": { "$ref": "#/$defs/digest" },
-        "recognizedPriorContracts": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/recognizedPriorRouteContract" },
-          "minItems": 0,
-          "maxItems": 6
-        }
-      },
-      "additionalProperties": false
-    },
-    "publicProbeObservation": {
-      "type": "object",
-      "required": [
-        "targetId",
-        "attemptNumber",
-        "hopNumber",
-        "origin",
-        "route",
-        "requestUrl",
-        "probeRegion",
-        "requestStartedAt",
-        "observedAt",
-        "expectedCandidateDigest",
-        "responseHeadState",
-        "observedLocationState",
-        "observedHeaders",
-        "bodyState",
-        "classification",
-        "evidenceDigest"
-      ],
-      "properties": {
-        "targetId": { "type": "integer", "minimum": 1, "maximum": 900 },
-        "attemptNumber": { "type": "integer", "minimum": 1, "maximum": 10 },
-        "hopNumber": { "type": "integer", "minimum": 0, "maximum": 10 },
-        "origin": { "$ref": "#/$defs/verificationOrigin" },
-        "route": { "$ref": "#/$defs/canonicalRoute" },
-        "requestUrl": { "$ref": "#/$defs/verificationUrl" },
-        "probeRegion": { "$ref": "#/$defs/probeRegion" },
-        "contractGenerationId": { "$ref": "#/$defs/stableId" },
-        "precedingProbeEvidenceDigest": { "$ref": "#/$defs/digest" },
-        "requestStartedAt": { "$ref": "#/$defs/rfc3339" },
-        "observedAt": { "$ref": "#/$defs/rfc3339" },
-        "expectedCandidateDigest": { "$ref": "#/$defs/digest" },
-        "responseHeadState": {
-          "enum": ["not-received", "complete", "limit-exceeded", "malformed"]
-        },
-        "observedStatus": { "type": "integer", "minimum": 100, "maximum": 599 },
-        "observedLocationState": {
-          "enum": ["absent", "retained", "unsafe-omitted", "head-unavailable"]
-        },
-        "observedLocation": { "$ref": "#/$defs/observedRedirectLocation" },
-        "observedHeaders": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/observedVerificationHeader" },
-          "minItems": 0,
-          "maxItems": 32
-        },
-        "bodyState": {
-          "enum": [
-            "not-read",
-            "incomplete",
-            "complete",
-            "limit-exceeded",
-            "encoding-rejected",
-            "framing-rejected"
-          ]
-        },
-        "observedByteLength": { "$ref": "#/$defs/nonNegativeInt64" },
-        "observedDigest": { "$ref": "#/$defs/digest" },
-        "observedGenerationId": {
-          "$ref": "#/$defs/stableId",
-          "description": "The generation the destination is observed to be serving. Unlike the write-side `expectedGenerationId` fence, this observation-side field is simply absent when nothing is served and may be carried as null by a consumer that models it nullably: an observation reports what is there, so \"nothing\" is a truthful reading, while an expectation of \"nothing\" must be stated as the explicit expect-nothing-served sentinel and can never be an omission (LOCAL-52)."
-        },
-        "classification": {
-          "enum": [
-            "redirect-match",
-            "candidate",
-            "recognized-prior",
-            "integrity-mismatch",
-            "inconclusive"
-          ]
-        },
-        "evidenceDigest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": { "hopNumber": { "const": 0 } },
-            "required": ["hopNumber"]
-          },
-          "then": {
-            "not": {
-              "anyOf": [{ "required": ["precedingProbeEvidenceDigest"] }]
-            }
-          },
-          "else": { "required": ["precedingProbeEvidenceDigest"] }
-        },
-        {
-          "if": {
-            "properties": { "observedLocationState": { "const": "retained" } },
-            "required": ["observedLocationState"]
-          },
-          "then": { "required": ["observedLocation"] },
-          "else": { "not": { "anyOf": [{ "required": ["observedLocation"] }] } }
-        },
-        {
-          "if": {
-            "properties": { "bodyState": { "const": "complete" } },
-            "required": ["bodyState"]
-          },
-          "then": { "required": ["observedByteLength", "observedDigest"] },
-          "else": {
-            "not": {
-              "anyOf": [
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "bodyState": { "const": "complete" } },
-            "required": ["bodyState"]
-          },
-          "else": {
-            "not": { "anyOf": [{ "required": ["observedGenerationId"] }] }
-          }
-        },
-        {
-          "if": {
-            "properties": { "responseHeadState": { "const": "complete" } },
-            "required": ["responseHeadState"]
-          },
-          "then": { "required": ["observedStatus"] }
-        },
-        {
-          "if": {
-            "properties": { "responseHeadState": { "const": "not-received" } },
-            "required": ["responseHeadState"]
-          },
-          "then": {
-            "properties": {
-              "observedLocationState": { "const": "absent" },
-              "observedHeaders": { "maxItems": 0 },
-              "bodyState": { "const": "not-read" },
-              "classification": { "const": "inconclusive" }
-            },
-            "not": {
-              "anyOf": [
-                { "required": ["contractGenerationId"] },
-                { "required": ["observedStatus"] },
-                { "required": ["observedLocation"] },
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "responseHeadState": { "enum": ["limit-exceeded", "malformed"] }
-            },
-            "required": ["responseHeadState"]
-          },
-          "then": {
-            "properties": {
-              "observedLocationState": { "const": "head-unavailable" },
-              "observedHeaders": { "maxItems": 0 },
-              "bodyState": { "const": "not-read" },
-              "classification": { "const": "inconclusive" }
-            },
-            "not": {
-              "anyOf": [
-                { "required": ["contractGenerationId"] },
-                { "required": ["observedLocation"] },
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "observedLocationState": { "const": "head-unavailable" }
-            },
-            "required": ["observedLocationState"]
-          },
-          "then": {
-            "properties": {
-              "responseHeadState": { "enum": ["limit-exceeded", "malformed"] }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "bodyState": { "const": "incomplete" } },
-            "required": ["bodyState"]
-          },
-          "then": {
-            "properties": { "classification": { "const": "inconclusive" } },
-            "not": {
-              "anyOf": [
-                { "required": ["contractGenerationId"] },
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "classification": { "const": "redirect-match" } },
-            "required": ["classification"]
-          },
-          "then": {
-            "properties": {
-              "responseHeadState": { "const": "complete" },
-              "observedStatus": { "enum": [301, 302, 303, 307, 308] },
-              "observedLocationState": { "const": "retained" },
-              "observedHeaders": { "maxItems": 0 },
-              "bodyState": { "const": "not-read" }
-            },
-            "required": [
-              "contractGenerationId",
-              "observedStatus",
-              "observedLocation"
-            ],
-            "not": {
-              "anyOf": [
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "classification": { "enum": ["candidate", "recognized-prior"] }
-            },
-            "required": ["classification"]
-          },
-          "then": {
-            "properties": {
-              "responseHeadState": { "const": "complete" },
-              "observedLocationState": { "const": "absent" },
-              "observedHeaders": {
-                "minItems": 1,
-                "items": {
-                  "properties": { "state": { "const": "present" } },
-                  "required": ["state"]
-                }
-              },
-              "bodyState": { "const": "complete" }
-            },
-            "required": [
-              "contractGenerationId",
-              "observedStatus",
-              "observedByteLength",
-              "observedDigest"
-            ]
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "bodyState": {
-                "enum": [
-                  "limit-exceeded",
-                  "encoding-rejected",
-                  "framing-rejected"
-                ]
-              }
-            },
-            "required": ["bodyState"]
-          },
-          "then": {
-            "properties": {
-              "classification": { "const": "integrity-mismatch" }
-            }
-          }
-        }
-      ],
-      "$comment": "Plan equality, trusted timestamp order, redirect-chain selection, marker-specific generation presence, header-set equality, byte-count equality, and each evidence digest are enforced by the deployment semantic validator."
-    },
-    "activationDetectionProbe": {
-      "type": "object",
-      "required": [
-        "targetId",
-        "hopNumber",
-        "origin",
-        "route",
-        "requestUrl",
-        "probeRegion",
-        "requestStartedAt",
-        "observedAt",
-        "expectedCandidateDigest",
-        "responseHeadState",
-        "observedLocationState",
-        "observedHeaders",
-        "bodyState",
-        "classification",
-        "evidenceDigest"
-      ],
-      "properties": {
-        "targetId": { "type": "integer", "minimum": 1, "maximum": 900 },
-        "hopNumber": { "type": "integer", "minimum": 0, "maximum": 10 },
-        "origin": { "$ref": "#/$defs/verificationOrigin" },
-        "route": { "$ref": "#/$defs/canonicalRoute" },
-        "requestUrl": { "$ref": "#/$defs/verificationUrl" },
-        "probeRegion": { "$ref": "#/$defs/probeRegion" },
-        "contractGenerationId": { "$ref": "#/$defs/stableId" },
-        "precedingDetectionProbeEvidenceDigest": { "$ref": "#/$defs/digest" },
-        "requestStartedAt": { "$ref": "#/$defs/rfc3339" },
-        "observedAt": { "$ref": "#/$defs/rfc3339" },
-        "expectedCandidateDigest": { "$ref": "#/$defs/digest" },
-        "responseHeadState": {
-          "enum": ["not-received", "complete", "limit-exceeded", "malformed"]
-        },
-        "observedStatus": { "type": "integer", "minimum": 100, "maximum": 599 },
-        "observedLocationState": {
-          "enum": ["absent", "retained", "unsafe-omitted", "head-unavailable"]
-        },
-        "observedLocation": { "$ref": "#/$defs/observedRedirectLocation" },
-        "observedHeaders": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/observedVerificationHeader" },
-          "minItems": 0,
-          "maxItems": 32
-        },
-        "bodyState": {
-          "enum": [
-            "not-read",
-            "incomplete",
-            "complete",
-            "limit-exceeded",
-            "encoding-rejected",
-            "framing-rejected"
-          ]
-        },
-        "observedByteLength": { "$ref": "#/$defs/nonNegativeInt64" },
-        "observedDigest": { "$ref": "#/$defs/digest" },
-        "observedGenerationId": {
-          "$ref": "#/$defs/stableId",
-          "description": "The generation the destination is observed to be serving. Unlike the write-side `expectedGenerationId` fence, this observation-side field is simply absent when nothing is served and may be carried as null by a consumer that models it nullably: an observation reports what is there, so \"nothing\" is a truthful reading, while an expectation of \"nothing\" must be stated as the explicit expect-nothing-served sentinel and can never be an omission (LOCAL-52)."
-        },
-        "classification": {
-          "enum": [
-            "redirect-match",
-            "candidate",
-            "recognized-prior",
-            "integrity-mismatch",
-            "inconclusive"
-          ]
-        },
-        "evidenceDigest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": { "hopNumber": { "const": 0 } },
-            "required": ["hopNumber"]
-          },
-          "then": {
-            "not": {
-              "anyOf": [
-                { "required": ["precedingDetectionProbeEvidenceDigest"] }
-              ]
-            }
-          },
-          "else": { "required": ["precedingDetectionProbeEvidenceDigest"] }
-        },
-        {
-          "if": {
-            "properties": { "observedLocationState": { "const": "retained" } },
-            "required": ["observedLocationState"]
-          },
-          "then": { "required": ["observedLocation"] },
-          "else": { "not": { "anyOf": [{ "required": ["observedLocation"] }] } }
-        },
-        {
-          "if": {
-            "properties": { "bodyState": { "const": "complete" } },
-            "required": ["bodyState"]
-          },
-          "then": { "required": ["observedByteLength", "observedDigest"] },
-          "else": {
-            "not": {
-              "anyOf": [
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "bodyState": { "const": "complete" } },
-            "required": ["bodyState"]
-          },
-          "else": {
-            "not": { "anyOf": [{ "required": ["observedGenerationId"] }] }
-          }
-        },
-        {
-          "if": {
-            "properties": { "responseHeadState": { "const": "complete" } },
-            "required": ["responseHeadState"]
-          },
-          "then": { "required": ["observedStatus"] }
-        },
-        {
-          "if": {
-            "properties": { "responseHeadState": { "const": "not-received" } },
-            "required": ["responseHeadState"]
-          },
-          "then": {
-            "properties": {
-              "observedLocationState": { "const": "absent" },
-              "observedHeaders": { "maxItems": 0 },
-              "bodyState": { "const": "not-read" },
-              "classification": { "const": "inconclusive" }
-            },
-            "not": {
-              "anyOf": [
-                { "required": ["contractGenerationId"] },
-                { "required": ["observedStatus"] },
-                { "required": ["observedLocation"] },
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "responseHeadState": { "enum": ["limit-exceeded", "malformed"] }
-            },
-            "required": ["responseHeadState"]
-          },
-          "then": {
-            "properties": {
-              "observedLocationState": { "const": "head-unavailable" },
-              "observedHeaders": { "maxItems": 0 },
-              "bodyState": { "const": "not-read" },
-              "classification": { "const": "inconclusive" }
-            },
-            "not": {
-              "anyOf": [
-                { "required": ["contractGenerationId"] },
-                { "required": ["observedLocation"] },
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "observedLocationState": { "const": "head-unavailable" }
-            },
-            "required": ["observedLocationState"]
-          },
-          "then": {
-            "properties": {
-              "responseHeadState": { "enum": ["limit-exceeded", "malformed"] }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "bodyState": { "const": "incomplete" } },
-            "required": ["bodyState"]
-          },
-          "then": {
-            "properties": { "classification": { "const": "inconclusive" } },
-            "not": {
-              "anyOf": [
-                { "required": ["contractGenerationId"] },
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "classification": { "const": "redirect-match" } },
-            "required": ["classification"]
-          },
-          "then": {
-            "properties": {
-              "responseHeadState": { "const": "complete" },
-              "observedStatus": { "enum": [301, 302, 303, 307, 308] },
-              "observedLocationState": { "const": "retained" },
-              "observedHeaders": { "maxItems": 0 },
-              "bodyState": { "const": "not-read" }
-            },
-            "required": [
-              "contractGenerationId",
-              "observedStatus",
-              "observedLocation"
-            ],
-            "not": {
-              "anyOf": [
-                { "required": ["observedByteLength"] },
-                { "required": ["observedDigest"] },
-                { "required": ["observedGenerationId"] }
-              ]
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "classification": { "enum": ["candidate", "recognized-prior"] }
-            },
-            "required": ["classification"]
-          },
-          "then": {
-            "properties": {
-              "responseHeadState": { "const": "complete" },
-              "observedLocationState": { "const": "absent" },
-              "observedHeaders": {
-                "minItems": 1,
-                "items": {
-                  "properties": { "state": { "const": "present" } },
-                  "required": ["state"]
-                }
-              },
-              "bodyState": { "const": "complete" }
-            },
-            "required": [
-              "contractGenerationId",
-              "observedStatus",
-              "observedByteLength",
-              "observedDigest"
-            ]
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "bodyState": {
-                "enum": [
-                  "limit-exceeded",
-                  "encoding-rejected",
-                  "framing-rejected"
-                ]
-              }
-            },
-            "required": ["bodyState"]
-          },
-          "then": {
-            "properties": {
-              "classification": { "const": "integrity-mismatch" }
-            }
-          }
-        }
-      ],
-      "$comment": "Plan equality, trusted timestamp order, redirect-chain selection, marker-specific generation presence, header-set equality, byte-count equality, and each evidence digest are enforced by the deployment semantic validator."
-    },
-    "activationDetectionObservation": {
-      "type": "object",
-      "required": [
-        "profile",
-        "operationId",
-        "attemptId",
-        "planDigest",
-        "detectionAttemptNumber",
-        "eligibleAt",
-        "probes",
-        "receivedAt",
-        "evidenceDigest"
-      ],
-      "properties": {
-        "profile": {
-          "const": "gala-public-activation-detection-observation-v2"
-        },
-        "operationId": { "$ref": "#/$defs/stableId" },
-        "attemptId": { "$ref": "#/$defs/stableId" },
-        "planDigest": { "$ref": "#/$defs/digest" },
-        "detectionAttemptNumber": {
-          "type": "integer",
-          "minimum": 1,
-          "maximum": 91
-        },
-        "eligibleAt": { "$ref": "#/$defs/rfc3339" },
-        "probes": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/activationDetectionProbe" },
-          "minItems": 1,
-          "maxItems": 11
-        },
-        "receivedAt": { "$ref": "#/$defs/rfc3339" },
-        "evidenceDigest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false
-    },
-    "deadlineFinalizationStream": {
-      "type": "object",
-      "required": ["targetId", "probeRegion", "state"],
-      "properties": {
-        "targetId": { "type": "integer", "minimum": 1, "maximum": 900 },
-        "probeRegion": { "$ref": "#/$defs/probeRegion" },
-        "state": { "enum": ["terminal", "missing"] },
-        "observationId": { "$ref": "#/$defs/stableId" },
-        "evidenceDigest": { "$ref": "#/$defs/digest" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": { "state": { "const": "terminal" } },
-            "required": ["state"]
-          },
-          "then": { "required": ["observationId", "evidenceDigest"] },
-          "else": {
-            "not": {
-              "anyOf": [
-                { "required": ["observationId"] },
-                { "required": ["evidenceDigest"] }
-              ]
-            }
-          }
-        }
-      ]
-    },
-    "deadlineFinalizationEvidence": {
-      "type": "object",
-      "required": [
-        "profile",
-        "operationId",
-        "attemptId",
-        "intentDigest",
-        "verificationPlanDigest",
-        "verificationDeadlineAt",
-        "finalizationDeadlineAt",
-        "cutoffEvidenceJournalEntryCount",
-        "cutoffEvidenceJournalHeadDigest",
-        "finalizationKind",
-        "selectedStreams",
-        "finalizedAt"
-      ],
-      "properties": {
-        "profile": { "const": "gala-deadline-finalization-evidence-v2" },
-        "operationId": { "$ref": "#/$defs/stableId" },
-        "attemptId": { "$ref": "#/$defs/stableId" },
-        "intentDigest": { "$ref": "#/$defs/digest" },
-        "verificationPlanDigest": { "$ref": "#/$defs/digest" },
-        "verificationDeadlineAt": { "$ref": "#/$defs/rfc3339" },
-        "finalizationDeadlineAt": { "$ref": "#/$defs/rfc3339" },
-        "cutoffEvidenceJournalEntryCount": {
-          "type": "integer",
-          "minimum": 0,
-          "maximum": 1098
-        },
-        "cutoffEvidenceJournalHeadDigest": { "$ref": "#/$defs/digest" },
-        "finalizationKind": {
-          "enum": ["propagation-degraded", "verification-inconclusive"]
-        },
-        "selectedStreams": {
-          "type": "array",
-          "items": { "$ref": "#/$defs/deadlineFinalizationStream" },
-          "minItems": 1,
-          "maxItems": 900,
-          "uniqueItems": true
-        },
-        "finalizedAt": { "$ref": "#/$defs/rfc3339" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": {
-              "finalizationKind": { "const": "verification-inconclusive" }
-            },
-            "required": ["finalizationKind"]
-          },
-          "then": {
-            "properties": {
-              "selectedStreams": {
-                "contains": {
-                  "properties": { "state": { "const": "missing" } },
-                  "required": ["state"]
-                },
-                "minContains": 1
-              }
-            }
-          },
-          "else": {
-            "properties": {
-              "selectedStreams": {
-                "not": {
-                  "contains": {
-                    "properties": { "state": { "const": "missing" } },
-                    "required": ["state"]
-                  }
-                }
-              }
-            }
-          }
-        }
-      ]
-    },
-    "supersessionFinalizationEvidence": {
-      "type": "object",
-      "required": [
-        "profile",
-        "supersededOperationId",
-        "supersededAttemptId",
-        "supersededIntentDigest",
-        "destinationKeyDigest",
-        "authorityEpoch",
-        "fenceTerminalState",
-        "fenceEvidenceDigest",
-        "supersededByOperationId",
-        "supersededByGenerationId",
-        "finalizationOutcome",
-        "activationDetectionObservationCount",
-        "precedingEvidenceJournalEntryCount",
-        "precedingEvidenceJournalHeadDigest",
-        "finalizedAt"
-      ],
-      "properties": {
-        "profile": { "const": "gala-supersession-finalization-evidence-v2" },
-        "supersededOperationId": { "$ref": "#/$defs/stableId" },
-        "supersededAttemptId": { "$ref": "#/$defs/stableId" },
-        "supersededIntentDigest": { "$ref": "#/$defs/digest" },
-        "destinationKeyDigest": { "$ref": "#/$defs/digest" },
-        "authorityEpoch": { "$ref": "#/$defs/positiveInt64" },
-        "fenceTerminalState": {
-          "enum": ["terminal-no-change", "terminal-candidate"]
-        },
-        "fenceEvidenceDigest": { "$ref": "#/$defs/digest" },
-        "supersededByOperationId": { "$ref": "#/$defs/stableId" },
-        "supersededByGenerationId": { "$ref": "#/$defs/stableId" },
-        "finalizationOutcome": { "enum": ["before-mutation", "activated"] },
-        "activationDetectionObservationCount": {
-          "type": "integer",
-          "minimum": 0,
-          "maximum": 91
-        },
-        "activationDetectionLastEvidenceDigest": { "$ref": "#/$defs/digest" },
-        "precedingEvidenceJournalEntryCount": {
-          "type": "integer",
-          "minimum": 0,
-          "maximum": 1098
-        },
-        "precedingEvidenceJournalHeadDigest": { "$ref": "#/$defs/digest" },
-        "finalizedAt": { "$ref": "#/$defs/rfc3339" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": {
-              "activationDetectionObservationCount": { "const": 0 }
-            },
-            "required": ["activationDetectionObservationCount"]
-          },
-          "then": {
-            "not": {
-              "anyOf": [
-                { "required": ["activationDetectionLastEvidenceDigest"] }
-              ]
-            }
-          },
-          "else": { "required": ["activationDetectionLastEvidenceDigest"] }
-        },
-        {
-          "oneOf": [
-            {
-              "properties": {
-                "fenceTerminalState": { "const": "terminal-no-change" },
-                "finalizationOutcome": { "const": "before-mutation" }
-              },
-              "required": ["fenceTerminalState", "finalizationOutcome"]
-            },
-            {
-              "properties": {
-                "fenceTerminalState": { "const": "terminal-candidate" },
-                "finalizationOutcome": { "const": "activated" }
-              },
-              "required": ["fenceTerminalState", "finalizationOutcome"]
-            }
-          ]
-        }
-      ]
-    },
-    "cancellationFinalizationEvidence": {
-      "type": "object",
-      "required": [
-        "profile",
-        "operationId",
-        "attemptId",
-        "intentDigest",
-        "destinationKeyDigest",
-        "authorityEpoch",
-        "fenceEvidenceDigest",
-        "cancellationCommandId",
-        "cancellationActorId",
-        "activationDetectionObservationCount",
-        "precedingEvidenceJournalEntryCount",
-        "precedingEvidenceJournalHeadDigest",
-        "finalizedAt"
-      ],
-      "properties": {
-        "profile": { "const": "gala-cancellation-finalization-evidence-v2" },
-        "operationId": { "$ref": "#/$defs/stableId" },
-        "attemptId": { "$ref": "#/$defs/stableId" },
-        "intentDigest": { "$ref": "#/$defs/digest" },
-        "destinationKeyDigest": { "$ref": "#/$defs/digest" },
-        "authorityEpoch": { "$ref": "#/$defs/positiveInt64" },
-        "fenceEvidenceDigest": { "$ref": "#/$defs/digest" },
-        "cancellationCommandId": { "$ref": "#/$defs/stableId" },
-        "cancellationActorId": { "$ref": "#/$defs/stableId" },
-        "activationDetectionObservationCount": {
-          "type": "integer",
-          "minimum": 0,
-          "maximum": 91
-        },
-        "activationDetectionLastEvidenceDigest": { "$ref": "#/$defs/digest" },
-        "precedingEvidenceJournalEntryCount": {
-          "type": "integer",
-          "minimum": 0,
-          "maximum": 1098
-        },
-        "precedingEvidenceJournalHeadDigest": { "$ref": "#/$defs/digest" },
-        "finalizedAt": { "$ref": "#/$defs/rfc3339" }
-      },
-      "additionalProperties": false,
-      "allOf": [
-        {
-          "if": {
-            "properties": {
-              "activationDetectionObservationCount": { "const": 0 }
-            },
-            "required": ["activationDetectionObservationCount"]
-          },
-          "then": {
-            "not": {
-              "anyOf": [
-                { "required": ["activationDetectionLastEvidenceDigest"] }
-              ]
-            }
-          },
-          "else": { "required": ["activationDetectionLastEvidenceDigest"] }
-        }
-      ]
-    }
-  },
-  "allOf": [
-    {
-      "oneOf": [
-        {
-          "properties": {
-            "observationClass": { "const": "request-not-started" },
-            "outcome": {
-              "enum": [
-                "rejected",
-                "not-attempted-retryable",
-                "authorization-lost",
-                "rate-limited",
-                "provider-contract-violation"
-              ]
-            },
-            "destinationChanged": { "enum": ["no", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "request-accepted" },
-            "outcome": { "const": "outcome-unknown-reconciling" },
-            "destinationChanged": { "enum": ["unknown", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "provider-state" },
-            "outcome": { "const": "succeeded" },
-            "destinationChanged": { "enum": ["no", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "provider-state" },
-            "outcome": { "const": "rejected" },
-            "destinationChanged": { "const": "no" }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "provider-state" },
-            "outcome": { "const": "outcome-unknown-reconciling" },
-            "destinationChanged": { "enum": ["unknown", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "provider-state" },
-            "outcome": { "const": "provider-contract-violation" },
-            "destinationChanged": { "enum": ["yes", "no", "unknown"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "public-state" },
-            "outcome": { "const": "succeeded" },
-            "destinationChanged": { "const": "yes" }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "public-state" },
-            "outcome": {
-              "enum": [
-                "outcome-unknown-reconciling",
-                "provider-contract-violation"
-              ]
-            },
-            "destinationChanged": { "enum": ["unknown", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "deadline-finalization" },
-            "outcome": { "enum": ["succeeded", "outcome-unknown-reconciling"] },
-            "destinationChanged": { "const": "yes" }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "supersession-finalization" },
-            "outcome": { "const": "rejected" },
-            "destinationChanged": { "const": "no" }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "supersession-finalization" },
-            "outcome": { "const": "succeeded" },
-            "destinationChanged": { "const": "yes" }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "timeout" },
-            "outcome": { "const": "outcome-unknown-reconciling" },
-            "destinationChanged": { "enum": ["unknown", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "provider-error" },
-            "outcome": {
-              "enum": [
-                "rejected",
-                "not-attempted-retryable",
-                "authorization-lost",
-                "rate-limited",
-                "provider-contract-violation"
-              ]
-            },
-            "destinationChanged": { "enum": ["no", "yes"] }
-          },
-          "required": []
-        },
-        {
-          "properties": {
-            "observationClass": { "const": "provider-error" },
-            "outcome": { "const": "outcome-unknown-reconciling" },
-            "destinationChanged": { "enum": ["unknown", "yes"] }
-          },
-          "required": []
-        }
-      ]
-    },
-    {
-      "if": {
-        "properties": { "observationClass": { "const": "public-state" } },
-        "required": ["observationClass"]
-      },
-      "then": { "properties": { "probes": { "minItems": 1, "maxItems": 16 } } },
-      "else": { "properties": { "probes": { "maxItems": 0 } } }
-    },
-    {
-      "if": {
-        "properties": { "observationClass": { "const": "provider-state" } },
-        "required": ["observationClass"]
-      },
-      "else": {
-        "not": {
-          "anyOf": [
-            { "required": ["generationId"] },
-            { "required": ["observedArtifactDigest"] }
-          ]
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": {
-          "observationClass": {
-            "enum": ["request-accepted", "provider-state", "provider-error"]
-          }
-        },
-        "required": ["observationClass"]
-      },
-      "else": {
-        "not": {
-          "anyOf": [
-            { "required": ["providerObjectIdDigest"] },
-            { "required": ["providerVersion"] }
-          ]
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": {
-          "probes": {
-            "contains": {
-              "properties": { "classification": { "const": "candidate" } },
-              "required": ["classification"]
-            }
-          }
-        },
-        "required": ["probes"]
-      },
-      "then": { "properties": { "destinationChanged": { "const": "yes" } } }
-    }
-  ],
-  "$comment": "Sequence continuity, timestamp order, intent identity equalities, cumulative change proof, source-record validation, canonical probe order, and evidence-digest equality are enforced by the deployment semantic validator."
-}