automated-qa 0.11.0

package/schemas/coherence-plan.schema.json

@@ -0,0 +1,77 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/coherence-plan.schema.json",
+  "title": "coherence plan v2",
+  "type": "object",
+  "required": ["schemaVersion", "coverage", "universe", "invariants", "families", "unattributed", "obligationIds", "operationIds", "sideChannelIds", "cacheKeys", "reads", "mutations", "surfaces", "operations", "sideChannels", "obligations", "perRoute", "plan"],
+  "additionalProperties": false,
+  "properties": {
+    "schemaVersion": { "const": 2 },
+    "coverage": { "$ref": "#/$defs/coverage" },
+    "universe": { "$ref": "#/$defs/universe" },
+    "invariants": { "type": "array", "items": { "enum": ["field-parity", "visibility-policy", "durability"] } },
+    "families": { "type": "array", "items": { "$ref": "#/$defs/familyAccounting" } },
+    "unattributed": { "$ref": "#/$defs/unattributed" },
+    "obligationIds": { "type": "array", "items": { "$ref": "#/$defs/id" } },
+    "operationIds": { "type": "array", "items": { "$ref": "#/$defs/id" } },
+    "sideChannelIds": { "type": "array", "items": { "$ref": "#/$defs/pairId" } },
+    "cacheKeys": { "type": "array", "items": { "$ref": "#/$defs/cacheKey" } },
+    "reads": { "type": "array", "items": { "$ref": "#/$defs/read" } },
+    "mutations": { "type": "array", "items": { "$ref": "#/$defs/mutation" } },
+    "surfaces": { "type": "array", "items": { "$ref": "#/$defs/surface" } },
+    "operations": { "type": "array", "items": { "$ref": "#/$defs/cacheOperation" } },
+    "sideChannels": { "type": "array", "items": { "$ref": "#/$defs/sideChannel" } },
+    "obligations": { "type": "array", "items": { "$ref": "#/$defs/obligation" } },
+    "perRoute": { "type": "array", "items": { "$ref": "#/$defs/perRoute" } },
+    "plan": { "$ref": "#/$defs/plan" }
+  },
+  "$defs": {
+    "id": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "pairId": { "type": "string", "pattern": "^[a-f0-9]{64}:sha256:[a-f0-9]{64}$" },
+    "evidenceId": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "jcsValue": { "anyOf": [{ "type": ["string", "boolean", "null"] }, { "type": "number", "minimum": -9007199254740991, "maximum": 9007199254740991 }, { "type": "array", "items": { "$ref": "#/$defs/jcsValue" } }, { "type": "object", "additionalProperties": { "$ref": "#/$defs/jcsValue" } }] },
+    "keyOrigin": { "type": "object", "required": ["file", "start", "end", "line", "column"], "additionalProperties": false, "properties": { "file": { "type": "string" }, "start": { "type": "integer", "minimum": 0 }, "end": { "type": "integer", "minimum": 1 }, "line": { "type": "integer", "minimum": 1 }, "column": { "type": "integer", "minimum": 1 } } },
+    "literalTerm": { "type": "object", "required": ["kind", "value"], "additionalProperties": false, "properties": { "kind": { "const": "literal" }, "value": { "$ref": "#/$defs/jcsValue" }, "origin": { "$ref": "#/$defs/keyOrigin" } } },
+    "symbolicTerm": { "type": "object", "required": ["kind", "expression", "ownerSymbol", "targetSymbol", "origin", "resolutionPath", "resolution", "reason"], "additionalProperties": false, "properties": { "kind": { "enum": ["parameter", "wildcard", "call", "unknown"] }, "expression": { "type": "string" }, "ownerSymbol": { "type": ["string", "null"] }, "targetSymbol": { "type": ["string", "null"] }, "origin": { "$ref": "#/$defs/keyOrigin" }, "resolutionPath": { "type": "array", "maxItems": 26, "items": { "type": "string" } }, "resolution": { "const": "unresolved" }, "reason": { "type": "string" } } },
+    "term": { "oneOf": [{ "$ref": "#/$defs/literalTerm" }, { "$ref": "#/$defs/symbolicTerm" }] },
+    "pattern": { "type": "object", "required": ["segments"], "additionalProperties": false, "properties": { "segments": { "type": "array", "items": { "$ref": "#/$defs/term" } } } },
+    "cacheKey": { "type": "object", "required": ["id", "material", "provenance"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "type": "object", "required": ["namespace", "version", "segments"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/cache-key" }, "version": { "const": 1 }, "segments": { "type": "array", "items": { "$ref": "#/$defs/term" } } } }, "provenance": { "type": "array", "minItems": 1, "items": { "type": "object" } } } },
+    "sourceSpan": { "type": "object", "required": ["file", "start", "end", "line", "column"], "additionalProperties": false, "properties": { "file": { "type": "string" }, "start": { "type": "integer", "minimum": 0 }, "end": { "type": "integer", "minimum": 1 }, "line": { "type": "integer", "minimum": 1 }, "column": { "type": "integer", "minimum": 1 } } },
+    "read": { "type": "object", "required": ["id", "keyId", "file", "line", "span", "pattern", "endpoint", "family", "confidence"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/evidenceId" }, "keyId": { "$ref": "#/$defs/id" }, "file": { "type": "string" }, "line": { "type": "integer", "minimum": 0 }, "span": { "$ref": "#/$defs/sourceSpan" }, "pattern": { "$ref": "#/$defs/pattern" }, "endpoint": { "type": ["string", "null"] }, "family": { "type": ["string", "null"] }, "familySource": { "enum": ["declaration", "endpoint", "unresolved"] }, "confidence": { "enum": ["exact", "resolved", "coarse", "unresolved", "uncertain"] } } },
+    "mutation": { "type": "object", "required": ["id", "material", "file", "line", "endpoint", "family", "writes", "operationIds", "confidence"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/mutationMaterial" }, "file": { "type": "string" }, "line": { "type": "integer" }, "hook": { "type": ["string", "null"] }, "endpoint": { "type": ["string", "null"] }, "family": { "type": ["string", "null"] }, "familySource": { "enum": ["declaration", "endpoint", "unresolved"] }, "writes": { "type": "array" }, "operationIds": { "type": "array", "items": { "$ref": "#/$defs/id" } }, "confidence": { "type": "string" } } },
+    "surface": { "type": "object", "required": ["id", "material", "route", "file", "component", "readIds", "families", "confidence", "kind"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/surfaceMaterial" }, "route": { "type": "string" }, "file": { "type": ["string", "null"] }, "component": { "type": ["string", "null"] }, "readIds": { "type": "array", "items": { "$ref": "#/$defs/evidenceId" } }, "families": { "type": "array", "items": { "type": "string" } }, "confidence": { "enum": ["exact", "resolved", "coarse", "unresolved"] }, "kind": { "enum": ["route", "component", "modal", "drawer", "tab", "wizard-step", "embedded-widget"] } } },
+    "operationSpan": { "type": "object", "required": ["file", "start", "end"], "additionalProperties": false, "properties": { "file": { "type": "string" }, "start": { "type": "integer", "minimum": 0 }, "end": { "type": "integer", "minimum": 1 } } },
+    "receiver": { "type": "object", "required": ["expression", "ownerSymbol", "targetSymbol", "kind", "resolution", "reason"], "additionalProperties": false, "properties": { "expression": { "type": "string" }, "ownerSymbol": { "type": ["string", "null"] }, "targetSymbol": { "type": ["string", "null"] }, "kind": { "enum": ["query-client", "query-cache", "unknown"] }, "resolution": { "enum": ["resolved", "unresolved"] }, "reason": { "enum": [null, "unsupported-client"] } } },
+    "effect": { "type": "object", "required": ["kind", "scope"], "additionalProperties": false, "properties": { "kind": { "enum": ["invalidate", "refetch", "reset", "remove", "update", "clear-query-cache", "clear-mutation-cache"] }, "scope": { "type": "string" } } },
+    "cacheOperation": { "type": "object", "required": ["id", "material", "provenance"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "type": "object", "required": ["namespace", "version", "sourceRef", "receiver", "operation", "keyId", "keyMatch", "exact", "predicate", "filters", "effects"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/cache-operation" }, "version": { "const": 1 }, "sourceRef": { "$ref": "#/$defs/operationSpan" }, "receiver": { "$ref": "#/$defs/receiver" }, "operation": { "enum": ["invalidateQueries", "refetchQueries", "resetQueries", "removeQueries", "setQueryData", "setQueriesData", "clear"] }, "keyId": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" }, "keyMatch": { "enum": ["all", "prefix", "exact", "unknown"] }, "exact": { "type": ["boolean", "null"] }, "predicate": { "anyOf": [{ "type": "null" }, { "$ref": "#/$defs/term" }] }, "filters": { "type": "object", "additionalProperties": false, "properties": { "type": {}, "stale": {}, "fetchStatus": {}, "refetchType": {} } }, "effects": { "type": "array", "items": { "$ref": "#/$defs/effect" } } } }, "provenance": { "type": "array", "minItems": 1, "items": { "type": "object" } } } },
+    "sideChannel": { "type": "object", "required": ["id", "operationId", "readId", "keyCoverage", "effectCoverage", "mandatory"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/pairId" }, "operationId": { "$ref": "#/$defs/id" }, "readId": { "$ref": "#/$defs/evidenceId" }, "keyCoverage": { "enum": ["covered", "not-covered", "unresolved"] }, "effectCoverage": { "enum": ["covered", "not-covered", "unresolved"] }, "mandatory": { "type": "boolean" } } },
+    "sourceRef": { "type": "object", "required": ["file", "line"], "additionalProperties": false, "properties": { "file": { "type": ["string", "null"] }, "line": { "type": "integer", "minimum": 0 } } },
+    "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": { "type": ["string", "null"] }, "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" } } },
+    "contextMaterial": { "type": "object", "required": ["namespace", "version", "kind", "transition"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/context" }, "version": { "const": 1 }, "kind": { "enum": ["warm-cache", "fresh-context"] }, "transition": { "type": ["string", "null"] } } },
+    "invariantMaterial": { "type": "object", "required": ["namespace", "version", "name"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/invariant" }, "version": { "const": 1 }, "name": { "enum": ["field-parity", "visibility-policy", "durability"] } } },
+    "flowMaterial": { "type": "object", "required": ["namespace", "version", "route", "declaredEndpoint"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/flow" }, "version": { "const": 1 }, "route": { "type": "string" }, "declaredEndpoint": { "type": "string" } } },
+    "mutationIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/mutationMaterial" } } },
+    "surfaceIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/surfaceMaterial" } } },
+    "targetIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/targetMaterial" } } },
+    "principalIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/principalMaterial" } } },
+    "contextIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/contextMaterial" } } },
+    "invariantIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/invariantMaterial" } } },
+    "flowIdentity": { "type": "object", "required": ["id", "material"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/flowMaterial" } } },
+    "unresolvedTarget": { "type": "object", "required": ["status", "reason"], "additionalProperties": false, "properties": { "status": { "const": "unresolved" }, "reason": { "const": "declaration-target-not-joined" } } },
+    "coordinates": { "type": "object", "required": ["mutation", "target", "surface", "principal", "context", "invariant", "expectation"], "additionalProperties": false, "properties": { "mutation": { "$ref": "#/$defs/mutationIdentity" }, "target": { "oneOf": [{ "$ref": "#/$defs/targetIdentity" }, { "$ref": "#/$defs/unresolvedTarget" }] }, "surface": { "$ref": "#/$defs/surfaceIdentity" }, "principal": { "$ref": "#/$defs/principalIdentity" }, "context": { "$ref": "#/$defs/contextIdentity" }, "invariant": { "$ref": "#/$defs/invariantIdentity" }, "expectation": { "enum": ["visible", "absent", "redacted", "withheld", "forbidden"] } } },
+    "cellMaterial": { "type": "object", "required": ["namespace", "version", "mutation", "target", "surface", "principal", "context", "invariant", "expectation"], "additionalProperties": false, "properties": { "namespace": { "const": "coherence/observation-cell" }, "version": { "const": 1 }, "mutation": { "$ref": "#/$defs/mutationIdentity" }, "target": { "oneOf": [{ "$ref": "#/$defs/targetIdentity" }, { "$ref": "#/$defs/unresolvedTarget" }] }, "surface": { "$ref": "#/$defs/surfaceIdentity" }, "principal": { "$ref": "#/$defs/principalIdentity" }, "context": { "$ref": "#/$defs/contextIdentity" }, "invariant": { "$ref": "#/$defs/invariantIdentity" }, "expectation": { "enum": ["visible", "absent", "redacted", "withheld", "forbidden"] } } },
+    "obligation": { "type": "object", "required": ["id", "material", "coordinates", "mutationId", "surfaceId", "route", "principal", "principalId", "context", "invariant", "expectation", "weight", "mandatory", "operationIds", "sideChannelIds", "sideChannels", "sideChannelStatus", "family", "component"], "additionalProperties": false, "properties": { "id": { "$ref": "#/$defs/id" }, "material": { "$ref": "#/$defs/cellMaterial" }, "coordinates": { "$ref": "#/$defs/coordinates" }, "mutationId": { "$ref": "#/$defs/id" }, "surfaceId": { "$ref": "#/$defs/id" }, "route": { "type": "string" }, "principal": { "type": "string" }, "principalId": { "$ref": "#/$defs/id" }, "context": { "enum": ["warm-cache", "fresh-context"] }, "invariant": { "enum": ["field-parity", "visibility-policy", "durability"] }, "expectation": { "enum": ["visible", "absent", "redacted", "withheld", "forbidden"] }, "weight": { "type": "integer", "minimum": 0 }, "mandatory": { "type": "boolean" }, "operationIds": { "type": "array", "items": { "$ref": "#/$defs/id" } }, "sideChannelIds": { "type": "array", "items": { "$ref": "#/$defs/pairId" } }, "sideChannels": { "type": "array", "items": { "$ref": "#/$defs/sideChannel" } }, "sideChannelStatus": { "enum": ["covered", "not-covered", "unresolved"] }, "family": { "type": "string" }, "component": { "type": ["string", "null"] }, "flowIdentity": { "$ref": "#/$defs/flowIdentity" } } },
+    "target": { "type": "object", "required": ["surfaceId", "surfaceIdentity", "route", "component", "family", "obligationIds", "obligations", "operationIds", "sideChannelIds", "sideChannels", "sideChannelStatus"], "additionalProperties": false, "properties": { "surfaceId": { "$ref": "#/$defs/id" }, "surfaceIdentity": { "$ref": "#/$defs/surfaceIdentity" }, "route": { "type": "string" }, "component": { "type": ["string", "null"] }, "family": { "type": "string" }, "obligationIds": { "type": "array", "items": { "$ref": "#/$defs/id" } }, "obligations": { "type": "array", "items": { "$ref": "#/$defs/obligation" } }, "operationIds": { "type": "array", "items": { "$ref": "#/$defs/id" } }, "sideChannelIds": { "type": "array", "items": { "$ref": "#/$defs/pairId" } }, "sideChannels": { "type": "array", "items": { "$ref": "#/$defs/sideChannel" } }, "sideChannelStatus": { "enum": ["covered", "not-covered", "unresolved"] } } },
+    "journey": { "type": "object", "required": ["journeyId", "mutationId", "mutationIdentity", "route", "covers", "weight", "cost", "targets"], "additionalProperties": false, "properties": { "journeyId": { "type": "string" }, "mutationId": { "$ref": "#/$defs/id" }, "mutationIdentity": { "$ref": "#/$defs/mutationIdentity" }, "flowIdentity": { "$ref": "#/$defs/flowIdentity" }, "route": { "type": "string" }, "covers": { "type": "integer", "minimum": 0 }, "weight": { "type": "integer", "minimum": 0 }, "cost": { "type": "number", "minimum": 0 }, "targets": { "type": "array", "items": { "$ref": "#/$defs/target" } } } },
+    "coverage": { "type": "object", "required": ["discovered", "resolved", "unresolved", "planned", "reached", "compared", "agreed"], "additionalProperties": false, "properties": { "discovered": { "type": "integer", "minimum": 0 }, "resolved": { "type": "integer", "minimum": 0 }, "unresolved": { "type": "integer", "minimum": 0 }, "planned": { "type": "integer", "minimum": 0 }, "reached": { "type": "integer", "minimum": 0 }, "compared": { "type": "integer", "minimum": 0 }, "agreed": { "type": "integer", "minimum": 0 } } },
+    "universe": { "type": "object", "required": ["obligations", "discovered", "unresolved", "mutations", "surfaces", "principals", "contexts", "invariants", "operations", "sideChannels", "unresolvedSideChannels"], "additionalProperties": false, "properties": { "obligations": { "type": "integer", "minimum": 0 }, "discovered": { "type": "integer", "minimum": 0 }, "unresolved": { "type": "integer", "minimum": 0 }, "mutations": { "type": "integer", "minimum": 0 }, "surfaces": { "type": "integer", "minimum": 0 }, "principals": { "type": "integer", "minimum": 0 }, "contexts": { "type": "integer", "minimum": 0 }, "invariants": { "type": "integer", "minimum": 0 }, "operations": { "type": "integer", "minimum": 0 }, "sideChannels": { "type": "integer", "minimum": 0 }, "unresolvedSideChannels": { "type": "integer", "minimum": 0 } } },
+    "familyAccounting": { "type": "object", "required": ["family", "mutations", "surfaces", "principals", "contexts", "invariants", "possible", "excluded", "discovered", "resolved", "unresolved", "planned"], "additionalProperties": false, "properties": { "family": { "type": "string" }, "mutations": { "type": "integer", "minimum": 0 }, "surfaces": { "type": "integer", "minimum": 0 }, "principals": { "type": "integer", "minimum": 0 }, "contexts": { "type": "integer", "minimum": 0 }, "invariants": { "type": "integer", "minimum": 0 }, "possible": { "type": "integer", "minimum": 0 }, "excluded": { "type": "object", "additionalProperties": { "type": "integer", "minimum": 0 } }, "discovered": { "type": "integer", "minimum": 0 }, "resolved": { "type": "integer", "minimum": 0 }, "unresolved": { "type": "integer", "minimum": 0 }, "planned": { "type": "integer", "minimum": 0 } } },
+    "unattributed": { "type": "object", "required": ["unresolvedWriters", "unresolvedWriterObligations", "writersWithNoReaderSurface", "writerFamiliesWithNoReaderSurface"], "additionalProperties": false, "properties": { "unresolvedWriters": { "type": "integer", "minimum": 0 }, "unresolvedWriterObligations": { "type": "integer", "minimum": 0 }, "writersWithNoReaderSurface": { "type": "integer", "minimum": 0 }, "writerFamiliesWithNoReaderSurface": { "type": "array", "items": { "type": "string" } } } },
+    "perRoute": { "type": "object", "required": ["route", "obligations", "uncovered"], "additionalProperties": false, "properties": { "route": { "type": "string" }, "obligations": { "type": "integer", "minimum": 0 }, "uncovered": { "type": "integer", "minimum": 0 } } },
+    "plan": { "type": "object", "required": ["ok", "reason", "budget", "selected", "rejected", "unselected"], "additionalProperties": false, "properties": { "ok": { "type": "boolean" }, "reason": { "type": ["string", "null"] }, "budget": { "type": "number", "minimum": 0 }, "selected": { "type": "array", "items": { "$ref": "#/$defs/journey" } }, "rejected": { "type": "integer", "minimum": 0 }, "unselected": { "type": "integer", "minimum": 0 } } }
+  }
+}

