@jarenjs/json 0.9.2 → 0.34.2

package/schemas/jaren-jslt.schema.json

@@ -220,9 +220,10 @@
       "format": "json-path"
     },
     "variablePathString": {
-      "description": "A variable-rooted path: '$name' with name matching [A-Za-z_][A-Za-z0-9_]*, optionally followed by RFC 9535 segments. Only the head is pattern-checked; the full segment grammar is enforced by the compiler (JQ0004).",
+      "description": "A variable-rooted path: '$name' with name matching [A-Za-z_][A-Za-z0-9_]*, optionally followed by RFC 9535 segments. The pattern checks the head; the json-path-segments format asserts the full segment grammar where format assertion is enabled (the compiler enforces it either way, JQ0004).",
       "type": "string",
-      "pattern": "^\\$[A-Za-z_][A-Za-z0-9_]*($|[.\\[])"
+      "pattern": "^\\$[A-Za-z_][A-Za-z0-9_]*($|[.\\[])",
+      "format": "json-path-segments"
     },
     "arrayConstructor": {
       "description": "An array in expression position constructs an array; element results are concatenated per XQuery sequence flattening.",
@@ -243,6 +244,9 @@
         {
           "$ref": "#/$defs/mapPhrase"
         },
+        {
+          "$ref": "#/$defs/callPhrase"
+        },
         {
           "$ref": "#/$defs/flworPhrase"
         },
@@ -270,6 +274,12 @@
         {
           "$ref": "#/$defs/stringJoinPhrase"
         },
+        {
+          "$ref": "#/$defs/geohashPhrase"
+        },
+        {
+          "$ref": "#/$defs/ternaryOperatorPhrase"
+        },
         {
           "$ref": "#/$defs/replacePhrase"
         },
@@ -328,9 +338,12 @@
       "maxItems": 2
     },
     "flworPhrase": {
-      "description": "FLWOR phrase. Clauses apply in the fixed semantic order $for, $let, $as, $where, $groupby, $orderby, $count, $return regardless of JSON key order (D7); interleavings are expressed by nesting phrases. $return is required, plus at least one of $for/$let.",
+      "description": "FLWOR phrase. Clauses apply in the fixed semantic order $fold, $for, $let, $as, $where, $groupby, $orderby, $count, $return regardless of JSON key order (D7); interleavings are expressed by nesting phrases. $return is required, plus at least one of $fold/$for/$let. With $fold the phrase evaluates to the final accumulator instead of the collected $return sequence.",
       "type": "object",
       "properties": {
+        "$fold": {
+          "$ref": "#/$defs/foldBinding"
+        },
         "$for": {
           "$ref": "#/$defs/forBindings"
         },
@@ -369,6 +382,11 @@
           "required": [
             "$let"
           ]
+        },
+        {
+          "required": [
+            "$fold"
+          ]
         }
       ],
       "additionalProperties": false
@@ -378,7 +396,7 @@
       "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
     },
     "forBindings": {
-      "description": "Iteration bindings: variable name to source expression or extended {$in, $at} binding. Bindings nest left-to-right in document key order and may be correlated; key-order-hostile producers should nest phrases instead.",
+      "description": "Iteration bindings: variable name to source expression or extended $in binding. Bindings nest left-to-right in document key order and may be correlated; key-order-hostile producers should nest phrases instead.",
       "type": "object",
       "minProperties": 1,
       "propertyNames": {
@@ -399,7 +417,7 @@
       ]
     },
     "extendedForBinding": {
-      "description": "Extended $for binding: iterates $in and binds $at to the 0-based (D6) position variable.",
+      "description": "Extended $for binding. $in is the source; $at binds the 0-based (D6) position variable; $allowing-empty emits one tuple with the variable bound to the empty sequence (position -1) when the source yields no tuple; $window with $size, and optionally $step, iterates tumbling or sliding windows instead of items. Only $in is structurally required: the compiler rejects $size/$step without $window, and $window without $size (JQ0003).",
       "type": "object",
       "properties": {
         "$in": {
@@ -407,11 +425,27 @@
         },
         "$at": {
           "$ref": "#/$defs/variableName"
+        },
+        "$allowing-empty": {
+          "type": "boolean"
+        },
+        "$window": {
+          "enum": [
+            "tumbling",
+            "sliding"
+          ]
+        },
+        "$size": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "$step": {
+          "type": "integer",
+          "minimum": 1
         }
       },
       "required": [
-        "$in",
-        "$at"
+        "$in"
       ],
       "additionalProperties": false
     },
