@vibecheckai/cli 3.0.10 → 3.1.1

package/bin/runners/lib/schemas/proof-graph.schema.json

@@ -1,176 +1,176 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://vibecheck.dev/schemas/proof-graph.schema.json",
-  "title": "Vibecheck Proof Graph",
-  "description": "Graph linking UI actions to client calls to server routes with evidence",
-  "type": "object",
-  "required": ["specVersion", "generatedAt", "fingerprint", "nodes", "edges"],
-  "properties": {
-    "specVersion": {
-      "type": "string",
-      "const": "2.0"
-    },
-    "generatedAt": {
-      "type": "string",
-      "format": "date-time"
-    },
-    "fingerprint": {
-      "type": "string",
-      "pattern": "^sha256:[a-f0-9]{64}$"
-    },
-    "nodes": {
-      "type": "array",
-      "items": { "$ref": "#/$defs/node" },
-      "minItems": 0
-    },
-    "edges": {
-      "type": "array",
-      "items": { "$ref": "#/$defs/edge" },
-      "minItems": 0
-    },
-    "stats": {
-      "$ref": "#/$defs/graphStats"
-    },
-    "gaps": {
-      "type": "array",
-      "items": { "$ref": "#/$defs/proofGap" },
-      "description": "Nodes without required edges"
-    }
-  },
-  "$defs": {
-    "node": {
-      "type": "object",
-      "required": ["id", "type"],
-      "properties": {
-        "id": {
-          "type": "string",
-          "description": "Unique node ID matching source entity ID"
-        },
-        "type": {
-          "type": "string",
-          "enum": ["UI_BINDING", "CLIENT_CALL", "SERVER_ROUTE", "RUNTIME_REQUEST", "UI_SIGNAL"],
-          "description": "Node type determines required edges"
-        },
-        "label": {
-          "type": "string",
-          "description": "Human-readable label"
-        },
-        "file": { "type": ["string", "null"] },
-        "line": { "type": ["integer", "null"] },
-        "confidence": {
-          "type": "string",
-          "enum": ["high", "medium", "low"]
-        },
-        "source": {
-          "type": "string",
-          "enum": ["static", "runtime"],
-          "default": "static"
-        },
-        "metadata": {
-          "type": "object",
-          "description": "Type-specific metadata"
-        }
-      }
-    },
-    "edge": {
-      "type": "object",
-      "required": ["id", "type", "from", "to"],
-      "properties": {
-        "id": {
-          "type": "string",
-          "pattern": "^E_[A-F0-9]+$"
-        },
-        "type": {
-          "type": "string",
-          "enum": [
-            "TRIGGERS",
-            "CALLS",
-            "MATCHES",
-            "PRODUCES",
-            "VERIFIED_BY"
-          ],
-          "description": "Edge relationship type"
-        },
-        "from": {
-          "type": "string",
-          "description": "Source node ID"
-        },
-        "to": {
-          "type": "string",
-          "description": "Target node ID"
-        },
-        "confidence": {
-          "type": "string",
-          "enum": ["high", "medium", "low"]
-        },
-        "score": {
-          "type": "number",
-          "minimum": 0,
-          "maximum": 1,
-          "description": "Match score for fuzzy edges"
-        },
-        "evidence": {
-          "type": "array",
-          "items": { "type": "object" }
-        }
-      }
-    },
-    "graphStats": {
-      "type": "object",
-      "properties": {
-        "nodeCount": { "type": "integer", "minimum": 0 },
-        "edgeCount": { "type": "integer", "minimum": 0 },
-        "byNodeType": {
-          "type": "object",
-          "additionalProperties": { "type": "integer" }
-        },
-        "byEdgeType": {
-          "type": "object",
-          "additionalProperties": { "type": "integer" }
-        },
-        "coverage": {
-          "type": "object",
-          "properties": {
-            "uiBindingsWithTriggers": { "type": "number" },
-            "clientCallsWithMatches": { "type": "number" },
-            "serverRoutesWithCalls": { "type": "number" },
-            "runtimeRequestsMapped": { "type": "number" }
-          }
-        }
-      }
-    },
-    "proofGap": {
-      "type": "object",
-      "required": ["nodeId", "nodeType", "missingEdgeType"],
-      "properties": {
-        "nodeId": { "type": "string" },
-        "nodeType": { "type": "string" },
-        "missingEdgeType": { "type": "string" },
-        "severity": {
-          "type": "string",
-          "enum": ["BLOCK", "WARN", "INFO"]
-        },
-        "reason": { "type": "string" }
-      }
-    }
-  },
-  "x-edge-requirements": {
-    "description": "Minimum edge requirements by node type for proof completeness",
-    "UI_BINDING": {
-      "outgoing": ["TRIGGERS"],
-      "note": "UI binding should trigger at least one client call"
-    },
-    "CLIENT_CALL": {
-      "outgoing": ["MATCHES"],
-      "note": "Client call should match a server route"
-    },
-    "SERVER_ROUTE": {
-      "incoming": ["MATCHES"],
-      "note": "Server route should be called by at least one client call (or be dead)"
-    },
-    "RUNTIME_REQUEST": {
-      "outgoing": ["MATCHES"],
-      "note": "Runtime request should map to a client call"
-    }
-  }
-}
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://vibecheck.dev/schemas/proof-graph.schema.json",
+  "title": "Vibecheck Proof Graph",
+  "description": "Graph linking UI actions to client calls to server routes with evidence",
+  "type": "object",
+  "required": ["specVersion", "generatedAt", "fingerprint", "nodes", "edges"],
+  "properties": {
+    "specVersion": {
+      "type": "string",
+      "const": "2.0"
+    },
+    "generatedAt": {
+      "type": "string",
+      "format": "date-time"
+    },
+    "fingerprint": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$"
+    },
+    "nodes": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/node" },
+      "minItems": 0
+    },
+    "edges": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/edge" },
+      "minItems": 0
+    },
+    "stats": {
+      "$ref": "#/$defs/graphStats"
+    },
+    "gaps": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/proofGap" },
+      "description": "Nodes without required edges"
+    }
+  },
+  "$defs": {
+    "node": {
+      "type": "object",
+      "required": ["id", "type"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "description": "Unique node ID matching source entity ID"
+        },
+        "type": {
+          "type": "string",
+          "enum": ["UI_BINDING", "CLIENT_CALL", "SERVER_ROUTE", "RUNTIME_REQUEST", "UI_SIGNAL"],
+          "description": "Node type determines required edges"
+        },
+        "label": {
+          "type": "string",
+          "description": "Human-readable label"
+        },
+        "file": { "type": ["string", "null"] },
+        "line": { "type": ["integer", "null"] },
+        "confidence": {
+          "type": "string",
+          "enum": ["high", "medium", "low"]
+        },
+        "source": {
+          "type": "string",
+          "enum": ["static", "runtime"],
+          "default": "static"
+        },
+        "metadata": {
+          "type": "object",
+          "description": "Type-specific metadata"
+        }
+      }
+    },
+    "edge": {
+      "type": "object",
+      "required": ["id", "type", "from", "to"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^E_[A-F0-9]+$"
+        },
+        "type": {
+          "type": "string",
+          "enum": [
+            "TRIGGERS",
+            "CALLS",
+            "MATCHES",
+            "PRODUCES",
+            "VERIFIED_BY"
+          ],
+          "description": "Edge relationship type"
+        },
+        "from": {
+          "type": "string",
+          "description": "Source node ID"
+        },
+        "to": {
+          "type": "string",
+          "description": "Target node ID"
+        },
+        "confidence": {
+          "type": "string",
+          "enum": ["high", "medium", "low"]
+        },
+        "score": {
+          "type": "number",
+          "minimum": 0,
+          "maximum": 1,
+          "description": "Match score for fuzzy edges"
+        },
+        "evidence": {
+          "type": "array",
+          "items": { "type": "object" }
+        }
+      }
+    },
+    "graphStats": {
+      "type": "object",
+      "properties": {
+        "nodeCount": { "type": "integer", "minimum": 0 },
+        "edgeCount": { "type": "integer", "minimum": 0 },
+        "byNodeType": {
+          "type": "object",
+          "additionalProperties": { "type": "integer" }
+        },
+        "byEdgeType": {
+          "type": "object",
+          "additionalProperties": { "type": "integer" }
+        },
+        "coverage": {
+          "type": "object",
+          "properties": {
+            "uiBindingsWithTriggers": { "type": "number" },
+            "clientCallsWithMatches": { "type": "number" },
+            "serverRoutesWithCalls": { "type": "number" },
+            "runtimeRequestsMapped": { "type": "number" }
+          }
+        }
+      }
+    },
+    "proofGap": {
+      "type": "object",
+      "required": ["nodeId", "nodeType", "missingEdgeType"],
+      "properties": {
+        "nodeId": { "type": "string" },
+        "nodeType": { "type": "string" },
+        "missingEdgeType": { "type": "string" },
+        "severity": {
+          "type": "string",
+          "enum": ["BLOCK", "WARN", "INFO"]
+        },
+        "reason": { "type": "string" }
+      }
+    }
+  },
+  "x-edge-requirements": {
+    "description": "Minimum edge requirements by node type for proof completeness",
+    "UI_BINDING": {
+      "outgoing": ["TRIGGERS"],
+      "note": "UI binding should trigger at least one client call"
+    },
+    "CLIENT_CALL": {
+      "outgoing": ["MATCHES"],
+      "note": "Client call should match a server route"
+    },
+    "SERVER_ROUTE": {
+      "incoming": ["MATCHES"],
+      "note": "Server route should be called by at least one client call (or be dead)"
+    },
+    "RUNTIME_REQUEST": {
+      "outgoing": ["MATCHES"],
+      "note": "Runtime request should map to a client call"
+    }
+  }
+}