@rcrsr/rill 0.8.5 → 0.9.0

package/dist/runtime/core/eval/mixins/extraction.js

@@ -7,7 +7,7 @@
  * @internal
  */
 import { RuntimeError } from '../../../../types.js';
-import { createTupleFromDict, createTupleFromList, inferType, } from '../../values.js';
+import { createOrdered, createTuple, inferElementType } from '../../values.js';
 import { isDict } from '../../callable.js';
 /**
  * ExtractionMixin implementation.
@@ -23,13 +23,14 @@ import { isDict } from '../../callable.js';
  *
  * Methods added:
  * - evaluateDestructure(node, input) -> RillValue
+ * - evaluateDestruct(node, input) -> RillValue
  * - evaluateSlice(node, input) -> Promise<RillValue>
- * - evaluateSpread(node) -> Promise<RillTuple>
+ * - evaluateCollectionLiteral(node) -> Promise<RillValue>
  *
  * Covers:
+ * - IR-8: evaluateCollectionLiteral for ListLiteralNode, DictLiteralNode, TupleLiteralNode, OrderedLiteralNode
  * - IR-26: evaluateDestructure(node, input) -> RillValue
  * - IR-27: evaluateSlice(node, input) -> Promise<RillValue>
- * - IR-28: evaluateSpread(node) -> Promise<RillTuple>
  *
  * Error handling:
  * - EC-13: Destructure/slice on wrong types -> RuntimeError(RUNTIME_TYPE_ERROR)
@@ -140,33 +141,6 @@ function createExtractionMixin(Base) {
             }
             return this.applySlice(input, input.length, startBound, stopBound, stepBound);
         }
-        /**
-         * Evaluate spread operator: *[...] or *[key: value, ...]
-         * Creates a tuple from a list or dict for argument unpacking.
-         *
-         * Examples:
-         * *[1, 2, 3] -> $fn()             # Calls $fn(1, 2, 3)
-         * *[a: 1, b: 2] -> $fn()          # Calls $fn with named args
-         */
-        async evaluateSpread(node) {
-            let value;
-            if (node.operand === null) {
-                value = this.ctx.pipeValue;
-            }
-            else {
-                // Note: evaluateExpression will be available from CoreMixin
-                // which is applied before ExtractionMixin in the composition order
-                // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                value = await this.evaluateExpression(node.operand);
-            }
-            if (Array.isArray(value)) {
-                return createTupleFromList(value);
-            }
-            if (isDict(value)) {
-                return createTupleFromDict(value);
-            }
-            throw new RuntimeError('RILL-R002', `Spread requires list or dict, got ${inferType(value)}`, node.span.start);
-        }
         /**
          * Evaluate a slice bound expression (start, stop, or step).
          * Returns the numeric value of the bound.
@@ -241,6 +215,138 @@ function createExtractionMixin(Base) {
                 return indices.map((i) => input[i]).join('');
             }
         }
+        /**
+         * Evaluate destruct operator: destruct<$a, $b, ...>
+         * Same semantics as evaluateDestructure but for the keyword-based syntax.
+         * Delegates to evaluateDestructure since the pattern structure is identical.
+         */
+        evaluateDestruct(node, input) {
+            // DestructNode has the same elements structure as DestructureNode.
+            // Cast to DestructureNode-compatible shape for reuse.
+            return this.evaluateDestructure({ ...node, type: 'Destructure' }, input);
+        }
+        /**
+         * Evaluate collection literals [IR-8].
+         * Handles list[...], dict[...], tuple[...], ordered[...] keyword forms.
+         *
+         * Ellipsis spread (...$other) expands referenced collections inline.
+         * Type is fixed by the keyword — no runtime inference from content.
+         *
+         * Returns:
+         * - ListLiteralNode  -> RillValue[] (plain list)
+         * - DictLiteralNode  -> Record<string, RillValue>
+         * - TupleLiteralNode -> RillTuple
+         * - OrderedLiteralNode -> RillOrdered
+         */
+        async evaluateCollectionLiteral(node) {
+            switch (node.type) {
+                case 'ListLiteral': {
+                    const listItems = await this.evaluateListLiteralElements(node.elements);
+                    // Validate homogeneity: all elements must share the same structural type
+                    inferElementType(listItems);
+                    return listItems;
+                }
+                case 'TupleLiteral': {
+                    // Tuples allow mixed types — no homogeneity check
+                    const items = await this.evaluateListLiteralElements(node.elements);
+                    return createTuple(items);
+                }
+                case 'DictLiteral': {
+                    const result = {};
+                    for (const [key, value] of await this.evaluateDictLiteralEntries(node.entries)) {
+                        result[key] = value;
+                    }
+                    return result;
+                }
+                case 'OrderedLiteral': {
+                    const pairs = await this.evaluateDictLiteralEntries(node.entries);
+                    return createOrdered(pairs);
+                }
+            }
+        }
+        /**
+         * Evaluate list/tuple literal elements, expanding spread nodes inline.
+         * Spread: ...$other expands the referenced collection into the result.
+         */
+        async evaluateListLiteralElements(rawElements) {
+            const result = [];
+            for (const elem of rawElements) {
+                if (elem.type === 'ListSpread') {
+                    const spreadNode = elem;
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const spreadValue = await this.evaluateExpression(spreadNode.expression);
+                    if (Array.isArray(spreadValue)) {
+                        result.push(...spreadValue);
+                    }
+                    else {
+                        throw new RuntimeError('RILL-R002', `Spread in list literal requires list, got ${typeof spreadValue}`, spreadNode.span?.start, { got: typeof spreadValue });
+                    }
+                }
+                else {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    result.push(await this.evaluateExpression(elem));
+                }
+            }
+            return result;
+        }
+        /**
+         * Evaluate dict/ordered literal entries, returning [key, value] pairs.
+         * Keys are always strings (number/boolean keys are stringified).
+         * Spread entries (...$other) expand inline (dict keys merged).
+         */
+        async evaluateDictLiteralEntries(entries) {
+            const result = [];
+            for (const entry of entries) {
+                // Spread entry: key is a string starting with '...' is not how parser marks it.
+                // The parser uses ListSpread for element spreads in list/tuple.
+                // For dict/ordered, spread is encoded as a DictEntry with an object key
+                // where kind === 'variable'. Handle simple string/number/boolean keys only here
+                // since the collection literal parser does not support multi-key or computed keys.
+                const key = entry.key;
+                let stringKey;
+                if (typeof key === 'string') {
+                    stringKey = key;
+                }
+                else if (typeof key === 'number' || typeof key === 'boolean') {
+                    stringKey = String(key);
+                }
+                else {
+                    // Object key (DictKeyVariable or DictKeyComputed) — evaluate like evaluateDict
+                    if ('kind' in key) {
+                        if (key.kind === 'variable') {
+                            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                            const varVal = this.evaluateVariable
+                                ? // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                                    this.evaluateVariable({
+                                        name: key.variableName,
+                                        isPipeVar: false,
+                                        accessChain: [],
+                                        defaultValue: null,
+                                        existenceCheck: null,
+                                    })
+                                : undefined;
+                            stringKey =
+                                typeof varVal === 'string'
+                                    ? varVal
+                                    : String(varVal ?? key.variableName);
+                        }
+                        else {
+                            // computed: evaluate expression
+                            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                            const computed = await this.evaluateExpression(key.expression);
+                            stringKey = String(computed);
+                        }
+                    }
+                    else {
+                        stringKey = String(key);
+                    }
+                }
+                // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                const value = await this.evaluateExpression(entry.value);
+                result.push([stringKey, value]);
+            }
+            return result;
+        }
     };
 }
 // Export with type assertion to work around TS4094 limitation

