@hypequery/protocol-conformance 0.11.2 → 0.13.0

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

@@ -1,15 +1,226 @@
 [
-  { "id": "not-object", "value": null, "error": "HQ_SCHEMA_TYPE" },
-  { "id": "unknown-field", "value": { "kind": "string", "format": "uuid" }, "error": "HQ_SCHEMA_UNKNOWN_FIELD" },
-  { "id": "unknown-kind", "value": { "kind": "function" }, "error": "HQ_SCHEMA_UNKNOWN_KIND" },
-  { "id": "invalid-property-identifier", "value": { "kind": "object", "properties": { "bad-name": { "kind": "string" } }, "required": [], "unknownProperties": "reject" }, "error": "HQ_SCHEMA_INVALID_IDENTIFIER" },
-  { "id": "invalid-raw-default", "value": { "kind": "object", "properties": {}, "required": [], "unknownProperties": "strip", "default": {} }, "error": "HQ_SCHEMA_INVALID_VALUE" },
-  { "id": "reversed-bounds", "value": { "kind": "integer", "minimum": 10, "maximum": 1 }, "error": "HQ_SCHEMA_INVALID_CONSTRAINT" },
-  { "id": "required-name-not-declared", "value": { "kind": "object", "properties": {}, "required": ["missing"], "unknownProperties": "reject" }, "error": "HQ_SCHEMA_INVALID_REQUIRED" },
-  { "id": "duplicate-enum", "value": { "kind": "enum", "values": ["same", "same"] }, "error": "HQ_SCHEMA_DUPLICATE_VALUE" },
-  { "id": "too-deep", "generator": { "type": "nested-array", "depth": 17 }, "error": "HQ_SCHEMA_TOO_DEEP" },
-  { "id": "too-many-nodes", "generator": { "type": "union-tree" }, "error": "HQ_SCHEMA_TOO_MANY_NODES" },
-  { "id": "too-many-items", "generator": { "type": "enum-values", "count": 101 }, "error": "HQ_SCHEMA_TOO_MANY_ITEMS" },
-  { "id": "description-too-large", "generator": { "type": "description", "bytes": 4097 }, "error": "HQ_SCHEMA_TOO_LARGE" },
-  { "id": "unsafe-accessor", "generator": { "type": "unsafe-accessor" }, "error": "HQ_SCHEMA_UNSAFE_OBJECT" }
+  {
+    "id": "not-object",
+    "value": null,
+    "error": "HQ_SCHEMA_TYPE"
+  },
+  {
+    "id": "unknown-field",
+    "value": {
+      "kind": "string",
+      "format": "uuid"
+    },
+    "error": "HQ_SCHEMA_UNKNOWN_FIELD"
+  },
+  {
+    "id": "unknown-kind",
+    "value": {
+      "kind": "function"
+    },
+    "error": "HQ_SCHEMA_UNKNOWN_KIND"
+  },
+  {
+    "id": "invalid-property-identifier",
+    "value": {
+      "kind": "object",
+      "properties": {
+        "bad-name": {
+          "kind": "string"
+        }
+      },
+      "required": [],
+      "unknownProperties": "reject"
+    },
+    "error": "HQ_SCHEMA_INVALID_IDENTIFIER"
+  },
+  {
+    "id": "invalid-raw-default",
+    "value": {
+      "kind": "object",
+      "properties": {},
+      "required": [],
+      "unknownProperties": "strip",
+      "default": {}
+    },
+    "error": "HQ_SCHEMA_INVALID_VALUE"
+  },
+  {
+    "id": "reversed-bounds",
+    "value": {
+      "kind": "integer",
+      "minimum": 10,
+      "maximum": 1
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "required-name-not-declared",
+    "value": {
+      "kind": "object",
+      "properties": {},
+      "required": [
+        "missing"
+      ],
+      "unknownProperties": "reject"
+    },
+    "error": "HQ_SCHEMA_INVALID_REQUIRED"
+  },
+  {
+    "id": "duplicate-enum",
+    "value": {
+      "kind": "enum",
+      "values": [
+        "same",
+        "same"
+      ]
+    },
+    "error": "HQ_SCHEMA_DUPLICATE_VALUE"
+  },
+  {
+    "id": "void-default",
+    "value": {
+      "kind": "void",
+      "default": null
+    },
+    "error": "HQ_SCHEMA_UNKNOWN_FIELD"
+  },
+  {
+    "id": "default-rejected-by-own-schema",
+    "value": {
+      "kind": "integer",
+      "default": 1.5
+    },
+    "error": "HQ_SCHEMA_INVALID_VALUE"
+  },
+  {
+    "id": "raw-array-default",
+    "value": {
+      "kind": "array",
+      "items": {
+        "kind": "string"
+      },
+      "default": [
+        "a"
+      ]
+    },
+    "error": "HQ_SCHEMA_INVALID_VALUE"
+  },
+  {
+    "id": "empty-enum",
+    "value": {
+      "kind": "enum",
+      "values": []
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "single-variant-union",
+    "value": {
+      "kind": "union",
+      "variants": [
+        {
+          "kind": "string"
+        }
+      ]
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "duplicate-required",
+    "value": {
+      "kind": "object",
+      "properties": {
+        "a": {
+          "kind": "any"
+        }
+      },
+      "required": [
+        "a",
+        "a"
+      ],
+      "unknownProperties": "reject"
+    },
+    "error": "HQ_SCHEMA_INVALID_REQUIRED"
+  },
+  {
+    "id": "missing-unknown-properties",
+    "value": {
+      "kind": "object",
+      "properties": {},
+      "required": []
+    },
+    "error": "HQ_SCHEMA_TYPE"
+  },
+  {
+    "id": "inclusive-and-exclusive-bound",
+    "value": {
+      "kind": "number",
+      "minimum": 1,
+      "exclusiveMinimum": 2
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "empty-exclusive-range",
+    "value": {
+      "kind": "number",
+      "exclusiveMinimum": 1,
+      "maximum": 1
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "non-integral-integer-bound",
+    "value": {
+      "kind": "integer",
+      "minimum": 1.5
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "negative-collection-bound",
+    "value": {
+      "kind": "string",
+      "minLength": -1
+    },
+    "error": "HQ_SCHEMA_INVALID_CONSTRAINT"
+  },
+  {
+    "id": "too-deep",
+    "generator": {
+      "type": "nested-array",
+      "depth": 17
+    },
+    "error": "HQ_SCHEMA_TOO_DEEP"
+  },
+  {
+    "id": "too-many-nodes",
+    "generator": {
+      "type": "union-tree"
+    },
+    "error": "HQ_SCHEMA_TOO_MANY_NODES"
+  },
+  {
+    "id": "too-many-items",
+    "generator": {
+      "type": "enum-values",
+      "count": 101
+    },
+    "error": "HQ_SCHEMA_TOO_MANY_ITEMS"
+  },
+  {
+    "id": "description-too-large",
+    "generator": {
+      "type": "description",
+      "bytes": 4097
+    },
+    "error": "HQ_SCHEMA_TOO_LARGE"
+  },
+  {
+    "id": "unsafe-accessor",
+    "generator": {
+      "type": "unsafe-accessor"
+    },
+    "error": "HQ_SCHEMA_UNSAFE_OBJECT"
+  }
 ]

package/fixtures/semantic-invocations-v2/README.md

@@ -0,0 +1,9 @@
+# Semantic invocation v2 fixtures
+
+This family accompanies accepted RFC 0015. Semantic invocation 2 is identical to invocation 1 (RFC 0014), except that the `operation` is validated under expression extension 2. It may therefore name segments, `minute`/`hour` grains, and relationship-qualified measures.
+
+Only the invocation request has a version 2. Results and failures remain version 1, and `semantic-invocations-v1` covers them.
+
+The lowest-version rule applies. A version 2 request whose operation uses no extension 2 feature must be sent as version 1, and is rejected with `HQ_INVOCATION_INVALID_VERSION`. An empty `segments` array names no segment, so it does not count as a feature.
+
+Every case was checked against the TypeScript reference implementation. The Python implementation does not announce this family yet.

package/fixtures/semantic-invocations-v2/rejections.json

@@ -0,0 +1,9 @@
+[
+  {"id": "lowest-version-rule", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "measures": ["revenue"]}}, "error": "HQ_INVOCATION_INVALID_VERSION"},
+  {"id": "lowest-version-empty-segments", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "segments": []}}, "error": "HQ_INVOCATION_INVALID_VERSION"},
+  {"id": "version-1-under-v2", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 1, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "segments": ["enterprise"]}}, "error": "HQ_INVOCATION_INVALID_VERSION"},
+  {"id": "unknown-version", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 3, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "segments": ["enterprise"]}}, "error": "HQ_INVOCATION_INVALID_VERSION"},
+  {"id": "duplicate-segment", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "segments": ["a", "a"]}}, "error": "HQ_INVOCATION_INVALID_VALUE"},
+  {"id": "grain-still-closed", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "by": "second"}}, "error": "HQ_INVOCATION_INVALID_VALUE"},
+  {"id": "tenant-field-still-forbidden", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "segments": ["enterprise"]}, "tenant": "t1"}, "error": "HQ_INVOCATION_UNKNOWN_FIELD"}
+]