@@ -469,7 +503,7 @@
       ]
     },
     "orderByKeySpec": {
-      "description": "Explicit order key: direction defaults to 'asc', empty-sequence placement to 'least'.",
+      "description": "Explicit order key: direction defaults to 'asc', empty-sequence placement to 'least'. A $collation names a registered pure compare function (options.collations, JQ0010) applied to string keys; the default stays code-point order.",
       "type": "object",
       "properties": {
         "$key": {
@@ -486,6 +520,10 @@
             "least",
             "greatest"
           ]
+        },
+        "$collation": {
+          "type": "string",
+          "minLength": 1
         }
       },
       "required": [
@@ -548,6 +586,8 @@
           "$sort",
           "$head",
           "$tail",
+          "$entries",
+          "$from-entries",
           "$upper",
           "$lower",
           "$string-length",
@@ -560,7 +600,28 @@
           "$is-boolean",
           "$is-null",
           "$is-array",
-          "$is-object"
+          "$is-object",
+          "$is-date",
+          "$is-time",
+          "$is-datetime",
+          "$is-duration",
+          "$year",
+          "$month",
+          "$day",
+          "$hours",
+          "$minutes",
+          "$seconds",
+          "$offset",
+          "$epoch",
+          "$datetime",
+          "$week",
+          "$week-year",
+          "$quarter",
+          "$weekday",
+          "$bbox",
+          "$area",
+          "$length",
+          "$centroid"
         ]
       },
       "additionalProperties": {
@@ -594,6 +655,12 @@
           "$index-of",
           "$range",
           "$get",
+          "$start-of",
+          "$end-of",
+          "$date-format",
+          "$distance",
+          "$within",
+          "$bbox-intersects",
           "$default"
         ]
       },
@@ -645,7 +712,7 @@
       }
     },
     "conditionalArityOperatorPhrase": {
-      "description": "Operators taking two or three operand expressions: $if [cond, then, else?], $substring [str, start, len?], $subsequence [seq, start, len?].",
+      "description": "Operators taking two or three operand expressions: $if [cond, then, else?], $substring [str, start, len?], $subsequence [seq, start, len?], $date-add / $date-sub [date, duration] or [date, amount, unit].",
       "type": "object",
       "minProperties": 1,
       "maxProperties": 1,
@@ -653,7 +720,9 @@
         "enum": [
           "$if",
           "$substring",
-          "$subsequence"
+          "$subsequence",
+          "$date-add",
+          "$date-sub"
         ]
       },
       "additionalProperties": {
@@ -771,6 +840,78 @@
         "$apply"
       ],
       "additionalProperties": false
+    },
+    "callPhrase": {
+      "description": "A registered trusted host function call: ['name', ...argument expressions]. The name must be registered at compile time (options.functions, JQ0010); sequences cross the boundary as arrays, a returned undefined is the empty sequence, a throwing function is JQ2010.",
+      "type": "object",
+      "properties": {
+        "$call": {
+          "type": "array",
+          "minItems": 1,
+          "prefixItems": [
+            {
+              "type": "string",
+              "minLength": 1
+            }
+          ],
+          "items": {
+            "$ref": "#/$defs/expression"
+          }
+        }
+      },
+      "required": [
+        "$call"
+      ],
+      "additionalProperties": false
+    },
+    "foldBinding": {
+      "description": "The $fold accumulator: exactly one variable name mapped to the accumulator's initial value, evaluated once in the enclosing scope before the tuple stream starts. $return then names the accumulator's next value per surviving tuple.",
+      "type": "object",
+      "minProperties": 1,
+      "maxProperties": 1,
+      "propertyNames": {
+        "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
+      },
+      "additionalProperties": {
+        "$ref": "#/$defs/expression"
+      }
+    },
+    "ternaryOperatorPhrase": {
+      "description": "Operators whose value is an array of exactly three operand expressions: $date-diff [from, to, unit].",
+      "type": "object",
+      "minProperties": 1,
+      "maxProperties": 1,
+      "propertyNames": {
+        "enum": [
+          "$date-diff"
+        ]
+      },
+      "additionalProperties": {
+        "type": "array",
+        "items": {
+          "$ref": "#/$defs/expression"
+        },
+        "minItems": 3,
+        "maxItems": 3
+      }
+    },
+    "geohashPhrase": {
+      "description": "$geohash [value] or [value, precision]: a GeoJSON value as a base-32 cell string. Precision is an integer from 1 to 12 (default 9); a value that is not a bare position is represented by its centroid.",
+      "type": "object",
+      "properties": {
+        "$geohash": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/expression"
+          },
+          "minItems": 1,
+          "maxItems": 2
+        }
+      },
+      "required": [
+        "$geohash"
+      ],
+      "additionalProperties": false
     }
   }
 }

package/schemas/jaren-query.draft-07.schema.json