package/schemas/coherence-risk.schema.json

@@ -0,0 +1,46 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/coherence-risk.schema.json",
+  "title": "coherence-risk.json",
+  "type": "object",
+  "required": ["schemaVersion", "status", "windowDays", "commitsInWindow", "counts", "families"],
+  "additionalProperties": false,
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "status": { "type": "string", "enum": ["measured", "unmeasured"] },
+    "reason": { "type": ["string", "null"] },
+    "windowDays": { "type": "integer", "minimum": 1 },
+    "commitsInWindow": { "type": "integer", "minimum": 0 },
+    "counts": {
+      "type": "object",
+      "required": ["families", "ranked", "unmeasured"],
+      "additionalProperties": false,
+      "properties": {
+        "families": { "type": "integer", "minimum": 0 },
+        "ranked": { "type": "integer", "minimum": 0 },
+        "unmeasured": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "families": { "type": "array", "items": { "$ref": "#/$defs/family" } }
+  },
+  "$defs": {
+    "family": {
+      "type": "object",
+      "required": ["family", "files", "impact", "uncertainty", "affectedSurfaces", "commits", "changeRate", "risk", "neverCompared", "remeasureOn"],
+      "additionalProperties": false,
+      "properties": {
+        "family": { "type": "string", "minLength": 1 },
+        "files": { "type": "array", "items": { "type": "string" } },
+        "impact": { "type": "number", "minimum": 0 },
+        "uncertainty": { "type": ["number", "null"], "minimum": 0 },
+        "affectedSurfaces": { "type": "integer", "minimum": 0 },
+        "commits": { "type": ["integer", "null"], "minimum": 0 },
+        "changeRate": { "type": ["number", "null"], "minimum": 0 },
+        "risk": { "type": ["number", "null"], "minimum": 0 },
+        "reason": { "type": ["string", "null"] },
+        "neverCompared": { "type": "boolean" },
+        "remeasureOn": { "type": "array", "items": { "type": "string" } }
+      }
+    }
+  }
+}

