@astrale-os/kernel-dsl 0.1.4 → 0.2.0-beta.1

package/dist/grammar/facets/properties.js

@@ -1,44 +0,0 @@
-/** Type guard for PropertyDef */
-export function isPropertyDef(value) {
-    return (typeof value === 'object' &&
-        value !== null &&
-        '_tag' in value &&
-        value._tag === 'PropertyDef');
-}
-// oxlint-disable typescript/no-explicit-any
-function getDef(schema) {
-    return schema?._zod?.def ?? schema?._def ?? null;
-}
-// oxlint-enable typescript/no-explicit-any
-/**
- * True iff the property MUST be provided at create-time.
- */
-export function isPropertyRequired(schema) {
-    let current = schema;
-    for (let i = 0; i < 8; i++) {
-        const def = getDef(current);
-        if (!def)
-            return true;
-        const typeName = (def.typeName ?? def.type);
-        if (typeName === 'ZodOptional' || typeName === 'optional')
-            return false;
-        if (typeName === 'ZodDefault' || typeName === 'default')
-            return false;
-        if (typeName === 'ZodNullable' || typeName === 'nullable') {
-            const inner = (def.innerType ?? def.inner);
-            if (!inner)
-                return true;
-            current = inner;
-            continue;
-        }
-        return true;
-    }
-    return true;
-}
-/** Normalize a Property into its resolved form */
-export function normalizeProperty(prop) {
-    if (isPropertyDef(prop)) {
-        return { schema: prop.schema, private: prop.private, required: isPropertyRequired(prop.schema) };
-    }
-    return { schema: prop, private: false, required: isPropertyRequired(prop) };
-}

package/dist/grammar/function/config.d.ts

@@ -1,14 +0,0 @@
-import type { z } from 'zod';
-import type { MethodInheritance } from './inheritance.js';
-import type { OutputMode } from './output.js';
-/** Shape of the params record on a function config */
-export type ParamShape = Record<string, z.ZodType>;
-/** Function configuration */
-export interface FnConfig {
-    readonly params?: ParamShape | (() => ParamShape);
-    readonly returns: z.ZodType;
-    readonly inheritance?: MethodInheritance;
-    readonly output?: OutputMode;
-    readonly static?: boolean;
-}
-//# sourceMappingURL=config.d.ts.map

package/dist/grammar/function/config.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../src/grammar/function/config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAE7C,sDAAsD;AACtD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;AAElD,6BAA6B;AAC7B,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,GAAG,CAAC,MAAM,UAAU,CAAC,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAA;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAA;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAC1B"}

package/dist/grammar/function/config.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/function/def.d.ts

@@ -1,55 +0,0 @@
-import type { z } from 'zod';
-import type { FnConfig, ParamShape } from './config.js';
-import type { MethodInheritance } from './inheritance.js';
-import type { OutputMode } from './output.js';
-/**
- * Branded function definition.
- *
- * Parameterized by the four fields that consumers read at the type level:
- * `params`, `returns`, `inheritance`, `static`. `output` is typed as the full
- * enum (not a generic) because nothing reads it at the type level — keeping
- * it out of the generic surface cuts per-method serialized size.
- *
- * The `params?: ... | (() => ...)` thunk union that appears at the `fn()`
- * builder input is normalized away here — at the `FnDef` type level, params
- * is just `Params | undefined`. The runtime still carries a thunk when
- * declared; `resolveParamThunks` in `defineSchema` collapses it.
- *
- * `FnConfig` remains as the runtime-friendly widest shape; consumers that
- * read `fnDef.config` dynamically still see the full-fat record.
- */
-export interface FnDef<out Params extends ParamShape = ParamShape, out Returns extends z.ZodType = z.ZodType, out Inheritance extends MethodInheritance = MethodInheritance, out Static extends boolean = boolean> {
-    readonly __type: 'fn';
-    readonly __brand: unique symbol;
-    readonly config: {
-        readonly params: Params;
-        readonly returns: Returns;
-        readonly inheritance: Inheritance;
-        readonly output?: OutputMode;
-        readonly static: Static;
-    };
-}
-/**
- * Branded standalone-function definition — the whole-object sibling of
- * {@link FnDef}.
- *
- * A `func()` declares a standalone function's CONTRACT: whole-object `input` /
- * `output` Zod schemas plus an optional delivery `mode`. Unlike a method's
- * `fn()`, a function is body-style — its input is an arbitrary Zod type, not a
- * per-param record — and it has no `self`, params thunk, or inheritance.
- *
- * Parameterized by `Input`/`Output` so a call site's precise Zod types flow to
- * consumers (mirrors how `FnDef` carries `Params`/`Returns`). `mode` is the
- * full enum, not a generic — nothing reads it at the type level.
- */
-export interface FuncDef<out Input extends z.ZodType = z.ZodType, out Output extends z.ZodType = z.ZodType> {
-    readonly __type: 'func';
-    readonly __brand: unique symbol;
-    readonly config: {
-        readonly input: Input;
-        readonly output: Output;
-        readonly mode?: OutputMode;
-    };
-}
-export type { FnConfig };
-//# sourceMappingURL=def.d.ts.map