package/dist/runtime/core/eval/mixins/extraction.js.map

@@ -1 +1 @@
-{"version":3,"file":"extraction.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGpD,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,SAAS,GACV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,qBAAqB,CAAC,IAAyC;IACtE,OAAO,MAAM,mBAAoB,SAAQ,IAAI;QAC3C;;;;;;WAMG;QACO,mBAAmB,CAC3B,IAAqB,EACrB,KAAgB;YAEhB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAElC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAClE,MAAM,YAAY,GAAG,YAAY,EAAE,IAAI,KAAK,UAAU,CAAC;YAEvD,IAAI,YAAY,EAAE,CAAC;gBACjB,2BAA2B;gBAC3B,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,sCAAsC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,EACtE,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;gBAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS;oBAEnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC3B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,mDAAmD,EACnD,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;wBACxB,IAAI,CAAC,GAAG,KAAK,IAAI;wBACjB,IAAI,CAAC,IAAI,KAAK,IAAI,EAClB,CAAC;wBACD,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,8CAA8C,EAC9C,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,MAAM,SAAS,GAAG,KAAkC,CAAC;oBACrD,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,SAAS,CAAC,EAAE,CAAC;wBAC7B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,QAAQ,IAAI,CAAC,GAAG,qBAAqB,EACrC,IAAI,CAAC,IAAI,CAAC,KAAK,EACf,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CACzD,CAAC;oBACJ,CAAC;oBAED,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;wBAC5B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,QAAQ,IAAI,CAAC,GAAG,uBAAuB,EACvC,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,0DAA0D;oBAC1D,mEAAmE;oBACnE,8DAA8D;oBAC7D,IAAY,CAAC,WAAW,CACvB,IAAI,CAAC,IAAI,EACT,SAAS,EACT,IAAI,CAAC,QAAQ,IAAI,SAAS,EAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,2BAA2B;gBAC3B,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,6CAA6C,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,EAClF,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;gBAED,MAAM,SAAS,GAAG,KAAoB,CAAC;gBACvC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBAC9C,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,2BAA2B,IAAI,CAAC,QAAQ,CAAC,MAAM,uBAAuB,SAAS,CAAC,MAAM,EAAE,EACxF,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBAE3B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBAC9C,SAAS;oBACX,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS;oBAEnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;wBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;wBAC7C,SAAS;oBACX,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;wBACvB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,6BAA6B,EAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,0DAA0D;oBAC1D,8DAA8D;oBAC7D,IAAY,CAAC,WAAW,CACvB,IAAI,CAAC,IAAI,EACT,KAAK,EACL,IAAI,CAAC,QAAQ,IAAI,SAAS,EAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;;;;;;;WASG;QACO,KAAK,CAAC,aAAa,CAC3B,IAAe,EACf,KAAgB;YAEhB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC;YAE3C,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACzB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,sCAAsC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,EAC7E,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;YACJ,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK;gBAC3B,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI;gBACzB,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI;gBACzB,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC;YAET,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,IAAI,CAAC,UAAU,CACpB,KAAK,EACL,KAAK,CAAC,MAAM,EACZ,UAAU,EACV,SAAS,EACT,SAAS,CACV,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CACpB,KAAK,EACL,KAAK,CAAC,MAAM,EACZ,UAAU,EACV,SAAS,EACT,SAAS,CACV,CAAC;QACJ,CAAC;QAED;;;;;;;WAOG;QACO,KAAK,CAAC,cAAc,CAAC,IAAgB;YAC7C,IAAI,KAAgB,CAAC;YACrB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC1B,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,4DAA4D;gBAC5D,mEAAmE;gBACnE,8DAA8D;gBAC9D,KAAK,GAAG,MAAO,IAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/D,CAAC;YAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YAED,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClB,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YAED,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,qCAAqC,SAAS,CAAC,KAAK,CAAC,EAAE,EACvD,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;QACJ,CAAC;QAED;;;WAGG;QACK,KAAK,CAAC,kBAAkB,CAC9B,KAAyB;YAEzB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,MAAM,IAAI,YAAY,CAAC,WAAW,EAAE,qBAAqB,EAAE,SAAS,CAAC,CAAC;YACxE,CAAC;YAED,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,eAAe;oBAClB,OAAO,KAAK,CAAC,KAAK,CAAC;gBAErB,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,+DAA+D;oBAC/D,mEAAmE;oBACnE,8DAA8D;oBAC9D,MAAM,KAAK,GAAI,IAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;oBACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,mCAAmC,OAAO,KAAK,EAAE,EACjD,KAAK,CAAC,IAAI,CAAC,KAAK,CACjB,CAAC;oBACJ,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,oEAAoE;oBACpE,gFAAgF;oBAChF,8DAA8D;oBAC9D,MAAM,KAAK,GAAG,MAAO,IAAY,CAAC,kBAAkB,CACjD,KAAyB,CAAC,UAAU,CACtC,CAAC;oBACF,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,mCAAmC,OAAO,KAAK,EAAE,EACjD,KAAK,CAAC,IAAI,CAAC,KAAK,CACjB,CAAC;oBACJ,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QAED;;;WAGG;QACK,UAAU,CAChB,KAAQ,EACR,GAAW,EACX,KAAoB,EACpB,IAAmB,EACnB,IAAmB;YAEnB,MAAM,UAAU,GAAG,IAAI,IAAI,CAAC,CAAC;YAE7B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,2BAA2B,EAC3B,SAAS,CACV,CAAC;YACJ,CAAC;YAED,MAAM,cAAc,GAAG,CACrB,GAAkB,EAClB,UAAkB,EAClB,OAAe,EACP,EAAE;gBACV,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,UAAU,CAAC;gBACpC,IAAI,UAAU,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC3C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;oBAChB,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;gBACtD,CAAC;qBAAM,CAAC;oBACN,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,UAAU,CAAC;YACpB,CAAC,CAAC;YAEF,MAAM,WAAW,GAAG,cAAc,CAChC,KAAK,EACL,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,EAC5B,UAAU,CACX,CAAC;YACF,MAAM,UAAU,GAAG,cAAc,CAC/B,IAAI,EACJ,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EACzB,UAAU,CACX,CAAC;YAEF,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,IAAI,CAAC,GAAG,WAAW,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC1D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,CAAC,GAAG,WAAW,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC1D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;YAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAM,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAM,CAAC;YACpD,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,gGAAgG;AAChG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,eAAe,GAAG,qBAA4B,CAAC"}
+{"version":3,"file":"extraction.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAeH,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGpD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC/E,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAS,qBAAqB,CAAC,IAAyC;IACtE,OAAO,MAAM,mBAAoB,SAAQ,IAAI;QAC3C;;;;;;WAMG;QACO,mBAAmB,CAC3B,IAAqB,EACrB,KAAgB;YAEhB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAElC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAClE,MAAM,YAAY,GAAG,YAAY,EAAE,IAAI,KAAK,UAAU,CAAC;YAEvD,IAAI,YAAY,EAAE,CAAC;gBACjB,2BAA2B;gBAC3B,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,sCAAsC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,EACtE,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;gBAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS;oBAEnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC3B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,mDAAmD,EACnD,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;wBACxB,IAAI,CAAC,GAAG,KAAK,IAAI;wBACjB,IAAI,CAAC,IAAI,KAAK,IAAI,EAClB,CAAC;wBACD,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,8CAA8C,EAC9C,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,MAAM,SAAS,GAAG,KAAkC,CAAC;oBACrD,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,SAAS,CAAC,EAAE,CAAC;wBAC7B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,QAAQ,IAAI,CAAC,GAAG,qBAAqB,EACrC,IAAI,CAAC,IAAI,CAAC,KAAK,EACf,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CACzD,CAAC;oBACJ,CAAC;oBAED,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;wBAC5B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,QAAQ,IAAI,CAAC,GAAG,uBAAuB,EACvC,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,0DAA0D;oBAC1D,mEAAmE;oBACnE,8DAA8D;oBAC7D,IAAY,CAAC,WAAW,CACvB,IAAI,CAAC,IAAI,EACT,SAAS,EACT,IAAI,CAAC,QAAQ,IAAI,SAAS,EAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,2BAA2B;gBAC3B,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,6CAA6C,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,EAClF,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;gBAED,MAAM,SAAS,GAAG,KAAoB,CAAC;gBACvC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBAC9C,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,2BAA2B,IAAI,CAAC,QAAQ,CAAC,MAAM,uBAAuB,SAAS,CAAC,MAAM,EAAE,EACxF,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBAE3B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBAC9C,SAAS;oBACX,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS;oBAEnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;wBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;wBAC7C,SAAS;oBACX,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;wBACvB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,6BAA6B,EAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;oBACJ,CAAC;oBAED,0DAA0D;oBAC1D,8DAA8D;oBAC7D,IAAY,CAAC,WAAW,CACvB,IAAI,CAAC,IAAI,EACT,KAAK,EACL,IAAI,CAAC,QAAQ,IAAI,SAAS,EAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;;;;;;;WASG;QACO,KAAK,CAAC,aAAa,CAC3B,IAAe,EACf,KAAgB;YAEhB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC;YAE3C,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACzB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,sCAAsC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,EAC7E,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;YACJ,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK;gBAC3B,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI;gBACzB,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI;gBACzB,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC;YAET,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,IAAI,CAAC,UAAU,CACpB,KAAK,EACL,KAAK,CAAC,MAAM,EACZ,UAAU,EACV,SAAS,EACT,SAAS,CACV,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CACpB,KAAK,EACL,KAAK,CAAC,MAAM,EACZ,UAAU,EACV,SAAS,EACT,SAAS,CACV,CAAC;QACJ,CAAC;QAED;;;WAGG;QACK,KAAK,CAAC,kBAAkB,CAC9B,KAAyB;YAEzB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,MAAM,IAAI,YAAY,CAAC,WAAW,EAAE,qBAAqB,EAAE,SAAS,CAAC,CAAC;YACxE,CAAC;YAED,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,eAAe;oBAClB,OAAO,KAAK,CAAC,KAAK,CAAC;gBAErB,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,+DAA+D;oBAC/D,mEAAmE;oBACnE,8DAA8D;oBAC9D,MAAM,KAAK,GAAI,IAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;oBACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,mCAAmC,OAAO,KAAK,EAAE,EACjD,KAAK,CAAC,IAAI,CAAC,KAAK,CACjB,CAAC;oBACJ,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,oEAAoE;oBACpE,gFAAgF;oBAChF,8DAA8D;oBAC9D,MAAM,KAAK,GAAG,MAAO,IAAY,CAAC,kBAAkB,CACjD,KAAyB,CAAC,UAAU,CACtC,CAAC;oBACF,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,mCAAmC,OAAO,KAAK,EAAE,EACjD,KAAK,CAAC,IAAI,CAAC,KAAK,CACjB,CAAC;oBACJ,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QAED;;;WAGG;QACK,UAAU,CAChB,KAAQ,EACR,GAAW,EACX,KAAoB,EACpB,IAAmB,EACnB,IAAmB;YAEnB,MAAM,UAAU,GAAG,IAAI,IAAI,CAAC,CAAC;YAE7B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,2BAA2B,EAC3B,SAAS,CACV,CAAC;YACJ,CAAC;YAED,MAAM,cAAc,GAAG,CACrB,GAAkB,EAClB,UAAkB,EAClB,OAAe,EACP,EAAE;gBACV,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,UAAU,CAAC;gBACpC,IAAI,UAAU,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC3C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;oBAChB,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;gBACtD,CAAC;qBAAM,CAAC;oBACN,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,UAAU,CAAC;YACpB,CAAC,CAAC;YAEF,MAAM,WAAW,GAAG,cAAc,CAChC,KAAK,EACL,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,EAC5B,UAAU,CACX,CAAC;YACF,MAAM,UAAU,GAAG,cAAc,CAC/B,IAAI,EACJ,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EACzB,UAAU,CACX,CAAC;YAEF,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,IAAI,CAAC,GAAG,WAAW,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC1D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,CAAC,GAAG,WAAW,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC1D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;YAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAM,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAM,CAAC;YACpD,CAAC;QACH,CAAC;QAED;;;;WAIG;QACO,gBAAgB,CACxB,IAAkB,EAClB,KAAgB;YAEhB,mEAAmE;YACnE,sDAAsD;YACtD,OAAO,IAAI,CAAC,mBAAmB,CAC7B,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,EAAgC,EAC9D,KAAK,CACN,CAAC;QACJ,CAAC;QAED;;;;;;;;;;;;WAYG;QACO,KAAK,CAAC,yBAAyB,CACvC,IAIsB;YAEtB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,2BAA2B,CACtD,IAAI,CAAC,QAAQ,CACd,CAAC;oBACF,yEAAyE;oBACzE,gBAAgB,CAAC,SAAS,CAAC,CAAC;oBAC5B,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,KAAK,cAAc,CAAC,CAAC,CAAC;oBACpB,kDAAkD;oBAClD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACpE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC5B,CAAC;gBAED,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,MAAM,MAAM,GAA8B,EAAE,CAAC;oBAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC,0BAA0B,CAC9D,IAAI,CAAC,OAAO,CACb,EAAE,CAAC;wBACF,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACtB,CAAC;oBACD,OAAO,MAAM,CAAC;gBAChB,CAAC;gBAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;oBACtB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAClE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;QAED;;;WAGG;QACK,KAAK,CAAC,2BAA2B,CACvC,WAA6B;YAE7B,MAAM,MAAM,GAAgB,EAAE,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAK,IAAoC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAChE,MAAM,UAAU,GAAG,IAAiC,CAAC;oBACrD,8DAA8D;oBAC9D,MAAM,WAAW,GAAG,MAAO,IAAY,CAAC,kBAAkB,CACxD,UAAU,CAAC,UAAU,CACtB,CAAC;oBACF,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;wBAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;oBAC9B,CAAC;yBAAM,CAAC;wBACN,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,6CAA6C,OAAO,WAAW,EAAE,EACjE,UAAU,CAAC,IAAI,EAAE,KAAK,EACtB,EAAE,GAAG,EAAE,OAAO,WAAW,EAAE,CAC5B,CAAC;oBACJ,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,8DAA8D;oBAC9D,MAAM,CAAC,IAAI,CAAC,MAAO,IAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED;;;;WAIG;QACK,KAAK,CAAC,0BAA0B,CACtC,OAAwB;YAExB,MAAM,MAAM,GAA0B,EAAE,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,gFAAgF;gBAChF,gEAAgE;gBAChE,wEAAwE;gBACxE,gFAAgF;gBAChF,mFAAmF;gBACnF,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;gBACtB,IAAI,SAAiB,CAAC;gBAEtB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC5B,SAAS,GAAG,GAAG,CAAC;gBAClB,CAAC;qBAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;oBAC/D,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC1B,CAAC;qBAAM,CAAC;oBACN,+EAA+E;oBAC/E,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;wBAClB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;4BAC5B,8DAA8D;4BAC9D,MAAM,MAAM,GAAI,IAAY,CAAC,gBAAgB;gCAC3C,CAAC,CAAC,8DAA8D;oCAC7D,IAAY,CAAC,gBAAgB,CAAC;wCAC7B,IAAI,EAAE,GAAG,CAAC,YAAY;wCACtB,SAAS,EAAE,KAAK;wCAChB,WAAW,EAAE,EAAE;wCACf,YAAY,EAAE,IAAI;wCAClB,cAAc,EAAE,IAAI;qCACrB,CAAC;gCACJ,CAAC,CAAC,SAAS,CAAC;4BACd,SAAS;gCACP,OAAO,MAAM,KAAK,QAAQ;oCACxB,CAAC,CAAC,MAAM;oCACR,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;wBAC3C,CAAC;6BAAM,CAAC;4BACN,gCAAgC;4BAChC,8DAA8D;4BAC9D,MAAM,QAAQ,GAAG,MAAO,IAAY,CAAC,kBAAkB,CACrD,GAAG,CAAC,UAAU,CACf,CAAC;4BACF,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;wBAC/B,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;oBAC1B,CAAC;gBACH,CAAC;gBAED,8DAA8D;gBAC9D,MAAM,KAAK,GAAG,MAAO,IAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,gGAAgG;AAChG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,eAAe,GAAG,qBAA4B,CAAC"}

