@rcrsr/rill 0.15.0 → 0.16.0

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

@@ -317,11 +317,11 @@ function createVariablesMixin(Base) {
                 const finalAccess = node.existenceCheck.finalAccess;
                 const typeRef = node.existenceCheck.typeRef;
                 // Helper: check type match using structural resolution (EC-4: mismatch returns false)
-                const matchesType = (fieldValue) => {
+                const matchesType = async (fieldValue) => {
                     if (typeRef === null)
                         return true;
                     // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                    const resolved = this.resolveTypeRef(typeRef, (name) => getVariable(this.ctx, name));
+                    const resolved = await this.resolveTypeRef(typeRef, (name) => getVariable(this.ctx, name));
                     return structuralTypeMatches(fieldValue, resolved.structure);
                 };
                 if (finalAccess.kind === 'literal') {
@@ -331,7 +331,7 @@ function createVariablesMixin(Base) {
                         const exists = fieldValue !== undefined && fieldValue !== null;
                         // If type-qualified check, verify type matches
                         if (exists && typeRef !== null) {
-                            return matchesType(fieldValue);
+                            return await matchesType(fieldValue);
                         }
                         return exists;
                     }
@@ -361,7 +361,7 @@ function createVariablesMixin(Base) {
                         const exists = fieldValue !== undefined && fieldValue !== null;
                         // If type-qualified check, verify type matches
                         if (exists && typeRef !== null) {
-                            return matchesType(fieldValue);
+                            return await matchesType(fieldValue);
                         }
                         return exists;
                     }
@@ -388,7 +388,7 @@ function createVariablesMixin(Base) {
                         const exists = fieldValue !== undefined && fieldValue !== null;
                         // If type-qualified check, verify type matches
                         if (exists && typeRef !== null) {
-                            return matchesType(fieldValue);
+                            return await matchesType(fieldValue);
                         }
                         return exists;
                     }
@@ -552,7 +552,7 @@ function createVariablesMixin(Base) {
             if (node.typeRef !== null) {
                 // Resolve TypeRef and validate against the declared type
                 // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                const resolved = this.resolveTypeRef(node.typeRef, (name) => getVariable(this.ctx, name));
+                const resolved = await this.resolveTypeRef(node.typeRef, (name) => getVariable(this.ctx, name));
                 this.setVariable(node.name, input, resolved.structure, node.span.start);
             }
             else {
@@ -578,4 +578,3 @@ function createVariablesMixin(Base) {
 // 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/types.d.ts

@@ -38,4 +38,3 @@ export type EvaluatorConstructor<TBase extends EvaluatorBase = EvaluatorBase> =
  * ```
  */
 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.js

@@ -7,4 +7,3 @@
  * @internal
  */
 export {};
-//# sourceMappingURL=types.js.map

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

@@ -23,4 +23,3 @@ export declare function execute(script: ScriptNode, context: RuntimeContext): Pr
  * @returns A stepper for step-by-step execution
  */
 export declare function createStepper(script: ScriptNode, context: RuntimeContext): ExecutionStepper;
-//# sourceMappingURL=execute.d.ts.map

package/dist/runtime/core/execute.js

@@ -171,4 +171,3 @@ function isRecoveryErrorNode(stmt) {
 function getInnerStatement(stmt) {
     return stmt.type === 'AnnotatedStatement' ? stmt.statement : stmt;
 }
-//# sourceMappingURL=execute.js.map

package/dist/runtime/core/field-descriptor.d.ts

@@ -8,7 +8,7 @@
  * @internal
  */
 import type { SourceLocation } from '../../types.js';
-import type { RillFieldType, RillType } from './values.js';
+import type { RillFieldDef, RillType } from './values.js';
 /**
  * Field descriptor — carries field name and structural type when accessing a
  * dict-kind RillType field.
@@ -16,7 +16,7 @@ import type { RillFieldType, RillType } from './values.js';
 export interface RillFieldDescriptor {
     readonly __rill_field_descriptor: true;
     readonly fieldName: string;
-    readonly fieldType: RillFieldType;
+    readonly fieldType: RillFieldDef;
 }
 /**
  * Build a frozen RillFieldDescriptor for the given field in a structural dict type.
@@ -26,4 +26,3 @@ export interface RillFieldDescriptor {
 export declare function buildFieldDescriptor(structuralType: RillType & {
     type: 'dict';
 }, fieldName: string, location: SourceLocation): RillFieldDescriptor;
-//# sourceMappingURL=field-descriptor.d.ts.map

package/dist/runtime/core/field-descriptor.js

@@ -24,4 +24,3 @@ export function buildFieldDescriptor(structuralType, fieldName, location) {
         fieldType,
     });
 }
-//# sourceMappingURL=field-descriptor.js.map

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

@@ -101,4 +101,3 @@ export declare function getDocumentationCoverage(ctx: RuntimeContext): Documenta
  * @returns Language reference text
  */
 export declare function getLanguageReference(): string;
-//# sourceMappingURL=introspection.d.ts.map

package/dist/runtime/core/introspection.js

@@ -252,4 +252,3 @@ export function getDocumentationCoverage(ctx) {
 export function getLanguageReference() {
     return LANGUAGE_REFERENCE;
 }
-//# sourceMappingURL=introspection.js.map

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

@@ -51,4 +51,3 @@ export declare const moduleResolver: SchemeResolver;
  */
 export declare const contextResolver: SchemeResolver;
 export declare const extResolver: SchemeResolver;
-//# sourceMappingURL=resolvers.d.ts.map

package/dist/runtime/core/resolvers.js

@@ -119,4 +119,3 @@ export const extResolver = (resource, config) => {
     }
     return { kind: 'value', value };
 };
-//# sourceMappingURL=resolvers.js.map

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

@@ -16,4 +16,3 @@ export declare class ReturnSignal extends Error {
     readonly value: RillValue;
     constructor(value: RillValue);
 }
-//# sourceMappingURL=signals.d.ts.map

package/dist/runtime/core/signals.js

@@ -23,4 +23,3 @@ export class ReturnSignal extends Error {
         this.name = 'ReturnSignal';
     }
 }
-//# sourceMappingURL=signals.js.map

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

@@ -255,4 +255,3 @@ export interface ExecutionStepper {
  * This sets boundDict on each callable so they can access their container.
  */
 export declare function bindDictCallables(value: RillValue): RillValue;
-//# sourceMappingURL=types.d.ts.map

package/dist/runtime/core/types.js

@@ -47,4 +47,3 @@ export function bindDictCallables(value) {
     }
     return result;
 }
-//# sourceMappingURL=types.js.map

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

@@ -26,10 +26,12 @@ export interface RillTuple {
 /**
  * Ordered type - represents named key-value pairs with preserved insertion order.
  * Created by the * (spread) operator from dicts.
+ * Entries may carry an optional third element (default value) when representing
+ * closure parameter reflection via `.^input`.
  */
 export interface RillOrdered {
     readonly __rill_ordered: true;
-    readonly entries: [string, RillValue][];
+    readonly entries: [string, RillValue, RillValue?][];
 }
 /**
  * Vector type - represents dense numeric embeddings.
@@ -40,6 +42,16 @@ export interface RillVector {
     readonly data: Float32Array;
     readonly model: string;
 }
+/**
+ * Field definition - describes a single field in a structural type.
+ * Used by dict, tuple, ordered, and closure type descriptors.
+ * Default detection: `field.defaultValue !== undefined`.
+ */
+export interface RillFieldDef {
+    name?: string;
+    type: RillType;
+    defaultValue?: RillValue;
+}
 /**
  * Structural type descriptor - describes the shape of a value in the type system.
  * Used by RillTypeValue to carry type structure information at runtime.
@@ -58,40 +70,27 @@ export type RillType = {
     type: 'any';
 } | {
     type: 'dict';
-    fields?: Record<string, RillFieldType>;
+    fields?: Record<string, RillFieldDef>;
+    valueType?: RillType;
 } | {
     type: 'list';
     element?: RillType;
 } | {
     type: 'closure';
-    params?: [string, RillType, RillValue?][];
+    params?: RillFieldDef[];
     ret?: RillType;
 } | {
     type: 'tuple';
-    elements?: [RillType, RillValue?][];
+    elements?: RillFieldDef[];
+    valueType?: RillType;
 } | {
     type: 'ordered';
-    fields?: [string, RillType, RillValue?][];
+    fields?: RillFieldDef[];
+    valueType?: RillType;
 } | {
     type: 'union';
     members: RillType[];
 };
-/**
- * Dict field type - either a plain RillType or a RillType paired with a default value.
- * Used in dict structural types to carry optional default values per field.
- */
-export type RillFieldType = RillType | {
-    type: RillType;
-    defaultValue: RillValue;
-};
-/**
- * Type guard to distinguish the `{ type, defaultValue }` form of RillFieldType
- * from a plain RillType.
- */
-export declare function isFieldTypeWithDefault(fieldType: RillFieldType): fieldType is {
-    type: RillType;
-    defaultValue: RillValue;
-};
 /**
  * @deprecated Use RillType instead. Will be removed in the next major version.
  */
@@ -117,8 +116,12 @@ export declare function isVector(value: RillValue): value is RillVector;
 export declare function isOrdered(value: RillValue): value is RillOrdered;
 /** Type guard for RillTypeValue */
 export declare function isTypeValue(value: RillValue): value is RillTypeValue;
-/** Create ordered from entries array (named, preserves insertion order) */
-export declare function createOrdered(entries: [string, RillValue][]): RillOrdered;
+/**
+ * Create ordered from entries array (named, preserves insertion order).
+ * Entries may be 2-element [name, value] or 3-element [name, value, default]
+ * tuples; the third element carries a default value for `.^input` reflection.
+ */
+export declare function createOrdered(entries: [string, RillValue, RillValue?][]): RillOrdered;
 /** Create tuple from entries array (positional, preserves order) */
 export declare function createTuple(entries: RillValue[]): RillTuple;
 /**
@@ -134,6 +137,19 @@ export declare function inferType(value: RillValue): RillTypeName;
  * Mixed types throw RILL-R002.
  */
 export declare function inferElementType(elements: RillValue[]): RillType;
+/**
+ * Return the most specific shared type for two RillType values.
+ * Returns null when types are incompatible at the top level.
+ *
+ * Cascade priority:
+ * 1. Any-narrowing: if either side is `any`, return the other
+ * 2. Structural match: delegate to structuralTypeEquals; on true, return a
+ * 3. Recursive list: merge inner element types
+ * 3b. Uniform valueType: merge dict/tuple/ordered value types
+ * 4. Bare type fallback: same compound type but structural mismatch
+ * 5. Incompatible: different top-level types return null
+ */
+export declare function commonType(a: RillType, b: RillType): RillType | null;
 /** Compare two structural types for equality. */
 export declare function structuralTypeEquals(a: RillType, b: RillType): boolean;
 /** Infer the structural type descriptor for any Rill value. */
@@ -143,8 +159,8 @@ export declare function inferStructuralType(value: RillValue): RillType;
  * Used for runtime type checking (`:?` operator).
  */
 export declare function structuralTypeMatches(value: RillValue, type: RillType): boolean;
-/** Build a closure param tuple, omitting the optional third element when no default. */
-export declare function paramToTypeTuple(name: string, type: RillType, defaultValue: RillValue | undefined): [string, RillType, RillValue?];
+/** Build a closure param field definition from name, type, and optional default. */
+export declare function paramToFieldDef(name: string, type: RillType, defaultValue: RillValue | undefined): RillFieldDef;
 /** Format a structural type descriptor as a human-readable string. */
 export declare function formatStructuralType(type: RillType): string;
 /**
@@ -209,6 +225,17 @@ export declare const anyTypeValue: RillTypeValue;
  * Falls back to 'any' for compound types that lack a direct RillTypeName mapping.
  */
 export declare function rillTypeToTypeValue(type: RillType): RillTypeValue;
+/**
+ * Check if a type is a collection (dict, ordered, tuple) with defined
+ * fields or elements. Used to decide if an empty collection can be
+ * synthesized and hydrated.
+ */
+export declare function hasCollectionFields(type: RillType): boolean;
+/**
+ * Create an empty collection value matching the given RillType.
+ * Assumes the type is dict, ordered, or tuple.
+ */
+export declare function emptyForType(type: RillType): RillValue;
 /** Check if a key name is reserved */
 export declare function isReservedMethod(name: string): boolean;
 /**
@@ -231,5 +258,11 @@ export interface RillIterator extends Record<string, RillValue> {
  * - value: any (only required when not done) - current element
  */
 export declare function isRillIterator(value: RillValue): value is RillIterator;
+/**
+ * Deep copy a RillValue, producing a new independent value.
+ * Handles primitives, arrays, plain dicts, and null.
+ * Special markers (closures, tuples, ordered, vectors, type values) are returned
+ * as-is since they are immutable by contract.
+ */
+export declare function deepCopyRillValue(value: RillValue): RillValue;
 export {};
-//# sourceMappingURL=values.d.ts.map