package/dist/grammar/function/def.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"def.d.ts","sourceRoot":"","sources":["../../../src/grammar/function/def.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAE7C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,KAAK,CACpB,GAAG,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,EAC1C,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,EACzC,GAAG,CAAC,WAAW,SAAS,iBAAiB,GAAG,iBAAiB,EAC7D,GAAG,CAAC,MAAM,SAAS,OAAO,GAAG,OAAO;IAEpC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,MAAM,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;QACzB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;QACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KACxB,CAAA;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,OAAO,CACtB,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,EACvC,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO;IAExC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,MAAM,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;KAC3B,CAAA;CACF;AAED,YAAY,EAAE,QAAQ,EAAE,CAAA"}

package/dist/grammar/function/def.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/function/inheritance.d.ts

@@ -1,3 +0,0 @@
-/** How a method interacts with subtypes */
-export type MethodInheritance = 'default' | 'abstract' | 'sealed';
-//# sourceMappingURL=inheritance.d.ts.map

package/dist/grammar/function/inheritance.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"inheritance.d.ts","sourceRoot":"","sources":["../../../src/grammar/function/inheritance.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAA"}

package/dist/grammar/function/inheritance.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/function/output.d.ts

@@ -1,3 +0,0 @@
-/** How a function's result is delivered */
-export type OutputMode = 'value' | 'stream' | 'binary';
-//# sourceMappingURL=output.d.ts.map

package/dist/grammar/function/output.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../../src/grammar/function/output.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA"}

package/dist/grammar/function/output.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/values/bitmask.d.ts

@@ -1,7 +0,0 @@
-/** Unique symbol brand for bitmask types */
-export declare const BITMASK_TAG: unique symbol;
-/** Branded type for permissions bitfield (resolves to number) */
-export interface BitmaskDef {
-    readonly [BITMASK_TAG]: true;
-}
-//# sourceMappingURL=bitmask.d.ts.map

package/dist/grammar/values/bitmask.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bitmask.d.ts","sourceRoot":"","sources":["../../../src/grammar/values/bitmask.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAA;AAE/C,iEAAiE;AACjE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,CAAA;CAC7B"}

package/dist/grammar/values/bitmask.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/values/data.d.ts

@@ -1,30 +0,0 @@
-import type { z } from 'zod';
-/** Unique symbol brand for data access schemas */
-export declare const DATA_TAG: unique symbol;
-/** Marker for the owning node's datastore content */
-export interface DataSelfSchema extends z.ZodType<unknown> {
-    readonly [DATA_TAG]: {
-        readonly kind: 'self';
-    };
-}
-/** Marker for another node's datastore content */
-export interface DataGrantSchema<D = unknown> extends z.ZodType<unknown> {
-    readonly [DATA_TAG]: {
-        readonly kind: 'grant';
-        readonly target: D;
-    };
-}
-/** Type-level check: is this a DataSelfSchema? */
-export type IsDataSelf<T> = T extends {
-    readonly [DATA_TAG]: {
-        readonly kind: 'self';
-    };
-} ? true : false;
-/** Type-level check: extract grant target */
-export type DataGrantTarget<T> = T extends {
-    readonly [DATA_TAG]: {
-        readonly kind: 'grant';
-        readonly target: infer D;
-    };
-} ? D : never;
-//# sourceMappingURL=data.d.ts.map

package/dist/grammar/values/data.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../../src/grammar/values/data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,kDAAkD;AAClD,MAAM,CAAC,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAA;AAE5C,qDAAqD;AACrD,MAAM,WAAW,cAAe,SAAQ,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxD,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAC/C;AAED,kDAAkD;AAClD,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACtE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;KAAE,CAAA;CACpE;AAED,kDAAkD;AAClD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACpF,IAAI,GACJ,KAAK,CAAA;AAET,6CAA6C;AAC7C,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS;IACzC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAC1E,GACG,CAAC,GACD,KAAK,CAAA"}

package/dist/grammar/values/data.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/values/ref.d.ts