package/dist/runtime/core/eval/mixins/list-dispatch.d.ts

@@ -0,0 +1,17 @@
+/**
+ * ListDispatchMixin: list[...] Pipe Target Dispatch
+ *
+ * Handles `index -> list[v0, v1, ...]` — evaluates the list literal elements,
+ * then returns the element at the piped numeric index.
+ *
+ * Interface requirements (from spec IR-11):
+ * - evaluateListLiteralDispatch(node, input) -> Promise<RillValue>
+ *
+ * Error Contracts:
+ * - EC-15 (RILL-R041): Non-integer index
+ * - EC-16 (RILL-R042): Out-of-bounds without ?? fallback
+ *
+ * @internal
+ */
+export declare const ListDispatchMixin: any;
+//# sourceMappingURL=list-dispatch.d.ts.map

package/dist/runtime/core/eval/mixins/list-dispatch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-dispatch.d.ts","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/list-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA2HH,eAAO,MAAM,iBAAiB,EAA8B,GAAG,CAAC"}

package/dist/runtime/core/eval/mixins/list-dispatch.js

@@ -0,0 +1,97 @@
+/**
+ * ListDispatchMixin: list[...] Pipe Target Dispatch
+ *
+ * Handles `index -> list[v0, v1, ...]` — evaluates the list literal elements,
+ * then returns the element at the piped numeric index.
+ *
+ * Interface requirements (from spec IR-11):
+ * - evaluateListLiteralDispatch(node, input) -> Promise<RillValue>
+ *
+ * Error Contracts:
+ * - EC-15 (RILL-R041): Non-integer index
+ * - EC-16 (RILL-R042): Out-of-bounds without ?? fallback
+ *
+ * @internal
+ */
+import { RuntimeError } from '../../../../types.js';
+import { inferElementType } from '../../values.js';
+/**
+ * ListDispatchMixin implementation.
+ *
+ * Evaluates list[...] when used as a pipe target. The piped value is
+ * used as a numeric index into the evaluated list elements.
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, getNodeLocation()
+ * - evaluateExpression() (from CoreMixin composition)
+ *
+ * Methods added:
+ * - evaluateListLiteralDispatch(node, input) -> Promise<RillValue>
+ */
+function createListDispatchMixin(Base) {
+    return class ListDispatchEvaluator extends Base {
+        /**
+         * Evaluate list[...] as a pipe target [IR-11].
+         *
+         * The piped value is used as a numeric index. Negative indices count from
+         * the end (-1 is last). Non-integer indices throw EC-15. Out-of-bounds
+         * without a default value throws EC-16.
+         */
+        async evaluateListLiteralDispatch(node, input) {
+            // EC-15: index must be a number
+            if (typeof input !== 'number') {
+                throw new RuntimeError('RILL-R041', 'list index must be an integer', this.getNodeLocation(node), { index: input });
+            }
+            // EC-15: index must be an integer (no fractional part)
+            if (!Number.isInteger(input)) {
+                throw new RuntimeError('RILL-R041', 'list index must be an integer', this.getNodeLocation(node), { index: input });
+            }
+            // Evaluate all elements (supporting ...spread)
+            const elements = await this.evaluateListLiteralElements(node.elements);
+            const index = input;
+            // Normalize negative indices
+            const normalizedIndex = index < 0 ? elements.length + index : index;
+            // Check bounds
+            if (normalizedIndex < 0 || normalizedIndex >= elements.length) {
+                // Use default value if provided via ??
+                if (node.defaultValue) {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    return await this.evaluateExpression(node.defaultValue);
+                }
+                throw new RuntimeError('RILL-R042', `list index ${index} out of range (length: ${elements.length})`, this.getNodeLocation(node), { n: index, m: elements.length });
+            }
+            return elements[normalizedIndex];
+        }
+        /**
+         * Evaluate list literal elements, expanding any ...spread nodes inline.
+         */
+        async evaluateListLiteralElements(rawElements) {
+            const result = [];
+            for (const elem of rawElements) {
+                if (elem.type === 'ListSpread') {
+                    // Spread: ...$other — expand collection inline
+                    const spreadNode = elem;
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const spreadValue = await this.evaluateExpression(spreadNode.expression);
+                    if (Array.isArray(spreadValue)) {
+                        result.push(...spreadValue);
+                    }
+                    else {
+                        throw new RuntimeError('RILL-R002', `Spread in list literal requires list, got ${typeof spreadValue}`, spreadNode.span?.start, { got: typeof spreadValue });
+                    }
+                }
+                else {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    result.push(await this.evaluateExpression(elem));
+                }
+            }
+            // Validate homogeneity: all elements must share the same structural type
+            inferElementType(result);
+            return result;
+        }
+    };
+}
+// Export with type assertion to work around TS4094 limitation
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+export const ListDispatchMixin = createListDispatchMixin;
+//# sourceMappingURL=list-dispatch.js.map

