automated-qa 0.11.0

package/schemas/stability.schema.json

@@ -0,0 +1,92 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/stability.schema.json",
+  "title": "stability.json",
+  "description": "lib/qa/commands/stability.mjs + lib/qa/stability.mjs classify() — N serial sweeps reduced to stable/intermittent/ghost per finding.",
+  "type": "object",
+  "required": ["id", "at", "repo", "base", "n", "status", "exit", "valid", "denominators", "findings", "stable", "intermittent", "ghost", "gating"],
+  "additionalProperties": true,
+  "properties": {
+    "id": { "type": "string", "minLength": 1 },
+    "at": { "type": "string" },
+    "repo": { "type": "string" },
+    "base": { "type": "string" },
+    "n": { "type": "integer", "minimum": 1 },
+    "threshold": { "type": "integer", "minimum": 1 },
+    "status": { "type": "string", "enum": ["ok", "invalid"] },
+    "exit": { "type": "integer", "enum": [0, 1, 2] },
+    "valid": { "type": "boolean" },
+    "invalidReasons": { "type": "array", "items": { "type": "string" } },
+    "denominators": {
+      "type": "object",
+      "required": ["runs", "routes", "cells"],
+      "additionalProperties": true,
+      "properties": {
+        "runs": { "type": "integer", "minimum": 0 },
+        "routes": { "type": "integer", "minimum": 0 },
+        "cells": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "findings": { "type": "array", "items": { "$ref": "#/$defs/stabilityFinding" } },
+    "gatingFindings": { "type": "array", "items": { "$ref": "#/$defs/stabilityFinding" } },
+    "needsReproduction": { "type": "array", "items": { "$ref": "#/$defs/stabilityFinding" } },
+    "stable": { "type": "integer", "minimum": 0 },
+    "intermittent": { "type": "integer", "minimum": 0 },
+    "ghost": { "type": "integer", "minimum": 0 },
+    "gating": { "type": "boolean" },
+    "surfaceDrift": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["route", "samples", "distinct"],
+        "additionalProperties": true,
+        "properties": {
+          "route": { "type": "string" },
+          "role": { "type": ["string", "null"] },
+          "width": { "type": ["integer", "null"] },
+          "samples": { "type": "integer", "minimum": 0 },
+          "distinct": { "type": "integer", "minimum": 0 }
+        }
+      }
+    },
+    "metrics": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["route", "metric", "min", "median", "max", "samples", "envSensitive"],
+        "additionalProperties": true,
+        "properties": {
+          "route": { "type": "string" },
+          "role": { "type": ["string", "null"] },
+          "width": { "type": ["integer", "null"] },
+          "metric": { "type": "string" },
+          "min": { "type": "number" },
+          "median": { "type": "number" },
+          "max": { "type": "number" },
+          "samples": { "type": "integer", "minimum": 0 },
+          "envSensitive": { "type": "boolean" }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "stabilityFinding": {
+      "type": "object",
+      "required": ["fid", "k", "n", "class", "gating", "kind", "severity", "detail"],
+      "additionalProperties": true,
+      "properties": {
+        "fid": { "type": "string", "minLength": 1 },
+        "k": { "type": "integer", "minimum": 0 },
+        "n": { "type": "integer", "minimum": 1 },
+        "class": { "type": "string", "enum": ["stable", "intermittent", "ghost"] },
+        "gating": { "type": "boolean" },
+        "phase": { "type": ["string", "null"] },
+        "kind": { "type": "string", "minLength": 1 },
+        "severity": { "type": "string", "enum": ["P0", "P1", "P2", "P3"] },
+        "route": { "type": ["string", "null"] },
+        "at": { "type": ["string", "null"] },
+        "detail": { "type": "string" }
+      }
+    }
+  }
+}

package/schemas/sweep.schema.json