@@ -1,26 +0,0 @@
-import type { z } from 'zod';
-/** Unique symbol brand for ref schemas */
-export declare const REF_TAG: unique symbol;
-/**
- * Branded Zod schema wrapping a graph definition reference.
- * At the type level, _output resolves to the full props of the target definition + id.
- */
-export interface RefSchema<D = unknown, IncludeData extends boolean = false> extends z.ZodType<{
-    readonly id: string;
-}> {
-    readonly [REF_TAG]: {
-        readonly target: D;
-        readonly includeData: IncludeData;
-    };
-}
-/** Type-level extractor: get the ref target from a RefSchema */
-export type RefTarget<R> = R extends {
-    readonly [REF_TAG]: {
-        readonly target: infer D;
-    };
-} ? D : never;
-/** Type-level check: is this a RefSchema? */
-export type IsRef<T> = T extends {
-    readonly [REF_TAG]: any;
-} ? true : false;
-//# sourceMappingURL=ref.d.ts.map

package/dist/grammar/values/ref.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../../src/grammar/values/ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,0CAA0C;AAC1C,MAAM,CAAC,OAAO,CAAC,MAAM,OAAO,EAAE,OAAO,MAAM,CAAA;AAE3C;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,OAAO,EAAE,WAAW,SAAS,OAAO,GAAG,KAAK,CAAE,SAAQ,CAAC,CAAC,OAAO,CAAC;IAC7F,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACpB,CAAC;IACA,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;KAAE,CAAA;CAC9E;AAED,gEAAgE;AAChE,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GACrF,CAAC,GACD,KAAK,CAAA;AAET,6CAA6C;AAC7C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAA"}

package/dist/grammar/values/ref.js

@@ -1 +0,0 @@
-export {};

package/dist/grammar/values/self.d.ts

@@ -1,12 +0,0 @@
-/** Unique symbol brand for SELF token */
-export declare const SELF_TAG: unique symbol;
-/** Branded type for self-referencing definitions */
-export interface SelfDef {
-    readonly [SELF_TAG]: true;
-}
-/**
- * Self-reference token. Use `ref(SELF)` inside a definition's methods
- * to reference the definition itself without creating a circular type dependency.
- */
-export declare const SELF: SelfDef;
-//# sourceMappingURL=self.d.ts.map

package/dist/grammar/values/self.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"self.d.ts","sourceRoot":"","sources":["../../../src/grammar/values/self.ts"],"names":[],"mappings":"AAAA,yCAAyC;AACzC,MAAM,CAAC,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAA;AAE5C,oDAAoD;AACpD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CAC1B;AAED;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,OAA0E,CAAA"}

package/dist/grammar/values/self.js

@@ -1,5 +0,0 @@
-/**
- * Self-reference token. Use `ref(SELF)` inside a definition's methods
- * to reference the definition itself without creating a circular type dependency.
- */
-export const SELF = { [Symbol.for('SELF_TAG')]: true };

package/dist/inference/content.d.ts

@@ -1,27 +0,0 @@
-import type { AnyDef } from '../grammar/definition/discriminants.js';
-import type { ExtractInherits, InferProperties } from './properties.js';
-/** Extract own content from a def's config */
-export type ExtractContent<D> = D extends {
-    config: {
-        content: infer C;
-    };
-} ? C : {};
-/**
- * Collect inferred content from all ancestors via a tail-recursive worklist.
- *
- * Visits one def per frame; `inherits` are prepended so the DAG is flattened
- * without branching recursion. Eligible for TS tuple tail-call optimization.
- */
-type CollectAncestorContent<T, Acc = unknown> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? CollectAncestorContent<[
-    ...ExtractInherits<Head>,
-    ...Tail
-], Acc & InferProperties<ExtractContent<Head>>> : Acc;
-/** Full inferred content: own shadow inherited (own keys take precedence) */
-export type ExtractFullContent<D> = D extends AnyDef ? Omit<CollectAncestorContent<ExtractInherits<D>>, keyof InferProperties<ExtractContent<D>>> & InferProperties<ExtractContent<D>> : unknown;
-/** Check if a def has any content (own or inherited) */
-export type HasContent<D> = keyof ExtractFullContent<D> extends never ? false : true;
-export {};
-//# sourceMappingURL=content.d.ts.map

package/dist/inference/content.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"content.d.ts","sourceRoot":"","sources":["../../src/inference/content.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEvE,8CAA8C;AAE9C,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,GAAG,EAAE,CAAA;AAEnF;;;;;GAKG;AACH,KAAK,sBAAsB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACjE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,sBAAsB,CACpB;IAAC,GAAG,eAAe,CAAC,IAAI,CAAC;IAAE,GAAG,IAAI;CAAC,EACnC,GAAG,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAC5C,GACD,GAAG,CAAA;AAEP,6EAA6E;AAC7E,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAChD,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,GACxF,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GACpC,OAAO,CAAA;AAEX,wDAAwD;AACxD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,MAAM,kBAAkB,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA"}

