@hypequery/protocol-conformance 0.11.2 → 0.12.0

package/fixtures/manifest.json

@@ -102,6 +102,10 @@
           "path": "deployments-v2/success.json",
           "role": "success"
         },
+        {
+          "path": "deployments-v2/rejections.json",
+          "role": "rejection"
+        },
         {
           "path": "deployments-v2/identity.json",
           "role": "identity"

package/fixtures/query-implementations-v1/rejections.json

@@ -20,7 +20,9 @@
   {
     "id": "implementation-unknown-kind",
     "surface": "query-implementation",
-    "value": { "kind": "raw-sql" },
+    "value": {
+      "kind": "raw-sql"
+    },
     "error": "HQ_QUERY_IMPLEMENTATION_UNKNOWN_KIND"
   },
   {
@@ -54,27 +56,464 @@
       "operation": "select",
       "statement": "SELECT * FROM trips WHERE tenant_id = {tenantId:UUID}",
       "parameters": [],
-      "readSources": ["trips"],
-      "tenant": { "kind": "required", "parameter": "tenantId" }
+      "readSources": [
+        "trips"
+      ],
+      "tenant": {
+        "kind": "required",
+        "parameter": "tenantId"
+      }
     },
     "error": "HQ_QUERY_IMPLEMENTATION_INVALID_REFERENCE"
   },
   {
     "id": "compiled-sql-too-many-parameters",
     "surface": "query-implementation",
-    "generator": { "type": "parameters", "count": 101 },
+    "generator": {
+      "type": "parameters",
+      "count": 101
+    },
     "error": "HQ_QUERY_IMPLEMENTATION_TOO_MANY_ITEMS"
   },
   {
     "id": "sql-expression-too-large",
     "surface": "sql-expression",
-    "generator": { "type": "sql-expression", "bytes": 65537 },
+    "generator": {
+      "type": "sql-expression",
+      "bytes": 65537
+    },
     "error": "HQ_QUERY_IMPLEMENTATION_TOO_LARGE"
   },
   {
     "id": "implementation-accessor",
     "surface": "query-implementation",
-    "generator": { "type": "unsafe-accessor" },
+    "generator": {
+      "type": "unsafe-accessor"
+    },
     "error": "HQ_QUERY_IMPLEMENTATION_UNSAFE_OBJECT"
+  },
+  {
+    "id": "implementation-missing-field",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_TYPE"
+  },
+  {
+    "id": "implementation-unknown-field-precedes-invalid-value",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "insert",
+      "statement": "SELECT 1",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      },
+      "bogus": 1
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_UNKNOWN_FIELD"
+  },
+  {
+    "id": "implementation-non-string-kind",
+    "surface": "query-implementation",
+    "value": {
+      "kind": 1
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_TYPE"
+  },
+  {
+    "id": "implementation-sql-expression-is-not-in-the-union",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "sql-expression"
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_UNKNOWN_KIND"
+  },
+  {
+    "id": "compiled-sql-invalid-operation",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "insert",
+      "statement": "SELECT 1",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-invalid-dialect",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "postgres",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-blank-statement",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "   ",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-byte-order-mark-statement",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-control-in-clickhouse-type",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": "input",
+            "path": "a"
+          },
+          "clickHouseType": "Str\ting"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-control-in-read-source",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [],
+      "readSources": [
+        "analytics\ttrips"
+      ],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-duplicate-read-sources",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [],
+      "readSources": [
+        "analytics.trips",
+        "analytics.trips"
+      ],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "compiled-sql-duplicate-parameter-names",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": "input",
+            "path": "a"
+          },
+          "clickHouseType": "String"
+        },
+        {
+          "name": "a",
+          "source": {
+            "kind": "input",
+            "path": "a"
+          },
+          "clickHouseType": "String"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_REFERENCE"
+  },
+  {
+    "id": "compiled-sql-not-required-with-tenant-parameter",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": "tenant"
+          },
+          "clickHouseType": "String"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_REFERENCE"
+  },
+  {
+    "id": "compiled-sql-two-tenant-parameters",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": "tenant"
+          },
+          "clickHouseType": "String"
+        },
+        {
+          "name": "b",
+          "source": {
+            "kind": "tenant"
+          },
+          "clickHouseType": "String"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "required",
+        "parameter": "a"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_REFERENCE"
+  },
+  {
+    "id": "compiled-sql-required-tenant-names-an-input-parameter",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": "input",
+            "path": "a"
+          },
+          "clickHouseType": "String"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "required",
+        "parameter": "a"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_REFERENCE"
+  },
+  {
+    "id": "parameter-source-non-string-kind",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": 1
+          },
+          "clickHouseType": "String"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_TYPE"
+  },
+  {
+    "id": "parameter-source-unknown-kind",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "a",
+          "source": {
+            "kind": "environment"
+          },
+          "clickHouseType": "String"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_UNKNOWN_KIND"
+  },
+  {
+    "id": "semantic-plan-invalid-query",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "semantic-plan",
+      "query": {
+        "kind": "nope"
+      }
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "runtime-invalid-runtime",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "runtime-reference",
+      "runtime": "deno",
+      "artifactSha256": "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef",
+      "entrypoint": "queries.run"
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "sql-expression-blank",
+    "surface": "sql-expression",
+    "value": {
+      "kind": "sql-expression",
+      "dialect": "clickhouse",
+      "sql": " ",
+      "output": {
+        "kind": "string"
+      },
+      "dependencies": [
+        "x"
+      ]
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "sql-expression-byte-order-mark",
+    "surface": "sql-expression",
+    "value": {
+      "kind": "sql-expression",
+      "dialect": "clickhouse",
+      "sql": "",
+      "output": {
+        "kind": "string"
+      },
+      "dependencies": [
+        "x"
+      ]
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "sql-expression-duplicate-dependencies",
+    "surface": "sql-expression",
+    "value": {
+      "kind": "sql-expression",
+      "dialect": "clickhouse",
+      "sql": "toDate(x)",
+      "output": {
+        "kind": "string"
+      },
+      "dependencies": [
+        "x",
+        "x"
+      ]
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_VALUE"
+  },
+  {
+    "id": "sql-expression-invalid-dependency",
+    "surface": "sql-expression",
+    "value": {
+      "kind": "sql-expression",
+      "dialect": "clickhouse",
+      "sql": "toDate(x)",
+      "output": {
+        "kind": "string"
+      },
+      "dependencies": [
+        "a/b"
+      ]
+    },
+    "error": "HQ_QUERY_IMPLEMENTATION_INVALID_IDENTIFIER"
   }
 ]

package/fixtures/query-implementations-v1/success.json

@@ -6,8 +6,12 @@
       "kind": "sql-expression",
       "dialect": "clickhouse",
       "sql": "toDate(pickup_datetime)",
-      "output": { "kind": "string" },
-      "dependencies": ["pickup_datetime"]
+      "output": {
+        "kind": "string"
+      },
+      "dependencies": [
+        "pickup_datetime"
+      ]
     }
   },
   {
@@ -17,8 +21,12 @@
       "kind": "sql-expression",
       "dialect": "clickhouse",
       "sql": "quantileExact(0.95)(trip_distance)",
-      "output": { "kind": "number" },
-      "dependencies": ["trip_distance"]
+      "output": {
+        "kind": "number"
+      },
+      "dependencies": [
+        "trip_distance"
+      ]
     }
   },
   {
@@ -29,8 +37,13 @@
       "query": {
         "kind": "dataset",
         "dataset": "trips",
-        "dimensions": ["pickup_date"],
-        "measures": ["count", "total_revenue"],
+        "dimensions": [
+          "pickup_date"
+        ],
+        "measures": [
+          "count",
+          "total_revenue"
+        ],
         "limit": 100
       }
     }