@@ -0,0 +1,239 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/sweep.schema.json",
+  "title": "sweep.json",
+  "description": "bin/sweep.mjs — the runtime sweep report: cells, findings, and the self-grading integrity gate.",
+  "type": "object",
+  "required": ["base", "width", "started", "finished", "routes", "unreached", "roles", "summary", "integrity", "resume"],
+  "additionalProperties": true,
+  "properties": {
+    "base": { "type": "string" },
+    "atlasVersion": { "type": "integer", "enum": [1, 2] },
+    "width": { "type": "integer" },
+    "started": { "type": "string" },
+    "finished": { "type": "string" },
+    "lane": { "type": "string", "enum": ["source", "public-runtime", "mock-contract", "real-integration", "mfa-integration"] },
+    "identities": { "type": "array", "items": { "$ref": "#/$defs/identityRecord" } },
+    "aborted": { "type": ["string", "boolean", "null"] },
+    "routes": { "type": "array", "items": { "$ref": "#/$defs/routeRecord" } },
+    "unreached": { "type": "array", "items": { "$ref": "#/$defs/unreachedEntry" } },
+    "unowned": { "type": "array", "items": { "type": "string" } },
+    "roles": { "type": "array", "items": { "$ref": "#/$defs/role" } },
+    "summary": {
+      "type": "object",
+      "required": ["routes", "routesRequested", "routesReached", "routesUnreached", "routesUnowned", "roles", "findings"],
+      "additionalProperties": true,
+      "properties": {
+        "routes": { "type": "integer", "minimum": 0 },
+        "routesRequested": { "type": "integer", "minimum": 0 },
+        "routesReached": { "type": "integer", "minimum": 0 },
+        "cellsRequested": { "type": "integer", "minimum": 0 },
+        "cellsReached": { "type": "integer", "minimum": 0 },
+        "routesDynamicSkipped": { "type": "integer", "minimum": 0 },
+        "routesInInventory": { "type": "integer", "minimum": 0 },
+        "routesUnreached": { "type": "integer", "minimum": 0 },
+        "routesUnowned": { "type": "integer", "minimum": 0 },
+        "roles": { "type": "array", "items": { "type": "string" } },
+        "findings": { "type": "integer", "minimum": 0 },
+        "P0": { "type": "integer", "minimum": 0 },
+        "P1": { "type": "integer", "minimum": 0 },
+        "P2": { "type": "integer", "minimum": 0 },
+        "P3": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "integrity": {
+      "type": "object",
+      "required": ["cellsPlanned", "cellsMeasured", "bouncedToLogin", "cellsBelowTextFloor", "distinctSurfaces", "distinctRatio", "ok", "failed"],
+      "additionalProperties": true,
+      "properties": {
+        "cellsPlanned": { "type": "integer", "minimum": 0 },
+        "cellsMeasured": { "type": "integer", "minimum": 0 },
+        "bouncedToLogin": { "type": "integer", "minimum": 0 },
+        "cellsBelowTextFloor": { "type": "integer", "minimum": 0 },
+        "distinctSurfaces": { "type": "integer", "minimum": 0 },
+        "distinctRatio": { "type": ["number", "null"], "minimum": 0 },
+        "maxRoutesPerFingerprint": { "type": "integer", "minimum": 0 },
+        "lanes": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["role", "width", "cells", "distinct", "ratio", "largestCluster", "collapsed"],
+            "properties": {
+              "role": { "type": "string" },
+              "width": { "type": ["integer", "null"] },
+              "cells": { "type": "integer", "minimum": 0 },
+              "distinct": { "type": "integer", "minimum": 0 },
+              "ratio": { "type": "number", "minimum": 0 },
+              "largestCluster": { "type": "integer", "minimum": 0 },
+              "collapsed": { "type": "boolean" }
+            }
+          }
+        },
+        "aborted": { "type": "boolean" },
+        "share": { "type": "number" },
+        "ok": { "type": "boolean" },
+        "failed": { "type": "array", "items": { "type": "string" } }
+      }
+    },
+    "resume": {
+      "type": "object",
+      "required": ["requested", "compatible", "reused", "rejected", "reason"],
+      "additionalProperties": true,
+      "properties": {
+        "requested": { "type": "boolean" },
+        "compatible": { "type": ["boolean", "null"] },
+        "reused": { "type": "integer", "minimum": 0 },
+        "rejected": { "type": "integer", "minimum": 0 },
+        "reason": { "type": "string" },
+        "rejectedReasons": { "type": "object", "additionalProperties": { "type": "integer", "minimum": 0 } },
+        "sourceIdentity": {
+          "type": "object",
+          "additionalProperties": true,
+          "properties": { "complete": { "type": "boolean" }, "reason": { "type": "string" } }
+        },
+        "signature": { "type": ["string", "null"] }
+      }
+    },
+    "warm": {
+      "type": "object",
+      "additionalProperties": true,
+      "properties": {
+        "requested": { "type": "integer", "minimum": 0 },
+        "compiled": { "type": "integer", "minimum": 0 },
+        "seconds": { "type": "number", "minimum": 0 }
+      }
+    },
+    "serviceWorker": { "type": "object", "additionalProperties": { "type": "string" } },
+    "states": {
+      "type": "object",
+      "additionalProperties": true,
+      "properties": {
+        "routes": { "type": "integer", "minimum": 0 },
+        "kinds": { "type": "array", "items": { "type": "string" } },
+        "cells": { "type": "integer", "minimum": 0 },
+        "declaredReadOnlyPosts": { "description": "How many POST paths verify.read-only.json declared read-only, present only when that declaration exists. A declared path is admitted as a forced-state target, so it can make a route eligible that had no interceptable GET/HEAD traffic.", "type": "integer", "minimum": 1 },
+        "ineligible": {
+          "description": "Route/persona pairs deliberately EXCLUDED from the matrix, so they never enter the `cells` denominator: no interceptable target was observed (no GET/HEAD, and no POST declared read-only in verify.read-only.json). Absent when every candidate route was planned. See lib/qa/forced-states.mjs planForcedStateCells().",
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["route", "reason"],
+            "additionalProperties": true,
+            "properties": {
+              "route": { "type": "string" },
+              "role": { "type": ["string", "null"] },
+              "reason": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    "leak": {
+      "type": "object",
+      "additionalProperties": true,
+      "properties": {
+        "beforeMB": { "type": "number" },
+        "afterMB": { "type": "number" },
+        "growthMB": { "type": "number" }
+      }
+    }
+  },
+  "$defs": {
+    "finding": {
+      "type": "object",
+      "required": ["kind", "severity", "detail"],
+      "additionalProperties": true,
+      "properties": {
+        "kind": { "type": "string", "minLength": 1 },
+        "severity": { "type": "string", "enum": ["P0", "P1", "P2", "P3"] },
+        "at": { "type": ["string", "null"] },
+        "detail": { "type": "string" }
+      }
+    },
+    "routeRecord": {
+      "type": "object",
+      "required": ["route", "findings", "metrics"],
+      "additionalProperties": true,
+      "properties": {
+        "route": { "type": "string" },
+        "width": { "type": "integer" },
+        "role": { "type": ["string", "null"] },
+        "redirectedTo": { "type": ["string", "null"] },
+        "findings": { "type": "array", "items": { "$ref": "#/$defs/finding" } },
+        "metrics": { "type": "object", "additionalProperties": true },
+        "navigationHistory": { "type": "array", "items": { "type": "string" } },
+        "apiRequests": { "type": "integer", "minimum": 0 },
+        "apiPaths": { "type": "array", "items": { "type": "string" } },
+        "requests": { "type": "array", "items": { "$ref": "#/$defs/requestRow" } },
+        "requestsTruncated": { "type": "integer", "minimum": 0 },
+        "textLen": { "type": ["integer", "null"] },
+        "fingerprint": { "type": ["string", "null"] },
+        "anchors": { "type": "array", "items": { "type": "object", "properties": { "tag": { "type": "string" }, "text": { "type": "string" }, "classes": { "type": "array", "items": { "type": "string" } }, "box": { "type": "object" } }, "additionalProperties": true } },
+        "skipped": { "type": "string" },
+        "flaky": { "type": "boolean" },
+        "columns": { "type": "array" }
+      }
+    },
+    "requestRow": {
+      "type": "object",
+      "description": "One row of the bounded, privacy-safe per-cell request log: method + a path template with id-shaped segments collapsed to :id + a status class (never the exact status, never a query string, body, header, or user data). Capped at 40 distinct rows per cell; routeRecord.requestsTruncated says how many were cut.",
+      "required": ["method", "pathTemplate", "statusClass", "count", "ms"],
+      "additionalProperties": false,
+      "properties": {
+        "method": { "type": "string", "minLength": 1 },
+        "pathTemplate": { "type": "string" },
+        "statusClass": { "type": "string", "enum": ["2xx", "3xx", "4xx", "5xx", "failed"] },
+        "count": { "type": "integer", "minimum": 1 },
+        "ms": { "type": ["number", "null"], "minimum": 0 }
+      }
+    },
+    "unreachedEntry": {
+      "type": "object",
+      "required": ["route", "landedOn"],
+      "additionalProperties": true,
+      "properties": {
+        "route": { "type": "string" },
+        "width": { "type": "integer" },
+        "landedOn": { "type": "string" },
+        "role": { "type": ["string", "null"] },
+        "reason": { "type": "string" }
+      }
+    },
+    "role": {
+      "description": "Ownership only -- design doc section 6: reports exclude auth paths and header metadata (header NAMES are still header metadata). additionalProperties: false so a regression that reintroduces `auth` or `headers` fails qa dev validate, not just review.",
+      "type": "object",
+      "required": ["name"],
+      "additionalProperties": false,
+      "properties": {
+        "name": { "type": "string" },
+        "owns": { "type": "array", "items": { "type": "string" } },
+        "excludes": { "type": "array", "items": { "type": "string" } }
+      }
+    },
+    "identityRecord": {
+      "description": "lib/qa/auth/oracle.mjs archivableIdentity() -- booleans plus expected/actual categorical roles ONLY. additionalProperties: false so authenticationSubject/fixtureNamespace can never leak in through a producer change without qa dev validate catching it.",
+      "type": "object",
+      "required": ["persona", "authenticated", "sessionActive", "expected", "actual", "match"],
+      "additionalProperties": false,
+      "properties": {
+        "persona": { "type": "string" },
+        "authenticated": { "type": "boolean" },
+        "sessionActive": { "type": "boolean" },
+        "expected": { "$ref": "#/$defs/categoricalRoles" },
+        "actual": { "$ref": "#/$defs/categoricalRoles" },
+        "match": { "type": "boolean" }
+      }
+    },
+    "categoricalRoles": {
+      "type": "object",
+      "required": ["globalRole", "projectRoles", "effectivePrincipal", "delegationContext"],
+      "additionalProperties": false,
+      "properties": {
+        "globalRole": { "type": ["string", "null"] },
+        "projectRoles": { "type": "array", "items": { "type": "string" } },
+        "effectivePrincipal": { "type": ["string", "null"] },
+        "delegationContext": { "type": ["string", "null"] }
+      }
+    }
+  }
+}

package/schemas/v1/agent-result.schema.json

@@ -0,0 +1,106 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/agent-result.schema.json",
+  "title": "agent-result.json",
+  "description": "lib/qa/agent-result.mjs — the schema-validated AgentResult a compatible qa-agent binary returns, embedded verbatim under run.json's `agent` key and archived as its own canonical file so the manifest can bind its digest without hashing run.json.",
+  "type": "object",
+  "required": ["schemaVersion", "protocolVersion", "status", "runId", "mode", "lane", "binary", "inputs", "dimensions", "limitations"],
+  "additionalProperties": true,
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "protocolVersion": { "const": 1 },
+    "status": { "type": "string", "enum": ["measured", "unmeasured", "invalid"] },
+    "runId": { "type": "string", "minLength": 1 },
+    "mode": { "type": "string", "enum": ["static", "runtime"] },
+    "lane": { "type": "string", "enum": ["source", "public-runtime", "mock-contract", "real-integration", "mfa-integration"] },
+    "binary": {
+      "type": "object",
+      "required": ["sha256", "protocolVersion"],
+      "additionalProperties": true,
+      "properties": {
+        "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "protocolVersion": { "type": "integer", "minimum": 1 }
+      }
+    },
+    "inputs": { "type": "array", "items": { "$ref": "#/$defs/input" } },
+    "dimensions": {
+      "type": "object",
+      "additionalProperties": { "$ref": "#/$defs/dimension" },
+      "properties": {
+        "routePriority": { "$ref": "#/$defs/routePriorityDimension" }
+      }
+    },
+    "limitations": { "type": "array", "items": { "type": "string" } }
+  },
+  "$defs": {
+    "input": {
+      "type": "object",
+      "required": ["name", "sha256", "bytes"],
+      "additionalProperties": true,
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "bytes": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "typedReason": {
+      "type": "string",
+      "enum": [
+        "no-sweep-input", "no-binary", "incompatible-protocol", "unsupported-platform",
+        "not-requested", "malformed-output", "schema-invalid", "digest-mismatch",
+        "load-failed", "graph-integrity-failed"
+      ]
+    },
+    "dimension": {
+      "oneOf": [
+        { "type": "object", "required": ["status", "value"], "additionalProperties": true, "properties": { "status": { "const": "measured" } } },
+        { "type": "object", "required": ["status", "reason"], "additionalProperties": true, "properties": { "status": { "const": "unmeasured" }, "reason": { "$ref": "#/$defs/typedReason" } } },
+        { "type": "object", "required": ["status", "reason"], "additionalProperties": true, "properties": { "status": { "const": "invalid" }, "reason": { "$ref": "#/$defs/typedReason" } } }
+      ]
+    },
+    "collection": {
+      "type": "object",
+      "required": ["items", "returned", "total", "truncated"],
+      "additionalProperties": true,
+      "properties": {
+        "items": { "type": "array" },
+        "returned": { "type": "integer", "minimum": 0 },
+        "total": { "type": "integer", "minimum": 0 },
+        "truncated": { "type": "boolean" }
+      }
+    },
+    "routePriorityItem": {
+      "type": "object",
+      "required": ["route", "confidence", "expectedInformation"],
+      "additionalProperties": true,
+      "properties": {
+        "route": { "type": "string" },
+        "confidence": { "type": "number", "minimum": 0, "maximum": 1 },
+        "expectedInformation": { "type": "number", "minimum": 0, "maximum": 1 }
+      }
+    },
+    "routePriorityDimension": {
+      "oneOf": [
+        {
+          "type": "object", "required": ["status", "value"], "additionalProperties": true,
+          "properties": {
+            "status": { "const": "measured" },
+            "value": {
+              "type": "object",
+              "required": ["items", "returned", "total", "truncated"],
+              "additionalProperties": true,
+              "properties": {
+                "items": { "type": "array", "items": { "$ref": "#/$defs/routePriorityItem" } },
+                "returned": { "type": "integer", "minimum": 0 },
+                "total": { "type": "integer", "minimum": 0 },
+                "truncated": { "type": "boolean" }
+              }
+            }
+          }
+        },
+        { "type": "object", "required": ["status", "reason"], "additionalProperties": true, "properties": { "status": { "const": "unmeasured" }, "reason": { "$ref": "#/$defs/typedReason" } } },
+        { "type": "object", "required": ["status", "reason"], "additionalProperties": true, "properties": { "status": { "const": "invalid" }, "reason": { "$ref": "#/$defs/typedReason" } } }
+      ]
+    }
+  }
+}

package/schemas/v1/run.schema.json

@@ -0,0 +1,96 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/run.schema.json",
+  "title": "run.json",
+  "description": "lib/qa/runs.mjs archiveRun() — the per-invocation archive index under .verify/runs/<id>/run.json.",
+  "type": "object",
+  "required": ["id", "at", "mode", "args", "exit", "produced", "counts", "findings"],
+  "additionalProperties": true,
+  "properties": {
+    "id": { "type": "string", "minLength": 1 },
+    "at": { "type": "string" },
+    "mode": { "type": ["string", "null"] },
+    "lane": { "type": ["string", "null"], "enum": ["source", "public-runtime", "mock-contract", "real-integration", "mfa-integration", null] },
+    "runId": { "type": "string", "minLength": 1 },
+    "args": { "type": "array", "items": { "type": "string" } },
+    "exit": { "type": "integer", "enum": [0, 1, 2] },
+    "agent": {
+      "description": "lib/qa/agent-result.mjs -- either the schema-valid AgentResult (schemas/agent-result.schema.json) when the Rust kernel ran, or a minimal {status, reason} discriminated object when it was never invoked or its output could not be trusted.",
+      "type": ["object", "null"],
+      "additionalProperties": true,
+      "required": ["status"],
+      "properties": {
+        "status": { "type": "string", "enum": ["measured", "unmeasured", "invalid"] },
+        "reason": { "type": "string" }
+      }
+    },
+    "produced": {
+      "type": "object",
+      "additionalProperties": { "type": "boolean" },
+      "properties": {
+        "inventory": { "type": "boolean" },
+        "classify": { "type": "boolean" },
+        "sweep": { "type": "boolean" }
+      }
+    },
+    "counts": {
+      "type": "object",
+      "required": ["total", "P0", "P1", "P2", "P3"],
+      "additionalProperties": true,
+      "properties": {
+        "total": { "type": "integer", "minimum": 0 },
+        "P0": { "type": "integer", "minimum": 0 },
+        "P1": { "type": "integer", "minimum": 0 },
+        "P2": { "type": "integer", "minimum": 0 },
+        "P3": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "summary": { "type": ["object", "null"] },
+    "integrity": { "type": ["object", "null"] },
+    "aborted": { "type": ["string", "boolean", "null"] },
+    "resume": {
+      "type": ["object", "null"],
+      "additionalProperties": true,
+      "properties": {
+        "requested": { "type": "boolean" },
+        "compatible": { "type": ["boolean", "null"] },
+        "reused": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "warm": { "type": ["object", "null"] },
+    "routesInventory": { "type": ["integer", "null"], "minimum": 0 },
+    "cells": { "type": "integer", "minimum": 0 },
+    "findings": { "type": "array", "items": { "$ref": "#/$defs/findingRecord" } },
+    "archiveError": { "type": "string" },
+    "checkpoint": { "type": "string" }
+  },
+  "$defs": {
+    "findingRecord": {
+      "type": "object",
+      "required": ["fid", "phase", "kind", "severity", "detail"],
+      "additionalProperties": true,
+      "properties": {
+        "fid": { "type": "string", "minLength": 1 },
+        "phase": { "type": "string", "enum": ["static", "sync", "runtime", "journey", "state", "mutate", "dark", "leak", "pack", "coherence"] },
+        "kind": { "type": "string", "minLength": 1 },
+        "severity": { "type": "string", "enum": ["P0", "P1", "P2", "P3"] },
+        "route": { "type": ["string", "null"] },
+        "subject": { "type": ["string", "null"] },
+        "role": { "type": ["string", "null"] },
+        "width": { "type": ["integer", "null"] },
+        "at": { "type": ["string", "null"] },
+        "file": { "type": ["string", "null"] },
+        "line": { "type": ["integer", "null"] },
+        "anchor": { "type": ["string", "null"] },
+        "detail": { "type": "string" },
+        "atlas": { "type": ["string", "null"] },
+        "atlasVersion": { "type": "integer", "enum": [1, 2] },
+        "flaky": { "type": "boolean" },
+        "unresolved": { "type": "boolean" },
+        "waived": { "type": "boolean" },
+        "staleRoutes": { "type": ["array", "null"], "items": { "type": "string" } },
+        "pack": { "type": ["string", "null"] }
+      }
+    }
+  }
+}

package/schemas/verify-crud.schema.json

@@ -0,0 +1,37 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/verify-crud.schema.json",
+  "title": "verify.crud.json",
+  "oneOf": [
+    { "type": "object", "required": ["schema_version", "flows"], "additionalProperties": false, "properties": { "schema_version": { "const": 1 }, "personas": { "type": "array", "items": { "type": "string" } }, "beacon_paths": { "$ref": "#/$defs/beaconPaths" }, "idp_bootstrap": { "$ref": "#/$defs/idpBootstrap" }, "flows": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/legacyFlow" } } } },
+    { "type": "object", "required": ["schema_version", "flows"], "additionalProperties": false, "properties": { "schema_version": { "const": 2 }, "personas": { "type": "array", "items": { "type": "string" } }, "entities": { "type": "array", "maxItems": 128, "items": { "$ref": "#/$defs/entity" } }, "beacon_paths": { "$ref": "#/$defs/beaconPaths" }, "idp_bootstrap": { "$ref": "#/$defs/idpBootstrap" }, "flows": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/legacyFlow" } } } },
+    { "type": "object", "required": ["schema_version", "flows"], "additionalProperties": false, "properties": { "schema_version": { "const": 3 }, "personas": { "type": "array", "items": { "type": "string" } }, "beacon_paths": { "$ref": "#/$defs/beaconPaths" }, "idp_bootstrap": { "$ref": "#/$defs/idpBootstrap" }, "flows": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/typedFlow" } } } }
+  ],
+  "$defs": {
+    "beaconPaths": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+    "idpBootstrap": { "type": "array", "items": { "type": "object", "required": ["origin", "path"], "additionalProperties": false, "properties": { "origin": { "type": "string", "pattern": "^https?://[^/?#]+$" }, "path": { "type": "string", "pattern": "^/[^?*#{}]*$" } } } },
+    "entity": { "type": "object", "required": ["name", "endpoints"], "additionalProperties": false, "properties": { "name": { "type": "string", "minLength": 1, "pattern": "^[a-z][a-z0-9_-]{0,63}$" }, "endpoints": { "type": "array", "minItems": 2, "maxItems": 32, "items": { "type": "string", "minLength": 2, "pattern": "^/[^*?#]{1,511}$" } } } },
+    "id": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "sourceRef": { "type": "object", "required": ["file", "line"], "additionalProperties": false, "properties": { "file": { "type": ["string", "null"] }, "line": { "type": "integer", "minimum": 0 } } },
+    "identity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "oneOf": [{ "$ref": "#/$defs/mutationMaterial" }, { "$ref": "#/$defs/surfaceMaterial" }, { "$ref": "#/$defs/targetMaterial" }, { "$ref": "#/$defs/principalMaterial" }, { "$ref": "#/$defs/entityMaterial" }, { "$ref": "#/$defs/flowMaterial" }] } } },
+    "mutationMaterial": { "type": "object", "required": ["namespace", "version", "sourceRef", "endpoint"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/mutation" }, "version": { "const": 1 }, "sourceRef": { "$ref": "#/$defs/sourceRef" }, "endpoint": { "type": ["string", "null"] } } },
+    "surfaceMaterial": { "type": "object", "required": ["namespace", "version", "route", "component", "sourceRef"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/surface" }, "version": { "const": 1 }, "route": { "type": "string" }, "component": { "type": ["string", "null"] }, "sourceRef": { "$ref": "#/$defs/sourceRef" } } },
+    "targetMaterial": { "type": "object", "required": ["namespace", "version", "flow", "route", "transition", "role", "representation"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/target" }, "version": { "const": 1 }, "flow": { "$ref": "#/$defs/flowIdentity" }, "route": { "type": "string" }, "transition": { "$ref": "#/$defs/transition" }, "role": { "type": ["string", "null"] }, "representation": { "$ref": "#/$defs/targetRepresentation" } } },
+    "targetRepresentation": { "type": "object", "required": ["field", "type"], "additionalProperties": false, "properties": { "field": { "type": "string" }, "type": { "type": "string" }, "source": { "type": "string" }, "attribute": { "type": "string" }, "locale": { "type": "string" }, "timezone": { "type": "string" }, "currency": { "type": "string" }, "scale": { "type": "integer" }, "inputUnit": { "type": "string" }, "canonicalUnit": { "type": "string" }, "factor": { "type": "number" }, "optional_on_summary": { "type": "boolean" } } },
+    "principalMaterial": { "type": "object", "required": ["namespace", "version", "name"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/principal" }, "version": { "const": 1 }, "name": { "type": "string" } } },
+    "entityMaterial": { "type": "object", "required": ["namespace", "version", "name"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/entity" }, "version": { "const": 1 }, "name": { "type": "string" } } },
+    "flowMaterial": { "type": "object", "required": ["namespace", "version", "route", "declaredEndpoint"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/flow" }, "version": { "const": 1 }, "route": { "type": "string" }, "declaredEndpoint": { "type": "string" } } },
+    "flowIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/flowMaterial" } } },
+    "legacyFlow": { "type": "object", "required": ["name", "production"], "additionalProperties": true, "properties": { "name": { "type": "string", "minLength": 1 }, "route": { "type": "string" }, "declared_endpoint": { "type": "string" }, "cleanup_required": { "type": "boolean" }, "production": { "const": false }, "crosscheck": { "$ref": "#/$defs/legacyCrosscheck" } } },
+    "typedFlow": { "type": "object", "required": ["name", "route", "declared_endpoint", "production", "identity", "crosscheck"], "additionalProperties": false, "properties": { "name": { "type": "string", "minLength": 1 }, "route": { "type": "string" }, "declared_endpoint": { "type": "string" }, "cleanup_endpoint": { "type": "string" }, "cleanup_required": { "type": "boolean" }, "production": { "const": false }, "identity": { "$ref": "#/$defs/identity" }, "crosscheck": { "$ref": "#/$defs/typedCrosscheck" }, "journey": { "type": "string" }, "personas": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } }, "form_selector": { "type": "string" }, "submit_selector": { "type": "string" }, "update_selector": { "oneOf": [{ "type": "string" }, { "const": false }] }, "delete_selector": { "oneOf": [{ "type": "string" }, { "const": false }] }, "fields": { "type": "object" }, "denied": { "type": "array", "items": { "type": "string", "minLength": 1 } } } },
+    "causalContract": { "type": "object", "required": ["entity", "effect", "convergence"], "additionalProperties": false, "properties": { "entity": { "type": "string", "minLength": 1 }, "effect": { "type": "object", "required": ["kind", "field"], "additionalProperties": false, "properties": { "kind": { "enum": ["field-change", "version-advance"] }, "field": { "type": "string", "minLength": 1 } } }, "convergence": { "type": "object", "required": ["deadlineMs"], "additionalProperties": false, "properties": { "deadlineMs": { "type": "integer", "minimum": 1, "maximum": 120000 } } } } },
+    "legacyCrosscheck": { "type": "object", "required": ["entity", "writer", "observers", "authoritative_readback", "targets"], "additionalProperties": false, "properties": { "entity": { "type": "string", "minLength": 1 }, "writer": { "type": "string", "minLength": 1 }, "authoritative_readback": { "type": "string", "minLength": 1 }, "plan_journey": { "type": "string", "minLength": 1 }, "isolation": { "type": "string", "enum": ["per-flow"] }, "causal": { "$ref": "#/$defs/causalContract" }, "observers": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/legacyObserver" } }, "targets": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/legacyTarget" } } } },
+    "typedCrosscheck": { "type": "object", "required": ["entity", "entityIdentity", "mutationIdentity", "writer", "writerIdentity", "observers", "authoritative_readback", "targets"], "additionalProperties": false, "properties": { "entity": { "type": "string", "minLength": 1 }, "entityIdentity": { "$ref": "#/$defs/identity" }, "mutationIdentity": { "$ref": "#/$defs/identity" }, "writer": { "type": "string", "minLength": 1 }, "writerIdentity": { "$ref": "#/$defs/identity" }, "authoritative_readback": { "type": "string", "minLength": 1 }, "isolation": { "type": "string", "enum": ["per-flow"] }, "causal": { "$ref": "#/$defs/causalContract" }, "observers": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/typedObserver" } }, "targets": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/typedTarget" } } } },
+    "legacyObserver": { "type": "object", "required": ["persona", "expect"], "additionalProperties": false, "properties": { "persona": { "type": "string" }, "expect": { "type": "string", "enum": ["visible", "absent", "redacted", "withheld", "forbidden"] } } },
+    "typedObserver": { "type": "object", "required": ["persona", "expect", "identity"], "additionalProperties": false, "properties": { "persona": { "type": "string" }, "expect": { "type": "string", "enum": ["visible", "absent", "redacted", "withheld", "forbidden"] }, "identity": { "$ref": "#/$defs/identity" } } },
+    "legacyTarget": { "type": "object", "required": ["id", "route", "transition", "representation"], "additionalProperties": false, "properties": { "id": { "type": "string" }, "route": { "type": "string" }, "role": { "type": "string" }, "transition": { "$ref": "#/$defs/transition" }, "representation": { "$ref": "#/$defs/representation" } } },
+    "typedTarget": { "type": "object", "required": ["id", "identity", "route", "transition", "representation", "surfaceMatch"], "additionalProperties": false, "properties": { "id": { "type": "string" }, "identity": { "$ref": "#/$defs/identity" }, "route": { "type": "string" }, "role": { "type": "string" }, "transition": { "$ref": "#/$defs/transition" }, "representation": { "$ref": "#/$defs/representation" }, "surfaceMatch": { "type": "object", "required": ["surface", "evidence"], "additionalProperties": false, "properties": { "surface": { "$ref": "#/$defs/identity" }, "evidence": { "type": "object", "required": ["source", "kind"], "additionalProperties": false, "properties": { "source": { "type": "string", "minLength": 1 }, "kind": { "const": "declared" } } } } } } },
+    "transition": { "type": "string", "enum": ["same-surface", "client-navigation", "reload", "fresh-context", "history-back", "history-forward", "direct-url", "offline-replay"] },
+    "representation": { "type": "object", "required": ["selector", "field", "type"], "additionalProperties": false, "properties": { "selector": { "type": "string", "minLength": 1 }, "field": { "type": "string", "minLength": 1 }, "type": { "type": "string", "enum": ["string", "number", "boolean", "count", "enum", "money", "date", "datetime", "duration", "unit"] }, "source": { "type": "string", "enum": ["text", "value", "attribute", "aria"] }, "attribute": { "type": "string" }, "locale": { "type": "string" }, "timezone": { "type": "string" }, "currency": { "type": "string", "pattern": "^[A-Z]{3}$" }, "scale": { "type": "integer", "minimum": 0, "maximum": 6 }, "inputUnit": { "type": "string" }, "canonicalUnit": { "type": "string" }, "factor": { "type": "number" }, "optional_on_summary": { "type": "boolean" } }, "oneOf": [ { "required": ["type"], "properties": { "type": { "enum": ["string", "number", "boolean", "count", "enum", "datetime"] } } }, { "required": ["type", "currency", "scale"], "properties": { "type": { "const": "money" } } }, { "required": ["type", "locale"], "properties": { "type": { "const": "date" } } }, { "required": ["type", "inputUnit", "canonicalUnit"], "properties": { "type": { "const": "duration" } } }, { "required": ["type", "inputUnit", "canonicalUnit", "factor"], "properties": { "type": { "const": "unit" } } } ] }
+  }
+}