@hypequery/protocol-conformance 0.0.0-canary-20260722115402

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

@@ -0,0 +1,346 @@
+[
+  {
+    "id": "simple-reference",
+    "sql": "revenue",
+    "expression": { "kind": "reference", "name": "revenue" },
+    "dependencies": ["revenue"]
+  },
+  {
+    "id": "qualified-reference",
+    "sql": "orders.revenue",
+    "expression": { "kind": "reference", "name": "orders.revenue" },
+    "dependencies": ["orders.revenue"]
+  },
+  {
+    "id": "arithmetic-product",
+    "sql": "price * quantity",
+    "expression": {
+      "kind": "binary",
+      "operator": "multiply",
+      "left": { "kind": "reference", "name": "price" },
+      "right": { "kind": "reference", "name": "quantity" }
+    },
+    "dependencies": ["price", "quantity"]
+  },
+  {
+    "id": "arithmetic-precedence",
+    "sql": "price * quantity - discount",
+    "expression": {
+      "kind": "binary",
+      "operator": "subtract",
+      "left": {
+        "kind": "binary",
+        "operator": "multiply",
+        "left": { "kind": "reference", "name": "price" },
+        "right": { "kind": "reference", "name": "quantity" }
+      },
+      "right": { "kind": "reference", "name": "discount" }
+    },
+    "dependencies": ["discount", "price", "quantity"]
+  },
+  {
+    "id": "parenthesized-arithmetic",
+    "sql": "(price - cost) * quantity",
+    "expression": {
+      "kind": "binary",
+      "operator": "multiply",
+      "left": {
+        "kind": "binary",
+        "operator": "subtract",
+        "left": { "kind": "reference", "name": "price" },
+        "right": { "kind": "reference", "name": "cost" }
+      },
+      "right": { "kind": "reference", "name": "quantity" }
+    },
+    "dependencies": ["cost", "price", "quantity"]
+  },
+  {
+    "id": "decimal-literal",
+    "sql": "rate * 0.0825",
+    "expression": {
+      "kind": "binary",
+      "operator": "multiply",
+      "left": { "kind": "reference", "name": "rate" },
+      "right": { "kind": "literal", "value": 0.0825 }
+    },
+    "dependencies": ["rate"]
+  },
+  {
+    "id": "negative-literal",
+    "sql": "offset * -1",
+    "expression": {
+      "kind": "binary",
+      "operator": "multiply",
+      "left": { "kind": "reference", "name": "offset" },
+      "right": { "kind": "literal", "value": -1 }
+    },
+    "dependencies": ["offset"]
+  },
+  {
+    "id": "null-if-zero-division",
+    "sql": "revenue / nullIfZero(orders)",
+    "expression": {
+      "kind": "binary",
+      "operator": "divide",
+      "left": { "kind": "reference", "name": "revenue" },
+      "right": {
+        "kind": "call",
+        "function": "nullIfZero",
+        "args": [{ "kind": "reference", "name": "orders" }]
+      }
+    },
+    "dependencies": ["orders", "revenue"]
+  },
+  {
+    "id": "coalesce-case-insensitive",
+    "sql": "COALESCE(discount, 0)",
+    "expression": {
+      "kind": "call",
+      "function": "coalesce",
+      "args": [
+        { "kind": "reference", "name": "discount" },
+        { "kind": "literal", "value": 0 }
+      ]
+    },
+    "dependencies": ["discount"]
+  },
+  {
+    "id": "round-two-arguments",
+    "sql": "round(amount, 2)",
+    "expression": {
+      "kind": "call",
+      "function": "round",
+      "args": [
+        { "kind": "reference", "name": "amount" },
+        { "kind": "literal", "value": 2 }
+      ]
+    },
+    "dependencies": ["amount"]
+  },
+  {
+    "id": "floor-one-argument",
+    "sql": "floor(score)",
+    "expression": {
+      "kind": "call",
+      "function": "floor",
+      "args": [{ "kind": "reference", "name": "score" }]
+    },
+    "dependencies": ["score"]
+  },
+  {
+    "id": "ceil-one-argument",
+    "sql": "ceil(score)",
+    "expression": {
+      "kind": "call",
+      "function": "ceil",
+      "args": [{ "kind": "reference", "name": "score" }]
+    },
+    "dependencies": ["score"]
+  },
+  {
+    "id": "comparison-gte",
+    "sql": "total >= 100",
+    "expression": {
+      "kind": "comparison",
+      "operator": "gte",
+      "left": { "kind": "reference", "name": "total" },
+      "right": { "kind": "literal", "value": 100 }
+    },
+    "dependencies": ["total"]
+  },
+  {
+    "id": "string-literal-escape",
+    "sql": "status = 'it''s'",
+    "expression": {
+      "kind": "comparison",
+      "operator": "eq",
+      "left": { "kind": "reference", "name": "status" },
+      "right": { "kind": "literal", "value": "it's" }
+    },
+    "dependencies": ["status"]
+  },
+  {
+    "id": "boolean-literal",
+    "sql": "active = TRUE",
+    "expression": {
+      "kind": "comparison",
+      "operator": "eq",
+      "left": { "kind": "reference", "name": "active" },
+      "right": { "kind": "literal", "value": true }
+    },
+    "dependencies": ["active"]
+  },
+  {
+    "id": "null-literal",
+    "sql": "deleted_at != NULL",
+    "expression": {
+      "kind": "comparison",
+      "operator": "neq",
+      "left": { "kind": "reference", "name": "deleted_at" },
+      "right": { "kind": "literal", "value": null }
+    },
+    "dependencies": ["deleted_at"]
+  },
+  {
+    "id": "in-string-list",
+    "sql": "status IN ('new', 'paid', 'shipped')",
+    "expression": {
+      "kind": "comparison",
+      "operator": "in",
+      "left": { "kind": "reference", "name": "status" },
+      "right": {
+        "kind": "literal",
+        "value": {
+          "$hypequery": {
+            "type": "array",
+            "version": 1,
+            "values": ["new", "paid", "shipped"]
+          }
+        }
+      }
+    },
+    "dependencies": ["status"]
+  },
+  {
+    "id": "in-number-list",
+    "sql": "year IN (2024, 2025, 2026)",
+    "expression": {
+      "kind": "comparison",
+      "operator": "in",
+      "left": { "kind": "reference", "name": "year" },
+      "right": {
+        "kind": "literal",
+        "value": {
+          "$hypequery": {
+            "type": "array",
+            "version": 1,
+            "values": [2024, 2025, 2026]
+          }
+        }
+      }
+    },
+    "dependencies": ["year"]
+  },
+  {
+    "id": "not-in-lowercase",
+    "sql": "state not in ('ca', 'ny')",
+    "expression": {
+      "kind": "comparison",
+      "operator": "notIn",
+      "left": { "kind": "reference", "name": "state" },
+      "right": {
+        "kind": "literal",
+        "value": {
+          "$hypequery": {
+            "type": "array",
+            "version": 1,
+            "values": ["ca", "ny"]
+          }
+        }
+      }
+    },
+    "dependencies": ["state"]
+  },
+  {
+    "id": "between-integers",
+    "sql": "age BETWEEN 18 AND 65",
+    "expression": {
+      "kind": "comparison",
+      "operator": "between",
+      "left": { "kind": "reference", "name": "age" },
+      "right": {
+        "kind": "literal",
+        "value": {
+          "$hypequery": {
+            "type": "tuple",
+            "version": 1,
+            "values": [18, 65]
+          }
+        }
+      }
+    },
+    "dependencies": ["age"]
+  },
+  {
+    "id": "between-negative-bounds",
+    "sql": "temperature BETWEEN -40 AND 45.5",
+    "expression": {
+      "kind": "comparison",
+      "operator": "between",
+      "left": { "kind": "reference", "name": "temperature" },
+      "right": {
+        "kind": "literal",
+        "value": {
+          "$hypequery": {
+            "type": "tuple",
+            "version": 1,
+            "values": [-40, 45.5]
+          }
+        }
+      }
+    },
+    "dependencies": ["temperature"]
+  },
+  {
+    "id": "like-pattern",
+    "sql": "email LIKE '%@acme.com'",
+    "expression": {
+      "kind": "comparison",
+      "operator": "like",
+      "left": { "kind": "reference", "name": "email" },
+      "right": { "kind": "literal", "value": "%@acme.com" }
+    },
+    "dependencies": ["email"]
+  },
+  {
+    "id": "logical-precedence",
+    "sql": "a = 1 AND b = 2 OR c = 3",
+    "expression": {
+      "kind": "logical",
+      "operator": "or",
+      "operands": [
+        {
+          "kind": "logical",
+          "operator": "and",
+          "operands": [
+            {
+              "kind": "comparison",
+              "operator": "eq",
+              "left": { "kind": "reference", "name": "a" },
+              "right": { "kind": "literal", "value": 1 }
+            },
+            {
+              "kind": "comparison",
+              "operator": "eq",
+              "left": { "kind": "reference", "name": "b" },
+              "right": { "kind": "literal", "value": 2 }
+            }
+          ]
+        },
+        {
+          "kind": "comparison",
+          "operator": "eq",
+          "left": { "kind": "reference", "name": "c" },
+          "right": { "kind": "literal", "value": 3 }
+        }
+      ]
+    },
+    "dependencies": ["a", "b", "c"]
+  },
+  {
+    "id": "logical-not",
+    "sql": "NOT active",
+    "expression": {
+      "kind": "logical",
+      "operator": "not",
+      "operand": { "kind": "reference", "name": "active" }
+    },
+    "dependencies": ["active"]
+  },
+  {
+    "id": "backtick-identifier",
+    "sql": "`order`.`total`",
+    "expression": { "kind": "reference", "name": "order.total" },
+    "dependencies": ["order.total"]
+  }
+]