package/fixtures/semantic-invocations-v2/success.json

@@ -0,0 +1,5 @@
+[
+  {"id": "segments", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "measures": ["revenue"], "segments": ["enterprise"]}}},
+  {"id": "sub-day-grain-metric", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "metric", "dataset": "events", "metric": "sessions", "by": "hour", "limit": 24}}},
+  {"id": "relationship-measure", "record": "invocation", "value": {"kind": "hypequery-semantic-invocation", "version": 2, "target": {"project": "acme", "environment": "production"}, "operation": {"kind": "dataset", "dataset": "orders", "dimensions": ["status"], "measures": ["customer.customerCount"]}, "budget": {"maxRows": 100}}}
+]

package/fixtures/sql-portability-v1/README.md

@@ -3,4 +3,6 @@
 - `portable.json` maps accepted SQL expression fragments to RFC 0003 expression trees and sorted dependencies.
 - `non-portable.json` maps unsupported input to the first issue code and source offset.
 
+Source offsets are zero-based and counted in UTF-16 code units, so a character outside the Basic Multilingual Plane (such as an emoji) advances every later offset by two. This is the unit JavaScript strings and most editors use; implementations whose native strings index by code point must convert.
+
 The portable subset covers identifiers, literals, arithmetic, comparisons, literal `IN` lists, literal `BETWEEN`, `LIKE`, boolean logic, parentheses, and the approved formula functions. Statements, subqueries, casts, lambdas, comments, unapproved functions, and dynamic list/range operands remain non-portable by construction.

