@rcrsr/rill 0.1.0

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

@@ -0,0 +1,250 @@
+/**
+ * ExtractionMixin - Extraction Operators
+ *
+ * Handles destructure, slice, and spread operations for extracting
+ * values from lists and dicts.
+ *
+ * @internal
+ */
+import { RILL_ERROR_CODES, RuntimeError } from '../../../../types.js';
+import { createTupleFromDict, createTupleFromList, inferType, } from '../../values.js';
+import { isDict } from '../../callable.js';
+/**
+ * ExtractionMixin implementation.
+ *
+ * Provides extraction operator functionality for destructuring lists/dicts,
+ * slicing sequences, and spreading values for argument unpacking.
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, checkAborted(), getNodeLocation()
+ * - evaluateExpression() (from CoreMixin composition)
+ * - evaluateVariable() (from VariablesMixin composition)
+ * - setVariable() (from VariablesMixin composition)
+ *
+ * Methods added:
+ * - evaluateDestructure(node, input) -> RillValue
+ * - evaluateSlice(node, input) -> Promise<RillValue>
+ * - evaluateSpread(node) -> Promise<RillTuple>
+ *
+ * Covers:
+ * - 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)
+ * - EC-14: List destructure size mismatch -> RuntimeError
+ */
+function createExtractionMixin(Base) {
+    return class ExtractionEvaluator extends Base {
+        /**
+         * Evaluate destructure operator: *<$a, $b, $c>
+         * Extracts values from list or dict into variables.
+         *
+         * List destructure: [1, 2, 3] -> *<$a, $b, $c>  # $a=1, $b=2, $c=3
+         * Dict destructure: [x: 1, y: 2] -> *<x: $a, y: $b>  # $a=1, $b=2
+         */
+        evaluateDestructure(node, input) {
+            const isList = Array.isArray(input);
+            const isDictInput = isDict(input);
+            const firstNonSkip = node.elements.find((e) => e.kind !== 'skip');
+            const isKeyPattern = firstNonSkip?.kind === 'keyValue';
+            if (isKeyPattern) {
+                // Dict destructure pattern
+                if (!isDictInput) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Key destructure requires dict, got ${isList ? 'list' : typeof input}`, node.span.start);
+                }
+                for (const elem of node.elements) {
+                    if (elem.kind === 'skip')
+                        continue;
+                    if (elem.kind === 'nested') {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Nested destructure not supported in dict patterns', elem.span.start);
+                    }
+                    if (elem.kind !== 'keyValue' ||
+                        elem.key === null ||
+                        elem.name === null) {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Dict destructure requires key: $var patterns', elem.span.start);
+                    }
+                    const dictInput = input;
+                    if (!(elem.key in dictInput)) {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Key '${elem.key}' not found in dict`, elem.span.start, { key: elem.key, availableKeys: Object.keys(dictInput) });
+                    }
+                    const dictValue = dictInput[elem.key];
+                    if (dictValue === undefined) {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Key '${elem.key}' has undefined value`, elem.span.start);
+                    }
+                    // Note: setVariable will be available from VariablesMixin
+                    // which is applied before ExtractionMixin in the composition order
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    this.setVariable(elem.name, dictValue, elem.typeName ?? undefined, elem.span.start);
+                }
+            }
+            else {
+                // List destructure pattern
+                if (!isList) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Positional destructure requires list, got ${isDictInput ? 'dict' : typeof input}`, node.span.start);
+                }
+                const listInput = input;
+                if (node.elements.length !== listInput.length) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Destructure pattern has ${node.elements.length} elements, list has ${listInput.length}`, node.span.start);
+                }
+                for (let i = 0; i < node.elements.length; i++) {
+                    const elem = node.elements[i];
+                    const value = listInput[i];
+                    if (elem === undefined || value === undefined) {
+                        continue;
+                    }
+                    if (elem.kind === 'skip')
+                        continue;
+                    if (elem.kind === 'nested' && elem.nested) {
+                        this.evaluateDestructure(elem.nested, value);
+                        continue;
+                    }
+                    if (elem.name === null) {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Invalid destructure element', elem.span.start);
+                    }
+                    // Note: setVariable will be available from VariablesMixin
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    this.setVariable(elem.name, value, elem.typeName ?? undefined, elem.span.start);
+                }
+            }
+            return input;
+        }
+        /**
+         * Evaluate slice operator: /<start:stop:step>
+         * Extracts a portion of a list or string using Python-style slicing.
+         *
+         * Examples:
+         * [0, 1, 2, 3, 4] -> /<0:3>    # [0, 1, 2]
+         * [0, 1, 2, 3, 4] -> /<-2:>    # [3, 4]
+         * [0, 1, 2, 3, 4] -> /<::-1>   # [4, 3, 2, 1, 0]
+         * "hello" -> /<1:4>             # "ell"
+         */
+        async evaluateSlice(node, input) {
+            const isList = Array.isArray(input);
+            const isString = typeof input === 'string';
+            if (!isList && !isString) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Slice requires list or string, got ${isDict(input) ? 'dict' : typeof input}`, node.span.start);
+            }
+            const startBound = node.start
+                ? await this.evaluateSliceBound(node.start)
+                : null;
+            const stopBound = node.stop
+                ? await this.evaluateSliceBound(node.stop)
+                : null;
+            const stepBound = node.step
+                ? await this.evaluateSliceBound(node.step)
+                : null;
+            if (isList) {
+                return this.applySlice(input, input.length, startBound, stopBound, stepBound);
+            }
+            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_ERROR_CODES.RUNTIME_TYPE_ERROR, `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.
+         */
+        async evaluateSliceBound(bound) {
+            if (bound === null) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Slice bound is null', undefined);
+            }
+            switch (bound.type) {
+                case 'NumberLiteral':
+                    return bound.value;
+                case 'Variable': {
+                    // Note: evaluateVariable will be available from VariablesMixin
+                    // which is applied before ExtractionMixin in the composition order
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const value = this.evaluateVariable(bound);
+                    if (typeof value !== 'number') {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Slice bound must be number, got ${typeof value}`, bound.span.start);
+                    }
+                    return value;
+                }
+                case 'GroupedExpr': {
+                    // Note: evaluateGroupedExpr will be available from ExpressionsMixin
+                    // which is applied after ExtractionMixin, so we need to call evaluateExpression
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const value = await this.evaluateExpression(bound.expression);
+                    if (typeof value !== 'number') {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Slice bound must be number, got ${typeof value}`, bound.span.start);
+                    }
+                    return value;
+                }
+            }
+        }
+        /**
+         * Apply Python-style slice to a list or string.
+         * Handles negative indices, step values, and edge cases.
+         */
+        applySlice(input, len, start, stop, step) {
+            const actualStep = step ?? 1;
+            if (actualStep === 0) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Slice step cannot be zero', undefined);
+            }
+            const normalizeIndex = (idx, defaultVal, forStep) => {
+                if (idx === null)
+                    return defaultVal;
+                let normalized = idx < 0 ? len + idx : idx;
+                if (forStep > 0) {
+                    normalized = Math.max(0, Math.min(len, normalized));
+                }
+                else {
+                    normalized = Math.max(-1, Math.min(len - 1, normalized));
+                }
+                return normalized;
+            };
+            const actualStart = normalizeIndex(start, actualStep > 0 ? 0 : len - 1, actualStep);
+            const actualStop = normalizeIndex(stop, actualStep > 0 ? len : -1, actualStep);
+            const indices = [];
+            if (actualStep > 0) {
+                for (let i = actualStart; i < actualStop; i += actualStep) {
+                    indices.push(i);
+                }
+            }
+            else {
+                for (let i = actualStart; i > actualStop; i += actualStep) {
+                    indices.push(i);
+                }
+            }
+            if (Array.isArray(input)) {
+                return indices.map((i) => input[i]);
+            }
+            else {
+                return indices.map((i) => input[i]).join('');
+            }
+        }
+    };
+}
+// Export with type assertion to work around TS4094 limitation
+// TypeScript can't generate declarations for functions returning classes with protected members
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+export const ExtractionMixin = createExtractionMixin;
+//# sourceMappingURL=extraction.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extraction.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGtE,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,qBAAqB,EACrB,SAAS,CACV,CAAC;YACJ,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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,gBAAgB,CAAC,kBAAkB,EACnC,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"}

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

@@ -0,0 +1,23 @@
+/**
+ * LiteralsMixin: String, Tuple, Dict, and Closure Evaluation
+ *
+ * Handles evaluation of literal values including:
+ * - String literals with interpolation
+ * - Tuple literals
+ * - Dict literals with callable binding
+ * - Closure creation with late binding
+ *
+ * Interface requirements (from spec):
+ * - evaluateString(node) -> Promise<string>
+ * - evaluateTuple(node) -> Promise<RillValue[]>
+ * - evaluateDict(node) -> Promise<Record<string, RillValue>>
+ * - createClosure(node) -> Promise<ScriptCallable>
+ *
+ * Error Handling:
+ * - String interpolation errors propagate from evaluateExpression() [EC-6]
+ * - Dict/tuple evaluation errors propagate from nested expressions [EC-7]
+ *
+ * @internal
+ */
+export declare const LiteralsMixin: any;
+//# sourceMappingURL=literals.d.ts.map

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

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

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

@@ -0,0 +1,180 @@
+/**
+ * LiteralsMixin: String, Tuple, Dict, and Closure Evaluation
+ *
+ * Handles evaluation of literal values including:
+ * - String literals with interpolation
+ * - Tuple literals
+ * - Dict literals with callable binding
+ * - Closure creation with late binding
+ *
+ * Interface requirements (from spec):
+ * - evaluateString(node) -> Promise<string>
+ * - evaluateTuple(node) -> Promise<RillValue[]>
+ * - evaluateDict(node) -> Promise<Record<string, RillValue>>
+ * - createClosure(node) -> Promise<ScriptCallable>
+ *
+ * Error Handling:
+ * - String interpolation errors propagate from evaluateExpression() [EC-6]
+ * - Dict/tuple evaluation errors propagate from nested expressions [EC-7]
+ *
+ * @internal
+ */
+import { RuntimeError, RILL_ERROR_CODES } from '../../../../types.js';
+import { formatValue, isReservedMethod } from '../../values.js';
+import { isCallable, } from '../../callable.js';
+/**
+ * LiteralsMixin implementation.
+ *
+ * Provides evaluation of literal values. String literals support interpolation,
+ * closures are created with late binding, and dict callables are automatically
+ * bound to their containing dict.
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, checkAborted(), getNodeLocation()
+ * - evaluateExpression() (from future CoreMixin composition)
+ * - evaluatePrimary() (from future CoreMixin composition)
+ *
+ * Methods added:
+ * - evaluateString(node) -> Promise<string>
+ * - evaluateTuple(node) -> Promise<RillValue[]>
+ * - evaluateDict(node) -> Promise<Record<string, RillValue>>
+ * - createClosure(node) -> Promise<ScriptCallable>
+ */
+function createLiteralsMixin(Base) {
+    return class LiteralsEvaluator extends Base {
+        /**
+         * Evaluate string literal with interpolation.
+         * Interpolation expressions are evaluated with the current pipe value preserved.
+         *
+         * String parts are concatenated with interpolated values formatted via formatValue().
+         * Errors from interpolation expression evaluation propagate to caller.
+         */
+        async evaluateString(node) {
+            let result = '';
+            // Save pipeValue since interpolation expressions can modify it
+            const savedPipeValue = this.ctx.pipeValue;
+            for (const part of node.parts) {
+                if (typeof part === 'string') {
+                    result += part;
+                }
+                else {
+                    // InterpolationNode: evaluate the expression
+                    // Restore pipeValue before each interpolation so they all see the same value
+                    this.ctx.pipeValue = savedPipeValue;
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const value = await this.evaluateExpression(part.expression);
+                    result += formatValue(value);
+                }
+            }
+            // Restore pipeValue after string evaluation
+            this.ctx.pipeValue = savedPipeValue;
+            return result;
+        }
+        /**
+         * Evaluate tuple literal.
+         * Elements are evaluated in order and collected into an array.
+         *
+         * Errors from element evaluation propagate to caller.
+         */
+        async evaluateTuple(node) {
+            const elements = [];
+            for (const elem of node.elements) {
+                // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                elements.push(await this.evaluateExpression(elem));
+            }
+            return elements;
+        }
+        /**
+         * Evaluate dict literal.
+         * All callables in the dict are bound to the containing dict via boundDict property.
+         *
+         * Reserved method names (keys, values, entries) cannot be used as dict keys.
+         * Errors from value evaluation propagate to caller.
+         */
+        async evaluateDict(node) {
+            const result = {};
+            for (const entry of node.entries) {
+                if (isReservedMethod(entry.key)) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Cannot use reserved method name '${entry.key}' as dict key`, entry.span.start, { key: entry.key, reservedMethods: ['keys', 'values', 'entries'] });
+                }
+                if (this.isClosureExpr(entry.value)) {
+                    // Safe cast: isClosureExpr ensures head is PostfixExpr with Closure primary
+                    const head = entry.value.head;
+                    const fnLit = head.primary;
+                    const closure = await this.createClosure(fnLit);
+                    result[entry.key] = closure;
+                }
+                else {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    result[entry.key] = await this.evaluateExpression(entry.value);
+                }
+            }
+            // Bind all callables to the containing dict
+            for (const key of Object.keys(result)) {
+                const value = result[key];
+                if (value !== undefined && isCallable(value)) {
+                    result[key] = {
+                        ...value,
+                        boundDict: result,
+                    };
+                }
+            }
+            return result;
+        }
+        /**
+         * Create a script callable from a closure node.
+         * Closures use late binding - variables are resolved in definingScope when invoked.
+         *
+         * Default parameter values are evaluated immediately in the current context.
+         * Property-style callables (zero params) are auto-invoked on dict access.
+         */
+        async createClosure(node) {
+            // Store reference to the defining scope for late-bound variable resolution
+            const definingScope = this.ctx;
+            const params = [];
+            for (const param of node.params) {
+                let defaultValue = null;
+                if (param.defaultValue) {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    defaultValue = await this.evaluatePrimary(param.defaultValue);
+                }
+                params.push({
+                    name: param.name,
+                    typeName: param.typeName,
+                    defaultValue,
+                });
+            }
+            const isProperty = params.length === 0;
+            return {
+                __type: 'callable',
+                kind: 'script',
+                params,
+                body: node.body,
+                definingScope,
+                isProperty,
+            };
+        }
+        /**
+         * Helper: Check if expression is a bare closure (no pipes, no methods).
+         * Used to detect dict entries that should be treated as closures.
+         */
+        isClosureExpr(expr) {
+            if (expr.type !== 'PipeChain')
+                return false;
+            const chain = expr;
+            if (chain.pipes.length > 0)
+                return false;
+            if (chain.head.type !== 'PostfixExpr')
+                return false;
+            const head = chain.head;
+            if (head.methods.length > 0)
+                return false;
+            return head.primary.type === 'Closure';
+        }
+    };
+}
+// Export with type assertion to work around TS4094 limitation
+// TypeScript can't generate declarations for functions returning classes with protected members
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+export const LiteralsMixin = createLiteralsMixin;
+//# sourceMappingURL=literals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAWH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EACL,UAAU,GAGX,MAAM,mBAAmB,CAAC;AAI3B;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,mBAAmB,CAAC,IAAyC;IACpE,OAAO,MAAM,iBAAkB,SAAQ,IAAI;QACzC;;;;;;WAMG;QACO,KAAK,CAAC,cAAc,CAAC,IAAuB;YACpD,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,+DAA+D;YAC/D,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,MAAM,IAAI,IAAI,CAAC;gBACjB,CAAC;qBAAM,CAAC;oBACN,6CAA6C;oBAC7C,6EAA6E;oBAC7E,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,cAAc,CAAC;oBACpC,8DAA8D;oBAC9D,MAAM,KAAK,GAAG,MAAO,IAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACtE,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,4CAA4C;YAC5C,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,cAAc,CAAC;YACpC,OAAO,MAAM,CAAC;QAChB,CAAC;QAED;;;;;WAKG;QACO,KAAK,CAAC,aAAa,CAAC,IAAe;YAC3C,MAAM,QAAQ,GAAgB,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjC,8DAA8D;gBAC9D,QAAQ,CAAC,IAAI,CAAC,MAAO,IAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;;;WAMG;QACO,KAAK,CAAC,YAAY,CAC1B,IAAc;YAEd,MAAM,MAAM,GAA8B,EAAE,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,oCAAoC,KAAK,CAAC,GAAG,eAAe,EAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,EAChB,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,eAAe,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,CACnE,CAAC;gBACJ,CAAC;gBAED,IAAI,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpC,4EAA4E;oBAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAuB,CAAC;oBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAsB,CAAC;oBAC1C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;oBAChD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;gBAC9B,CAAC;qBAAM,CAAC;oBACN,8DAA8D;oBAC9D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAO,IAAY,CAAC,kBAAkB,CACxD,KAAK,CAAC,KAAK,CACZ,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,4CAA4C;YAC5C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7C,MAAM,CAAC,GAAG,CAAC,GAAG;wBACZ,GAAG,KAAK;wBACR,SAAS,EAAE,MAAM;qBAClB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QAED;;;;;;WAMG;QACO,KAAK,CAAC,aAAa,CAAC,IAAiB;YAC7C,2EAA2E;YAC3E,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC;YAE/B,MAAM,MAAM,GAAoB,EAAE,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,IAAI,YAAY,GAAqB,IAAI,CAAC;gBAC1C,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;oBACvB,8DAA8D;oBAC9D,YAAY,GAAG,MAAO,IAAY,CAAC,eAAe,CAChD,KAAK,CAAC,YAAY,CACnB,CAAC;gBACJ,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,YAAY;iBACb,CAAC,CAAC;YACL,CAAC;YAED,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;YAEvC,OAAO;gBACL,MAAM,EAAE,UAAU;gBAClB,IAAI,EAAE,QAAQ;gBACd,MAAM;gBACN,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,aAAa;gBACb,UAAU;aACX,CAAC;QACJ,CAAC;QAED;;;WAGG;QACK,aAAa,CAAC,IAAoB;YACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,KAAK,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAqB,CAAC;YACpC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC;YACpD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAuB,CAAC;YAC3C,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;QACzC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,gGAAgG;AAChG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,aAAa,GAAG,mBAA0B,CAAC"}

