@astrale-os/kernel-dsl 0.1.0

package/dist/grammar/facets/index.d.ts

@@ -0,0 +1,9 @@
+export type { PropertyShape, Property, PropertyDef, NormalizedProperty } from './properties.js';
+export { isPropertyDef, normalizeProperty } from './properties.js';
+export type { ContentShape } from './content.js';
+export type { IndexType, IndexDef } from './indexes.js';
+export { indexProperty, indexType } from './indexes.js';
+export type { Cardinality, EndpointConfig } from './endpoints.js';
+export { DEFAULT_CARDINALITY } from './endpoints.js';
+export type { DefConstraints } from './constraints.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/grammar/facets/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/grammar/facets/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAC/F,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAElE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAEhD,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEvD,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAEpD,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA"}

package/dist/grammar/facets/index.js

@@ -0,0 +1,3 @@
+export { isPropertyDef, normalizeProperty } from './properties.js';
+export { indexProperty, indexType } from './indexes.js';
+export { DEFAULT_CARDINALITY } from './endpoints.js';

package/dist/grammar/facets/indexes.d.ts

@@ -0,0 +1,12 @@
+/** Index strategy */
+export type IndexType = 'btree' | 'unique' | 'fulltext';
+/** Index definition — shorthand string or explicit config */
+export type IndexDef<K extends string = string> = K | {
+    readonly property: K;
+    readonly type: IndexType;
+};
+/** Extract the property name from an IndexDef */
+export declare function indexProperty<K extends string>(index: IndexDef<K>): K;
+/** Extract the index type, defaulting to 'btree' */
+export declare function indexType(index: IndexDef): IndexType;
+//# sourceMappingURL=indexes.d.ts.map

package/dist/grammar/facets/indexes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"indexes.d.ts","sourceRoot":"","sources":["../../../src/grammar/facets/indexes.ts"],"names":[],"mappings":"AAAA,qBAAqB;AACrB,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,CAAA;AAEvD,6DAA6D;AAC7D,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAC1C,CAAC,GACD;IAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAEtD,iDAAiD;AACjD,wBAAgB,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAErE;AAED,oDAAoD;AACpD,wBAAgB,SAAS,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,CAEpD"}

package/dist/grammar/facets/indexes.js

@@ -0,0 +1,8 @@
+/** Extract the property name from an IndexDef */
+export function indexProperty(index) {
+    return typeof index === 'string' ? index : index.property;
+}
+/** Extract the index type, defaulting to 'btree' */
+export function indexType(index) {
+    return typeof index === 'string' ? 'btree' : index.type;
+}

package/dist/grammar/facets/properties.d.ts

@@ -0,0 +1,26 @@
+import type { z } from 'zod';
+/** Shape of the properties record on a definition config */
+export type PropertyShape = Record<string, Property>;
+/** A property is either a bare Zod schema or a PropertyDef with metadata */
+export type Property = z.ZodType | PropertyDef;
+/** Property definition with explicit metadata (private flag) */
+export interface PropertyDef<S extends z.ZodType = z.ZodType> {
+    readonly _tag: 'PropertyDef';
+    readonly schema: S;
+    readonly private: boolean;
+}
+/** Normalized property — the resolved form of a Property */
+export interface NormalizedProperty {
+    readonly schema: z.ZodType;
+    readonly private: boolean;
+    readonly required: boolean;
+}
+/** Type guard for PropertyDef */
+export declare function isPropertyDef(value: unknown): value is PropertyDef;
+/**
+ * True iff the property MUST be provided at create-time.
+ */
+export declare function isPropertyRequired(schema: z.ZodType): boolean;
+/** Normalize a Property into its resolved form */
+export declare function normalizeProperty(prop: Property): NormalizedProperty;
+//# sourceMappingURL=properties.d.ts.map

package/dist/grammar/facets/properties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../src/grammar/facets/properties.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,4DAA4D;AAC5D,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAEpD,4EAA4E;AAC5E,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,GAAG,WAAW,CAAA;AAE9C,gEAAgE;AAChE,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO;IAC1D,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAED,iCAAiC;AACjC,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAOlE;AAQD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,GAAG,OAAO,CAiB7D;AAED,kDAAkD;AAClD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,kBAAkB,CAKpE"}

package/dist/grammar/facets/properties.js

