@rcrsr/rill 0.1.0

package/dist/runtime/core/callable.js

@@ -0,0 +1,246 @@
+/**
+ * Callable Types
+ *
+ * Unified representation for all callable values in Rill:
+ * - ScriptCallable: Closures parsed from Rill source code
+ * - RuntimeCallable: Rill's built-in functions (type, log, json, identity)
+ * - ApplicationCallable: Host application-provided functions
+ *
+ * Public API for host applications.
+ *
+ * ## Implementation Notes
+ *
+ * [DEVIATION] EC-1 Error Context Fields
+ * - Spec defines error context as { functionName, paramName, expectedType, actualType }
+ * - EC-1 (excess arguments) uses { functionName, expectedCount, actualCount }
+ * - Rationale: Excess arguments is an arity check, not a type check
+ *
+ * [ASSUMPTION] validateDefaultValueType _functionName Parameter
+ * - Parameter accepted but unused (prefixed with _ to satisfy eslint)
+ * - Kept for API consistency with validateHostFunctionArgs signature
+ *
+ * [ASSUMPTION] validateHostFunctionArgs Args Array Mutation
+ * - args array mutated in-place when substituting default values
+ * - Per spec algorithm: "Apply default values for missing arguments before validation"
+ * - Mutation occurs before host function receives args, maintaining immutability contract
+ */
+import { RILL_ERROR_CODES, RuntimeError } from '../../types.js';
+import { astEquals } from './equals.js';
+import { formatValue, inferType, isTuple } from './values.js';
+/** Type guard for any callable */
+export function isCallable(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        '__type' in value &&
+        value.__type === 'callable');
+}
+/** Type guard for script callable */
+export function isScriptCallable(value) {
+    return isCallable(value) && value.kind === 'script';
+}
+/** Type guard for runtime callable */
+export function isRuntimeCallable(value) {
+    return isCallable(value) && value.kind === 'runtime';
+}
+/** Type guard for application callable */
+export function isApplicationCallable(value) {
+    return isCallable(value) && value.kind === 'application';
+}
+/**
+ * Create an application callable from a host function.
+ * Creates an untyped callable (params: undefined) that skips validation.
+ * @param fn The function to wrap
+ * @param isProperty If true, auto-invokes when accessed from dict (property-style)
+ */
+export function callable(fn, isProperty = false) {
+    return {
+        __type: 'callable',
+        kind: 'application',
+        params: undefined,
+        fn,
+        isProperty,
+    };
+}
+/** Type guard for dict (plain object, not array, not callable, not tuple) */
+export function isDict(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        !Array.isArray(value) &&
+        !isCallable(value) &&
+        !isTuple(value));
+}
+/** Format a callable for display */
+export function formatCallable(callable) {
+    if (callable.kind === 'script') {
+        const paramStr = callable.params.map((p) => p.name).join(', ');
+        return `(${paramStr}) { ... }`;
+    }
+    return '(...) { [native] }';
+}
+/**
+ * Deep equality for script callables.
+ * Compares params, body AST structure, and defining scope.
+ *
+ * Two closures are equal if:
+ * 1. Same parameter names, types, and default values
+ * 2. Structurally identical body AST (ignoring source locations)
+ * 3. Same defining scope (reference equality)
+ */
+export function callableEquals(a, b, valueEquals = (x, y) => formatValue(x) === formatValue(y)) {
+    // Compare params (name, type, default)
+    if (a.params.length !== b.params.length)
+        return false;
+    for (let i = 0; i < a.params.length; i++) {
+        const ap = a.params[i];
+        const bp = b.params[i];
+        if (ap === undefined || bp === undefined)
+            return false;
+        if (ap.name !== bp.name)
+            return false;
+        if (ap.typeName !== bp.typeName)
+            return false;
+        if (!valueEquals(ap.defaultValue ?? null, bp.defaultValue ?? null)) {
+            return false;
+        }
+    }
+    // Compare body by AST structure (ignoring source locations)
+    if (!astEquals(a.body, b.body)) {
+        return false;
+    }
+    // Compare defining scope by reference (same scope = same closure context)
+    if (a.definingScope !== b.definingScope)
+        return false;
+    return true;
+}
+/**
+ * Validate defaultValue type matches declared parameter type.
+ *
+ * Called at registration time to catch configuration errors early.
+ * Throws Error (not RuntimeError) to indicate registration failure.
+ *
+ * @param param - Parameter with defaultValue to validate
+ * @param _functionName - Function name (unused, kept for API consistency)
+ * @throws Error if defaultValue type doesn't match param.type
+ */
+export function validateDefaultValueType(param, _functionName) {
+    if (param.defaultValue === undefined)
+        return;
+    const actualType = inferType(param.defaultValue);
+    const expectedType = param.type;
+    if (actualType !== expectedType) {
+        throw new Error(`Invalid defaultValue for parameter '${param.name}': expected ${expectedType}, got ${actualType}`);
+    }
+}
+/**
+ * Validate host function arguments against parameter declarations.
+ *
+ * Called before function invocation to enforce type contracts.
+ * Throws RuntimeError on validation failure.
+ *
+ * @param args - Evaluated arguments from call site
+ * @param params - Parameter declarations from function definition
+ * @param functionName - Function name for error messages
+ * @param location - Source location for error reporting
+ * @throws RuntimeError with RUNTIME_TYPE_ERROR on validation failure
+ */
+export function validateHostFunctionArgs(args, params, functionName, location) {
+    // Check for excess arguments
+    if (args.length > params.length) {
+        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Function '${functionName}' expects ${params.length} arguments, got ${args.length}`, location, {
+            functionName,
+            expectedCount: params.length,
+            actualCount: args.length,
+        });
+    }
+    // Validate each parameter
+    for (let i = 0; i < params.length; i++) {
+        const param = params[i];
+        if (param === undefined)
+            continue;
+        let arg = args[i];
+        // Handle missing argument
+        if (arg === undefined) {
+            if (param.defaultValue !== undefined) {
+                // Substitute default value (already validated at registration)
+                arg = param.defaultValue;
+                args[i] = arg;
+            }
+            else {
+                // Missing required argument
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Missing required argument '${param.name}' for function '${functionName}'`, location, {
+                    functionName,
+                    paramName: param.name,
+                });
+            }
+        }
+        // Validate argument type
+        const actualType = inferType(arg);
+        const expectedType = param.type;
+        if (actualType !== expectedType) {
+            throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Type mismatch in ${functionName}: parameter '${param.name}' expects ${expectedType}, got ${actualType}`, location, {
+                functionName,
+                paramName: param.name,
+                expectedType,
+                actualType,
+            });
+        }
+    }
+}
+/**
+ * Validate arguments against CallableParam[] for ApplicationCallable.
+ *
+ * Similar to validateHostFunctionArgs but works with CallableParam[] (used in ApplicationCallable).
+ * Validates argument count, applies defaults, and checks types for primitive parameters.
+ *
+ * @param args - Arguments array (mutated in-place when defaults applied)
+ * @param params - Parameter definitions
+ * @param functionName - Function name for error messages
+ * @param location - Source location for error reporting
+ * @throws RuntimeError with RUNTIME_TYPE_ERROR on validation failure
+ */
+export function validateCallableArgs(args, params, functionName, location) {
+    // Check for excess arguments
+    if (args.length > params.length) {
+        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Function '${functionName}' expects ${params.length} arguments, got ${args.length}`, location, {
+            functionName,
+            expectedCount: params.length,
+            actualCount: args.length,
+        });
+    }
+    // Validate each parameter
+    for (let i = 0; i < params.length; i++) {
+        const param = params[i];
+        if (param === undefined)
+            continue;
+        let arg = args[i];
+        // Handle missing argument
+        if (arg === undefined) {
+            if (param.defaultValue !== null) {
+                // Substitute default value
+                arg = param.defaultValue;
+                args[i] = arg;
+            }
+            else {
+                // Missing required argument
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Missing required argument '${param.name}' for function '${functionName}'`, location, {
+                    functionName,
+                    paramName: param.name,
+                });
+            }
+        }
+        // Validate argument type (only for typed parameters)
+        if (param.typeName !== null) {
+            const actualType = inferType(arg);
+            const expectedType = param.typeName;
+            if (actualType !== expectedType) {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Type mismatch in ${functionName}: parameter '${param.name}' expects ${expectedType}, got ${actualType}`, location, {
+                    functionName,
+                    paramName: param.name,
+                    expectedType,
+                    actualType,
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=callable.js.map

package/dist/runtime/core/callable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callable.js","sourceRoot":"","sources":["../../../src/runtime/core/callable.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAmG9D,kCAAkC;AAClC,MAAM,UAAU,UAAU,CAAC,KAAgB;IACzC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,QAAQ,IAAI,KAAK;QACjB,KAAK,CAAC,MAAM,KAAK,UAAU,CAC5B,CAAC;AACJ,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC/C,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACtD,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;AACvD,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,qBAAqB,CACnC,KAAgB;IAEhB,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;AAC3D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACtB,EAAc,EACd,UAAU,GAAG,KAAK;IAElB,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,EAAE;QACF,UAAU;KACX,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,MAAM,CAAC,KAAgB;IACrC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,CAAC,UAAU,CAAC,KAAK,CAAC;QAClB,CAAC,OAAO,CAAC,KAAK,CAAC,CAChB,CAAC;AACJ,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,cAAc,CAAC,QAAsB;IACnD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,OAAO,IAAI,QAAQ,WAAW,CAAC;IACjC,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,CAAiB,EACjB,CAAiB,EACjB,cAAuD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9D,WAAW,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC;IAEnC,uCAAuC;IACvC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACvD,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC9C,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,YAAY,IAAI,IAAI,EAAE,EAAE,CAAC,YAAY,IAAI,IAAI,CAAC,EAAE,CAAC;YACnE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,0EAA0E;IAC1E,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IAEtD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAwB,EACxB,aAAqB;IAErB,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO;IAE7C,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC;IAEhC,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,uCAAuC,KAAK,CAAC,IAAI,eAAe,YAAY,SAAS,UAAU,EAAE,CAClG,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAiB,EACjB,MAAoC,EACpC,YAAoB,EACpB,QAAyB;IAEzB,6BAA6B;IAC7B,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,aAAa,YAAY,aAAa,MAAM,CAAC,MAAM,mBAAmB,IAAI,CAAC,MAAM,EAAE,EACnF,QAAQ,EACR;YACE,YAAY;YACZ,aAAa,EAAE,MAAM,CAAC,MAAM;YAC5B,WAAW,EAAE,IAAI,CAAC,MAAM;SACzB,CACF,CAAC;IACJ,CAAC;IAED,0BAA0B;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAElC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,0BAA0B;QAC1B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACrC,+DAA+D;gBAC/D,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC;gBACzB,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,4BAA4B;gBAC5B,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,8BAA8B,KAAK,CAAC,IAAI,mBAAmB,YAAY,GAAG,EAC1E,QAAQ,EACR;oBACE,YAAY;oBACZ,SAAS,EAAE,KAAK,CAAC,IAAI;iBACtB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC;QAEhC,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,oBAAoB,YAAY,gBAAgB,KAAK,CAAC,IAAI,aAAa,YAAY,SAAS,UAAU,EAAE,EACxG,QAAQ,EACR;gBACE,YAAY;gBACZ,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,YAAY;gBACZ,UAAU;aACX,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAiB,EACjB,MAAgC,EAChC,YAAoB,EACpB,QAAyB;IAEzB,6BAA6B;IAC7B,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,aAAa,YAAY,aAAa,MAAM,CAAC,MAAM,mBAAmB,IAAI,CAAC,MAAM,EAAE,EACnF,QAAQ,EACR;YACE,YAAY;YACZ,aAAa,EAAE,MAAM,CAAC,MAAM;YAC5B,WAAW,EAAE,IAAI,CAAC,MAAM;SACzB,CACF,CAAC;IACJ,CAAC;IAED,0BAA0B;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAElC,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAElB,0BAA0B;QAC1B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;gBAChC,2BAA2B;gBAC3B,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC;gBACzB,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YAChB,CAAC;iBAAM,CAAC;gBACN,4BAA4B;gBAC5B,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,8BAA8B,KAAK,CAAC,IAAI,mBAAmB,YAAY,GAAG,EAC1E,QAAQ,EACR;oBACE,YAAY;oBACZ,SAAS,EAAE,KAAK,CAAC,IAAI;iBACtB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,qDAAqD;QACrD,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC;YAEpC,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,kBAAkB,EACnC,oBAAoB,YAAY,gBAAgB,KAAK,CAAC,IAAI,aAAa,YAAY,SAAS,UAAU,EAAE,EACxG,QAAQ,EACR;oBACE,YAAY;oBACZ,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,YAAY;oBACZ,UAAU;iBACX,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,29 @@
+/**
+ * Runtime Context Factory
+ *
+ * Creates and configures the runtime context for script execution.
+ * Public API for host applications.
+ */
+import type { RuntimeContext, RuntimeOptions } from './types.js';
+import { type RillValue } from './values.js';
+/**
+ * Create a runtime context for script execution.
+ * This is the main entry point for configuring the Rill runtime.
+ */
+export declare function createRuntimeContext(options?: RuntimeOptions): RuntimeContext;
+/**
+ * Create a child context for block scoping.
+ * Child inherits parent's functions, methods, callbacks, etc.
+ * but has its own variables map. Variable lookups walk the parent chain.
+ */
+export declare function createChildContext(parent: RuntimeContext): RuntimeContext;
+/**
+ * Get a variable value, walking the parent chain.
+ * Returns undefined if not found in any scope.
+ */
+export declare function getVariable(ctx: RuntimeContext, name: string): RillValue | undefined;
+/**
+ * Check if a variable exists in any scope.
+ */
+export declare function hasVariable(ctx: RuntimeContext, name: string): boolean;
+//# sourceMappingURL=context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/runtime/core/context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAGV,cAAc,EACd,cAAc,EACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAA0B,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAarE;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,GAAE,cAAmB,GAC3B,cAAc,CAyGhB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAezE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,cAAc,EACnB,IAAI,EAAE,MAAM,GACX,SAAS,GAAG,SAAS,CAQvB;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAQtE"}

package/dist/runtime/core/context.js

@@ -0,0 +1,154 @@
+/**
+ * Runtime Context Factory
+ *
+ * Creates and configures the runtime context for script execution.
+ * Public API for host applications.
+ */
+import { RILL_ERROR_CODES, RuntimeError } from '../../types.js';
+import { BUILTIN_FUNCTIONS, BUILTIN_METHODS } from '../ext/builtins.js';
+import { bindDictCallables } from './types.js';
+import { formatValue, inferType } from './values.js';
+import { callable, validateDefaultValueType, } from './callable.js';
+const defaultCallbacks = {
+    onLog: (value) => {
+        console.log(formatValue(value));
+    },
+};
+/**
+ * Create a runtime context for script execution.
+ * This is the main entry point for configuring the Rill runtime.
+ */
+export function createRuntimeContext(options = {}) {
+    const variables = new Map();
+    const variableTypes = new Map();
+    const functions = new Map();
+    const methods = new Map();
+    // Set initial variables (and infer their types)
+    if (options.variables) {
+        for (const [name, value] of Object.entries(options.variables)) {
+            // Bind callables in dicts to their containing dict
+            const boundValue = bindDictCallables(value);
+            variables.set(name, boundValue);
+            variableTypes.set(name, inferType(boundValue));
+        }
+    }
+    // Set built-in functions
+    for (const [name, fn] of Object.entries(BUILTIN_FUNCTIONS)) {
+        functions.set(name, fn);
+    }
+    // Set custom functions (can override built-ins)
+    if (options.functions) {
+        for (const [name, definition] of Object.entries(options.functions)) {
+            // Type-discriminate CallableFn vs HostFunctionDefinition
+            if ('fn' in definition) {
+                // It's HostFunctionDefinition with typed parameters
+                const { params, fn } = definition;
+                // Validate default values at registration time (EC-4)
+                if (params) {
+                    for (const param of params) {
+                        validateDefaultValueType(param, name);
+                    }
+                    // Convert HostFunctionParam[] to CallableParam[]
+                    const callableParams = params.map((p) => ({
+                        name: p.name,
+                        typeName: p.type ?? null,
+                        defaultValue: p.defaultValue ?? null,
+                    }));
+                    // Create ApplicationCallable with params field populated
+                    const appCallable = callable(fn, false);
+                    const typedCallable = {
+                        ...appCallable,
+                        params: callableParams,
+                    };
+                    // Store ApplicationCallable for runtime validation in task 1.5
+                    functions.set(name, typedCallable);
+                }
+                else {
+                    // HostFunctionDefinition without params (backward compat)
+                    functions.set(name, fn);
+                }
+            }
+            else {
+                // It's CallableFn (backward compat)
+                functions.set(name, definition);
+            }
+        }
+    }
+    // Set built-in methods
+    for (const [name, impl] of Object.entries(BUILTIN_METHODS)) {
+        methods.set(name, impl);
+    }
+    // Compile autoException patterns into RegExp objects
+    const autoExceptions = [];
+    if (options.autoExceptions) {
+        for (const pattern of options.autoExceptions) {
+            try {
+                autoExceptions.push(new RegExp(pattern));
+            }
+            catch {
+                throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_INVALID_PATTERN, `Invalid autoException pattern: ${pattern}`, undefined, { pattern });
+            }
+        }
+    }
+    return {
+        parent: undefined,
+        variables,
+        variableTypes,
+        functions,
+        methods,
+        callbacks: { ...defaultCallbacks, ...options.callbacks },
+        observability: options.observability ?? {},
+        pipeValue: null,
+        timeout: options.timeout,
+        autoExceptions,
+        signal: options.signal,
+        annotationStack: [],
+    };
+}
+/**
+ * Create a child context for block scoping.
+ * Child inherits parent's functions, methods, callbacks, etc.
+ * but has its own variables map. Variable lookups walk the parent chain.
+ */
+export function createChildContext(parent) {
+    return {
+        parent,
+        variables: new Map(),
+        variableTypes: new Map(),
+        functions: parent.functions,
+        methods: parent.methods,
+        callbacks: parent.callbacks,
+        observability: parent.observability,
+        pipeValue: parent.pipeValue,
+        timeout: parent.timeout,
+        autoExceptions: parent.autoExceptions,
+        signal: parent.signal,
+        annotationStack: parent.annotationStack,
+    };
+}
+/**
+ * Get a variable value, walking the parent chain.
+ * Returns undefined if not found in any scope.
+ */
+export function getVariable(ctx, name) {
+    if (ctx.variables.has(name)) {
+        return ctx.variables.get(name);
+    }
+    if (ctx.parent) {
+        return getVariable(ctx.parent, name);
+    }
+    return undefined;
+}
+/**
+ * Check if a variable exists in any scope.
+ */
+export function hasVariable(ctx, name) {
+    if (ctx.variables.has(name)) {
+        return true;
+    }
+    if (ctx.parent) {
+        return hasVariable(ctx.parent, name);
+    }
+    return false;
+}
+//# sourceMappingURL=context.js.map

package/dist/runtime/core/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/runtime/core/context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAOxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,SAAS,EAAkB,MAAM,aAAa,CAAC;AACrE,OAAO,EACL,QAAQ,EACR,wBAAwB,GAEzB,MAAM,eAAe,CAAC;AAEvB,MAAM,gBAAgB,GAAqB;IACzC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;QACf,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAA0B,EAAE;IAE5B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,EAG1B,CAAC;IACJ,MAAM,SAAS,GAAG,IAAI,GAAG,EAItB,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE9C,gDAAgD;IAChD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9D,mDAAmD;YACnD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAC5C,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC3D,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,gDAAgD;IAChD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACnE,yDAAyD;YACzD,IAAI,IAAI,IAAI,UAAU,EAAE,CAAC;gBACvB,oDAAoD;gBACpD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC;gBAElC,sDAAsD;gBACtD,IAAI,MAAM,EAAE,CAAC;oBACX,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;wBAC3B,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACxC,CAAC;oBAED,iDAAiD;oBACjD,MAAM,cAAc,GAAoB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACzD,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,QAAQ,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI;wBACxB,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,IAAI;qBACrC,CAAC,CAAC,CAAC;oBAEJ,yDAAyD;oBACzD,MAAM,WAAW,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;oBACxC,MAAM,aAAa,GAAgD;wBACjE,GAAG,WAAW;wBACd,MAAM,EAAE,cAAc;qBACvB,CAAC;oBAEF,+DAA+D;oBAC/D,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACrC,CAAC;qBAAM,CAAC;oBACN,0DAA0D;oBAC1D,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,oCAAoC;gBACpC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3D,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,qDAAqD;IACrD,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YAC7C,IAAI,CAAC;gBACH,cAAc,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,uBAAuB,EACxC,kCAAkC,OAAO,EAAE,EAC3C,SAAS,EACT,EAAE,OAAO,EAAE,CACZ,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,SAAS;QACT,aAAa;QACb,SAAS;QACT,OAAO;QACP,SAAS,EAAE,EAAE,GAAG,gBAAgB,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;QACxD,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,cAAc;QACd,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAsB;IACvD,OAAO;QACL,MAAM;QACN,SAAS,EAAE,IAAI,GAAG,EAAqB;QACvC,aAAa,EAAE,IAAI,GAAG,EAAiD;QACvE,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,eAAe,EAAE,MAAM,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,GAAmB,EACnB,IAAY;IAEZ,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,OAAO,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,GAAmB,EAAE,IAAY;IAC3D,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,OAAO,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * AST Structural Equality
+ *
+ * Compares AST nodes for structural equality, ignoring source locations.
+ * Used for closure equality: two closures with identical structure are equal.
+ */
+import type { ASTNode } from '../../types.js';
+export declare function astEquals(a: ASTNode, b: ASTNode): boolean;
+//# sourceMappingURL=equals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"equals.d.ts","sourceRoot":"","sources":["../../../src/runtime/core/equals.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAGV,OAAO,EAmCR,MAAM,gBAAgB,CAAC;AAiBxB,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAmHzD"}