package/dist/inference/content.js

@@ -1 +0,0 @@
-export {};

package/dist/inference/index.d.ts

@@ -1,7 +0,0 @@
-export type { ExtractProperties, InferProperties, ExtractFullProperties, ExtractInherits, } from './properties.js';
-export type { ExtractContent, ExtractFullContent, HasContent } from './content.js';
-export type { ExtractMethods, AllMethods, HasMethods, ExtractMethodNames, ExtractMethodParams, ExtractMethodReturns, ExtractMethodReturnValue, MethodSelf, } from './methods.js';
-export type { AllSealedKeys, InheritedAbstractKeys, InheritedDefaultKeys, ImplementableOwnKeys, HasImplementableMethods, } from './inheritance.js';
-export type { ExtractNodeInput } from './input.js';
-export type { FilterByKind, SchemaNodeInterfaces, SchemaNodeClasses, SchemaEdgeInterfaces, SchemaEdgeClasses, SchemaFnRefs, } from './schema.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/inference/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,eAAe,GAChB,MAAM,iBAAiB,CAAA;AAExB,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAElF,YAAY,EACV,cAAc,EACd,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,UAAU,GACX,MAAM,cAAc,CAAA;AAErB,YAAY,EACV,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAA;AAEzB,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAElD,YAAY,EACV,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACb,MAAM,aAAa,CAAA"}

package/dist/inference/index.js

@@ -1 +0,0 @@
-export {};

package/dist/inference/inheritance.d.ts

@@ -1,48 +0,0 @@
-import type { AnyDef } from '../grammar/definition/discriminants.js';
-import type { FnDef } from '../grammar/function/def.js';
-import type { ExtractMethods } from './methods.js';
-import type { ExtractInherits } from './properties.js';
-/** Extract own sealed method keys from a def */
-type SealedOwnKeys<D> = {
-    [M in keyof ExtractMethods<D> & string]: ExtractMethods<D>[M] extends FnDef<infer _P, infer _R, infer I, infer _S> ? I extends 'sealed' ? M : never : never;
-}[keyof ExtractMethods<D> & string];
-/**
- * Collect sealed method keys via a tail-recursive worklist.
- *
- * Single recursive call per frame — `inherits` of the head get prepended to
- * the worklist so the DAG is flattened. Union accumulates in `Acc`.
- */
-type SealedKeysFromInherits<T, Acc = never> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? SealedKeysFromInherits<[...ExtractInherits<Head>, ...Tail], Acc | SealedOwnKeys<Head>> : Acc;
-/** All sealed method keys for a def (own + inherited) */
-export type AllSealedKeys<D> = D extends AnyDef ? SealedOwnKeys<D> | SealedKeysFromInherits<ExtractInherits<D>> : never;
-/** Extract own abstract method keys from a def */
-type AbstractOwnKeys<D> = {
-    [M in keyof ExtractMethods<D> & string]: ExtractMethods<D>[M] extends FnDef<infer _P, infer _R, infer I, infer _S> ? I extends 'abstract' ? M : never : never;
-}[keyof ExtractMethods<D> & string];
-/** Tail-recursive worklist over the inherits DAG. Union accumulates in `Acc`. */
-type AbstractKeysFromInherits<T, Acc = never> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? AbstractKeysFromInherits<[...ExtractInherits<Head>, ...Tail], Acc | AbstractOwnKeys<Head>> : Acc;
-/** Abstract method keys inherited that still need implementation (not overridden by own methods) */
-export type InheritedAbstractKeys<D> = D extends AnyDef ? Exclude<AbstractKeysFromInherits<ExtractInherits<D>>, keyof ExtractMethods<D>> : never;
-/** Extract own default (non-abstract, non-sealed) method keys from a def */
-type DefaultOwnKeys<D> = {
-    [M in keyof ExtractMethods<D> & string]: ExtractMethods<D>[M] extends FnDef<infer _P, infer _R, infer I, infer _S> ? I extends 'sealed' | 'abstract' ? never : M : never;
-}[keyof ExtractMethods<D> & string];
-/** Tail-recursive worklist over the inherits DAG. Union accumulates in `Acc`. */
-type DefaultKeysFromInherits<T, Acc = never> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? DefaultKeysFromInherits<[...ExtractInherits<Head>, ...Tail], Acc | DefaultOwnKeys<Head>> : Acc;
-/** Default method keys inherited that are NOT overridden by own methods */
-export type InheritedDefaultKeys<D> = D extends AnyDef ? Exclude<DefaultKeysFromInherits<ExtractInherits<D>>, keyof ExtractMethods<D>> : never;
-/** Own method keys that need an implementation (sealed or default, not abstract) */
-export type ImplementableOwnKeys<D> = DefaultOwnKeys<D> | SealedOwnKeys<D>;
-/** Check if a def has non-abstract own methods that need an implementation */
-export type HasImplementableMethods<D> = ImplementableOwnKeys<D> extends never ? false : true;
-export {};
-//# sourceMappingURL=inheritance.d.ts.map