@@ -0,0 +1,44 @@
+/** 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

@@ -0,0 +1,14 @@
+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

@@ -0,0 +1 @@
+{"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

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

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

@@ -0,0 +1,33 @@
+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;
+    };
+}
+export type { FnConfig };
+//# sourceMappingURL=def.d.ts.map

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

@@ -0,0 +1 @@
+{"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,YAAY,EAAE,QAAQ,EAAE,CAAA"}

package/dist/grammar/function/def.js

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

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

@@ -0,0 +1,5 @@
+export type { FnConfig, ParamShape } from './config.js';
+export type { FnDef } from './def.js';
+export type { MethodInheritance } from './inheritance.js';
+export type { OutputMode } from './output.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/grammar/function/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACvD,YAAY,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AACrC,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACzD,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA"}

package/dist/grammar/function/index.js

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

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

@@ -0,0 +1,3 @@
+/** 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

@@ -0,0 +1 @@
+{"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

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

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

@@ -0,0 +1,3 @@
+/** 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

@@ -0,0 +1 @@
+{"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

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

package/dist/grammar/index.d.ts

@@ -0,0 +1,5 @@
+export * from './definition/index.js';
+export * from './function/index.js';
+export * from './facets/index.js';
+export * from './values/index.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/grammar/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAA;AACrC,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,mBAAmB,CAAA"}

package/dist/grammar/index.js

@@ -0,0 +1,4 @@
+export * from './definition/index.js';
+export * from './function/index.js';
+export * from './facets/index.js';
+export * from './values/index.js';

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

@@ -0,0 +1,7 @@
+/** 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

@@ -0,0 +1 @@
+{"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

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

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

@@ -0,0 +1,30 @@
+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

@@ -0,0 +1 @@
+{"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

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

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

@@ -0,0 +1,9 @@
+export type { RefSchema, RefTarget, IsRef } from './ref.js';
+export { REF_TAG } from './ref.js';
+export type { DataSelfSchema, DataGrantSchema, IsDataSelf, DataGrantTarget } from './data.js';
+export { DATA_TAG } from './data.js';
+export type { BitmaskDef } from './bitmask.js';
+export { BITMASK_TAG } from './bitmask.js';
+export type { SelfDef } from './self.js';
+export { SELF, SELF_TAG } from './self.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/grammar/values/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAElC,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAC7F,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,YAAY,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA"}

package/dist/grammar/values/index.js

@@ -0,0 +1,4 @@
+export { REF_TAG } from './ref.js';
+export { DATA_TAG } from './data.js';
+export { BITMASK_TAG } from './bitmask.js';
+export { SELF, SELF_TAG } from './self.js';

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

@@ -0,0 +1,26 @@
+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

@@ -0,0 +1 @@
+{"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

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

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

@@ -0,0 +1,12 @@
+/** 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,5 @@
+/**
+ * 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/index.d.ts

@@ -0,0 +1,53 @@
+export { nodeInterface } from './builders/definition/node-interface.js';
+export { nodeClass } from './builders/definition/node-class.js';
+export { edgeInterface } from './builders/definition/edge-interface.js';
+export { edgeClass } from './builders/definition/edge-class.js';
+export { fn } from './builders/function.js';
+export { ref } from './builders/ref.js';
+export { data } from './builders/data.js';
+export { prop } from './builders/prop.js';
+export { bitmask } from './builders/bitmask.js';
+export { SELF } from './grammar/values/self.js';
+export { defineSchema } from './schema/define.js';
+export type { Schema } from './schema/schema.js';
+export { SchemaValidationError } from './schema/error.js';
+export type { DefRef, MethodRef, DefDescriptor, KindSegment } from './schema/refs.js';
+export { buildDescriptorMap, buildDefDescriptorMap, defRef, parseDefRef } from './schema/refs.js';
+export { defineCore } from './instance/core/define.js';
+export { defineSeed } from './instance/seed/define.js';
+export { CORE_ANCHOR_SLUG, buildCorePath, isCorePath } from './instance/core/path.js';
+export type { CorePath } from './instance/core/path.js';
+export { node } from './instance/core/node.js';
+export { edge } from './instance/core/edge.js';
+export type { EdgeEndpoint } from './instance/core/edge.js';
+export { selfOf, isSelfMarker } from './instance/core/self.js';
+export type { SelfMarker } from './instance/core/self.js';
+export { serialize } from './serializer/serialize.js';
+export type { DefConfigBase } from './grammar/definition/base.js';
+export type { NodeInterfaceDef, NodeInterfaceConfig } from './grammar/definition/node-interface.js';
+export type { NodeClassDef, NodeClassConfig } from './grammar/definition/node-class.js';
+export type { EdgeInterfaceDef, EdgeInterfaceConfig } from './grammar/definition/edge-interface.js';
+export type { EdgeClassDef, EdgeClassConfig } from './grammar/definition/edge-class.js';
+export type { AnyDef, AnyNodeDef, AnyEdgeDef, AnyInterfaceDef, AnyClassDef, } from './grammar/definition/discriminants.js';
+export type { FnDef } from './grammar/function/def.js';
+export type { FnConfig, ParamShape } from './grammar/function/config.js';
+export type { PropertyShape, PropertyDef, Property, NormalizedProperty, } from './grammar/facets/properties.js';
+export { normalizeProperty, isPropertyDef } from './grammar/facets/properties.js';
+export type { ContentShape } from './grammar/facets/content.js';
+export type { EndpointConfig, Cardinality } from './grammar/facets/endpoints.js';
+export type { DefConstraints } from './grammar/facets/constraints.js';
+export type { IndexDef, IndexType } from './grammar/facets/indexes.js';
+export type { RefSchema } from './grammar/values/ref.js';
+export type { DataSelfSchema, DataGrantSchema } from './grammar/values/data.js';
+export type { SelfDef } from './grammar/values/self.js';
+export type { BitmaskDef } from './grammar/values/bitmask.js';
+export type { MethodInheritance } from './grammar/function/inheritance.js';
+export type { OutputMode } from './grammar/function/output.js';
+export type { ExtractProperties, InferProperties, ExtractFullProperties, ExtractInherits, ExtractContent, ExtractFullContent, HasContent, ExtractMethods, AllMethods, HasMethods, ExtractMethodNames, ExtractMethodParams, ExtractMethodReturns, ExtractMethodReturnValue, MethodSelf, AllSealedKeys, InheritedAbstractKeys, InheritedDefaultKeys, ImplementableOwnKeys, HasImplementableMethods, ExtractNodeInput, FilterByKind, SchemaNodeInterfaces, SchemaNodeClasses, SchemaEdgeInterfaces, SchemaEdgeClasses, SchemaFnRefs, } from './inference/index.js';
+export { resolveAllMethods, resolveAllProperties } from './schema/resolve/index.js';
+export { classifyDefs } from './schema/classify.js';
+export { isNodeInterface, isNodeClass, isEdgeInterface, isEdgeClass, isAbstract, isConcrete, isEdge, isNode, } from './grammar/definition/discriminants.js';
+export type { CoreNode, CoreEdge, PathTree, Core, CoreNodeEntry, CoreEdgeEntry, } from './instance/core/types.js';
+export type { SeedDef } from './instance/seed/types.js';
+export type { SchemaIR, ClassDecl, NodeDecl, EdgeDecl, FunctionDecl, JsonSchema, PropertyDecl, Endpoint, EdgeConstraints, } from './ir/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAA;AAC3C,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAG/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AACzD,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAGjG,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC9D,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAGzD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAGrD,YAAY,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AACnG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACvF,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AACnG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACvF,YAAY,EACV,MAAM,EACN,UAAU,EACV,UAAU,EACV,eAAe,EACf,WAAW,GACZ,MAAM,uCAAuC,CAAA;AAC9C,YAAY,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AACxE,YAAY,EACV,aAAa,EACb,WAAW,EACX,QAAQ,EACR,kBAAkB,GACnB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAC/D,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAChF,YAAY,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAA;AACtE,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACxD,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC/E,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,YAAY,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAA;AAC1E,YAAY,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAG9D,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,cAAc,EACd,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACb,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,WAAW,EACX,UAAU,EACV,UAAU,EACV,MAAM,EACN,MAAM,GACP,MAAM,uCAAuC,CAAA;AAG9C,YAAY,EACV,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,GACd,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAGvD,YAAY,EACV,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,eAAe,GAChB,MAAM,eAAe,CAAA"}

package/dist/index.js

@@ -0,0 +1,29 @@
+// ── Builders (the authoring API) ───────────────────────────────────
+export { nodeInterface } from './builders/definition/node-interface.js';
+export { nodeClass } from './builders/definition/node-class.js';
+export { edgeInterface } from './builders/definition/edge-interface.js';
+export { edgeClass } from './builders/definition/edge-class.js';
+export { fn } from './builders/function.js';
+export { ref } from './builders/ref.js';
+export { data } from './builders/data.js';
+export { prop } from './builders/prop.js';
+export { bitmask } from './builders/bitmask.js';
+export { SELF } from './grammar/values/self.js';
+// ── Schema (the compiler) ──────────────────────────────────────────
+export { defineSchema } from './schema/define.js';
+export { SchemaValidationError } from './schema/error.js';
+export { buildDescriptorMap, buildDefDescriptorMap, defRef, parseDefRef } from './schema/refs.js';
+// ── Instance (core & seed) ─────────────────────────────────────────
+export { defineCore } from './instance/core/define.js';
+export { defineSeed } from './instance/seed/define.js';
+export { CORE_ANCHOR_SLUG, buildCorePath, isCorePath } from './instance/core/path.js';
+export { node } from './instance/core/node.js';
+export { edge } from './instance/core/edge.js';
+export { selfOf, isSelfMarker } from './instance/core/self.js';
+// ── Serializer ─────────────────────────────────────────────────────
+export { serialize } from './serializer/serialize.js';
+export { normalizeProperty, isPropertyDef } from './grammar/facets/properties.js';
+// ── Helpers (runtime introspection) ────────────────────────────────
+export { resolveAllMethods, resolveAllProperties } from './schema/resolve/index.js';
+export { classifyDefs } from './schema/classify.js';
+export { isNodeInterface, isNodeClass, isEdgeInterface, isEdgeClass, isAbstract, isConcrete, isEdge, isNode, } from './grammar/definition/discriminants.js';

package/dist/inference/content.d.ts

@@ -0,0 +1,27 @@
+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

@@ -0,0 +1 @@
+{"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

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

package/dist/inference/index.d.ts

@@ -0,0 +1,7 @@
+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

@@ -0,0 +1 @@
+{"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

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

package/dist/inference/inheritance.d.ts

@@ -0,0 +1,48 @@
+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

@@ -0,0 +1 @@
+{"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

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