package/dist/runtime/core/eval/mixins/types.d.ts

@@ -0,0 +1,20 @@
+/**
+ * TypesMixin: Type Assertions and Checks
+ *
+ * Handles type assertion (:type) and type check (:?type) operations.
+ * Provides runtime type validation with error reporting.
+ *
+ * Interface requirements (from spec):
+ * - assertType(value, expected, location?) -> RillValue
+ * - evaluateTypeAssertion(node, input) -> Promise<RillValue>
+ * - evaluateTypeCheck(node, input) -> Promise<boolean>
+ * - evaluateTypeAssertionPrimary(node) -> Promise<RillValue>
+ * - evaluateTypeCheckPrimary(node) -> Promise<boolean>
+ *
+ * Error Handling:
+ * - Type assertion failures throw RuntimeError(RUNTIME_TYPE_ERROR) [EC-24]
+ *
+ * @internal
+ */
+export declare const TypesMixin: any;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAqIH,eAAO,MAAM,UAAU,EAAuB,GAAG,CAAC"}

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

@@ -0,0 +1,109 @@
+/**
+ * TypesMixin: Type Assertions and Checks
+ *
+ * Handles type assertion (:type) and type check (:?type) operations.
+ * Provides runtime type validation with error reporting.
+ *
+ * Interface requirements (from spec):
+ * - assertType(value, expected, location?) -> RillValue
+ * - evaluateTypeAssertion(node, input) -> Promise<RillValue>
+ * - evaluateTypeCheck(node, input) -> Promise<boolean>
+ * - evaluateTypeAssertionPrimary(node) -> Promise<RillValue>
+ * - evaluateTypeCheckPrimary(node) -> Promise<boolean>
+ *
+ * Error Handling:
+ * - Type assertion failures throw RuntimeError(RUNTIME_TYPE_ERROR) [EC-24]
+ *
+ * @internal
+ */
+import { RuntimeError, RILL_ERROR_CODES } from '../../../../types.js';
+import { inferType, checkType } from '../../values.js';
+/**
+ * TypesMixin implementation.
+ *
+ * Provides type assertion and type check functionality. Type assertions
+ * validate that a value is of the expected type and throw on mismatch.
+ * Type checks return boolean results without throwing.
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, checkAborted(), getNodeLocation()
+ * - evaluatePostfixExpr() (from future CoreMixin composition)
+ *
+ * Methods added:
+ * - assertType(value, expected, location?) -> RillValue
+ * - evaluateTypeAssertion(node, input) -> Promise<RillValue>
+ * - evaluateTypeCheck(node, input) -> Promise<boolean>
+ * - evaluateTypeAssertionPrimary(node) -> Promise<RillValue>
+ * - evaluateTypeCheckPrimary(node) -> Promise<boolean>
+ */
+function createTypesMixin(Base) {
+    return class TypesEvaluator extends Base {
+        /**
+         * Assert that a value is of the expected type.
+         * Returns the value unchanged if assertion passes, throws on mismatch.
+         * Exported for use by type assertion evaluation.
+         */
+        assertType(value, expected, location) {
+            const actual = inferType(value);
+            if (actual !== expected) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Type assertion failed: expected ${expected}, got ${actual}`, location, { expectedType: expected, actualType: actual });
+            }
+            return value;
+        }
+        /**
+         * Evaluate type assertion: expr:type or :type (shorthand for $:type).
+         * Returns the value if type matches, throws on mismatch.
+         */
+        async evaluateTypeAssertion(node, input) {
+            // If operand is null, use the input (pipe value)
+            // Otherwise, evaluate the operand
+            const value = node.operand
+                ? // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    await this.evaluatePostfixExpr(node.operand)
+                : input;
+            return this.assertType(value, node.typeName, node.span.start);
+        }
+        /**
+         * Evaluate type check: expr:?type or :?type (shorthand for $:?type).
+         * Returns true if type matches, false otherwise.
+         */
+        async evaluateTypeCheck(node, input) {
+            // If operand is null, use the input (pipe value)
+            // Otherwise, evaluate the operand
+            const value = node.operand
+                ? // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    await this.evaluatePostfixExpr(node.operand)
+                : input;
+            return checkType(value, node.typeName);
+        }
+        /**
+         * Evaluate postfix type assertion: expr:type.
+         * The operand is always present (not null) for postfix form.
+         */
+        async evaluateTypeAssertionPrimary(node) {
+            if (!node.operand) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Postfix type assertion requires operand', node.span.start);
+            }
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            const value = await this.evaluatePostfixExpr(node.operand);
+            return this.evaluateTypeAssertion(node, value);
+        }
+        /**
+         * Evaluate postfix type check: expr:?type.
+         * The operand is always present (not null) for postfix form.
+         */
+        async evaluateTypeCheckPrimary(node) {
+            if (!node.operand) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, 'Postfix type check requires operand', node.span.start);
+            }
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            const value = await this.evaluatePostfixExpr(node.operand);
+            return this.evaluateTypeCheck(node, value);
+        }
+    };
+}
+// Export with type assertion to work around TS4094 limitation
+// TypeScript can't generate declarations for functions returning classes with protected members
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+export const TypesMixin = createTypesMixin;
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAIvD;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,gBAAgB,CAAC,IAAyC;IACjE,OAAO,MAAM,cAAe,SAAQ,IAAI;QACtC;;;;WAIG;QACH,UAAU,CACR,KAAgB,EAChB,QAAsB,EACtB,QAAyB;YAEzB,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,mCAAmC,QAAQ,SAAS,MAAM,EAAE,EAC5D,QAAQ,EACR,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAC/C,CAAC;YACJ,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;WAGG;QACH,KAAK,CAAC,qBAAqB,CACzB,IAAuB,EACvB,KAAgB;YAEhB,iDAAiD;YACjD,kCAAkC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO;gBACxB,CAAC,CAAC,8DAA8D;oBAC9D,MAAO,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC;gBACvD,CAAC,CAAC,KAAK,CAAC;YAEV,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC;QAED;;;WAGG;QACH,KAAK,CAAC,iBAAiB,CACrB,IAAmB,EACnB,KAAgB;YAEhB,iDAAiD;YACjD,kCAAkC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO;gBACxB,CAAC,CAAC,8DAA8D;oBAC9D,MAAO,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC;gBACvD,CAAC,CAAC,KAAK,CAAC;YAEV,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;QAED;;;WAGG;QACH,KAAK,CAAC,4BAA4B,CAChC,IAAuB;YAEvB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,yCAAyC,EACzC,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;YACJ,CAAC;YACD,8DAA8D;YAC9D,MAAM,KAAK,GAAG,MAAO,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpE,OAAO,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;QAED;;;WAGG;QACH,KAAK,CAAC,wBAAwB,CAAC,IAAmB;YAChD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,qCAAqC,EACrC,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;YACJ,CAAC;YACD,8DAA8D;YAC9D,MAAM,KAAK,GAAG,MAAO,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,gGAAgG;AAChG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,UAAU,GAAG,gBAAuB,CAAC"}

package/dist/runtime/core/eval/mixins/variables.d.ts

@@ -0,0 +1,34 @@
+/**
+ * VariablesMixin: Variable Access and Mutation
+ *
+ * Handles variable access, mutation, and capture operations:
+ * - Variable lookup with scope chain traversal
+ * - Variable assignment with type checking
+ * - Capture syntax (:> $name)
+ *
+ * LIMITATIONS:
+ * - Property access chains ($data.field[0]) require AccessMixin
+ * - Existence checks (.?field) require AccessMixin
+ * - Default values ($data ?? default) require AccessMixin or ControlFlowMixin
+ *
+ * Interface requirements (from spec):
+ * - setVariable(name, value, explicitType?, location?) -> void
+ * - evaluateVariable(node) -> RillValue
+ * - evaluateVariableAsync(node) -> Promise<RillValue>
+ * - evaluateCapture(node, input) -> RillValue
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, checkAborted(), getNodeLocation()
+ * - context utilities: getVariable, hasVariable
+ *
+ * Extended by:
+ * - AccessMixin: Will add property chain evaluation to evaluateVariableAsync
+ *
+ * Error Handling:
+ * - Undefined variables throw RuntimeError(RUNTIME_UNDEFINED_VARIABLE) [EC-8]
+ * - Type mismatches throw RuntimeError(RUNTIME_TYPE_ERROR) [EC-9]
+ *
+ * @internal
+ */
+export declare const VariablesMixin: any;
+//# sourceMappingURL=variables.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/variables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AA4UH,eAAO,MAAM,cAAc,EAA2B,GAAG,CAAC"}