package/dist/runtime/core/eval/mixins/list-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-dispatch.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/list-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAOH,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAInD;;;;;;;;;;;;GAYG;AACH,SAAS,uBAAuB,CAAC,IAAyC;IACxE,OAAO,MAAM,qBAAsB,SAAQ,IAAI;QAC7C;;;;;;WAMG;QACO,KAAK,CAAC,2BAA2B,CACzC,IAAqB,EACrB,KAAgB;YAEhB,gCAAgC;YAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,+BAA+B,EAC/B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CAAC;YACJ,CAAC;YAED,uDAAuD;YACvD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,+BAA+B,EAC/B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CAAC;YACJ,CAAC;YAED,+CAA+C;YAC/C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAEvE,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,6BAA6B;YAC7B,MAAM,eAAe,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAEpE,eAAe;YACf,IAAI,eAAe,GAAG,CAAC,IAAI,eAAe,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAC9D,uCAAuC;gBACvC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACtB,8DAA8D;oBAC9D,OAAO,MAAO,IAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnE,CAAC;gBACD,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,cAAc,KAAK,0BAA0B,QAAQ,CAAC,MAAM,GAAG,EAC/D,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,CACjC,CAAC;YACJ,CAAC;YAED,OAAO,QAAQ,CAAC,eAAe,CAAE,CAAC;QACpC,CAAC;QAED;;WAEG;QACK,KAAK,CAAC,2BAA2B,CACvC,WAA6B;YAE7B,MAAM,MAAM,GAAgB,EAAE,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAK,IAAoC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAChE,+CAA+C;oBAC/C,MAAM,UAAU,GAAG,IAAiC,CAAC;oBACrD,8DAA8D;oBAC9D,MAAM,WAAW,GAAG,MAAO,IAAY,CAAC,kBAAkB,CACxD,UAAU,CAAC,UAAU,CACtB,CAAC;oBACF,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;wBAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;oBAC9B,CAAC;yBAAM,CAAC;wBACN,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,6CAA6C,OAAO,WAAW,EAAE,EACjE,UAAU,CAAC,IAAI,EAAE,KAAK,EACtB,EAAE,GAAG,EAAE,OAAO,WAAW,EAAE,CAC5B,CAAC;oBACJ,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,8DAA8D;oBAC9D,MAAM,CAAC,IAAI,CAAC,MAAO,IAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YACD,yEAAyE;YACzE,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,8DAA8D;AAC9D,MAAM,CAAC,MAAM,iBAAiB,GAAG,uBAA8B,CAAC"}