package/dist/inference/inheritance.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"inheritance.d.ts","sourceRoot":"","sources":["../../src/inference/inheritance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEtD,gDAAgD;AAChD,KAAK,aAAa,CAAC,CAAC,IAAI;KACrB,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CACzE,MAAM,EAAE,EACR,MAAM,EAAE,EACR,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG,CAAC,SAAS,QAAQ,GAChB,CAAC,GACD,KAAK,GACP,KAAK;CACV,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAA;AAEnC;;;;;GAKG;AACH,KAAK,sBAAsB,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IAC/D,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,sBAAsB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,GACtF,GAAG,CAAA;AAEP,yDAAyD;AACzD,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC3C,aAAa,CAAC,CAAC,CAAC,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAC7D,KAAK,CAAA;AAET,kDAAkD;AAClD,KAAK,eAAe,CAAC,CAAC,IAAI;KACvB,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CACzE,MAAM,EAAE,EACR,MAAM,EAAE,EACR,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,KAAK,GACP,KAAK;CACV,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAA;AAEnC,iFAAiF;AACjF,KAAK,wBAAwB,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IACjE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,wBAAwB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,GAC1F,GAAG,CAAA;AAEP,oGAAoG;AACpG,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnD,OAAO,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAC9E,KAAK,CAAA;AAET,4EAA4E;AAC5E,KAAK,cAAc,CAAC,CAAC,IAAI;KACtB,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CACzE,MAAM,EAAE,EACR,MAAM,EAAE,EACR,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG,CAAC,SAAS,QAAQ,GAAG,UAAU,GAC7B,KAAK,GACL,CAAC,GACH,KAAK;CACV,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAA;AAEnC,iFAAiF;AACjF,KAAK,uBAAuB,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IAChE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,uBAAuB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,GACxF,GAAG,CAAA;AAEP,2EAA2E;AAC3E,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAClD,OAAO,CAAC,uBAAuB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAC7E,KAAK,CAAA;AAET,oFAAoF;AACpF,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;AAE1E,8EAA8E;AAC9E,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA"}

package/dist/inference/inheritance.js

@@ -1 +0,0 @@
-export {};

package/dist/inference/input.d.ts

@@ -1,30 +0,0 @@
-import type { AnyDef } from '../grammar/definition/discriminants.js';
-import type { ExtractContent } from './content.js';
-import type { ExtractProperties, ExtractInherits, InferProperties } from './properties.js';
-/**
- * Walk the ancestor DAG, plain-intersecting each def's own props and content.
- * Tail-recursive worklist — `inherits` of each head are prepended so the DAG
- * is flattened without branching recursion.
- */
-type CollectAncestorInput<T, Acc = unknown> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? CollectAncestorInput<[
-    ...ExtractInherits<Head>,
-    ...Tail
-], Acc & InferProperties<ExtractProperties<Head>> & InferProperties<ExtractContent<Head>>> : Acc;
-/** A single def's input contribution: own props/content plus all its ancestors. */
-type ResolveInheritsEntry<H extends AnyDef> = InferProperties<ExtractProperties<H>> & InferProperties<ExtractContent<H>> & CollectAncestorInput<ExtractInherits<H>>;
-/**
- * Collect all siblings' contributions — later siblings shadow earlier ones
- * (preserves the original right-wins semantics of `inherits: [A, B]`).
- * Tail-recursive accumulator form.
- */
-type CollectInputFromInherits<T, Acc = unknown> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? CollectInputFromInherits<Tail, Omit<Acc, keyof ResolveInheritsEntry<Head>> & ResolveInheritsEntry<Head>> : Acc;
-/** Full inferred node input: properties + content, own shadow inherited */
-export type ExtractNodeInput<D> = D extends AnyDef ? Omit<CollectInputFromInherits<ExtractInherits<D>>, keyof InferProperties<ExtractProperties<D>> | keyof InferProperties<ExtractContent<D>>> & InferProperties<ExtractProperties<D>> & InferProperties<ExtractContent<D>> : unknown;
-export {};
-//# sourceMappingURL=input.d.ts.map