package/schemas/crud-observed.schema.json

@@ -0,0 +1,118 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/crud-observed.schema.json",
+  "title": "crud-observed.json",
+  "description": "bin/crud-runner.mjs — executable CRUD reconciliation: create/read/update/delete plus reload/navigation reconciliation through a real browser.",
+  "type": "object",
+  "required": ["status", "runId", "base", "flows", "findings"],
+  "additionalProperties": true,
+  "properties": {
+    "status": { "type": "string", "enum": ["measured", "invalid"] },
+    "runId": { "type": "string", "minLength": 1 },
+    "base": { "type": "string" },
+    "lane": { "type": "string" },
+    "fixtureNamespace": { "type": "string" },
+    "attempts": { "type": "integer", "minimum": 0 },
+    "counts": { "$ref": "#/$defs/stepCounts" },
+    "coverage": { "$ref": "#/$defs/coverage" },
+    "invalid": { "$ref": "#/$defs/invalid" },
+    "reason": { "type": "string" },
+    "flows": { "type": "array", "items": { "$ref": "#/$defs/flowResult" } },
+    "findings": { "type": "array", "items": { "$ref": "#/$defs/finding" } }
+  },
+  "$defs": {
+    "stepCounts": {
+      "type": "object",
+      "additionalProperties": { "$ref": "#/$defs/counts" }
+    },
+    "counts": {
+      "type": "object",
+      "required": ["true", "false", "unmeasured"],
+      "additionalProperties": false,
+      "properties": {
+        "true": { "type": "integer", "minimum": 0 },
+        "false": { "type": "integer", "minimum": 0 },
+        "unmeasured": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "coverage": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "required": ["planned", "measured", "unmeasured", "failed"],
+        "additionalProperties": false,
+        "properties": {
+          "planned": { "type": "integer", "minimum": 0 },
+          "measured": { "type": "integer", "minimum": 0 },
+          "unmeasured": { "type": "integer", "minimum": 0 },
+          "failed": { "type": "integer", "minimum": 0 }
+        }
+      }
+    },
+    "invalid": {
+      "type": "object",
+      "required": ["reason", "gaps"],
+      "additionalProperties": false,
+      "properties": {
+        "reason": { "type": "string", "minLength": 1 },
+        "gaps": { "type": "array", "items": { "type": "string" } }
+      }
+    },
+    "tristate": { "anyOf": [{ "type": "boolean" }, { "const": "unmeasured" }] },
+    "request": {
+      "type": "object",
+      "required": ["method", "path", "status"],
+      "additionalProperties": true,
+      "properties": {
+        "method": { "type": "string" },
+        "path": { "type": "string" },
+        "status": { "type": "integer" }
+      }
+    },
+    "outcome": {
+      "type": "object",
+      "required": ["role", "create", "read", "update", "delete", "reload_reconciled", "navigation_reconciled", "authorized", "cleanup"],
+      "additionalProperties": true,
+      "properties": {
+        "role": { "type": "string" },
+        "create": { "$ref": "#/$defs/tristate" },
+        "read": { "$ref": "#/$defs/tristate" },
+        "update": { "$ref": "#/$defs/tristate" },
+        "delete": { "$ref": "#/$defs/tristate" },
+        "reload_reconciled": { "$ref": "#/$defs/tristate" },
+        "navigation_reconciled": { "$ref": "#/$defs/tristate" },
+        "authorized": { "$ref": "#/$defs/tristate" },
+        "cleanup": { "$ref": "#/$defs/tristate" },
+        "gap": { "type": ["string", "null"] }
+      }
+    },
+    "flowResult": {
+      "type": "object",
+      "required": ["name", "persona", "outcome", "requests"],
+      "additionalProperties": true,
+      "properties": {
+        "name": { "type": "string" },
+        "persona": { "type": "string" },
+        "route": { "type": ["string", "null"] },
+        "outcome": { "$ref": "#/$defs/outcome" },
+        "requests": { "type": "array", "items": { "$ref": "#/$defs/request" } },
+        "gaps": { "type": "array", "items": { "type": "string" } }
+      }
+    },
+    "finding": {
+      "type": "object",
+      "required": ["kind", "severity", "at", "detail"],
+      "additionalProperties": true,
+      "properties": {
+        "kind": {
+          "type": "string",
+          "enum": ["crud.create-failed", "crud.write-lost", "crud.update-lost", "crud.delete-ineffective", "crud.unauthorized-allowed", "crud.cleanup-failed"]
+        },
+        "severity": { "type": "string", "enum": ["P0", "P1", "P2", "P3"] },
+        "at": { "type": "string" },
+        "route": { "type": ["string", "null"] },
+        "detail": { "type": "string" }
+      }
+    }
+  }
+}