@@ -97,9 +97,10 @@
       "format": "json-path"
     },
     "variablePathString": {
-      "description": "A variable-rooted path: '$name' with name matching [A-Za-z_][A-Za-z0-9_]*, optionally followed by RFC 9535 segments. Only the head is pattern-checked; the full segment grammar is enforced by the compiler (JQ0004).",
+      "description": "A variable-rooted path: '$name' with name matching [A-Za-z_][A-Za-z0-9_]*, optionally followed by RFC 9535 segments. The pattern checks the head; the json-path-segments format asserts the full segment grammar where format assertion is enabled (the compiler enforces it either way, JQ0004).",
       "type": "string",
-      "pattern": "^\\$[A-Za-z_][A-Za-z0-9_]*($|[.\\[])"
+      "pattern": "^\\$[A-Za-z_][A-Za-z0-9_]*($|[.\\[])",
+      "format": "json-path-segments"
     },
     "arrayConstructor": {
       "description": "An array in expression position constructs an array; element results are concatenated per XQuery sequence flattening.",
@@ -120,6 +121,9 @@
         {
           "$ref": "#/definitions/mapPhrase"
         },
+        {
+          "$ref": "#/definitions/callPhrase"
+        },
         {
           "$ref": "#/definitions/flworPhrase"
         },
@@ -147,6 +151,12 @@
         {
           "$ref": "#/definitions/stringJoinPhrase"
         },
+        {
+          "$ref": "#/definitions/geohashPhrase"
+        },
+        {
+          "$ref": "#/definitions/ternaryOperatorPhrase"
+        },
         {
           "$ref": "#/definitions/replacePhrase"
         },
@@ -201,10 +211,36 @@
       "minItems": 2,
       "maxItems": 2
     },
+    "callPhrase": {
+      "description": "A registered trusted host function call: ['name', ...argument expressions]. The name must be registered at compile time (options.functions, JQ0010); sequences cross the boundary as arrays, a returned undefined is the empty sequence, a throwing function is JQ2010.",
+      "type": "object",
+      "properties": {
+        "$call": {
+          "type": "array",
+          "minItems": 1,
+          "items": [
+            {
+              "type": "string",
+              "minLength": 1
+            }
+          ],
+          "additionalItems": {
+            "$ref": "#/definitions/expression"
+          }
+        }
+      },
+      "required": [
+        "$call"
+      ],
+      "additionalProperties": false
+    },
     "flworPhrase": {
-      "description": "FLWOR phrase. Clauses apply in the fixed semantic order $for, $let, $as, $where, $groupby, $orderby, $count, $return regardless of JSON key order (D7); interleavings are expressed by nesting phrases. $return is required, plus at least one of $for/$let.",
+      "description": "FLWOR phrase. Clauses apply in the fixed semantic order $fold, $for, $let, $as, $where, $groupby, $orderby, $count, $return regardless of JSON key order (D7); interleavings are expressed by nesting phrases. $return is required, plus at least one of $fold/$for/$let. With $fold the phrase evaluates to the final accumulator instead of the collected $return sequence.",
       "type": "object",
       "properties": {
+        "$fold": {
+          "$ref": "#/definitions/foldBinding"
+        },
         "$for": {
           "$ref": "#/definitions/forBindings"
         },
@@ -243,16 +279,33 @@
           "required": [
             "$let"
           ]
+        },
+        {
+          "required": [
+            "$fold"
+          ]
         }
       ],
       "additionalProperties": false
     },
+    "foldBinding": {
+      "description": "The $fold accumulator: exactly one variable name mapped to the accumulator's initial value, evaluated once in the enclosing scope before the tuple stream starts. $return then names the accumulator's next value per surviving tuple.",
+      "type": "object",
+      "minProperties": 1,
+      "maxProperties": 1,
+      "propertyNames": {
+        "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
+      },
+      "additionalProperties": {
+        "$ref": "#/definitions/expression"
+      }
+    },
     "variableName": {
       "type": "string",
       "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
     },
     "forBindings": {
-      "description": "Iteration bindings: variable name to source expression or extended {$in, $at} binding. Bindings nest left-to-right in document key order and may be correlated; key-order-hostile producers should nest phrases instead.",
+      "description": "Iteration bindings: variable name to source expression or extended $in binding. Bindings nest left-to-right in document key order and may be correlated; key-order-hostile producers should nest phrases instead.",
       "type": "object",
       "minProperties": 1,
       "propertyNames": {
@@ -273,7 +326,7 @@
       ]
     },
     "extendedForBinding": {
-      "description": "Extended $for binding: iterates $in and binds $at to the 0-based (D6) position variable.",
+      "description": "Extended $for binding. $in is the source; $at binds the 0-based (D6) position variable; $allowing-empty emits one tuple with the variable bound to the empty sequence (position -1) when the source yields no tuple; $window with $size, and optionally $step, iterates tumbling or sliding windows instead of items. Only $in is structurally required: the compiler rejects $size/$step without $window, and $window without $size (JQ0003).",
       "type": "object",
       "properties": {
         "$in": {
@@ -281,11 +334,27 @@
         },
         "$at": {
           "$ref": "#/definitions/variableName"
+        },
+        "$allowing-empty": {
+          "type": "boolean"
+        },
+        "$window": {
+          "enum": [
+            "tumbling",
+            "sliding"
+          ]
+        },
+        "$size": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "$step": {
+          "type": "integer",
+          "minimum": 1
         }
       },
       "required": [
-        "$in",
-        "$at"
+        "$in"
       ],
       "additionalProperties": false
     },
