agentskeptic 0.1.1

package/schemas/tools-registry.schema.json

@@ -0,0 +1,284 @@
+{
+  "$id": "https://agentskeptic.com/schemas/tools-registry.schema.json",
+  "title": "ToolsRegistry",
+  "type": "array",
+  "minItems": 1,
+  "items": {
+    "type": "object",
+    "additionalProperties": false,
+    "required": ["toolId", "effectDescriptionTemplate", "verification"],
+    "properties": {
+      "toolId": { "type": "string", "minLength": 1 },
+      "effectDescriptionTemplate": { "type": "string" },
+      "verification": {
+        "oneOf": [
+          {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["kind", "table", "identityEq", "requiredFields"],
+            "properties": {
+              "kind": { "const": "sql_row" },
+              "table": { "$ref": "#/$defs/tableSpec" },
+              "identityEq": { "$ref": "#/$defs/identityEqSpec" },
+              "requiredFields": { "$ref": "#/$defs/requiredFieldsPointer" }
+            }
+          },
+          {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["kind", "table", "identityEq"],
+            "properties": {
+              "kind": { "const": "sql_row_absent" },
+              "table": { "$ref": "#/$defs/tableSpec" },
+              "identityEq": { "$ref": "#/$defs/identityEqSpec" },
+              "filterEq": {
+                "type": "array",
+                "items": { "$ref": "#/$defs/equalityPair" }
+              }
+            }
+          },
+          {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["kind", "effects"],
+            "properties": {
+              "kind": { "const": "sql_effects" },
+              "effects": {
+                "type": "array",
+                "minItems": 2,
+                "items": {
+                  "type": "object",
+                  "additionalProperties": false,
+                  "required": ["id", "table", "identityEq", "requiredFields"],
+                  "properties": {
+                    "id": { "type": "string", "minLength": 1 },
+                    "table": { "$ref": "#/$defs/tableSpec" },
+                    "identityEq": { "$ref": "#/$defs/identityEqSpec" },
+                    "requiredFields": { "$ref": "#/$defs/requiredFieldsPointer" }
+                  }
+                }
+              }
+            }
+          },
+          {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["kind", "checks"],
+            "properties": {
+              "kind": { "const": "sql_relational" },
+              "checks": {
+                "type": "array",
+                "minItems": 1,
+                "items": { "$ref": "#/$defs/sqlRelationalCheck" }
+              }
+            }
+          }
+        ]
+      }
+    }
+  },
+  "$defs": {
+    "tableSpec": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["const"],
+          "properties": { "const": { "type": "string", "minLength": 1 } }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["pointer"],
+          "properties": { "pointer": { "type": "string", "pattern": "^/" } }
+        }
+      ]
+    },
+    "equalityPair": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["column", "value"],
+      "properties": {
+        "column": { "$ref": "#/$defs/columnSpec" },
+        "value": { "$ref": "#/$defs/scalarOrPointer" }
+      }
+    },
+    "identityEqSpec": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "$ref": "#/$defs/equalityPair" }
+    },
+    "requiredFieldsPointer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["pointer"],
+      "properties": {
+        "pointer": { "type": "string", "pattern": "^/" }
+      }
+    },
+    "columnSpec": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["const"],
+          "properties": { "const": { "type": "string", "minLength": 1 } }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["pointer"],
+          "properties": { "pointer": { "type": "string", "pattern": "^/" } }
+        }
+      ]
+    },
+    "scalarOrPointer": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["const"],
+          "properties": {
+            "const": { "type": ["string", "number", "boolean", "null"] }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["pointer"],
+          "properties": { "pointer": { "type": "string", "pattern": "^/" } }
+        }
+      ]
+    },
+    "expectSpec": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["op", "value"],
+      "properties": {
+        "op": { "type": "string", "enum": ["eq", "gte", "lte"] },
+        "value": {
+          "oneOf": [
+            {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["const"],
+              "properties": {
+                "const": { "type": "number" }
+              }
+            },
+            {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["pointer"],
+              "properties": { "pointer": { "type": "string", "pattern": "^/" } }
+            }
+          ]
+        }
+      }
+    },
+    "sqlRelationalCheck": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["checkKind", "id", "table", "fn", "expect"],
+          "properties": {
+            "checkKind": { "const": "aggregate" },
+            "id": { "type": "string", "minLength": 1 },
+            "table": { "$ref": "#/$defs/tableSpec" },
+            "fn": { "type": "string", "enum": ["COUNT_STAR", "SUM"] },
+            "sumColumn": { "$ref": "#/$defs/columnSpec" },
+            "whereEq": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["column", "value"],
+                "properties": {
+                  "column": { "$ref": "#/$defs/columnSpec" },
+                  "value": { "$ref": "#/$defs/scalarOrPointer" }
+                }
+              }
+            },
+            "expect": { "$ref": "#/$defs/expectSpec" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["checkKind", "id", "leftTable", "rightTable", "join", "expect"],
+          "properties": {
+            "checkKind": { "const": "join_count" },
+            "id": { "type": "string", "minLength": 1 },
+            "leftTable": { "$ref": "#/$defs/tableSpec" },
+            "rightTable": { "$ref": "#/$defs/tableSpec" },
+            "join": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["leftColumn", "rightColumn"],
+              "properties": {
+                "leftColumn": { "$ref": "#/$defs/columnSpec" },
+                "rightColumn": { "$ref": "#/$defs/columnSpec" }
+              }
+            },
+            "whereEq": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["tableSide", "column", "value"],
+                "properties": {
+                  "tableSide": { "type": "string", "enum": ["left", "right"] },
+                  "column": { "$ref": "#/$defs/columnSpec" },
+                  "value": { "$ref": "#/$defs/scalarOrPointer" }
+                }
+              }
+            },
+            "expect": { "$ref": "#/$defs/expectSpec" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["checkKind", "id", "childTable", "matchEq"],
+          "properties": {
+            "checkKind": { "const": "related_exists" },
+            "id": { "type": "string", "minLength": 1 },
+            "childTable": { "$ref": "#/$defs/tableSpec" },
+            "matchEq": { "$ref": "#/$defs/identityEqSpec" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "checkKind",
+            "id",
+            "anchorTable",
+            "lookupTable",
+            "anchorColumn",
+            "lookupColumn",
+            "lookupPresenceColumn"
+          ],
+          "properties": {
+            "checkKind": { "const": "anti_join" },
+            "id": { "type": "string", "minLength": 1 },
+            "anchorTable": { "$ref": "#/$defs/tableSpec" },
+            "lookupTable": { "$ref": "#/$defs/tableSpec" },
+            "anchorColumn": { "$ref": "#/$defs/columnSpec" },
+            "lookupColumn": { "$ref": "#/$defs/columnSpec" },
+            "lookupPresenceColumn": { "$ref": "#/$defs/columnSpec" },
+            "filterEqAnchor": {
+              "type": "array",
+              "items": { "$ref": "#/$defs/equalityPair" }
+            },
+            "filterEqLookup": {
+              "type": "array",
+              "items": { "$ref": "#/$defs/equalityPair" }
+            }
+          }
+        }
+      ]
+    }
+  }
+}