package/dist/inference/input.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"input.d.ts","sourceRoot":"","sources":["../../src/inference/input.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAE1F;;;;GAIG;AACH,KAAK,oBAAoB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IAC/D,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,oBAAoB,CAClB;IAAC,GAAG,eAAe,CAAC,IAAI,CAAC;IAAE,GAAG,IAAI;CAAC,EACnC,GAAG,GAAG,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CACvF,GACD,GAAG,CAAA;AAEP,mFAAmF;AACnF,KAAK,oBAAoB,CAAC,CAAC,SAAS,MAAM,IAAI,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACjF,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAClC,oBAAoB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1C;;;;GAIG;AACH,KAAK,wBAAwB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACnE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,wBAAwB,CACtB,IAAI,EACJ,IAAI,CAAC,GAAG,EAAE,MAAM,oBAAoB,CAAC,IAAI,CAAC,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CACzE,GACD,GAAG,CAAA;AAEP,2EAA2E;AAC3E,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC9C,IAAI,CACF,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAC5C,MAAM,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CACvF,GACC,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACrC,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GACpC,OAAO,CAAA"}

package/dist/inference/input.js

@@ -1 +0,0 @@
-export {};

package/dist/inference/methods.d.ts

@@ -1,69 +0,0 @@
-import type { z } from 'zod';
-import type { AnyDef } from '../grammar/definition/discriminants.js';
-import type { ParamShape } from '../grammar/function/config.js';
-import type { FnDef } from '../grammar/function/def.js';
-import type { DATA_TAG } from '../grammar/values/data.js';
-import type { ExtractFullContent } from './content.js';
-import type { ExtractInherits, ExtractFullProperties } from './properties.js';
-/** Extract own methods from a def's config */
-export type ExtractMethods<D> = D extends {
-    config: {
-        methods: infer M extends Record<string, FnDef>;
-    };
-} ? M : {};
-/**
- * Collect methods from all ancestors via a tail-recursive worklist.
- *
- * Visits one def per frame; the def's own `inherits` are prepended to the
- * worklist so the DAG is flattened without branching recursion. Eligible for
- * TS tuple tail-call optimization — deep/wide inheritance no longer risks
- * "Type instantiation is excessively deep".
- */
-type CollectAncestorMethods<T, Acc = unknown> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? CollectAncestorMethods<[...ExtractInherits<Head>, ...Tail], Acc & ExtractMethods<Head>> : Acc;
-/** All methods for a def: own + inherited (own shadows inherited) */
-export type AllMethods<D> = D extends AnyDef ? Omit<CollectAncestorMethods<ExtractInherits<D>>, keyof ExtractMethods<D>> & ExtractMethods<D> : ExtractMethods<D>;
-/** Check if a def has methods (own or inherited) */
-export type HasMethods<D> = keyof AllMethods<D> extends never ? false : true;
-/** Get method names from a def (own + inherited) */
-export type ExtractMethodNames<D> = keyof AllMethods<D> & string;
-/** Get the config of a specific method */
-type GetMethodConfig<D, M extends string> = M extends keyof AllMethods<D> ? AllMethods<D>[M] extends {
-    config: infer MC;
-} ? MC : never : never;
-/** Extract resolved params (handles thunks at type level) */
-export type ExtractMethodParams<D, M extends string> = GetMethodConfig<D, M> extends {
-    params: infer P;
-} ? P extends () => infer R ? R extends ParamShape ? R : Record<string, never> : P extends ParamShape ? P : Record<string, never> : Record<string, never>;
-/** Extract return Zod type */
-export type ExtractMethodReturns<D, M extends string> = GetMethodConfig<D, M> extends {
-    returns: infer R;
-} ? R extends z.ZodType ? R : never : never;
-/** Resolve return value — handles data() markers */
-type MethodReturnValue<D, R extends z.ZodType> = R extends {
-    readonly [DATA_TAG]: {
-        readonly kind: 'self';
-    };
-} ? D extends AnyDef ? ExtractFullContent<D> : never : R extends {
-    readonly [DATA_TAG]: {
-        readonly kind: 'grant';
-        readonly target: infer T;
-    };
-} ? T extends AnyDef ? ExtractFullContent<T> : unknown : z.infer<R>;
-/** Extract the resolved return value of a method */
-export type ExtractMethodReturnValue<D, M extends string> = MethodReturnValue<D, ExtractMethodReturns<D, M>>;
-/** Self type for a method context — properties + id (+ from/to for edges) */
-export type MethodSelf<D> = D extends {
-    from: any;
-    to: any;
-} ? ExtractFullProperties<D> & {
-    readonly id: string;
-    readonly from: string;
-    readonly to: string;
-} : ExtractFullProperties<D> & {
-    readonly id: string;
-};
-export {};
-//# sourceMappingURL=methods.d.ts.map