package/schemas/experiment-execution.schema.json

@@ -0,0 +1,82 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/experiment-execution.schema.json",
+  "title": "experiment-execution.json",
+  "description": "bin/experiment-executor.mjs — executes the accepted candidates from the Rust experiment queue as targeted control/treatment sweeps, written to .verify/autonomous/experiment-execution.json.",
+  "type": "object",
+  "required": ["status", "executed", "skipped", "effect", "budget"],
+  "additionalProperties": true,
+  "properties": {
+    "status": { "type": "string", "enum": ["measured", "invalid", "unmeasured"] },
+    "reason": { "type": "string" },
+    "executed": { "type": "array", "items": { "$ref": "#/$defs/executedEntry" } },
+    "skipped": { "type": "array", "items": { "$ref": "#/$defs/skippedEntry" } },
+    "effect": { "type": "array", "items": { "$ref": "#/$defs/effectEntry" } },
+    "budget": {
+      "type": "object",
+      "required": ["cells", "cellsUsed", "wallMs", "elapsedMs"],
+      "additionalProperties": true,
+      "properties": {
+        "cells": { "type": "integer", "minimum": 0 },
+        "cellsUsed": { "type": "integer", "minimum": 0 },
+        "wallMs": { "type": "integer", "minimum": 0 },
+        "elapsedMs": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "integrity_hash": { "type": ["string", "null"] },
+    "runnerExit": { "type": ["integer", "null"] },
+    "experimentId": { "type": ["string", "null"] }
+  },
+  "$defs": {
+    "observation": {
+      "type": "object",
+      "required": ["arm", "route", "outcome", "integrity_hash", "evidence_id"],
+      "additionalProperties": true,
+      "properties": {
+        "arm": { "type": "string", "enum": ["control", "treatment"] },
+        "route": { "type": "string" },
+        "status": { "type": ["integer", "null"] },
+        "outcome": { "type": "array", "items": { "type": "string" } },
+        "metric": { "type": ["number", "null"] },
+        "integrity_hash": { "type": "string" },
+        "evidence_id": { "type": "string", "pattern": "^sha256:" }
+      }
+    },
+    "executedEntry": {
+      "type": "object",
+      "required": ["route", "family", "status"],
+      "additionalProperties": true,
+      "properties": {
+        "route": { "type": "string" },
+        "family": { "type": "string" },
+        "status": { "type": "string", "enum": ["measured", "invalid"] },
+        "reason": { "type": "string" },
+        "control": { "$ref": "#/$defs/observation" },
+        "treatment": { "$ref": "#/$defs/observation" }
+      }
+    },
+    "skippedEntry": {
+      "type": "object",
+      "required": ["route", "family", "reason"],
+      "additionalProperties": true,
+      "properties": {
+        "route": { "type": "string" },
+        "family": { "type": "string" },
+        "reason": { "type": "string" }
+      }
+    },
+    "effectEntry": {
+      "type": "object",
+      "required": ["route", "family", "kind", "severity"],
+      "additionalProperties": true,
+      "properties": {
+        "route": { "type": "string" },
+        "family": { "type": "string" },
+        "kind": { "type": "string" },
+        "severity": { "type": "string", "enum": ["P0", "P1", "P2", "P3"] },
+        "detail": { "type": ["string", "null"] },
+        "at": { "type": ["string", "null"] }
+      }
+    }
+  }
+}

package/schemas/graph-edge.schema.json

@@ -0,0 +1,22 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/graph-edge.schema.json",
+  "title": "edges.jsonl (one line)",
+  "description": "agent/src/graph_schema.rs — one line of the finite graph edge contract. Nine edge relations, a full SHA-256 edgeId over the canonical (fromRecordId, toRecordId, relation, semantic-key) tuple. Design: ARCHITECTURE.md, section L2 -- the Rust reduction kernel.",
+  "type": "object",
+  "required": ["edgeId", "from", "to", "relation"],
+  "additionalProperties": true,
+  "properties": {
+    "edgeId": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "from": { "type": "string", "pattern": "^[0-9a-f]{64}$", "description": "the source node's recordId" },
+    "to": { "type": "string", "pattern": "^[0-9a-f]{64}$", "description": "the target node's recordId" },
+    "relation": { "$ref": "#/$defs/edgeRelation" },
+    "semanticKey": { "type": "string", "maxLength": 200, "description": "participates in edgeId; disambiguates multiple edges between the same pair under the same relation" }
+  },
+  "$defs": {
+    "edgeRelation": {
+      "type": "string",
+      "enum": ["renders-through", "reads", "writes", "writes-to", "invalidates", "transitions-to", "owned-by", "evidenced-by", "observed-as"]
+    }
+  }
+}

