@rcrsr/rill 0.1.0

package/dist/runtime/core/types.js

@@ -0,0 +1,50 @@
+/**
+ * Runtime Types
+ *
+ * Public types for runtime configuration and execution results.
+ * These types are the primary interface for host applications.
+ */
+/**
+ * Bind callables in a dict to their containing dict.
+ * This sets boundDict on each callable so they can access their container.
+ */
+export function bindDictCallables(value) {
+    if (typeof value !== 'object' ||
+        value === null ||
+        Array.isArray(value) ||
+        '__type' in value ||
+        '__rill_args' in value) {
+        return value;
+    }
+    const dict = value;
+    let hasBoundCallables = false;
+    // Check if any values are callables that need binding
+    for (const v of Object.values(dict)) {
+        if (typeof v === 'object' &&
+            v !== null &&
+            '__type' in v &&
+            v.__type === 'callable' &&
+            !('boundDict' in v && v['boundDict'])) {
+            hasBoundCallables = true;
+            break;
+        }
+    }
+    if (!hasBoundCallables)
+        return value;
+    // Create a new dict with bound callables
+    const result = {};
+    for (const [key, v] of Object.entries(dict)) {
+        if (typeof v === 'object' &&
+            v !== null &&
+            '__type' in v &&
+            v.__type === 'callable' &&
+            !('boundDict' in v && v['boundDict'])) {
+            result[key] = { ...v, boundDict: result };
+        }
+        else {
+            result[key] = v;
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/core/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA2LH;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,QAAQ,IAAI,KAAK;QACjB,aAAa,IAAI,KAAK,EACtB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,KAAkC,CAAC;IAChD,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAE9B,sDAAsD;IACtD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IACE,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,IAAI;YACV,QAAQ,IAAI,CAAC;YACb,CAAC,CAAC,MAAM,KAAK,UAAU;YACvB,CAAC,CAAC,WAAW,IAAI,CAAC,IAAK,CAA6B,CAAC,WAAW,CAAC,CAAC,EAClE,CAAC;YACD,iBAAiB,GAAG,IAAI,CAAC;YACzB,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IAErC,yCAAyC;IACzC,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IACE,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,IAAI;YACV,QAAQ,IAAI,CAAC;YACb,CAAC,CAAC,MAAM,KAAK,UAAU;YACvB,CAAC,CAAC,WAAW,IAAI,CAAC,IAAK,CAA6B,CAAC,WAAW,CAAC,CAAC,EAClE,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,EAAe,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,66 @@
+/**
+ * Rill Value Types and Utilities
+ *
+ * Core value types that flow through Rill programs.
+ * Public API for host applications.
+ */
+import type { RillTypeName } from '../../types.js';
+interface CallableMarker {
+    readonly __type: 'callable';
+}
+/**
+ * Tuple type - represents unpacked arguments for closure invocation.
+ * Created by the * (spread) operator from lists or dicts.
+ * Entries are keyed by position (number) or name (string).
+ *
+ * Note: In Rill, "tuple" refers to fixed-size argument packing (like function signatures),
+ * while "list" refers to dynamic ordered collections ([1, 2, 3]).
+ */
+export interface RillTuple {
+    readonly __rill_tuple: true;
+    readonly entries: Map<string | number, RillValue>;
+}
+/** Any value that can flow through Rill */
+export type RillValue = string | number | boolean | null | RillValue[] | {
+    [key: string]: RillValue;
+} | CallableMarker | RillTuple;
+/** Type guard for RillTuple (spread args) */
+export declare function isTuple(value: RillValue): value is RillTuple;
+/** Create tuple from a list (positional) */
+export declare function createTupleFromList(list: RillValue[]): RillTuple;
+/** Create tuple from a dict (named) */
+export declare function createTupleFromDict(dict: Record<string, RillValue>): RillTuple;
+/** Infer the Rill type from a runtime value */
+export declare function inferType(value: RillValue): RillTypeName;
+/**
+ * Check if a value is of the expected type.
+ * Returns true if the value matches the expected type, false otherwise.
+ */
+export declare function checkType(value: RillValue, expected: RillTypeName): boolean;
+/** Check if a value is truthy in Rill semantics */
+export declare function isTruthy(value: RillValue): boolean;
+/** Check if a value is empty (inverse of truthy) */
+export declare function isEmpty(value: RillValue): boolean;
+/** Format a value for display */
+export declare function formatValue(value: RillValue): string;
+/**
+ * Deep structural equality for all Rill values.
+ * - Primitives: value equality
+ * - Tuples: length + recursive element equality
+ * - Dicts: same keys + recursive value equality (order-independent)
+ */
+export declare function deepEquals(a: RillValue, b: RillValue): boolean;
+/** Reserved dict method names that cannot be overridden */
+export declare const RESERVED_DICT_METHODS: readonly ["keys", "values", "entries"];
+/** Check if a key name is reserved */
+export declare function isReservedMethod(name: string): boolean;
+/**
+ * Check if a value is a Rill iterator (lazy sequence).
+ * An iterator is a dict with:
+ * - done: boolean - whether iteration is complete
+ * - next: callable - function to get next iterator
+ * - value: any (only required when not done) - current element
+ */
+export declare function isRillIterator(value: RillValue): boolean;
+export {};
+//# sourceMappingURL=values.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../../src/runtime/core/values.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAUnD,UAAU,cAAc;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,GAAG,MAAM,EAAE,SAAS,CAAC,CAAC;CACnD;AAED,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,EAAE,GACX;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC5B,cAAc,GACd,SAAS,CAAC;AAEd,6CAA6C;AAC7C,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,SAAS,CAO5D;AAED,4CAA4C;AAC5C,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,SAAS,CAShE;AAED,uCAAuC;AACvC,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAC9B,SAAS,CAMX;AAED,+CAA+C;AAC/C,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAgBxD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CAE3E;AAED,mDAAmD;AACnD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAYlD;AAED,oDAAoD;AACpD,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAEjD;AAED,iCAAiC;AACjC,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CA0BpD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CA8E9D;AAED,2DAA2D;AAC3D,eAAO,MAAM,qBAAqB,wCAAyC,CAAC;AAE5E,sCAAsC;AACtC,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAQxD"}

package/dist/runtime/core/values.js

@@ -0,0 +1,240 @@
+/**
+ * Rill Value Types and Utilities
+ *
+ * Core value types that flow through Rill programs.
+ * Public API for host applications.
+ */
+import { callableEquals, isCallable, isDict, isScriptCallable, } from './callable.js';
+/** Type guard for RillTuple (spread args) */
+export function isTuple(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        '__rill_tuple' in value &&
+        value.__rill_tuple === true);
+}
+/** Create tuple from a list (positional) */
+export function createTupleFromList(list) {
+    const entries = new Map();
+    for (let i = 0; i < list.length; i++) {
+        const val = list[i];
+        if (val !== undefined) {
+            entries.set(i, val);
+        }
+    }
+    return { __rill_tuple: true, entries };
+}
+/** Create tuple from a dict (named) */
+export function createTupleFromDict(dict) {
+    const entries = new Map();
+    for (const [key, value] of Object.entries(dict)) {
+        entries.set(key, value);
+    }
+    return { __rill_tuple: true, entries };
+}
+/** Infer the Rill type from a runtime value */
+export function inferType(value) {
+    if (value === null)
+        return 'string'; // null treated as empty string
+    if (typeof value === 'string')
+        return 'string';
+    if (typeof value === 'number')
+        return 'number';
+    if (typeof value === 'boolean')
+        return 'bool';
+    if (isTuple(value))
+        return 'tuple';
+    if (Array.isArray(value))
+        return 'list';
+    if (typeof value === 'object' &&
+        '__type' in value &&
+        value.__type === 'callable') {
+        return 'closure';
+    }
+    if (typeof value === 'object')
+        return 'dict';
+    return 'string'; // fallback
+}
+/**
+ * Check if a value is of the expected type.
+ * Returns true if the value matches the expected type, false otherwise.
+ */
+export function checkType(value, expected) {
+    return inferType(value) === expected;
+}
+/** Check if a value is truthy in Rill semantics */
+export function isTruthy(value) {
+    if (value === null)
+        return false;
+    if (typeof value === 'boolean')
+        return value;
+    if (typeof value === 'number')
+        return value !== 0;
+    if (typeof value === 'string')
+        return value.length > 0;
+    if (isTuple(value))
+        return value.entries.size > 0;
+    if (Array.isArray(value))
+        return value.length > 0;
+    if (typeof value === 'object') {
+        if ('__type' in value && value.__type === 'callable')
+            return true;
+        return Object.keys(value).length > 0;
+    }
+    return true;
+}
+/** Check if a value is empty (inverse of truthy) */
+export function isEmpty(value) {
+    return !isTruthy(value);
+}
+/** Format a value for display */
+export function formatValue(value) {
+    if (value === null)
+        return '';
+    if (typeof value === 'string')
+        return value;
+    if (typeof value === 'number')
+        return String(value);
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (isTuple(value)) {
+        const parts = [];
+        for (const [key, val] of value.entries) {
+            if (typeof key === 'number') {
+                parts.push(formatValue(val));
+            }
+            else {
+                parts.push(`${key}: ${formatValue(val)}`);
+            }
+        }
+        return `*[${parts.join(', ')}]`;
+    }
+    if (typeof value === 'object' &&
+        '__type' in value &&
+        value.__type === 'callable') {
+        // Basic callable formatting - full formatting in callable.ts
+        return '(...) { ... }';
+    }
+    if (Array.isArray(value))
+        return JSON.stringify(value);
+    return JSON.stringify(value);
+}
+/**
+ * Deep structural equality for all Rill values.
+ * - Primitives: value equality
+ * - Tuples: length + recursive element equality
+ * - Dicts: same keys + recursive value equality (order-independent)
+ */
+export function deepEquals(a, b) {
+    // Handle primitives and null
+    if (a === b)
+        return true;
+    if (a === null || b === null)
+        return false;
+    if (typeof a !== typeof b)
+        return false;
+    // Primitives (string, number, boolean) - covered by === above
+    if (typeof a !== 'object' || typeof b !== 'object')
+        return false;
+    // Both are non-null objects at this point
+    const aObj = a;
+    const bObj = b;
+    // Check for tuples (spread args)
+    const aIsTuple = isTuple(a);
+    const bIsTuple = isTuple(b);
+    if (aIsTuple !== bIsTuple)
+        return false;
+    if (aIsTuple && bIsTuple) {
+        if (a.entries.size !== b.entries.size)
+            return false;
+        for (const [key, aVal] of a.entries) {
+            const bVal = b.entries.get(key);
+            if (bVal === undefined || !deepEquals(aVal, bVal))
+                return false;
+        }
+        return true;
+    }
+    // Check for arrays (lists)
+    const aIsArray = Array.isArray(a);
+    const bIsArray = Array.isArray(b);
+    if (aIsArray !== bIsArray)
+        return false;
+    if (aIsArray && bIsArray) {
+        if (a.length !== b.length)
+            return false;
+        for (let i = 0; i < a.length; i++) {
+            const aElem = a[i];
+            const bElem = b[i];
+            if (aElem === undefined || bElem === undefined) {
+                if (aElem !== bElem)
+                    return false;
+            }
+            else if (!deepEquals(aElem, bElem)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    // Both are dicts (plain objects) or callables
+    // For script callables, use structural equality (params + body AST + captured values)
+    // For runtime/application callables, use reference equality
+    if ('__type' in aObj || '__type' in bObj) {
+        // Both must be callables to be equal
+        if (!('__type' in aObj) || !('__type' in bObj))
+            return false;
+        if (aObj.__type !== 'callable' || bObj.__type !== 'callable')
+            return false;
+        // Script callables: structural equality
+        if (isScriptCallable(a) && isScriptCallable(b)) {
+            return callableEquals(a, b, deepEquals);
+        }
+        // Runtime/application callables: reference equality
+        return a === b;
+    }
+    const aDict = a;
+    const bDict = b;
+    const aKeys = Object.keys(aDict);
+    const bKeys = Object.keys(bDict);
+    if (aKeys.length !== bKeys.length)
+        return false;
+    for (const key of aKeys) {
+        if (!(key in bDict))
+            return false;
+        const aVal = aDict[key];
+        const bVal = bDict[key];
+        if (aVal === undefined || bVal === undefined) {
+            if (aVal !== bVal)
+                return false;
+        }
+        else if (!deepEquals(aVal, bVal)) {
+            return false;
+        }
+    }
+    return true;
+}
+/** Reserved dict method names that cannot be overridden */
+export const RESERVED_DICT_METHODS = ['keys', 'values', 'entries'];
+/** Check if a key name is reserved */
+export function isReservedMethod(name) {
+    return RESERVED_DICT_METHODS.includes(name);
+}
+/**
+ * Check if a value is a Rill iterator (lazy sequence).
+ * An iterator is a dict with:
+ * - done: boolean - whether iteration is complete
+ * - next: callable - function to get next iterator
+ * - value: any (only required when not done) - current element
+ */
+export function isRillIterator(value) {
+    if (!isDict(value))
+        return false;
+    const dict = value;
+    if (!('done' in dict && typeof dict['done'] === 'boolean'))
+        return false;
+    if (!('next' in dict && isCallable(dict['next'])))
+        return false;
+    // 'value' field only required when not done
+    if (!dict['done'] && !('value' in dict))
+        return false;
+    return true;
+}
+//# sourceMappingURL=values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../../src/runtime/core/values.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,cAAc,EACd,UAAU,EACV,MAAM,EACN,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAgCvB,6CAA6C;AAC7C,MAAM,UAAU,OAAO,CAAC,KAAgB;IACtC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,cAAc,IAAI,KAAK;QACvB,KAAK,CAAC,YAAY,KAAK,IAAI,CAC5B,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,mBAAmB,CAAC,IAAiB;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,mBAAmB,CACjC,IAA+B;IAE/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,SAAS,CAAC,KAAgB;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC,CAAC,+BAA+B;IACpE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,QAAQ,IAAI,KAAK;QACjB,KAAK,CAAC,MAAM,KAAK,UAAU,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC7C,OAAO,QAAQ,CAAC,CAAC,WAAW;AAC9B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAgB,EAAE,QAAsB;IAChE,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC;AACvC,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,QAAQ,CAAC,KAAgB;IACvC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,QAAQ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAClE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,OAAO,CAAC,KAAgB;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,iCAAiC;AACjC,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClC,CAAC;IACD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,QAAQ,IAAI,KAAK;QACjB,KAAK,CAAC,MAAM,KAAK,UAAU,EAC3B,CAAC;QACD,6DAA6D;QAC7D,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAY,EAAE,CAAY;IACnD,6BAA6B;IAC7B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAExC,8DAA8D;IAC9D,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAEjE,0CAA0C;IAC1C,MAAM,IAAI,GAAG,CAAW,CAAC;IACzB,MAAM,IAAI,GAAG,CAAW,CAAC;IAEzB,iCAAiC;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2BAA2B;IAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC/C,IAAI,KAAK,KAAK,KAAK;oBAAE,OAAO,KAAK,CAAC;YACpC,CAAC;iBAAM,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,sFAAsF;IACtF,4DAA4D;IAC5D,IAAI,QAAQ,IAAI,IAAI,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACzC,qCAAqC;QACrC,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,KAAK,CAAC;QAE3E,wCAAwC;QACxC,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAC1C,CAAC;QAED,oDAAoD;QACpD,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,KAAK,GAAG,CAA8B,CAAC;IAC7C,MAAM,KAAK,GAAG,CAA8B,CAAC;IAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEhD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;QAClC,CAAC;aAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAE5E,sCAAsC;AACtC,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAQ,qBAA2C,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC7C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,KAAkC,CAAC;IAChD,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,4CAA4C;IAC5C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/runtime/evaluate.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Expression Evaluation
+ *
+ * Internal module for AST evaluation. Not part of public API.
+ * All evaluation functions are internal implementation details.
+ *
+ * @internal
+ */
+import type { ASTNode, CaptureNode, ExpressionNode, 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;
+export declare function evaluateExpression(expr: ExpressionNode, ctx: RuntimeContext): Promise<RillValue>;
+export declare function executeStatement(stmt: StatementNode, ctx: RuntimeContext): Promise<RillValue>;
+//# sourceMappingURL=evaluate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/runtime/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAEV,OAAO,EAGP,WAAW,EAMX,cAAc,EAed,aAAa,EAMd,MAAM,aAAa,CAAC;AAkBrB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAUL,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AAWrB;;;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;AAkGD,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,SAAS,CAAC,CAEpB;AAuKD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,aAAa,EACnB,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,SAAS,CAAC,CAepB"}