package/dist/inference/methods.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../src/inference/methods.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAE7E,8CAA8C;AAE9C,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS;IACxC,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;KAAE,CAAA;CAC3D,GACG,CAAC,GACD,EAAE,CAAA;AAEN;;;;;;;GAOG;AACH,KAAK,sBAAsB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACjE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,sBAAsB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,GACvF,GAAG,CAAA;AAEP,qEAAqE;AACrE,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACxC,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAC7F,cAAc,CAAC,CAAC,CAAC,CAAA;AAErB,oDAAoD;AACpD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA;AAE5E,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAA;AAEhE,0CAA0C;AAC1C,KAAK,eAAe,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,UAAU,CAAC,CAAC,CAAC,GACrE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GAC3C,EAAE,GACF,KAAK,GACP,KAAK,CAAA;AAET,6DAA6D;AAC7D,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IACjD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7C,CAAC,SAAS,MAAM,MAAM,CAAC,GACrB,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACvB,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAE3B,8BAA8B;AAC9B,MAAM,MAAM,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAClD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS;IAC5B,OAAO,EAAE,MAAM,CAAC,CAAA;CACjB,GACG,CAAC,SAAS,CAAC,CAAC,OAAO,GACjB,CAAC,GACD,KAAK,GACP,KAAK,CAAA;AAEX,oDAAoD;AACpD,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS;IACzD,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAC/C,GACG,CAAC,SAAS,MAAM,GACd,kBAAkB,CAAC,CAAC,CAAC,GACrB,KAAK,GACP,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GACrF,CAAC,SAAS,MAAM,GACd,kBAAkB,CAAC,CAAC,CAAC,GACrB,OAAO,GACT,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhB,oDAAoD;AACpD,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,iBAAiB,CAC3E,CAAC,EACD,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAC3B,CAAA;AAED,6EAA6E;AAC7E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,GAAG,CAAC;IAAC,EAAE,EAAE,GAAG,CAAA;CAAE,GACxD,qBAAqB,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9F,qBAAqB,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA"}

package/dist/inference/methods.js

@@ -1 +0,0 @@
-export {};

package/dist/inference/properties.d.ts

@@ -1,37 +0,0 @@
-import type { z } from 'zod';
-import type { AnyDef } from '../grammar/definition/discriminants.js';
-import type { PropertyDef } from '../grammar/facets/properties.js';
-/** Extract own properties from a def's config */
-export type ExtractProperties<D> = D extends {
-    config: {
-        properties: infer A;
-    };
-} ? A : {};
-/** Infer Zod types in a property shape (handles both bare Zod and PropertyDef) */
-export type InferProperties<A> = {
-    [K in keyof A]: A[K] extends PropertyDef<infer S> ? S extends z.ZodType<infer O> ? O : never : A[K] extends z.ZodType<infer O> ? O : never;
-};
-/** Extract inherits array from any def */
-export type ExtractInherits<D> = D extends {
-    config: {
-        inherits: infer I extends readonly AnyDef[];
-    };
-} ? I : readonly [];
-/**
- * Collect inferred properties from all ancestors via a tail-recursive worklist.
- *
- * Visits one def per frame; `inherits` are prepended to the worklist so the DAG
- * is flattened without branching recursion. Intersection accumulates in `Acc`
- * — eligible for TS tuple tail-call optimization.
- */
-type CollectAncestorProperties<T, Acc = unknown> = T extends readonly [
-    infer Head extends AnyDef,
-    ...infer Tail extends readonly AnyDef[]
-] ? CollectAncestorProperties<[
-    ...ExtractInherits<Head>,
-    ...Tail
-], Acc & InferProperties<ExtractProperties<Head>>> : Acc;
-/** Full inferred properties: own shadow inherited (own keys take precedence) */
-export type ExtractFullProperties<D> = D extends AnyDef ? Omit<CollectAncestorProperties<ExtractInherits<D>>, keyof InferProperties<ExtractProperties<D>>> & InferProperties<ExtractProperties<D>> : unknown;
-export {};
-//# sourceMappingURL=properties.d.ts.map

