@almadar/std 16.235.0 → 16.236.0

package/dist/registry.d.ts

@@ -1,5 +1,5 @@
-import { S as StdOperatorMeta, a as StdModule, O as OperatorMeta, R as RunsOn, b as OperatorVisualForm } from './types-Ggla7OK7.js';
-export { c as OPERATOR_VISUAL_FORMS } from './types-Ggla7OK7.js';
+import { S as StdOperatorMeta, a as StdModule, O as OperatorMeta, R as RunsOn, b as OperatorVisualForm } from './types-DLx38UFZ.js';
+export { c as OPERATOR_VISUAL_FORMS } from './types-DLx38UFZ.js';
 
 /**
  * Standard Library Registry

package/dist/registry.js

@@ -330,6 +330,7 @@ var CORE_OPERATORS = {
     description: "Bind local variables for a body expression",
     hasSideEffects: false,
     returnType: "any",
+    returnSemantics: "identity-of-arg<1>",
     params: [
       {
         name: "bindings",
@@ -349,6 +350,7 @@ var CORE_OPERATORS = {
     description: "Sequential execution of multiple effects/expressions",
     hasSideEffects: false,
     returnType: "any",
+    returnSemantics: "last-of-args",
     params: [{ name: "...exprs", type: SEXPR, description: "Effects/expressions to run in order" }],
     example: '["do", ["set", "@entity.x", 0], ["set", "@entity.y", 0]]'
   },
@@ -1692,6 +1694,7 @@ var ARRAY_OPERATORS = {
     description: "Extract subarray",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "start", type: "number", description: "Start index" },
@@ -1707,6 +1710,7 @@ var ARRAY_OPERATORS = {
     description: "Concatenate arrays",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "union-of-args",
     params: [{ name: "...arrs", type: "array[]", description: "Arrays to concatenate" }],
     example: '["array/concat", [1, 2], [3, 4]] // => [1, 2, 3, 4]'
   },
@@ -1718,6 +1722,7 @@ var ARRAY_OPERATORS = {
     description: "Add item to end (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "union-of-args<0,1>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "item", type: "any", description: "Item to add" }
@@ -1732,6 +1737,7 @@ var ARRAY_OPERATORS = {
     description: "Add item to start (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "union-of-args<0,1>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "item", type: "any", description: "Item to add" }
@@ -1746,6 +1752,7 @@ var ARRAY_OPERATORS = {
     description: "Insert item at index (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "union-of-args<0,2>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "index", type: "number", description: "Index to insert at" },
@@ -1761,6 +1768,7 @@ var ARRAY_OPERATORS = {
     description: "Remove item at index (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "index", type: "number", description: "Index to remove" }
@@ -1775,6 +1783,7 @@ var ARRAY_OPERATORS = {
     description: "Remove first matching item (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "item", type: "any", description: "Item to remove" }
@@ -1789,6 +1798,7 @@ var ARRAY_OPERATORS = {
     description: "Reverse array order (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [{ name: "arr", type: "array", description: "The array" }],
     example: '["array/reverse", [1, 2, 3]] // => [3, 2, 1]'
   },
@@ -1800,6 +1810,7 @@ var ARRAY_OPERATORS = {
     description: "Sort array (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "key", type: "string", description: "Field to sort by (for objects)", optional: true },
@@ -1815,6 +1826,7 @@ var ARRAY_OPERATORS = {
     description: "Randomly shuffle array (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [{ name: "arr", type: "array", description: "The array" }],
     example: '["array/shuffle", [1, 2, 3, 4, 5]]'
   },
@@ -1826,6 +1838,7 @@ var ARRAY_OPERATORS = {
     description: "Remove duplicates (returns new array)",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [{ name: "arr", type: "array", description: "The array" }],
     example: '["array/unique", [1, 2, 2, 3, 1]] // => [1, 2, 3]'
   },
@@ -2126,6 +2139,7 @@ var ARRAY_OPERATORS = {
     description: "Take first n elements",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "n", type: "number", description: "Number of elements" }
@@ -2140,6 +2154,7 @@ var ARRAY_OPERATORS = {
     description: "Skip first n elements",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "n", type: "number", description: "Number of elements to skip" }
@@ -2154,6 +2169,7 @@ var ARRAY_OPERATORS = {
     description: "Take last n elements",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "n", type: "number", description: "Number of elements" }
@@ -2168,6 +2184,7 @@ var ARRAY_OPERATORS = {
     description: "Skip last n elements",
     hasSideEffects: false,
     returnType: "array",
+    returnSemantics: "identity-of-arg<0>",
     params: [
       { name: "arr", type: "array", description: "The array" },
       { name: "n", type: "number", description: "Number of elements to skip" }

package/dist/{types-Ggla7OK7.d.ts → types-DLx38UFZ.d.ts}

@@ -44,14 +44,34 @@ type BasicReturnType = 'number' | 'boolean' | 'string' | 'any' | 'void' | 'array
  *   `ReturnTypeOf<lambda>` / type of `init`).
  * - `'object-key-lookup'` — return type depends on the input object
  *   shape and the literal key (`object/get`, `object/pick`).
- * - `'identity-of-arg<N>'` — return type matches the input arg at index N
- *   (`tap`, `pipe-through`).
+ * - `'identity-of-arg<N>'` — the result IS arg N, narrowed or reordered:
+ *   its type matches arg N's, and every value/element it can carry is drawn
+ *   from arg N (`array/filter`, `array/slice`, `array/sort`, `array/take`,
+ *   `array/unique`, …; `let` is `identity-of-arg<1>`, its body).
+ * - `'union-of-args'` — the result carries values drawn from EVERY arg
+ *   (`array/concat`). `'union-of-args<i,j>'` restricts that to the listed arg
+ *   indices: arg 0 is the list, the other listed index is the single element
+ *   the operator adds (`array/append`/`array/prepend` are `<0,1>`,
+ *   `array/insert` is `<0,2>`). A listed arg is either a list (contributes
+ *   its elements) or one element (contributes itself).
+ * - `'last-of-args'` — the result is the last arg's value (`do`).
+ *
+ * Provenance kinds (`identity-of-arg<N>`, `union-of-args[<..>]`,
+ * `last-of-args`, `branch-union`, `lambda-result`) are what the validator's
+ * one generic value-source walk reads (`orbital-core`
+ * `SExpression::value_leaves`) to trace which leaf values an expression can
+ * yield — e.g. which events a render-bound `itemActions` list can fire.
+ * `branch-union` = every arg after the condition; `lambda-result` = the body
+ * of the lambda arg (the arg whose operator declares `returnType:
+ * 'function'`). An operator whose result elements are NOT provably drawn from
+ * its inputs (`array/range`, `array/zip`, `array/groupBy`, `array/partition`,
+ * `array/flatten`) declares nothing and the walk treats it as opaque.
  *
  * Operators NOT listed here keep the fixed `returnType` semantics —
  * arithmetic, math, comparisons, aggregations (`array/sum`/`avg`/`len`),
  * type coercions, all effects.
  */