package/dist/runtime/core/eval/mixins/literals.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AA+/BH,eAAO,MAAM,aAAa,EAA0B,GAAG,CAAC"}
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AA4/BH,eAAO,MAAM,aAAa,EAA0B,GAAG,CAAC"}

package/dist/runtime/core/eval/mixins/literals.js

@@ -25,8 +25,8 @@
  * @internal
  */
 import { RuntimeError } from '../../../../types.js';
-import { formatValue, isReservedMethod, isVector } from '../../values.js';
-import { isCallable, } from '../../callable.js';
+import { formatValue, inferElementType, isReservedMethod, isTypeValue, isVector, } from '../../values.js';
+import { isCallable, paramsToStructuralType, } from '../../callable.js';
 import { getVariable } from '../../context.js';
 /**
  * Capture annotation context at closure creation time.
@@ -45,11 +45,13 @@ import { getVariable } from '../../context.js';
  * @internal
  */
 async function captureClosureAnnotations(ctx, closureNode, evaluateExpression) {
-    // Capture closure-level annotations from annotation stack
-    // When a closure is created within an annotated statement like:
+    // Capture closure-level annotations from immediateAnnotation field [IR-7].
+    // When a closure is created within a directly-annotated statement like:
     // ^(doc: "test") |x|($x * 2) :> $fn
-    // The annotation stack contains the evaluated annotations from the statement
-    const annotations = ctx.annotationStack.at(-1) ?? {};
+    // immediateAnnotation holds the evaluated annotations set by executeAnnotatedStatement.
+    // Consumed once: cleared after capture to prevent unintended re-use.
+    const annotations = ctx.immediateAnnotation ?? {};
+    ctx.immediateAnnotation = undefined;
     // Capture parameter-level annotations
     const paramAnnotations = {};
     for (const param of closureNode.params) {
@@ -170,77 +172,31 @@ function createLiteralsMixin(Base) {
             return result;
         }
         /**
-         * Evaluate tuple literal.
+         * Evaluate list literal elements into a flat array.
          * Elements are evaluated in order and collected into an array.
-         * ListSpreadNode elements are flattened inline.
          *
          * Errors from element evaluation propagate to caller.
          */
         async evaluateTuple(node) {
             const elements = [];
             for (const elem of node.elements) {
-                if (elem.type === 'ListSpread') {
-                    // ListSpreadNode: evaluate expression and flatten
-                    const spreadResult = await this.evaluateTupleElement(elem);
-                    // Spread result should be an array - flatten it
-                    if (Array.isArray(spreadResult)) {
-                        elements.push(...spreadResult);
-                    }
-                    else {
-                        // Single value returned - should not happen for ListSpread
-                        elements.push(spreadResult);
-                    }
-                }
-                else {
-                    // Regular element: evaluate and add
-                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                    elements.push(await this.evaluateExpression(elem));
-                }
-            }
-            return elements;
-        }
-        /**
-         * Evaluate single tuple element.
-         * Returns spread-able array when element is ListSpreadNode, single value otherwise.
-         *
-         * @param elem - Element to evaluate (ExpressionNode or ListSpreadNode)
-         * @returns Flattened array for spread, single value otherwise
-         * @throws RuntimeError with RUNTIME_TYPE_ERROR if spread on non-list [EC-3]
-         */
-        async evaluateTupleElement(elem) {
-            if (elem.type === 'ListSpread') {
-                // Evaluate spread expression
-                // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                const spreadValue = await this.evaluateExpression(elem.expression);
-                // Verify it's a list
-                if (!Array.isArray(spreadValue)) {
-                    throw new RuntimeError('RILL-R002', `Spread in list literal requires list, got ${typeof spreadValue}`, elem.span?.start, { got: typeof spreadValue });
-                }
-                return spreadValue;
-            }
-            else {
-                // Regular expression: evaluate and return single value
                 // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                return await this.evaluateExpression(elem);
+                elements.push(await this.evaluateExpression(elem));
             }
+            // Validate homogeneity: all elements must share the same structural type [C-1]
+            inferElementType(elements);
+            return elements;
         }
         /**
-         * Evaluate multi-key dict entry.
-         * Expands `[["k1", "k2"]: value]` to array of key-value pairs.
-         * Evaluates value once, creates entry for each key.
-         *
-         * @param keyTuple - TupleNode containing list of keys
-         * @param value - Value expression to associate with all keys
-         * @returns Array of [key, value] pairs
-         * @throws RuntimeError with RUNTIME_TYPE_ERROR if tuple empty [EC-4]
-         * @throws RuntimeError with RUNTIME_TYPE_ERROR if key element non-primitive [EC-5]
+         * Evaluate multi-key dict entry from a ListLiteralNode key.
          */
-        async evaluateDictMultiKey(keyTuple, value) {
-            // Evaluate key tuple to get list of keys
-            const keys = await this.evaluateTuple(keyTuple);
+        async evaluateDictMultiKeyFromList(keyList, value) {
+            // Evaluate list elements to get keys
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            const keys = await this.evaluateListLiteralElements(keyList.elements);
             // Validate non-empty [EC-4]
             if (keys.length === 0) {
-                throw new RuntimeError('RILL-R002', 'Multi-key dict entry requires non-empty list', keyTuple.span?.start);
+                throw new RuntimeError('RILL-R002', 'Multi-key dict entry requires non-empty list', keyList.span?.start);
             }
             // Validate all keys are primitives [EC-5]
             for (const key of keys) {
@@ -248,19 +204,17 @@ function createLiteralsMixin(Base) {
                 if (keyType !== 'string' &&
                     keyType !== 'number' &&
                     keyType !== 'boolean') {
-                    throw new RuntimeError('RILL-R002', `Dict key must be string, number, or boolean, got ${keyType}`, keyTuple.span?.start, { got: keyType });
+                    throw new RuntimeError('RILL-R002', `Dict key must be string, number, or boolean, got ${keyType}`, keyList.span?.start, { got: keyType });
                 }
             }
             // Evaluate value once
             let evaluatedValue;
             if (this.isBlockExpr(value)) {
-                // Safe cast: isBlockExpr ensures head is PostfixExpr with Block primary
                 const head = value.head;
                 const blockNode = head.primary;
                 evaluatedValue = this.createBlockClosure(blockNode);
             }
             else if (this.isClosureExpr(value)) {
-                // Safe cast: isClosureExpr ensures head is PostfixExpr with Closure primary
                 const head = value.head;
                 const fnLit = head.primary;
                 evaluatedValue = await this.createClosure(fnLit);
@@ -367,8 +321,8 @@ function createLiteralsMixin(Base) {
                             continue;
                         }
                     }
-                    // At this point, entry.key must be TupleNode (multi-key entry)
-                    const pairs = await this.evaluateDictMultiKey(entry.key, entry.value);
+                    // At this point, entry.key is ListLiteralNode (multi-key entry)
+                    const pairs = await this.evaluateDictMultiKeyFromList(entry.key, entry.value);
                     for (const [stringKey, value] of pairs) {
                         if (isReservedMethod(stringKey)) {
                             throw new RuntimeError('RILL-R002', `Cannot use reserved method name '${stringKey}' as dict key`, entry.span.start, {
@@ -449,9 +403,9 @@ function createLiteralsMixin(Base) {
                     if ('kind' in entry.key) {
                         throw new RuntimeError('RILL-R004', `Variable and computed dict keys not yet supported`, entry.span.start);
                     }
-                    // Tuple key - evaluate to get list of candidates
-                    // Parser ensures entry.key is TupleNode, evaluateTuple always returns array
-                    const keyValue = await this.evaluateTuple(entry.key);
+                    // ListLiteralNode key - evaluate to get list of candidates
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const keyValue = (await this.evaluateListLiteralElements(entry.key.elements));
                     // Check if input matches any element in the list (type-aware)
                     for (const candidate of keyValue) {
                         if (deepEquals(input, candidate)) {
@@ -487,20 +441,19 @@ function createLiteralsMixin(Base) {
          * Takes numeric index and returns element at that position.
          * Supports negative indices and default values.
          *
-         * @param node - TupleNode representing list literal
+         * @param node - ListLiteralNode representing list literal
          * @param input - Piped value to use as index (must be number)
          * @returns Element at index
          * @throws RuntimeError if input not number or index out of bounds
          */
         async evaluateListDispatch(node, input) {
-            // Validate input is number
-            if (typeof input !== 'number') {
-                throw new RuntimeError('RILL-R002', `List dispatch requires number index, got ${typeof input}`, node.span?.start, { input, expectedType: 'number' });
+            // Validate input is an integer (EC-15)
+            if (typeof input !== 'number' || !Number.isInteger(input)) {
+                throw new RuntimeError('RILL-R041', `List dispatch requires integer index, got ${typeof input !== 'number' ? typeof input : 'non-integer number'}`, node.span?.start, { input, expectedType: 'integer' });
             }
             // Evaluate all elements to get the list
             const elements = await this.evaluateTuple(node);
-            // Truncate decimal to integer
-            const index = Math.trunc(input);
+            const index = input;
             // Normalize negative indices
             const normalizedIndex = index < 0 ? elements.length + index : index;
             // Check bounds
@@ -510,8 +463,8 @@ function createLiteralsMixin(Base) {
                     // eslint-disable-next-line @typescript-eslint/no-explicit-any
                     return await this.evaluateExpression(node.defaultValue);
                 }
-                // No match and no default - throw error
-                throw new RuntimeError('RILL-R009', `List dispatch: index '${index}' not found`, node.span?.start, { index, listLength: elements.length });
+                // No default - throw EC-16 out-of-bounds error
+                throw new RuntimeError('RILL-R042', `List dispatch: index ${index} out of range (length: ${elements.length})`, node.span?.start, { index, listLength: elements.length });
             }
             // Return element at normalized index
             return elements[normalizedIndex];
@@ -684,14 +637,35 @@ function createLiteralsMixin(Base) {
                     // eslint-disable-next-line @typescript-eslint/no-explicit-any
                     defaultValue = await this.evaluatePrimary(param.defaultValue);
                 }
+                // Resolve typeRef at closure-creation time (AC-12).
+                // Dynamic refs ($var) are resolved against the current context now,
+                // so the closure captures the concrete type, not the variable reference.
+                let resolvedTypeName = null;
+                if (param.typeRef !== null) {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const resolved = this.resolveTypeRef(param.typeRef, (name) => getVariable(this.ctx, name));
+                    if (!isTypeValue(resolved)) {
+                        throw new RuntimeError('RILL-R004', `Closure parameter '${param.name}' type must be a type value, not a shape`);
+                    }
+                    resolvedTypeName = resolved.typeName;
+                }
                 params.push({
                     name: param.name,
-                    typeName: param.typeName,
+                    typeName: resolvedTypeName,
                     defaultValue,
                     annotations: paramAnnotations[param.name] ?? {},
                 });
             }
             const isProperty = params.length === 0;
+            const inputShape = paramsToStructuralType(params);
+            // Evaluate returnTypeTarget at closure creation time (IR-4).
+            // TypeRef → resolve via resolveTypeRef() — returns RillTypeValue.
+            // Absent → returnShape remains undefined (omission implies :any, AC-17, AC-18, AC-19).
+            let returnShape = undefined;
+            if (node.returnTypeTarget !== undefined) {
+                // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                returnShape = this.resolveTypeRef(node.returnTypeTarget, (name) => getVariable(this.ctx, name));
+            }
             return {
                 __type: 'callable',
                 kind: 'script',
@@ -701,6 +675,8 @@ function createLiteralsMixin(Base) {
                 isProperty,
                 annotations,
                 paramAnnotations,
+                inputShape,
+                returnShape,
             };
         }
         /**
@@ -722,6 +698,10 @@ function createLiteralsMixin(Base) {
                     annotations: {}, // Block closures have no parameter annotations
                 },
             ];
+            const annotations = this.ctx.immediateAnnotation ?? {};
+            this.ctx.immediateAnnotation = undefined;
+            const paramAnnotations = {};
+            const inputShape = paramsToStructuralType(params);
             return {
                 __type: 'callable',
                 kind: 'script',
@@ -729,8 +709,10 @@ function createLiteralsMixin(Base) {
                 body: node,
                 definingScope,
                 isProperty: false,
-                annotations: {}, // Block closures: no annotation support (expression-position blocks)
-                paramAnnotations: {}, // Block closures have no parameter annotations
+                annotations,
+                paramAnnotations,
+                inputShape,
+                returnShape: undefined,
             };
         }
         /**