package/fixtures/tagged-values-v1/README.md

@@ -0,0 +1,44 @@
+# Tagged value version 1 fixtures
+
+These draft language-neutral fixtures accompany RFC 0001. They become
+normative when the RFC is accepted.
+
+## Success manifest
+
+Each entry in `success.json` contains:
+
+- `id`: stable fixture identifier;
+- `value`: the parsed canonical value before JCS;
+- `canonicalHex`: exact RFC 8785 canonical UTF-8 bytes as lowercase hex;
+- `sha256`: lowercase SHA-256 of those exact bytes.
+
+The hash is a fixture integrity check, not a deployment digest or cache key.
+
+## Rejection manifest
+
+Entries in `rejections.json` use one of:
+
+- `sourceUtf8`: exact JSON source presented to a duplicate-aware parser;
+- `value`: an already parsed value presented to model validation;
+- `generator`: a deterministic boundary case that would be wasteful to store
+  expanded.
+
+`declaredClickHouseType`, when present, supplies the containing schema type
+needed to validate integer-tag requirements and exact tag/type compatibility.
+
+Generators expand as follows:
+
+- `non-finite-float`: creates the host-language non-finite number named by
+  `value` (`NaN`, `Infinity`, or `-Infinity`) after JSON parsing;
+- `nested-array`: wraps `leaf` in the tagged array form `depth` times;
+- `array`: creates one tagged array containing `items` copies of `value`;
+- `array-tree`: creates one tagged array containing `branches` tagged arrays,
+  each containing `itemsPerBranch` copies of `value`;
+- `repeat-string`: concatenates `count` copies of the UTF-8 string `utf8`.
+
+`error` is the required stable failure code. `phase` identifies the earliest
+stage that must reject the input. A consumer may reject earlier only when it
+returns the same code and does not partially execute or hash the value.
+
+Fixture runners must not pass `sourceUtf8` through an ordinary JSON dictionary
+parser before duplicate-key detection.

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