-type ReturnSemantics = 'first-truthy-of-args' | 'last-truthy-of-args' | 'first-non-null-of-args' | 'branch-union' | 'element-of-arg<0>' | 'element-of-arg<0>?' | 'element-of-arg<1>' | 'lambda-result' | 'object-key-lookup' | 'identity-of-arg<0>';
+type ReturnSemantics = 'first-truthy-of-args' | 'last-truthy-of-args' | 'first-non-null-of-args' | 'branch-union' | 'element-of-arg<0>' | 'element-of-arg<0>?' | 'element-of-arg<1>' | 'lambda-result' | 'object-key-lookup' | 'identity-of-arg<0>' | 'identity-of-arg<1>' | 'union-of-args' | 'union-of-args<0,1>' | 'union-of-args<0,2>' | 'last-of-args';
 /** Where an effect executes: a client host delegates `server` effects, a server ships `client` effects back, `any` runs wherever it is dispatched. */
 type RunsOn = 'client' | 'server' | 'any';
 interface OperatorMeta {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@almadar/std",
-  "version": "16.235.0",
+  "version": "16.236.0",
   "description": "Standard library operators for Almadar (math, string, array, etc.)",
   "type": "module",
   "main": "./dist/index.js",
@@ -87,7 +87,7 @@
     "compiler": ">=4.10.0"
   },
   "dependencies": {
-    "@almadar/core": "^10.110.0"
+    "@almadar/core": "^10.112.0"
   },
   "devDependencies": {
     "@almadar/eslint-plugin": "^2.20.0",