package/fixtures/sql-portability-v1/non-portable.json

@@ -142,5 +142,126 @@
     "sql": "x IN (1, 2, )",
     "code": "HQ_SQL_PORT_SYNTAX",
     "start": 10
+  },
+  {
+    "id": "astral-offset-after-string-literal",
+    "sql": "name = '\ud83d\ude00' AND ;",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_SYNTAX",
+    "start": 16
+  },
+  {
+    "id": "astral-offset-unterminated-string",
+    "sql": "'\ud83d\ude00' = 'x",
+    "code": "HQ_SQL_PORT_SYNTAX",
+    "start": 7
+  },
+  {
+    "id": "astral-unexpected-character",
+    "sql": "a + \ud83d\ude00",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_SYNTAX",
+    "start": 4
+  },
+  {
+    "id": "astral-offset-unsupported-function",
+    "sql": "coalesce(name, '\ud83d\ude00\ud83d\ude00') = lower(name)",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_FUNCTION",
+    "start": 25
+  },
+  {
+    "id": "like-column-pattern",
+    "sql": "name LIKE pattern",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_SYNTAX",
+    "start": 5
+  },
+  {
+    "id": "like-numeric-pattern",
+    "sql": "name LIKE 1",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_SYNTAX",
+    "start": 5
+  },
+  {
+    "id": "additive-chain-too-deep",
+    "sqlRepeat": {
+      "prefix": "a",
+      "value": " + a",
+      "suffix": "",
+      "count": 16
+    },
+    "code": "HQ_SQL_PORT_TOO_COMPLEX",
+    "start": 62
+  },
+  {
+    "id": "multiplicative-chain-too-deep",
+    "sqlRepeat": {
+      "prefix": "a",
+      "value": " * a",
+      "suffix": "",
+      "count": 16
+    },
+    "code": "HQ_SQL_PORT_TOO_COMPLEX",
+    "start": 62
+  },
+  {
+    "id": "or-operands-over-limit",
+    "sqlRepeat": {
+      "prefix": "a",
+      "value": " OR a",
+      "suffix": "",
+      "count": 100
+    },
+    "code": "HQ_SQL_PORT_TOO_COMPLEX",
+    "start": 497
+  },
+  {
+    "id": "and-operands-over-limit",
+    "sqlRepeat": {
+      "prefix": "a = 1",
+      "value": " AND a = 1",
+      "suffix": "",
+      "count": 100
+    },
+    "code": "HQ_SQL_PORT_TOO_COMPLEX",
+    "start": 996
+  },
+  {
+    "id": "negative-in-list-over-node-limit",
+    "sqlRepeat": {
+      "prefix": "a IN (-1",
+      "value": ", -1",
+      "suffix": ")",
+      "count": 1000
+    },
+    "code": "HQ_SQL_PORT_TOO_COMPLEX",
+    "start": 4003
+  },
+  {
+    "id": "string-control-character",
+    "sql": "name = 'a\u0001b'",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_LITERAL",
+    "start": 9
+  },
+  {
+    "id": "string-delete-character",
+    "sql": "name = 'a\u007fb'",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_LITERAL",
+    "start": 9
+  },
+  {
+    "id": "string-c1-control-character",
+    "sql": "name = '\u0085'",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_LITERAL",
+    "start": 8
+  },
+  {
+    "id": "string-lone-high-surrogate",
+    "sql": "name = '\ud800'",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_LITERAL",
+    "start": 8
+  },
+  {
+    "id": "string-lone-low-surrogate",
+    "sql": "name = 'a\udc00'",
+    "code": "HQ_SQL_PORT_UNSUPPORTED_LITERAL",
+    "start": 9
   }
 ]