package/dist/inference/properties.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../src/inference/properties.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAA;AAElE,iDAAiD;AAEjD,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,GAAG,EAAE,CAAA;AAEzF,kFAAkF;AAClF,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;KAC9B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC7C,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,GACD,KAAK,GACP,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC7B,CAAC,GACD,KAAK;CACZ,CAAA;AAED,0CAA0C;AAC1C,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS;IACzC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,SAAS,MAAM,EAAE,CAAA;KAAE,CAAA;CACxD,GACG,CAAC,GACD,SAAS,EAAE,CAAA;AAEf;;;;;;GAMG;AACH,KAAK,yBAAyB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACpE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,yBAAyB,CACvB;IAAC,GAAG,eAAe,CAAC,IAAI,CAAC;IAAE,GAAG,IAAI;CAAC,EACnC,GAAG,GAAG,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAC/C,GACD,GAAG,CAAA;AAEP,gFAAgF;AAChF,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnD,IAAI,CACF,yBAAyB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAC7C,MAAM,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAC5C,GACC,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACvC,OAAO,CAAA"}

package/dist/inference/properties.js

@@ -1 +0,0 @@
-export {};

package/dist/inference/schema.d.ts

@@ -1,37 +0,0 @@
-import type { Kind } from '../grammar/definition/discriminants.js';
-import type { EdgeClassDef } from '../grammar/definition/edge-class.js';
-import type { EdgeInterfaceDef } from '../grammar/definition/edge-interface.js';
-import type { NodeClassDef } from '../grammar/definition/node-class.js';
-import type { NodeInterfaceDef } from '../grammar/definition/node-interface.js';
-import type { FnDef } from '../grammar/function/def.js';
-/** Filter a record of defs by kind */
-export type FilterByKind<Defs extends Record<string, {
-    __kind: string;
-}>, K extends Kind> = {
-    [N in keyof Defs as Defs[N] extends {
-        __kind: K;
-    } ? N : never]: Defs[N];
-};
-/** Extract all node interfaces from a schema group */
-export type SchemaNodeInterfaces<I extends Record<string, any>> = {
-    [N in keyof I as I[N] extends NodeInterfaceDef<any> ? N : never]: I[N];
-};
-/** Extract all node classes from a schema group */
-export type SchemaNodeClasses<C extends Record<string, any>> = {
-    [N in keyof C as C[N] extends NodeClassDef<any> ? N : never]: C[N];
-};
-/** Extract all edge interfaces from a schema group */
-export type SchemaEdgeInterfaces<I extends Record<string, any>> = {
-    [N in keyof I as I[N] extends EdgeInterfaceDef<any, any> ? N : never]: I[N];
-};
-/** Extract all edge classes from a schema group */
-export type SchemaEdgeClasses<C extends Record<string, any>> = {
-    [N in keyof C as C[N] extends EdgeClassDef<any, any> ? N : never]: C[N];
-};
-/** Extract all method FnDefs from a def, preserving names */
-export type SchemaFnRefs<D> = D extends {
-    config: {
-        methods: infer M extends Record<string, FnDef>;
-    };
-} ? M : never;
-//# sourceMappingURL=schema.d.ts.map

package/dist/inference/schema.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/inference/schema.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,wCAAwC,CAAA;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAA;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAA;AAC/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AAEvD,sCAAsC;AACtC,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAAC,SAAS,IAAI,IAAI;KACzF,CAAC,IAAI,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS;QAAE,MAAM,EAAE,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;CACxE,CAAA;AAED,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC/D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACvE,CAAA;AAED,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC5D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACnE,CAAA;AAED,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC/D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CAC5E,CAAA;AAED,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC5D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACxE,CAAA;AAED,6DAA6D;AAC7D,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS;IACtC,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;KAAE,CAAA;CAC3D,GACG,CAAC,GACD,KAAK,CAAA"}

package/dist/inference/schema.js

@@ -1 +0,0 @@
-export {};

package/dist/instance/core/define.d.ts

@@ -1,13 +0,0 @@
-import type { Schema } from '../../schema/schema.js';
-import type { CoreNode, CoreEdge, Core, PathTree } from './types.js';
-/**
- * Define the core (genesis) data for a domain.
- *
- * Returns an object whose top-level keys are CorePath values matching the
- * node tree structure, plus metadata (__nodes, __edges, schema, domain).
- */
-export declare function defineCore<S extends Schema, const Nodes extends Record<string, CoreNode<any, any>>>(schema: S, config: {
-    nodes: Nodes;
-    edges?: readonly CoreEdge[];
-}): Core<S, PathTree<Nodes>> & PathTree<Nodes>;
-//# sourceMappingURL=define.d.ts.map