@kanonak-protocol/expression 1.0.0 → 1.2.0

package/vectors/expression-vectors-2.json

@@ -0,0 +1,1983 @@
+{
+  "expressionRuntimeVersion": "2",
+  "description": "Behavior parity vectors for expressionRuntimeVersion 2 — the value-domain extension (number | string | ref | list), the list/aggregate/membership family, polymorphic Equals, kind predicates, lambda binding (Filter/ListMap/ForEach), Matches over the pinned RE2-compatible XSD-regex subset, and NameBasedUuid, the RFC 9562 version 5 UUID of a name (1.2.0). Runs IN ADDITION to expression-vectors.json (v1), every vector of which must pass unchanged under a v2 kernel — that file is the numeric-regression gate. `expected` and `env` values are Values: JSON numbers, strings, arrays (lists), and {\"ref\": \"publisher/package/name\"} objects (refs). Normative list-family semantics are the SDK reference engine's: Sum on empty = 0; Min/Max/Average on empty = loud error; Count type-agnostic; absence is the empty list; predicates fail closed on type-confused operands, computations fail loud.",
+  "vectors": [
+    {
+      "id": "string-literal",
+      "expr": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "hello" },
+      "expected": "hello"
+    },
+    {
+      "id": "uri-literal-as-value",
+      "description": "UriLiteral is a kernel-known literal in v2: it evaluates to its ref identity",
+      "expr": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/red" },
+      "expected": { "ref": "example.org/colors/red" }
+    },
+    {
+      "id": "var-ref-binds-list",
+      "description": "The caller's resolve may return any Value — here a list",
+      "expr": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+      "env": { "xs": [1, 2, 3] },
+      "expected": [1, 2, 3]
+    },
+    {
+      "id": "count-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [1, 2, 3] },
+      "expected": 3
+    },
+    {
+      "id": "count-empty-is-zero",
+      "description": "Absence is the empty list; Count of absence is 0",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [] },
+      "expected": 0
+    },
+    {
+      "id": "count-is-type-agnostic",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [1, "a", { "ref": "example.org/p/x" }] },
+      "expected": 3
+    },
+    {
+      "id": "count-scalar-promotes",
+      "description": "A scalar source promotes to a one-element list (the reference-engine rule)",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 5 }
+      },
+      "expected": 1
+    },
+    {
+      "id": "sum-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Sum",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [1, 2.5, 3] },
+      "expected": 6.5
+    },
+    {
+      "id": "sum-empty-is-zero",
+      "expr": {
+        "type": "kanonak.org/transformations/Sum",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [] },
+      "expected": 0
+    },
+    {
+      "id": "sum-non-numeric-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/Sum",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [1, "two"] },
+      "expectError": true
+    },
+    {
+      "id": "min-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Min",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [3, 1, 2] },
+      "expected": 1
+    },
+    {
+      "id": "max-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Max",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [3, 1, 2] },
+      "expected": 3
+    },
+    {
+      "id": "average-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Average",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [1, 2, 3, 4] },
+      "expected": 2.5
+    },
+    {
+      "id": "min-empty-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/Min",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [] },
+      "expectError": true
+    },
+    {
+      "id": "average-empty-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/Average",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [] },
+      "expectError": true
+    },
+    {
+      "id": "max-non-numeric-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/Max",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": ["a"] },
+      "expectError": true
+    },
+    {
+      "id": "join-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Join",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "separator": ", "
+      },
+      "env": { "xs": ["a", "b", "c"] },
+      "expected": "a, b, c"
+    },
+    {
+      "id": "join-empty-is-empty-string",
+      "expr": {
+        "type": "kanonak.org/transformations/Join",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "separator": ","
+      },
+      "env": { "xs": [] },
+      "expected": ""
+    },
+    {
+      "id": "join-numbers-ecmascript-tostring",
+      "description": "Numbers stringify per the ECMAScript rule RFC 8785 pins (1 not 1.0; 2.5 stays 2.5)",
+      "expr": {
+        "type": "kanonak.org/transformations/Join",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "separator": "-"
+      },
+      "env": { "xs": [1, 2.5, 100] },
+      "expected": "1-2.5-100"
+    },
+    {
+      "id": "join-refs-use-local-name",
+      "expr": {
+        "type": "kanonak.org/transformations/Join",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "separator": "+"
+      },
+      "env": { "xs": [{ "ref": "example.org/colors/red" }, { "ref": "example.org/colors/blue" }] },
+      "expected": "red+blue"
+    },
+    {
+      "id": "join-nested-list-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/Join",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "separator": ","
+      },
+      "env": { "xs": ["a", ["b", "c"]] },
+      "expectError": true
+    },
+    {
+      "id": "contains-string-hit",
+      "expr": {
+        "type": "kanonak.org/transformations/Contains",
+        "haystack": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "needle": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "b" }
+      },
+      "env": { "xs": ["a", "b", "c"] },
+      "expected": 1
+    },
+    {
+      "id": "contains-miss",
+      "expr": {
+        "type": "kanonak.org/transformations/Contains",
+        "haystack": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "needle": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "z" }
+      },
+      "env": { "xs": ["a", "b", "c"] },
+      "expected": 0
+    },
+    {
+      "id": "contains-ref-identity",
+      "description": "Refs compare by canonical versionless URI identity — the tx.Equals rule",
+      "expr": {
+        "type": "kanonak.org/transformations/Contains",
+        "haystack": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "needle": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/blue" }
+      },
+      "env": { "xs": [{ "ref": "example.org/colors/red" }, { "ref": "example.org/colors/blue" }] },
+      "expected": 1
+    },
+    {
+      "id": "contains-cross-kind-is-false",
+      "description": "The string \"1\" is not the number 1 — cross-kind equality is false, never an error",
+      "expr": {
+        "type": "kanonak.org/transformations/Contains",
+        "haystack": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "needle": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "1" }
+      },
+      "env": { "xs": [1, 2, 3] },
+      "expected": 0
+    },
+    {
+      "id": "contains-empty-haystack",
+      "expr": {
+        "type": "kanonak.org/transformations/Contains",
+        "haystack": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "needle": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 1 }
+      },
+      "env": { "xs": [] },
+      "expected": 0
+    },
+    {
+      "id": "equals-strings",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc" },
+        "compareRight": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc" }
+      },
+      "expected": 1
+    },
+    {
+      "id": "equals-strings-differ",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc" },
+        "compareRight": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abd" }
+      },
+      "expected": 0
+    },
+    {
+      "id": "equals-cross-kind-string-number",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "1" },
+        "compareRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 1 }
+      },
+      "expected": 0
+    },
+    {
+      "id": "equals-refs-same-identity",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/red" },
+        "compareRight": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/red" }
+      },
+      "expected": 1
+    },
+    {
+      "id": "equals-refs-differ",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/red" },
+        "compareRight": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/blue" }
+      },
+      "expected": 0
+    },
+    {
+      "id": "equals-ref-vs-string-is-false",
+      "description": "A URI is never equal to the string spelling of it",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/colors/red" },
+        "compareRight": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "example.org/colors/red" }
+      },
+      "expected": 0
+    },
+    {
+      "id": "equals-lists-never-equal",
+      "description": "A list is a container, not a comparable value",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "compareRight": { "type": "kanonak.org/transformations/VarRef", "varName": "ys" }
+      },
+      "env": { "xs": [1, 2], "ys": [1, 2] },
+      "expected": 0
+    },
+    {
+      "id": "isset-empty-list-is-unset",
+      "expr": {
+        "type": "kanonak.org/transformations/IsSet",
+        "checkExpr": { "type": "kanonak.org/transformations/VarRef", "varName": "x" }
+      },
+      "env": { "x": [] },
+      "expected": 0
+    },
+    {
+      "id": "isset-empty-string-is-unset",
+      "expr": {
+        "type": "kanonak.org/transformations/IsSet",
+        "checkExpr": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "" }
+      },
+      "expected": 0
+    },
+    {
+      "id": "isset-zero-is-set",
+      "description": "0 is a value, not absence",
+      "expr": {
+        "type": "kanonak.org/transformations/IsSet",
+        "checkExpr": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 0 }
+      },
+      "expected": 1
+    },
+    {
+      "id": "isset-nonempty-list-is-set",
+      "expr": {
+        "type": "kanonak.org/transformations/IsSet",
+        "checkExpr": { "type": "kanonak.org/transformations/VarRef", "varName": "x" }
+      },
+      "env": { "x": ["a"] },
+      "expected": 1
+    },
+    {
+      "id": "kind-predicates-hit",
+      "description": "IsString/IsNumber/IsReference/IsList each recognize their own kind",
+      "expr": {
+        "type": "kanonak.org/transformations/And",
+        "operands": [
+          { "type": "kanonak.org/transformations/IsString", "kindCheck": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "s" } },
+          { "type": "kanonak.org/transformations/IsNumber", "kindCheck": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 7 } },
+          { "type": "kanonak.org/transformations/IsReference", "kindCheck": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/p/x" } },
+          { "type": "kanonak.org/transformations/IsList", "kindCheck": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" } }
+        ]
+      },
+      "env": { "xs": [1] },
+      "expected": 1
+    },
+    {
+      "id": "kind-predicates-miss",
+      "description": "No kind predicate accepts a foreign kind",
+      "expr": {
+        "type": "kanonak.org/transformations/Or",
+        "operands": [
+          { "type": "kanonak.org/transformations/IsString", "kindCheck": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 7 } },
+          { "type": "kanonak.org/transformations/IsNumber", "kindCheck": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "7" } },
+          { "type": "kanonak.org/transformations/IsReference", "kindCheck": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" } },
+          { "type": "kanonak.org/transformations/IsList", "kindCheck": { "type": "kanonak.org/transformations/UriLiteral", "refTo": "example.org/p/x" } }
+        ]
+      },
+      "env": { "xs": [1] },
+      "expected": 0
+    },
+    {
+      "id": "filter-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Filter",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "loopVar": "x",
+        "predicate": {
+          "type": "kanonak.org/transformations/GreaterThan",
+          "compareLeft": { "type": "kanonak.org/transformations/VarRef", "varName": "x" },
+          "compareRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 2 }
+        }
+      },
+      "env": { "xs": [1, 2, 3, 4] },
+      "expected": [3, 4]
+    },
+    {
+      "id": "list-map-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/ListMap",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "loopVar": "x",
+        "mapBody": {
+          "type": "kanonak.org/transformations/Add",
+          "arithLeft": { "type": "kanonak.org/transformations/VarRef", "varName": "x" },
+          "arithRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 1 }
+        }
+      },
+      "env": { "xs": [1, 2, 3] },
+      "expected": [2, 3, 4]
+    },
+    {
+      "id": "for-each-flattens-one-level",
+      "description": "A body list flattens; an empty body list contributes nothing (absence = skip)",
+      "expr": {
+        "type": "kanonak.org/transformations/ForEach",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "loopVar": "x",
+        "emit": { "type": "kanonak.org/transformations/VarRef", "varName": "x" }
+      },
+      "env": { "xs": [[1, 2], [], [3]] },
+      "expected": [1, 2, 3]
+    },
+    {
+      "id": "lambda-shadowing-innermost-wins",
+      "expr": {
+        "type": "kanonak.org/transformations/ListMap",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "loopVar": "x",
+        "mapBody": {
+          "type": "kanonak.org/transformations/Sum",
+          "source": {
+            "type": "kanonak.org/transformations/ListMap",
+            "source": { "type": "kanonak.org/transformations/VarRef", "varName": "ys" },
+            "loopVar": "x",
+            "mapBody": { "type": "kanonak.org/transformations/VarRef", "varName": "x" }
+          }
+        }
+      },
+      "env": { "xs": [100, 200], "ys": [1, 2] },
+      "expected": [3, 3]
+    },
+    {
+      "id": "lambda-free-variable-falls-through",
+      "description": "A VarRef naming anything but an enclosing loopVar is still the caller's leaf",
+      "expr": {
+        "type": "kanonak.org/transformations/ListMap",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "loopVar": "x",
+        "mapBody": {
+          "type": "kanonak.org/transformations/Multiply",
+          "arithLeft": { "type": "kanonak.org/transformations/VarRef", "varName": "x" },
+          "arithRight": { "type": "kanonak.org/transformations/VarRef", "varName": "scale" }
+        }
+      },
+      "env": { "xs": [1, 2], "scale": 10 },
+      "expected": [10, 20]
+    },
+    {
+      "id": "reverse-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/Reverse",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": [1, 2, 3] },
+      "expected": [3, 2, 1]
+    },
+    {
+      "id": "list-item-at-basic",
+      "expr": {
+        "type": "kanonak.org/transformations/ListItemAt",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "itemIndex": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 1 }
+      },
+      "env": { "xs": [10, 20, 30] },
+      "expected": 20
+    },
+    {
+      "id": "list-item-at-past-end-is-absence",
+      "expr": {
+        "type": "kanonak.org/transformations/ListItemAt",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "itemIndex": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 9 }
+      },
+      "env": { "xs": [10, 20] },
+      "expected": []
+    },
+    {
+      "id": "list-item-at-negative-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/ListItemAt",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" },
+        "itemIndex": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": -1 }
+      },
+      "env": { "xs": [10, 20] },
+      "expectError": true
+    },
+    {
+      "id": "matches-anchored-hit",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "E-1002" },
+        "pattern": "^E-\\d+$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-unanchored-substring",
+      "description": "fn:matches semantics — unanchored; authors write ^…$ for whole-string",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc123def" },
+        "pattern": "\\d+"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-miss",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "hello" },
+        "pattern": "^\\d+$"
+      },
+      "expected": 0
+    },
+    {
+      "id": "matches-prefix-case-fold",
+      "description": "Flag prefix (?i) at position 0 — the only flag mechanism in the subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "ABC" },
+        "pattern": "(?i)abc"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-prefix-multiple-distinct-flags",
+      "description": "All three prefix flags together — distinct flags in one prefix are in subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "ABC" },
+        "pattern": "(?ims)^abc$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-repeated-flag-in-prefix-outside-subset",
+      "description": "A repeated prefix flag is out of subset — the JS engine rejects (?ii) at compile time while the Go, Python and Rust engines accept it, so the subset decides rather than the host",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc" },
+        "pattern": "(?ii)abc"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-second-flag-prefix-outside-subset",
+      "description": "Only ONE whole-pattern prefix — a second (?s) is a mid-pattern group construct",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc" },
+        "pattern": "(?i)(?s)abc"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-mid-pattern-flag-group-outside-subset",
+      "description": "Mid-pattern flag groups are not portable (JS/Python engines) — out of subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "ABC" },
+        "pattern": "x(?i:abc)"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-class-range-and-quantifier",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "kanonak-2" },
+        "pattern": "^[a-z][a-z0-9-]{2,15}$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-lookahead-outside-subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abc" },
+        "pattern": "a(?=b)"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-backreference-outside-subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "abab" },
+        "pattern": "(ab)\\1"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-unicode-property-outside-subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a" },
+        "pattern": "\\p{L}"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-posix-class-outside-subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a" },
+        "pattern": "[[:alpha:]]"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-lookbehind-outside-subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "ab" },
+        "pattern": "(?<=a)b"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-astral-length-counts-code-points",
+      "description": "PINNED counting unit: an astral character (surrogate pair in UTF-16 hosts) is ONE code point — 'a🧬b' is exactly 3 under .{3}. A port counting code units sees 4 and must fail this vector, not the tenant.",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a🧬b" },
+        "pattern": "(?s)^.{3}$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-astral-single-dot",
+      "description": "One astral character matches a single `.`",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "🧬" },
+        "pattern": "^.$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-astral-min-length-lowering",
+      "description": "The minLength lowering shape over astral input: 3 code points satisfies minLength 3 in every port",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a🧬b" },
+        "pattern": "(?s)^.{4,}$"
+      },
+      "expected": 0
+    },
+    {
+      "id": "matches-bare-literal-brace-outside-subset",
+      "description": "A bare `{` that is not a quantifier is engine-divergent (lenient-literal in some, error in others) — the subset requires escaping it",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a{b" },
+        "pattern": "a{b"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-digit-shorthand-is-ascii",
+      "description": "PINNED: \\d is [0-9] by textual expansion — Arabic-Indic digits do not match (Rust/Python native \\d would say yes; every port must expand)",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "١٢٣" },
+        "pattern": "^\\d+$"
+      },
+      "expected": 0
+    },
+    {
+      "id": "matches-space-shorthand-is-ascii",
+      "description": "PINNED: \\s is ASCII whitespace by textual expansion — NBSP does not match (native JS \\s would say yes; every port must expand)",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "\u00a0" },
+        "pattern": "^\\s$"
+      },
+      "expected": 0
+    },
+    {
+      "id": "matches-word-boundary-is-ascii",
+      "description": "PINNED: \\b is the ASCII word boundary — é is not a word character, so \\bé finds no boundary (Unicode \\b engines would match; Rust uses (?-u:\\b), Python re.ASCII)",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a é b" },
+        "pattern": "\\bé"
+      },
+      "expected": 0
+    },
+    {
+      "id": "matches-shorthand-in-class-expands",
+      "description": "In-class shorthand splices as a fragment: [\\d-] is [0-9-]",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "12-34" },
+        "pattern": "^[\\d-]+$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-negated-shorthand-in-class-outside-subset",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a" },
+        "pattern": "[\\D]"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-class-b-escape-outside-subset",
+      "description": "In-class \\b is backspace in JS but an error in RE2-family engines — rejected",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "a" },
+        "pattern": "[\\b]"
+      },
+      "expectError": true
+    },
+    {
+      "id": "matches-dot-matches-carriage-return",
+      "description": "PINNED: non-dotAll `.` is any code point except \\n — it MATCHES \\r (the RE2/Python/Go norm; JS and Java engines exclude more line terminators natively and must translate `.` to [^\\n])",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "\r" },
+        "pattern": "^.$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-vertical-tab-escape",
+      "description": "PINNED: \\v is the vertical tab U+000B (Java's native \\v is a vertical-whitespace CLASS and must translate to \\x0B)",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "\u000b" },
+        "pattern": "^\\v$"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-case-fold-is-unicode",
+      "description": "PINNED: (?i) is Unicode simple case folding — é folds to É (Java adds UNICODE_CASE; C# uses CultureInvariant; Python must NOT pass re.ASCII, which disables it)",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "É" },
+        "pattern": "(?i)é"
+      },
+      "expected": 1
+    },
+    {
+      "id": "matches-non-string-source-errors",
+      "expr": {
+        "type": "kanonak.org/transformations/Matches",
+        "matchSource": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 5 },
+        "pattern": "\\d"
+      },
+      "expectError": true
+    },
+    {
+      "id": "order-comparison-fails-closed-on-string",
+      "description": "Ordering comparisons are predicates: non-numeric operands yield 0, never an error",
+      "expr": {
+        "type": "kanonak.org/transformations/GreaterThan",
+        "compareLeft": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "10" },
+        "compareRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 5 }
+      },
+      "expected": 0
+    },
+    {
+      "id": "arithmetic-fails-loud-on-string",
+      "description": "Computations fail loud: Add of a string is a type error, never a coercion",
+      "expr": {
+        "type": "kanonak.org/transformations/Add",
+        "arithLeft": { "type": "kanonak.org/transformations/StringLiteral", "stringLiteral": "1" },
+        "arithRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 2 }
+      },
+      "expectError": true
+    },
+    {
+      "id": "shacl-min-count-shape",
+      "description": "The sh:minCount lowering shape: Count(values) >= 1",
+      "expr": {
+        "type": "kanonak.org/transformations/GreaterThanOrEqual",
+        "compareLeft": {
+          "type": "kanonak.org/transformations/Count",
+          "source": { "type": "kanonak.org/transformations/VarRef", "varName": "values" }
+        },
+        "compareRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 1 }
+      },
+      "env": { "values": [] },
+      "expected": 0
+    },
+    {
+      "id": "shacl-in-shape",
+      "description": "The sh:in lowering shape: every value a member of the closed set (Filter misses = 0)",
+      "expr": {
+        "type": "kanonak.org/transformations/Equals",
+        "compareLeft": {
+          "type": "kanonak.org/transformations/Count",
+          "source": {
+            "type": "kanonak.org/transformations/Filter",
+            "source": { "type": "kanonak.org/transformations/VarRef", "varName": "values" },
+            "loopVar": "v",
+            "predicate": {
+              "type": "kanonak.org/transformations/Not",
+              "operand": {
+                "type": "kanonak.org/transformations/Contains",
+                "haystack": { "type": "kanonak.org/transformations/VarRef", "varName": "allowed" },
+                "needle": { "type": "kanonak.org/transformations/VarRef", "varName": "v" }
+              }
+            }
+          }
+        },
+        "compareRight": { "type": "kanonak.org/transformations/IntegerLiteral", "integerLiteral": 0 }
+      },
+      "env": { "values": ["draft", "active"], "allowed": ["draft", "active", "done"] },
+      "expected": 1
+    },
+    {
+      "id": "count-trace",
+      "description": "explain() over a list operator: children = the source trace",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": { "type": "kanonak.org/transformations/VarRef", "varName": "xs" }
+      },
+      "env": { "xs": ["a", "b"] },
+      "expected": 2,
+      "trace": {
+        "type": "kanonak.org/transformations/Count",
+        "value": 2,
+        "children": [
+          { "type": "kanonak.org/transformations/VarRef", "value": ["a", "b"], "children": [] }
+        ]
+      }
+    },
+    {
+      "id": "filter-caller-leaf-sees-loop-binding",
+      "description": "runtime#25: a caller-resolved leaf inside a Filter body reads the loop element. The caller's PropertyRead evaluates its readSource through the handed-back evaluate, which MUST carry the enclosing loopVar frame — the binding is the kernel's, the read is the caller's",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": {
+          "type": "kanonak.org/transformations/Filter",
+          "source": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "items"
+          },
+          "loopVar": "it",
+          "predicate": {
+            "type": "kanonak.org/transformations/Equals",
+            "compareLeft": {
+              "type": "kanonak.org/transformations/PropertyRead",
+              "readSource": {
+                "type": "kanonak.org/transformations/VarRef",
+                "varName": "it"
+              },
+              "readProp": "size"
+            },
+            "compareRight": {
+              "type": "kanonak.org/transformations/IntegerLiteral",
+              "integerLiteral": 20
+            }
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": 1
+    },
+    {
+      "id": "list-map-caller-leaf-reads-each-element",
+      "description": "ListMap body = a caller leaf over the loop element; the element bound by loopVar is whatever the caller put in the list — for a host graph, a ref — so readSource evaluating to a ref is the shape every port must handle. The trace shows the caller leaf as a leaf with its resolved value",
+      "expr": {
+        "type": "kanonak.org/transformations/ListMap",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "mapBody": {
+          "type": "kanonak.org/transformations/PropertyRead",
+          "readSource": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "it"
+          },
+          "readProp": "size"
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        10,
+        20
+      ],
+      "trace": {
+        "type": "kanonak.org/transformations/ListMap",
+        "value": [
+          10,
+          20
+        ],
+        "children": [
+          {
+            "type": "kanonak.org/transformations/VarRef",
+            "value": [
+              {
+                "ref": "example.org/inv/item-1"
+              },
+              {
+                "ref": "example.org/inv/item-2"
+              }
+            ],
+            "children": []
+          },
+          {
+            "type": "kanonak.org/transformations/PropertyRead",
+            "value": 10,
+            "children": []
+          },
+          {
+            "type": "kanonak.org/transformations/PropertyRead",
+            "value": 20,
+            "children": []
+          }
+        ]
+      }
+    },
+    {
+      "id": "for-each-caller-leaf-flattens-multi-and-single",
+      "description": "ForEach over a caller leaf: a multi-valued read contributes each value, a single-valued read contributes itself",
+      "expr": {
+        "type": "kanonak.org/transformations/ForEach",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "emit": {
+          "type": "kanonak.org/transformations/PropertyRead",
+          "readSource": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "it"
+          },
+          "readProp": "tags"
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        "a",
+        "b",
+        "c"
+      ]
+    },
+    {
+      "id": "property-read-multiple-values-is-a-list-in-loop-body",
+      "description": "The reference engine's convention, pinned INSIDE a loop body so every port's caller leaf agrees: a property with several values reads as a list",
+      "expr": {
+        "type": "kanonak.org/transformations/Filter",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "predicate": {
+          "type": "kanonak.org/transformations/Equals",
+          "compareLeft": {
+            "type": "kanonak.org/transformations/Count",
+            "source": {
+              "type": "kanonak.org/transformations/PropertyRead",
+              "readSource": {
+                "type": "kanonak.org/transformations/VarRef",
+                "varName": "it"
+              },
+              "readProp": "tags"
+            }
+          },
+          "compareRight": {
+            "type": "kanonak.org/transformations/IntegerLiteral",
+            "integerLiteral": 2
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        {
+          "ref": "example.org/inv/item-1"
+        }
+      ]
+    },
+    {
+      "id": "property-read-single-value-is-itself-in-loop-body",
+      "description": "A property with one value reads as that value, NOT a one-element list — Equals against the scalar holds (a port wrapping singles in a list fails cross-kind here)",
+      "expr": {
+        "type": "kanonak.org/transformations/Filter",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "predicate": {
+          "type": "kanonak.org/transformations/Equals",
+          "compareLeft": {
+            "type": "kanonak.org/transformations/PropertyRead",
+            "readSource": {
+              "type": "kanonak.org/transformations/VarRef",
+              "varName": "it"
+            },
+            "readProp": "tags"
+          },
+          "compareRight": {
+            "type": "kanonak.org/transformations/StringLiteral",
+            "stringLiteral": "c"
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        {
+          "ref": "example.org/inv/item-2"
+        }
+      ]
+    },
+    {
+      "id": "property-read-absent-is-empty-list-in-loop-body",
+      "description": "A property with no value reads as the empty list (absence), never an error and never null: Count is 0 for the element without an owner",
+      "expr": {
+        "type": "kanonak.org/transformations/ListMap",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "mapBody": {
+          "type": "kanonak.org/transformations/Count",
+          "source": {
+            "type": "kanonak.org/transformations/PropertyRead",
+            "readSource": {
+              "type": "kanonak.org/transformations/VarRef",
+              "varName": "it"
+            },
+            "readProp": "owner"
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        0,
+        1
+      ]
+    },
+    {
+      "id": "is-set-guards-absent-property-in-loop-body",
+      "description": "IsSet over a caller leaf distinguishes the element that has the property",
+      "expr": {
+        "type": "kanonak.org/transformations/Filter",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "predicate": {
+          "type": "kanonak.org/transformations/IsSet",
+          "checkExpr": {
+            "type": "kanonak.org/transformations/PropertyRead",
+            "readSource": {
+              "type": "kanonak.org/transformations/VarRef",
+              "varName": "it"
+            },
+            "readProp": "owner"
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        {
+          "ref": "example.org/inv/item-2"
+        }
+      ]
+    },
+    {
+      "id": "inner-loop-var-shadows-outer-through-caller-leaf",
+      "description": "Nested iterators binding the SAME loopVar name: the innermost binder wins, and that precedence reaches a caller leaf too. Were the outer 'it' visible, the inner count would be [0, 2]",
+      "expr": {
+        "type": "kanonak.org/transformations/ListMap",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "mapBody": {
+          "type": "kanonak.org/transformations/Count",
+          "source": {
+            "type": "kanonak.org/transformations/Filter",
+            "source": {
+              "type": "kanonak.org/transformations/VarRef",
+              "varName": "items"
+            },
+            "loopVar": "it",
+            "predicate": {
+              "type": "kanonak.org/transformations/Equals",
+              "compareLeft": {
+                "type": "kanonak.org/transformations/PropertyRead",
+                "readSource": {
+                  "type": "kanonak.org/transformations/VarRef",
+                  "varName": "it"
+                },
+                "readProp": "size"
+              },
+              "compareRight": {
+                "type": "kanonak.org/transformations/IntegerLiteral",
+                "integerLiteral": 20
+              }
+            }
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        1,
+        1
+      ]
+    },
+    {
+      "id": "loop-var-shadows-caller-binding-inside-body-only",
+      "description": "A loopVar whose name collides with a name the CALLER binds ('it' is in env as item-1): inside the body the kernel's binding wins — silently, which is why a generator should refuse the collision where it is visible — while outside the body the caller's binding is untouched. size(env.it)=10 + count-of-size-20-elements=1",
+      "expr": {
+        "type": "kanonak.org/transformations/Add",
+        "arithLeft": {
+          "type": "kanonak.org/transformations/PropertyRead",
+          "readSource": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "it"
+          },
+          "readProp": "size"
+        },
+        "arithRight": {
+          "type": "kanonak.org/transformations/Count",
+          "source": {
+            "type": "kanonak.org/transformations/Filter",
+            "source": {
+              "type": "kanonak.org/transformations/VarRef",
+              "varName": "items"
+            },
+            "loopVar": "it",
+            "predicate": {
+              "type": "kanonak.org/transformations/Equals",
+              "compareLeft": {
+                "type": "kanonak.org/transformations/PropertyRead",
+                "readSource": {
+                  "type": "kanonak.org/transformations/VarRef",
+                  "varName": "it"
+                },
+                "readProp": "size"
+              },
+              "compareRight": {
+                "type": "kanonak.org/transformations/IntegerLiteral",
+                "integerLiteral": 20
+              }
+            }
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ],
+        "it": {
+          "ref": "example.org/inv/item-1"
+        }
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": 11
+    },
+    {
+      "id": "filter-trace-pairs-body-k-with-source-element-k",
+      "description": "runtime#26: the trace↔expression contract for an IteratingExpression. children[0] is the source trace; body trace k pairs with element k of the source value — EVERY element, including the one the predicate rejects (value 0): the trace is truthful about what ran, so \"which element failed\" is positional. What was read (readProp) is on the paired expression node, not repeated here",
+      "expr": {
+        "type": "kanonak.org/transformations/Count",
+        "source": {
+          "type": "kanonak.org/transformations/Filter",
+          "source": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "items"
+          },
+          "loopVar": "it",
+          "predicate": {
+            "type": "kanonak.org/transformations/Equals",
+            "compareLeft": {
+              "type": "kanonak.org/transformations/PropertyRead",
+              "readSource": {
+                "type": "kanonak.org/transformations/VarRef",
+                "varName": "it"
+              },
+              "readProp": "size"
+            },
+            "compareRight": {
+              "type": "kanonak.org/transformations/IntegerLiteral",
+              "integerLiteral": 20
+            }
+          }
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": 1,
+      "trace": {
+        "type": "kanonak.org/transformations/Count",
+        "value": 1,
+        "children": [
+          {
+            "type": "kanonak.org/transformations/Filter",
+            "value": [
+              {
+                "ref": "example.org/inv/item-2"
+              }
+            ],
+            "children": [
+              {
+                "type": "kanonak.org/transformations/VarRef",
+                "value": [
+                  {
+                    "ref": "example.org/inv/item-1"
+                  },
+                  {
+                    "ref": "example.org/inv/item-2"
+                  }
+                ],
+                "children": []
+              },
+              {
+                "type": "kanonak.org/transformations/Equals",
+                "value": 0,
+                "children": [
+                  {
+                    "type": "kanonak.org/transformations/PropertyRead",
+                    "value": 10,
+                    "children": []
+                  },
+                  {
+                    "type": "kanonak.org/transformations/IntegerLiteral",
+                    "value": 20,
+                    "children": []
+                  }
+                ]
+              },
+              {
+                "type": "kanonak.org/transformations/Equals",
+                "value": 1,
+                "children": [
+                  {
+                    "type": "kanonak.org/transformations/PropertyRead",
+                    "value": 20,
+                    "children": []
+                  },
+                  {
+                    "type": "kanonak.org/transformations/IntegerLiteral",
+                    "value": 20,
+                    "children": []
+                  }
+                ]
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "filter-trace-scalar-source-is-coerced-to-a-list",
+      "description": "The coercion hole in the pairing rule: a source that resolves to ONE value (the caller convention: one → itself) is iterated as a one-element list, but the source trace carries the SCALAR. So the rule is \"element k of the source value coerced to a list\" — a consumer indexing children[0].value directly indexes a scalar. Pinned here so no port and no consumer gets it wrong",
+      "expr": {
+        "type": "kanonak.org/transformations/Filter",
+        "source": {
+          "type": "kanonak.org/transformations/PropertyRead",
+          "readSource": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "x"
+          },
+          "readProp": "tags"
+        },
+        "loopVar": "t",
+        "predicate": {
+          "type": "kanonak.org/transformations/Equals",
+          "compareLeft": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "t"
+          },
+          "compareRight": {
+            "type": "kanonak.org/transformations/StringLiteral",
+            "stringLiteral": "c"
+          }
+        }
+      },
+      "env": {
+        "x": {
+          "ref": "example.org/inv/item-2"
+        }
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10,
+          "tags": [
+            "a",
+            "b"
+          ]
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "tags": "c",
+          "owner": {
+            "ref": "example.org/inv/ann"
+          }
+        }
+      },
+      "expected": [
+        "c"
+      ],
+      "trace": {
+        "type": "kanonak.org/transformations/Filter",
+        "value": [
+          "c"
+        ],
+        "children": [
+          {
+            "type": "kanonak.org/transformations/PropertyRead",
+            "value": "c",
+            "children": []
+          },
+          {
+            "type": "kanonak.org/transformations/Equals",
+            "value": 1,
+            "children": [
+              {
+                "type": "kanonak.org/transformations/VarRef",
+                "value": "c",
+                "children": []
+              },
+              {
+                "type": "kanonak.org/transformations/StringLiteral",
+                "value": "c",
+                "children": []
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "property-read-of-an-inherited-name-reads-only-the-node",
+      "description": "runtime#61: a property named after a member every object inherits, such as valueOf, as transformations declares, reads only what the node holds. A node without it reads as absent, the empty list, never the inherited member",
+      "expr": {
+        "type": "kanonak.org/transformations/ForEach",
+        "source": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "items"
+        },
+        "loopVar": "it",
+        "emit": {
+          "type": "kanonak.org/transformations/PropertyRead",
+          "readSource": {
+            "type": "kanonak.org/transformations/VarRef",
+            "varName": "it"
+          },
+          "readProp": "valueOf"
+        }
+      },
+      "env": {
+        "items": [
+          {
+            "ref": "example.org/inv/item-1"
+          },
+          {
+            "ref": "example.org/inv/item-2"
+          }
+        ]
+      },
+      "graph": {
+        "example.org/inv/item-1": {
+          "size": 10
+        },
+        "example.org/inv/item-2": {
+          "size": 20,
+          "valueOf": "own value"
+        }
+      },
+      "expected": [
+        "own value"
+      ]
+    },
+    {
+      "id": "name-based-uuid-dns-namespace",
+      "description": "RFC 9562 version 5 of www.example.com under the RFC's DNS namespace, as Python's uuid.uuid5 gives it; uuidFormat absent is canonical text",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expected": "2ed6657d-e927-568b-95e1-2665a8aea6a2"
+    },
+    {
+      "id": "name-based-uuid-url-namespace-versionless-uri",
+      "description": "A versionless URI under the RFC's URL namespace: the identifier of a declaration derived from its name",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b811-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "example.com/example-package/example-subject"
+        }
+      },
+      "expected": "be8ed0ff-6592-5bdf-a80d-6e7001609a48"
+    },
+    {
+      "id": "name-based-uuid-canonical-uuid-named",
+      "description": "uuidFormat canonical-uuid, named, gives what its absence gives",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        },
+        "uuidFormat": "kanonak.org/transformations/canonical-uuid"
+      },
+      "expected": "2ed6657d-e927-568b-95e1-2665a8aea6a2"
+    },
+    {
+      "id": "name-based-uuid-hex-uuid",
+      "description": "uuidFormat hex-uuid: the same 32 lower-case hex digits, without hyphens",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        },
+        "uuidFormat": "kanonak.org/transformations/hex-uuid"
+      },
+      "expected": "2ed6657de927568b95e12665a8aea6a2"
+    },
+    {
+      "id": "name-based-uuid-upper-case-namespace",
+      "description": "A namespace's hex digits are read in either case (RFC 9562, section 4), and the result is always lower-case",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6BA7B810-9DAD-11D1-80B4-00C04FD430C8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expected": "2ed6657d-e927-568b-95e1-2665a8aea6a2"
+    },
+    {
+      "id": "name-based-uuid-utf8-name",
+      "description": "The name is hashed as its UTF-8 bytes: two-byte, three-byte and an astral four-byte character, never UTF-16 code units",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b811-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "café/日本/😀"
+        }
+      },
+      "expected": "ec2bae54-7e46-5219-b4ea-0a44921487e8"
+    },
+    {
+      "id": "name-based-uuid-empty-name",
+      "description": "An empty name hashes the namespace's 16 bytes alone",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": ""
+        }
+      },
+      "expected": "4ebd0208-8328-5d69-8c44-ec50939c0967"
+    },
+    {
+      "id": "name-based-uuid-bound-name",
+      "description": "Both operands are expressions: the name here is a bound variable",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "name"
+        }
+      },
+      "env": {
+        "name": "www.example.com"
+      },
+      "expected": "2ed6657d-e927-568b-95e1-2665a8aea6a2"
+    },
+    {
+      "id": "name-based-uuid-namespace-not-a-uuid",
+      "description": "A namespace that isn't a UUID is an error, never a value",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "not-a-uuid"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-without-hyphens",
+      "description": "Only canonical text is a namespace: the 32 digits without hyphens are refused, though some UUID parsers accept them",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b8109dad11d180b400c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-braced",
+      "description": "A braced namespace is refused, though some UUID parsers accept it",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "{6ba7b810-9dad-11d1-80b4-00c04fd430c8}"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-urn",
+      "description": "A urn:uuid: namespace is refused, though some UUID parsers accept it",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "urn:uuid:6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-trailing-newline",
+      "description": "A namespace with a trailing newline is refused: a pattern whose $ matches before a final newline, as Python's, Java's and .NET's do, would accept it",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8\n"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-fullwidth-digit",
+      "description": "Hex digits are ASCII only: a fullwidth digit, which a Unicode-aware digit class or number parse reads as 8, is refused",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c８"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-number",
+      "description": "A namespace that isn't a string is an error",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/IntegerLiteral",
+          "integerLiteral": 5
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-namespace-ref",
+      "description": "A reference is not the string spelling of its URI, so it isn't a namespace",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/UriLiteral",
+          "refTo": "example.org/namespaces/dns"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-name-number",
+      "description": "A name that isn't a string is an error",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/IntegerLiteral",
+          "integerLiteral": 5
+        }
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-name-list",
+      "description": "A list is not a name, even of one string",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "names"
+        }
+      },
+      "env": {
+        "names": [
+          "www.example.com"
+        ]
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-name-absent",
+      "description": "Absence, the empty list, is not a name",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/VarRef",
+          "varName": "names"
+        }
+      },
+      "env": {
+        "names": []
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-unknown-format",
+      "description": "A uuidFormat other than canonical-uuid or hex-uuid is an error",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        },
+        "uuidFormat": "kanonak.org/transformations/to-upper"
+      },
+      "expectError": true
+    },
+    {
+      "id": "name-based-uuid-format-inherited-member",
+      "description": "A uuidFormat that names a member every object inherits misses, as any other unknown format does",
+      "expr": {
+        "type": "kanonak.org/transformations/NameBasedUuid",
+        "uuidNamespace": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "6ba7b810-9dad-11d1-80b4-00c04fd430c8"
+        },
+        "uuidName": {
+          "type": "kanonak.org/transformations/StringLiteral",
+          "stringLiteral": "www.example.com"
+        },
+        "uuidFormat": "valueOf"
+      },
+      "expectError": true
+    }
+  ]
+}