@rcrsr/rill 0.14.0 → 0.16.0

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

@@ -8,7 +8,7 @@
  * @internal
  */
 import type { SourceLocation } from '../../types.js';
-import type { 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 { RillType } from './values.js';
 export interface RillFieldDescriptor {
     readonly __rill_field_descriptor: true;
     readonly fieldName: string;
-    readonly fieldType: RillType;
+    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,20 +70,23 @@ export type RillType = {
     type: 'any';
 } | {
     type: 'dict';
-    fields?: Record<string, RillType>;
+    fields?: Record<string, RillFieldDef>;
+    valueType?: RillType;
 } | {
     type: 'list';
     element?: RillType;
 } | {
     type: 'closure';
-    params?: [string, RillType][];
+    params?: RillFieldDef[];
     ret?: RillType;
 } | {
     type: 'tuple';
-    elements?: RillType[];
+    elements?: RillFieldDef[];
+    valueType?: RillType;
 } | {
     type: 'ordered';
-    fields?: [string, RillType][];
+    fields?: RillFieldDef[];
+    valueType?: RillType;
 } | {
     type: 'union';
     members: RillType[];
@@ -101,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;
 /**
@@ -118,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. */
@@ -127,6 +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 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;
 /**
@@ -191,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;
 /**
@@ -213,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