@@ -343,7 +412,7 @@
       ]
     },
     "orderByKeySpec": {
-      "description": "Explicit order key: direction defaults to 'asc', empty-sequence placement to 'least'.",
+      "description": "Explicit order key: direction defaults to 'asc', empty-sequence placement to 'least'. A $collation names a registered pure compare function (options.collations, JQ0010) applied to string keys; the default stays code-point order.",
       "type": "object",
       "properties": {
         "$key": {
@@ -360,6 +429,10 @@
             "least",
             "greatest"
           ]
+        },
+        "$collation": {
+          "type": "string",
+          "minLength": 1
         }
       },
       "required": [
@@ -422,6 +495,8 @@
           "$sort",
           "$head",
           "$tail",
+          "$entries",
+          "$from-entries",
           "$upper",
           "$lower",
           "$string-length",
@@ -434,7 +509,28 @@
           "$is-boolean",
           "$is-null",
           "$is-array",
-          "$is-object"
+          "$is-object",
+          "$is-date",
+          "$is-time",
+          "$is-datetime",
+          "$is-duration",
+          "$year",
+          "$month",
+          "$day",
+          "$hours",
+          "$minutes",
+          "$seconds",
+          "$offset",
+          "$epoch",
+          "$datetime",
+          "$week",
+          "$week-year",
+          "$quarter",
+          "$weekday",
+          "$bbox",
+          "$area",
+          "$length",
+          "$centroid"
         ]
       },
       "additionalProperties": {
@@ -468,6 +564,12 @@
           "$index-of",
           "$range",
           "$get",
+          "$start-of",
+          "$end-of",
+          "$date-format",
+          "$distance",
+          "$within",
+          "$bbox-intersects",
           "$default"
         ]
       },
@@ -519,7 +621,7 @@
       }
     },
     "conditionalArityOperatorPhrase": {
-      "description": "Operators taking two or three operand expressions: $if [cond, then, else?], $substring [str, start, len?], $subsequence [seq, start, len?].",
+      "description": "Operators taking two or three operand expressions: $if [cond, then, else?], $substring [str, start, len?], $subsequence [seq, start, len?], $date-add / $date-sub [date, duration] or [date, amount, unit].",
       "type": "object",
       "minProperties": 1,
       "maxProperties": 1,
@@ -527,7 +629,9 @@
         "enum": [
           "$if",
           "$substring",
-          "$subsequence"
+          "$subsequence",
+          "$date-add",
+          "$date-sub"
         ]
       },
       "additionalProperties": {
@@ -539,6 +643,24 @@
         "maxItems": 3
       }
     },
+    "geohashPhrase": {
+      "description": "$geohash [value] or [value, precision]: a GeoJSON value as a base-32 cell string. Precision is an integer from 1 to 12 (default 9); a value that is not a bare position is represented by its centroid.",
+      "type": "object",
+      "properties": {
+        "$geohash": {
+          "type": "array",
+          "items": {
+            "$ref": "#/definitions/expression"
+          },
+          "minItems": 1,
+          "maxItems": 2
+        }
+      },
+      "required": [
+        "$geohash"
+      ],
+      "additionalProperties": false
+    },
     "stringJoinPhrase": {
       "description": "$string-join [seq, separator?]: one or two operand expressions.",
       "type": "object",
@@ -557,6 +679,25 @@
       ],
       "additionalProperties": false
     },
+    "ternaryOperatorPhrase": {
+      "description": "Operators whose value is an array of exactly three operand expressions: $date-diff [from, to, unit].",
+      "type": "object",
+      "minProperties": 1,
+      "maxProperties": 1,
+      "propertyNames": {
+        "enum": [
+          "$date-diff"
+        ]
+      },
+      "additionalProperties": {
+        "type": "array",
+        "items": {
+          "$ref": "#/definitions/expression"
+        },
+        "minItems": 3,
+        "maxItems": 3
+      }
+    },
     "replacePhrase": {
       "description": "$replace [input, pattern, replacement]: exactly three operand expressions (I-Regexp has no flags argument, D5).",
       "type": "object",