package/schemas/graph-node.schema.json

@@ -0,0 +1,81 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/graph-node.schema.json",
+  "title": "nodes.jsonl (one line)",
+  "description": "agent/src/graph_schema.rs — one line of the finite graph node contract. Ten node kinds, per-kind bounded attributes, a full 256-bit recordId. Design: ARCHITECTURE.md, section L2 -- the Rust reduction kernel.",
+  "type": "object",
+  "required": ["recordId", "kind", "attrs"],
+  "additionalProperties": true,
+  "properties": {
+    "recordId": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "fid": { "type": "string", "description": "legacy display prefix only, never the record identity" },
+    "kind": { "$ref": "#/$defs/nodeKind" },
+    "attrs": { "$ref": "#/$defs/nodeAttrs" }
+  },
+  "$defs": {
+    "nodeKind": {
+      "type": "string",
+      "enum": ["finding", "route", "component", "query", "mutation", "entity", "endpoint", "role", "transition", "evidence"]
+    },
+    "evidenceRef": {
+      "type": "object",
+      "required": ["report", "pointer"],
+      "additionalProperties": false,
+      "properties": {
+        "report": { "type": "string", "enum": ["inventory", "classify", "sweep"] },
+        "pointer": { "type": "string", "pattern": "^(/[^/]*)*$" },
+        "file": { "type": "string", "minLength": 1, "maxLength": 200, "not": { "pattern": "^(/|\\\\|[A-Za-z]:)" } },
+        "line": { "type": "integer", "minimum": 1 }
+      }
+    },
+    "boundedName": { "type": "string", "minLength": 1, "maxLength": 200 },
+    "routeTemplate": {
+      "type": "string",
+      "maxLength": 512,
+      "pattern": "^/([A-Za-z0-9._~-]{1,64}|:[A-Za-z][A-Za-z0-9_]{0,63})(/([A-Za-z0-9._~-]{1,64}|:[A-Za-z][A-Za-z0-9_]{0,63}))*$"
+    },
+    "nodeAttrs": {
+      "description": "Untagged: shape alone matches one of the ten kinds this node's own `kind` field already names. There is no free-form attributes slot.",
+      "oneOf": [
+        {
+          "type": "object",
+          "required": ["severity", "findingKind", "status", "evidenceRef"],
+          "additionalProperties": false,
+          "properties": {
+            "severity": { "$ref": "#/$defs/boundedName" },
+            "findingKind": { "$ref": "#/$defs/boundedName" },
+            "status": { "$ref": "#/$defs/boundedName" },
+            "evidenceRef": { "$ref": "#/$defs/evidenceRef" }
+          }
+        },
+        {
+          "type": "object",
+          "required": ["template"],
+          "additionalProperties": false,
+          "properties": { "template": { "$ref": "#/$defs/routeTemplate" } }
+        },
+        {
+          "type": "object",
+          "required": ["fromRoute", "toRoute"],
+          "additionalProperties": false,
+          "properties": {
+            "fromRoute": { "$ref": "#/$defs/routeTemplate" },
+            "toRoute": { "$ref": "#/$defs/routeTemplate" }
+          }
+        },
+        {
+          "type": "object",
+          "required": ["evidenceRef"],
+          "additionalProperties": false,
+          "properties": { "evidenceRef": { "$ref": "#/$defs/evidenceRef" } }
+        },
+        {
+          "type": "object",
+          "required": ["name"],
+          "additionalProperties": false,
+          "properties": { "name": { "$ref": "#/$defs/boundedName" } }
+        }
+      ]
+    }
+  }
+}