@rcrsr/rill 0.1.0

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

@@ -0,0 +1,247 @@
+/**
+ * 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
+ */
+import { RuntimeError, RILL_ERROR_CODES } from '../../../../types.js';
+import { inferType } from '../../values.js';
+import { getVariable, hasVariable } from '../../context.js';
+import { isDict } from '../../callable.js';
+/**
+ * VariablesMixin implementation.
+ *
+ * Provides variable access and mutation functionality. Variables follow
+ * lexical scoping with type locking on first assignment. Outer scope
+ * variables cannot be reassigned from child scopes.
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, checkAborted(), getNodeLocation()
+ * - context utilities: getVariable, hasVariable
+ *
+ * Methods added:
+ * - setVariable(name, value, explicitType?, location?) -> void
+ * - evaluateVariable(node) -> RillValue
+ * - evaluateVariableAsync(node) -> Promise<RillValue>
+ * - evaluateCapture(node, input) -> RillValue
+ */
+function createVariablesMixin(Base) {
+    return class VariablesEvaluator extends Base {
+        /**
+         * Set a variable with type checking.
+         * - First assignment locks the type (inferred or explicit)
+         * - Subsequent assignments must match the locked type
+         * - Explicit type annotation is validated against value type
+         * - Cannot shadow outer scope variables (produces error)
+         */
+        setVariable(name, value, explicitType, location) {
+            const valueType = inferType(value);
+            // Check explicit type annotation matches value
+            if (explicitType !== undefined && explicitType !== valueType) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Type mismatch: cannot assign ${valueType} to $${name}:${explicitType}`, location, {
+                    variableName: name,
+                    expectedType: explicitType,
+                    actualType: valueType,
+                });
+            }
+            // Check if this is a new variable that would reassign an outer scope variable
+            // (error: cannot reassign outer scope variables from child scopes)
+            if (!this.ctx.variables.has(name) &&
+                this.ctx.parent &&
+                hasVariable(this.ctx.parent, name)) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Cannot reassign outer variable $${name} from child scope`, location, { variableName: name });
+            }
+            // Check if variable already has a locked type in current scope
+            const lockedType = this.ctx.variableTypes.get(name);
+            if (lockedType !== undefined && lockedType !== valueType) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Type mismatch: cannot assign ${valueType} to $${name} (locked as ${lockedType})`, location, {
+                    variableName: name,
+                    expectedType: lockedType,
+                    actualType: valueType,
+                });
+            }
+            // Set the variable and lock its type in current scope
+            this.ctx.variables.set(name, value);
+            if (!this.ctx.variableTypes.has(name)) {
+                // Lock type: use explicit annotation if provided, otherwise infer from value
+                // This enables `$x:string` to lock type before assignment while still
+                // supporting type inference for bare captures like `:> $x`
+                this.ctx.variableTypes.set(name, explicitType ?? valueType);
+            }
+        }
+        /**
+         * Evaluate variable access synchronously.
+         * Handles bare variable references: $name or $.
+         *
+         * Note: This is a simplified synchronous version. The full implementation
+         * with property access chains is in evaluateVariableAsync.
+         */
+        evaluateVariable(node) {
+            // Handle pipe variable ($)
+            if (node.isPipeVar && !node.name) {
+                if (this.ctx.pipeValue === null) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_UNDEFINED_VARIABLE, 'Undefined variable: $', this.getNodeLocation(node), { variable: '$' });
+                }
+                return this.ctx.pipeValue;
+            }
+            // Handle named variable ($name)
+            if (node.name) {
+                const result = getVariable(this.ctx, node.name);
+                if (result === undefined) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_UNDEFINED_VARIABLE, `Undefined variable: $${node.name}`, this.getNodeLocation(node), { variable: node.name });
+                }
+                return result;
+            }
+            // Should not reach here - all variable nodes have either isPipeVar or name
+            throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_UNDEFINED_VARIABLE, 'Invalid variable node', this.getNodeLocation(node));
+        }
+        /**
+         * Evaluate variable access asynchronously.
+         * Async variant that supports access chains ($.field, $var.field).
+         *
+         * Handles property access chains and default values.
+         */
+        async evaluateVariableAsync(node) {
+            // Get base value ($ or $name)
+            let value;
+            if (node.isPipeVar && !node.name) {
+                // Pipe variable ($)
+                if (this.ctx.pipeValue === null) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_UNDEFINED_VARIABLE, 'Undefined variable: $', this.getNodeLocation(node), { variable: '$' });
+                }
+                value = this.ctx.pipeValue;
+            }
+            else if (node.name) {
+                // Named variable ($name)
+                const result = getVariable(this.ctx, node.name);
+                if (result === undefined) {
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_UNDEFINED_VARIABLE, `Undefined variable: $${node.name}`, this.getNodeLocation(node), { variable: node.name });
+                }
+                value = result;
+            }
+            else {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_UNDEFINED_VARIABLE, 'Invalid variable node', this.getNodeLocation(node));
+            }
+            // Apply access chain ($.field, $var.field, etc.)
+            for (const access of node.accessChain) {
+                if (value === null) {
+                    // Use default value if available
+                    if (node.defaultValue) {
+                        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                        return this.evaluateBody(node.defaultValue);
+                    }
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Cannot access property on null`, this.getNodeLocation(node));
+                }
+                // Check if this is a bracket access
+                if ('accessKind' in access) {
+                    // Bracket access: [expr]
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const indexValue = await this.evaluatePipeChain(access.expression);
+                    if (Array.isArray(value)) {
+                        if (typeof indexValue !== 'number') {
+                            throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `List index must be number, got ${inferType(indexValue)}`, this.getNodeLocation(node));
+                        }
+                        let index = indexValue;
+                        // Handle negative indices
+                        if (index < 0) {
+                            index = value.length + index;
+                        }
+                        const result = value[index];
+                        if (result === undefined) {
+                            throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `List index out of bounds: ${indexValue}`, this.getNodeLocation(node));
+                        }
+                        value = result;
+                    }
+                    else if (isDict(value)) {
+                        if (typeof indexValue !== 'string') {
+                            throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Dict key must be string, got ${inferType(indexValue)}`, this.getNodeLocation(node));
+                        }
+                        const result = value[indexValue];
+                        if (result === undefined) {
+                            throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Undefined dict key: ${indexValue}`, this.getNodeLocation(node));
+                        }
+                        value = result;
+                    }
+                    else {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Cannot index ${inferType(value)}`, this.getNodeLocation(node));
+                    }
+                    continue;
+                }
+                // Must be a FieldAccess
+                if (access.kind === 'literal') {
+                    const field = access.field;
+                    if (isDict(value)) {
+                        // Allow missing fields if there's a default value
+                        const allowMissing = node.defaultValue !== null;
+                        value = await this.accessDictField(value, field, this.getNodeLocation(node), allowMissing);
+                    }
+                    else {
+                        value = null;
+                    }
+                }
+                else {
+                    // Other field access types (variable, computed, block, alternatives)
+                    throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Field access kind '${access.kind}' not yet supported`, this.getNodeLocation(node));
+                }
+            }
+            // Apply default value if final result is null
+            if (value === null && node.defaultValue) {
+                // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                return this.evaluateBody(node.defaultValue);
+            }
+            return value;
+        }
+        /**
+         * Evaluate capture: :> $name
+         * Handles capture syntax which assigns the piped value to a variable.
+         * Calls setVariable for type checking and fires observability callback.
+         */
+        evaluateCapture(node, input) {
+            this.setVariable(node.name, input, node.typeName ?? undefined, node.span.start);
+            this.ctx.observability.onCapture?.({ name: node.name, value: input });
+            return input;
+        }
+        /**
+         * Handle statement capture (public API wrapper).
+         * Returns capture info if a capture occurred.
+         * This overrides the stub in EvaluatorBase.
+         */
+        handleCapture(capture, value) {
+            if (!capture)
+                return undefined;
+            this.evaluateCapture(capture, value);
+            return { name: capture.name, 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 VariablesMixin = createVariablesMixin;
+//# sourceMappingURL=variables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/variables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAQH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAI3C;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,oBAAoB,CAAC,IAAyC;IACrE,OAAO,MAAM,kBAAmB,SAAQ,IAAI;QAC1C;;;;;;WAMG;QACO,WAAW,CACnB,IAAY,EACZ,KAAgB,EAChB,YAA2B,EAC3B,QAAyB;YAEzB,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAEnC,+CAA+C;YAC/C,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBAC7D,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,gCAAgC,SAAS,QAAQ,IAAI,IAAI,YAAY,EAAE,EACvE,QAAQ,EACR;oBACE,YAAY,EAAE,IAAI;oBAClB,YAAY,EAAE,YAAY;oBAC1B,UAAU,EAAE,SAAS;iBACtB,CACF,CAAC;YACJ,CAAC;YAED,8EAA8E;YAC9E,mEAAmE;YACnE,IACE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC7B,IAAI,CAAC,GAAG,CAAC,MAAM;gBACf,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAClC,CAAC;gBACD,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,mCAAmC,IAAI,mBAAmB,EAC1D,QAAQ,EACR,EAAE,YAAY,EAAE,IAAI,EAAE,CACvB,CAAC;YACJ,CAAC;YAED,+DAA+D;YAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBACzD,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,gCAAgC,SAAS,QAAQ,IAAI,eAAe,UAAU,GAAG,EACjF,QAAQ,EACR;oBACE,YAAY,EAAE,IAAI;oBAClB,YAAY,EAAE,UAAU;oBACxB,UAAU,EAAE,SAAS;iBACtB,CACF,CAAC;YACJ,CAAC;YAED,sDAAsD;YACtD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,6EAA6E;gBAC7E,sEAAsE;gBACtE,2DAA2D;gBAC3D,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,IAAI,SAAS,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QAED;;;;;;WAMG;QACO,gBAAgB,CAAC,IAAkB;YAC3C,2BAA2B;YAC3B,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACjC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;oBAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,0BAA0B,EAC3C,uBAAuB,EACvB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,QAAQ,EAAE,GAAG,EAAE,CAClB,CAAC;gBACJ,CAAC;gBACD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAC5B,CAAC;YAED,gCAAgC;YAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,0BAA0B,EAC3C,wBAAwB,IAAI,CAAC,IAAI,EAAE,EACnC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CACxB,CAAC;gBACJ,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YAED,2EAA2E;YAC3E,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,0BAA0B,EAC3C,uBAAuB,EACvB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;QACJ,CAAC;QAED;;;;;WAKG;QACO,KAAK,CAAC,qBAAqB,CACnC,IAAkB;YAElB,8BAA8B;YAC9B,IAAI,KAAgB,CAAC;YAErB,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACjC,oBAAoB;gBACpB,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;oBAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,0BAA0B,EAC3C,uBAAuB,EACvB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,QAAQ,EAAE,GAAG,EAAE,CAClB,CAAC;gBACJ,CAAC;gBACD,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAC7B,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACrB,yBAAyB;gBACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,0BAA0B,EAC3C,wBAAwB,IAAI,CAAC,IAAI,EAAE,EACnC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CACxB,CAAC;gBACJ,CAAC;gBACD,KAAK,GAAG,MAAM,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,0BAA0B,EAC3C,uBAAuB,EACvB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;YACJ,CAAC;YAED,iDAAiD;YACjD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACnB,iCAAiC;oBACjC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;wBACtB,8DAA8D;wBAC9D,OAAQ,IAAY,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;oBACvD,CAAC;oBACD,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,gCAAgC,EAChC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;gBACJ,CAAC;gBAED,oCAAoC;gBACpC,IAAI,YAAY,IAAI,MAAM,EAAE,CAAC;oBAC3B,yBAAyB;oBACzB,8DAA8D;oBAC9D,MAAM,UAAU,GAAG,MAAO,IAAY,CAAC,iBAAiB,CACtD,MAAM,CAAC,UAAU,CAClB,CAAC;oBAEF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;wBACzB,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;4BACnC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,kCAAkC,SAAS,CAAC,UAAU,CAAC,EAAE,EACzD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;wBACJ,CAAC;wBACD,IAAI,KAAK,GAAG,UAAU,CAAC;wBACvB,0BAA0B;wBAC1B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;4BACd,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;wBAC/B,CAAC;wBACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;wBAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACzB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,6BAA6B,UAAU,EAAE,EACzC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;wBACJ,CAAC;wBACD,KAAK,GAAG,MAAM,CAAC;oBACjB,CAAC;yBAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;wBACzB,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;4BACnC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,gCAAgC,SAAS,CAAC,UAAU,CAAC,EAAE,EACvD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;wBACJ,CAAC;wBACD,MAAM,MAAM,GAAI,KAAmC,CAAC,UAAU,CAAC,CAAC;wBAChE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACzB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,uBAAuB,UAAU,EAAE,EACnC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;wBACJ,CAAC;wBACD,KAAK,GAAG,MAAM,CAAC;oBACjB,CAAC;yBAAM,CAAC;wBACN,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,gBAAgB,SAAS,CAAC,KAAK,CAAC,EAAE,EAClC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;oBACJ,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,wBAAwB;gBACxB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;oBAC3B,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;wBAClB,kDAAkD;wBAClD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC;wBAChD,KAAK,GAAG,MAAM,IAAI,CAAC,eAAe,CAChC,KAAK,EACL,KAAK,EACL,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,YAAY,CACb,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,KAAK,GAAG,IAAI,CAAC;oBACf,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,sBAAsB,MAAM,CAAC,IAAI,qBAAqB,EACtD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAC3B,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,8CAA8C;YAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACxC,8DAA8D;gBAC9D,OAAQ,IAAY,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACvD,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;;WAIG;QACO,eAAe,CAAC,IAAiB,EAAE,KAAgB;YAC3D,IAAI,CAAC,WAAW,CACd,IAAI,CAAC,IAAI,EACT,KAAK,EACL,IAAI,CAAC,QAAQ,IAAI,SAAS,EAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAChB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACtE,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;;WAIG;QACgB,aAAa,CAC9B,OAA2B,EAC3B,KAAgB;YAEhB,IAAI,CAAC,OAAO;gBAAE,OAAO,SAAS,CAAC;YAE/B,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACrC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACvC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,gGAAgG;AAChG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAG,oBAA2B,CAAC"}

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

@@ -0,0 +1,41 @@
+/**
+ * Type Infrastructure for Evaluator Mixins
+ *
+ * Defines the constructor types and constraints for the mixin pattern.
+ * Mixins receive a base constructor and return an extended constructor.
+ *
+ * @internal
+ */
+import type { EvaluatorBase } from './base.js';
+/**
+ * Constructor type for EvaluatorBase or any class extending it.
+ * This is the input type for mixin functions.
+ *
+ * Type parameter TBase must extend EvaluatorBase to ensure all mixins
+ * have access to the base utilities (ctx, checkAborted, etc.).
+ *
+ * Note: `any[]` is required for constructor args because mixins don't know
+ * what parameters the base constructor accepts. This is the standard TypeScript
+ * mixin pattern.
+ */
+export type EvaluatorConstructor<TBase extends EvaluatorBase = EvaluatorBase> = new (...args: any[]) => TBase;
+/**
+ * Mixin function type.
+ * Receives a constructor extending EvaluatorBase and returns an extended constructor.
+ *
+ * @template TBase - The base class being extended (must extend EvaluatorBase)
+ * @template TExtension - The extended class returned by the mixin
+ *
+ * Example usage:
+ * ```typescript
+ * const CoreMixin: Mixin<EvaluatorBase, CoreEvaluator> = (Base) => {
+ *   return class extends Base {
+ *     protected async evaluateExpression(expr: ExpressionNode): Promise<RillValue> {
+ *       // implementation
+ *     }
+ *   };
+ * };
+ * ```
+ */
+export type Mixin<TBase extends EvaluatorBase = EvaluatorBase, TExtension extends TBase = TBase> = (Base: EvaluatorConstructor<TBase>) => EvaluatorConstructor<TExtension>;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/runtime/core/eval/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,oBAAoB,CAAC,KAAK,SAAS,aAAa,GAAG,aAAa,IAE1E,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAEhC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,SAAS,aAAa,GAAG,aAAa,EAC3C,UAAU,SAAS,KAAK,GAAG,KAAK,IAC9B,CAAC,IAAI,EAAE,oBAAoB,CAAC,KAAK,CAAC,KAAK,oBAAoB,CAAC,UAAU,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Type Infrastructure for Evaluator Mixins
+ *
+ * Defines the constructor types and constraints for the mixin pattern.
+ * Mixins receive a base constructor and return an extended constructor.
+ *
+ * @internal
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/runtime/core/eval/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/runtime/core/evaluate.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Expression Evaluation
+ *
+ * Internal module for AST evaluation. Not part of public API.
+ * All evaluation functions are internal implementation details.
+ *
+ * @internal
+ */
+import type { AnnotatedStatementNode, ASTNode, CaptureNode, ExpressionNode, RillTypeName, SourceLocation, StatementNode } from '../../types.js';
+import type { RuntimeContext } from './types.js';
+import { type RillValue } from './values.js';
+/**
+ * Check if execution has been aborted via AbortSignal.
+ * Throws AbortError if signal is aborted.
+ */
+export declare function checkAborted(ctx: RuntimeContext, node?: ASTNode): void;
+/**
+ * Check if the current pipe value matches any autoException pattern.
+ * Only checks string values. Throws AutoExceptionError on match.
+ */
+export declare function checkAutoExceptions(value: RillValue, ctx: RuntimeContext, node?: ASTNode): void;
+/**
+ * Handle statement capture: set variable and fire observability event.
+ * Returns capture info if a capture occurred.
+ */
+export declare function handleCapture(capture: CaptureNode | null, value: RillValue, ctx: RuntimeContext): {
+    name: string;
+    value: RillValue;
+} | undefined;
+/**
+ * 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.
+ */
+export declare function assertType(value: RillValue, expected: RillTypeName, location?: SourceLocation): RillValue;
+export declare function evaluateExpression(expr: ExpressionNode, ctx: RuntimeContext): Promise<RillValue>;
+export declare function executeStatement(stmt: StatementNode | AnnotatedStatementNode, ctx: RuntimeContext): Promise<RillValue>;
+/**
+ * Get the current value of an annotation from the annotation stack.
+ */
+export declare function getAnnotation(ctx: RuntimeContext, key: string): RillValue | undefined;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/runtime/core/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../src/runtime/core/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,sBAAsB,EAGtB,OAAO,EAIP,WAAW,EAOX,cAAc,EAed,YAAY,EAIZ,cAAc,EAEd,aAAa,EAQd,MAAM,gBAAgB,CAAC;AAkBxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAYL,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AAkBrB;;;GAGG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,IAAI,CAItE;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,SAAS,EAChB,GAAG,EAAE,cAAc,EACnB,IAAI,CAAC,EAAE,OAAO,GACb,IAAI,CAcN;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,WAAW,GAAG,IAAI,EAC3B,KAAK,EAAE,SAAS,EAChB,GAAG,EAAE,cAAc,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG,SAAS,CAOhD;AAMD;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,YAAY,EACtB,QAAQ,CAAC,EAAE,cAAc,GACxB,SAAS,CAWX;AA8GD,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,SAAS,CAAC,CAEpB;AAsRD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,aAAa,GAAG,sBAAsB,EAC5C,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,SAAS,CAAC,CAepB;AAsED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,cAAc,EACnB,GAAG,EAAE,MAAM,GACV,SAAS,GAAG,SAAS,CAEvB"}