@@ -46,12 +59,19 @@
       "parameters": [
         {
           "name": "from",
-          "source": { "kind": "input", "path": "range.from" },
+          "source": {
+            "kind": "input",
+            "path": "range.from"
+          },
           "clickHouseType": "Date"
         }
       ],
-      "readSources": ["analytics.trips"],
-      "tenant": { "kind": "not-required" }
+      "readSources": [
+        "analytics.trips"
+      ],
+      "tenant": {
+        "kind": "not-required"
+      }
     }
   },
   {
@@ -65,12 +85,19 @@
       "parameters": [
         {
           "name": "tenantId",
-          "source": { "kind": "tenant" },
+          "source": {
+            "kind": "tenant"
+          },
           "clickHouseType": "UUID"
         }
       ],
-      "readSources": ["trips"],
-      "tenant": { "kind": "required", "parameter": "tenantId" }
+      "readSources": [
+        "trips"
+      ],
+      "tenant": {
+        "kind": "required",
+        "parameter": "tenantId"
+      }
     }
   },
   {
@@ -92,5 +119,54 @@
       "artifactSha256": "abcdef0123456789abcdef0123456789abcdef0123456789abcdef0123456789",
       "entrypoint": "queries.customer_revenue"
     }
+  },
+  {
+    "id": "compiled-sql-formatted-statement",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1\n  FROM trips\n\tWHERE a = 1",
+      "parameters": [],
+      "readSources": [],
+      "tenant": {
+        "kind": "not-required"
+      }
+    }
+  },
+  {
+    "id": "compiled-sql-tenant-required",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "compiled-sql",
+      "dialect": "clickhouse",
+      "operation": "select",
+      "statement": "SELECT 1",
+      "parameters": [
+        {
+          "name": "tenantId",
+          "source": {
+            "kind": "tenant"
+          },
+          "clickHouseType": "UUID"
+        }
+      ],
+      "readSources": [],
+      "tenant": {
+        "kind": "required",
+        "parameter": "tenantId"
+      }
+    }
+  },
+  {
+    "id": "runtime-reference-dotted-entrypoint",
+    "surface": "query-implementation",
+    "value": {
+      "kind": "runtime-reference",
+      "runtime": "node",
+      "artifactSha256": "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef",
+      "entrypoint": "queries.reports.customer_revenue"
+    }
   }
 ]

package/fixtures/query-schemas-v1/README.md

@@ -4,4 +4,6 @@ These RFC 0004 fixtures cover the declarative Serve/Zod schema features that can
 
 `success.json` exercises every portable schema kind. `rejections.json` pins stable errors for invalid values plus generated depth, width, description-size, and unsafe-accessor boundaries.
 
+Acceptance of RFC 0004 extended the rejection corpus to pin the constraint rules the accepted text now freezes: `void` rejecting a `default` as an unknown field, a `default` its own schema would reject, an untagged composite default, empty `enum.values`, a single-variant `union`, repeated `required` names, a missing `unknownProperties`, and the numeric and collection bound rules.
+
 Every rejection contains exactly one literal value or deterministic generator.