package/fixtures/tagged-values-v1/rejections.json

@@ -331,6 +331,24 @@
     "value": "before\u000bafter",
     "error": "HQ_VALUE_CONTROL_CHARACTER"
   },
+  {
+    "id": "model-trailing-lone-high-surrogate",
+    "phase": "model",
+    "value": "\ud800",
+    "error": "HQ_VALUE_INVALID_UNICODE"
+  },
+  {
+    "id": "model-suffix-lone-high-surrogate",
+    "phase": "model",
+    "value": "before\ud800",
+    "error": "HQ_VALUE_INVALID_UNICODE"
+  },
+  {
+    "id": "model-lone-low-surrogate",
+    "phase": "model",
+    "value": "\udc00after",
+    "error": "HQ_VALUE_INVALID_UNICODE"
+  },
   {
     "id": "value-unsafe-accessor",
     "phase": "model",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hypequery/protocol-conformance",
-  "version": "0.11.2",
+  "version": "0.13.0",
   "description": "Cross-language conformance runner for the Hypequery analytics security protocol",
   "keywords": [
     "hypequery",
@@ -31,7 +31,7 @@
     "README.md"
   ],
   "dependencies": {
-    "@hypequery/protocol": "^0.14.0"
+    "@hypequery/protocol": "^0.16.0"
   },
   "devDependencies": {
     "@types/node": "^22.5.0",