@@ -0,0 +1,298 @@
+[
+  {
+    "id": "duplicate-object-key",
+    "phase": "parse",
+    "sourceUtf8": "{\"a\":1,\"a\":2}",
+    "error": "HQ_VALUE_DUPLICATE_KEY"
+  },
+  {
+    "id": "invalid-json-nan",
+    "phase": "parse",
+    "sourceUtf8": "NaN",
+    "error": "HQ_VALUE_INVALID_JSON"
+  },
+  {
+    "id": "invalid-json-infinity",
+    "phase": "parse",
+    "sourceUtf8": "Infinity",
+    "error": "HQ_VALUE_INVALID_JSON"
+  },
+  {
+    "id": "lone-high-surrogate",
+    "phase": "unicode",
+    "sourceUtf8": "\"\\ud800\"",
+    "error": "HQ_VALUE_INVALID_UNICODE"
+  },
+  {
+    "id": "control-character-null",
+    "phase": "model",
+    "sourceUtf8": "\"\\u0000\"",
+    "error": "HQ_VALUE_CONTROL_CHARACTER"
+  },
+  {
+    "id": "control-character-c1-next-line",
+    "phase": "model",
+    "sourceUtf8": "\"\\u0085\"",
+    "error": "HQ_VALUE_CONTROL_CHARACTER"
+  },
+  {
+    "id": "negative-zero",
+    "phase": "model",
+    "sourceUtf8": "-0",
+    "error": "HQ_VALUE_NEGATIVE_ZERO"
+  },
+  {
+    "id": "non-finite-float-model-value",
+    "phase": "model",
+    "generator": {
+      "type": "non-finite-float",
+      "value": "NaN"
+    },
+    "error": "HQ_VALUE_NON_FINITE_FLOAT"
+  },
+  {
+    "id": "safe-integer-requires-tag",
+    "phase": "model",
+    "value": 42,
+    "declaredClickHouseType": "Int64",
+    "error": "HQ_VALUE_INTEGER_TAG_REQUIRED"
+  },
+  {
+    "id": "raw-array",
+    "phase": "model",
+    "value": [true, false],
+    "error": "HQ_VALUE_RAW_COMPOSITE"
+  },
+  {
+    "id": "unknown-tag-type",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "blob",
+        "version": 1
+      }
+    },
+    "error": "HQ_VALUE_UNKNOWN_TAG"
+  },
+  {
+    "id": "unknown-tag-version",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "integer",
+        "version": 2,
+        "bits": 8,
+        "signed": true,
+        "value": "1"
+      }
+    },
+    "error": "HQ_VALUE_UNKNOWN_TAG_VERSION"
+  },
+  {
+    "id": "unknown-tag-field",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "integer",
+        "version": 1,
+        "bits": 8,
+        "signed": true,
+        "value": "1",
+        "extra": true
+      }
+    },
+    "error": "HQ_VALUE_UNKNOWN_FIELD"
+  },
+  {
+    "id": "integer-leading-zero",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "integer",
+        "version": 1,
+        "bits": 8,
+        "signed": false,
+        "value": "01"
+      }
+    },
+    "error": "HQ_VALUE_INVALID_FORMAT"
+  },
+  {
+    "id": "signed-int8-overflow",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "integer",
+        "version": 1,
+        "bits": 8,
+        "signed": true,
+        "value": "128"
+      }
+    },
+    "error": "HQ_VALUE_OUT_OF_RANGE"
+  },
+  {
+    "id": "integer-declared-type-mismatch",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "integer",
+        "version": 1,
+        "bits": 8,
+        "signed": false,
+        "value": "1"
+      }
+    },
+    "declaredClickHouseType": "Int8",
+    "error": "HQ_VALUE_TYPE_MISMATCH"
+  },
+  {
+    "id": "decimal-negative-zero",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "decimal",
+        "version": 1,
+        "precision": 9,
+        "scale": 2,
+        "coefficient": "-0"
+      }
+    },
+    "error": "HQ_VALUE_INVALID_FORMAT"
+  },
+  {
+    "id": "decimal-scale-exceeds-precision",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "decimal",
+        "version": 1,
+        "precision": 2,
+        "scale": 3,
+        "coefficient": "1"
+      }
+    },
+    "error": "HQ_VALUE_OUT_OF_RANGE"
+  },
+  {
+    "id": "invalid-date",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "date",
+        "version": 1,
+        "clickhouseType": "Date",
+        "value": "2025-02-29"
+      }
+    },
+    "error": "HQ_VALUE_INVALID_FORMAT"
+  },
+  {
+    "id": "date-out-of-range",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "date",
+        "version": 1,
+        "clickhouseType": "Date",
+        "value": "1900-01-01"
+      }
+    },
+    "error": "HQ_VALUE_OUT_OF_RANGE"
+  },
+  {
+    "id": "datetime-value-missing-z",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "datetime",
+        "version": 1,
+        "clickhouseType": "DateTime64",
+        "precision": 3,
+        "timezone": "Europe/Madrid",
+        "value": "2026-07-13T14:30:45.123"
+      }
+    },
+    "error": "HQ_VALUE_INVALID_FORMAT"
+  },
+  {
+    "id": "uuid-uppercase",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "uuid",
+        "version": 1,
+        "value": "01890F3E-7B7B-7CC2-98C4-DC0C0C07398F"
+      }
+    },
+    "error": "HQ_VALUE_INVALID_FORMAT"
+  },
+  {
+    "id": "bytes-padding",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "bytes",
+        "version": 1,
+        "encoding": "base64url",
+        "value": "AA=="
+      }
+    },
+    "error": "HQ_VALUE_INVALID_FORMAT"
+  },
+  {
+    "id": "enum8-code-overflow",
+    "phase": "model",
+    "value": {
+      "$hypequery": {
+        "type": "enum",
+        "version": 1,
+        "bits": 8,
+        "code": 128,
+        "label": "overflow"
+      }
+    },
+    "error": "HQ_VALUE_OUT_OF_RANGE"
+  },
+  {
+    "id": "composite-depth-17",
+    "phase": "limits",
+    "generator": {
+      "type": "nested-array",
+      "depth": 17,
+      "leaf": null
+    },
+    "error": "HQ_VALUE_TOO_DEEP"
+  },
+  {
+    "id": "array-items-1001",
+    "phase": "limits",
+    "generator": {
+      "type": "array",
+      "items": 1001,
+      "value": null
+    },
+    "error": "HQ_VALUE_TOO_MANY_ITEMS"
+  },
+  {
+    "id": "value-nodes-10001",
+    "phase": "limits",
+    "generator": {
+      "type": "array-tree",
+      "branches": 10,
+      "itemsPerBranch": 999,
+      "value": null
+    },
+    "error": "HQ_VALUE_TOO_MANY_NODES"
+  },
+  {
+    "id": "string-bytes-65537",
+    "phase": "limits",
+    "generator": {
+      "type": "repeat-string",
+      "utf8": "a",
+      "count": 65537
+    },
+    "error": "HQ_VALUE_TOO_LARGE"
+  }
+]