@astrale-os/kernel-dsl 0.1.0

package/dist/instance/seed/types.d.ts

@@ -0,0 +1,12 @@
+import type { Schema } from '../../schema/schema.js';
+import type { CorePath } from '../core/path.js';
+import type { Core, CoreNodeEntry, CoreEdgeEntry } from '../core/types.js';
+/** The output of defineSeed() — seed data extending a core */
+export interface SeedDef<S extends Schema = Schema, C extends Core = Core, _Paths extends Record<string, any> = Record<string, CorePath>> {
+    readonly schema: S;
+    readonly core: C;
+    readonly domain: string;
+    readonly __nodes: readonly CoreNodeEntry[];
+    readonly __edges: readonly CoreEdgeEntry[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/instance/seed/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/instance/seed/types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAE1E,8DAA8D;AAC9D,MAAM,WAAW,OAAO,CACtB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,IAAI,GAAG,IAAI,EACrB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;IAE7D,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAA;CAC3C"}

package/dist/instance/seed/types.js

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

package/dist/ir/classes.d.ts

@@ -0,0 +1,72 @@
+import type { Endpoint, EdgeConstraints } from './endpoints.js';
+import type { FunctionDecl } from './functions.js';
+import type { JsonSchema, PropertyDecl } from './json-schema.js';
+/** An interface declaration. Cannot be instantiated directly. */
+export interface InterfaceDecl {
+    type: 'interface';
+    /** Unique name within the schema. */
+    name: string;
+    /** Parent interfaces this interface extends. */
+    extends: string[];
+    /** Own properties as a map: key = property name, value = JSON Schema. */
+    properties: Record<string, PropertyDecl>;
+    /** Own methods keyed by name (NOT inherited). */
+    methods: Record<string, FunctionDecl>;
+    /**
+     * Optional datastore content schema (JSON Schema of type object).
+     * Separate from graph properties — opaque content storage.
+     */
+    data?: JsonSchema;
+}
+/** Concrete class declarations: nodes + edges. */
+export type ClassDecl = NodeDecl | EdgeDecl;
+/** Every declaration kind. */
+export type AnyDecl = InterfaceDecl | NodeDecl | EdgeDecl;
+/**
+ * A concrete node declaration.
+ * Own properties and methods only — consumer resolves inheritance via `implements`.
+ */
+export interface NodeDecl {
+    type: 'node';
+    /** Unique name within the schema. */
+    name: string;
+    /**
+     * Parent type names (interfaces or concrete nodes).
+     * Consumer resolves by looking up the referenced class.
+     */
+    implements: string[];
+    /** Own properties as a map: key = property name, value = JSON Schema. */
+    properties: Record<string, PropertyDecl>;
+    /** Own methods keyed by name (NOT inherited). */
+    methods: Record<string, FunctionDecl>;
+    /**
+     * Optional datastore content schema (JSON Schema of type object).
+     * Separate from graph properties — opaque content storage.
+     */
+    data?: JsonSchema;
+    /**
+     * Class-level icon: raw SVG markup materialized onto the class `self` node.
+     * Clients resolve an instance's icon through its class.
+     */
+    icon?: string;
+}
+/**
+ * An edge declaration representing a relationship between nodes.
+ * Always has exactly two endpoints.
+ */
+export interface EdgeDecl {
+    type: 'edge';
+    /** Unique name within the schema. */
+    name: string;
+    /** Parent type names (interfaces). Consumer resolves by lookup. */
+    implements: string[];
+    /** Exactly two endpoints defining the relationship. */
+    endpoints: [Endpoint, Endpoint];
+    /** Own properties as a map: key = property name, value = JSON Schema. */
+    properties: Record<string, PropertyDecl>;
+    /** Own methods on the edge, keyed by name. */
+    methods: Record<string, FunctionDecl>;
+    /** Structural constraints. */
+    constraints?: EdgeConstraints;
+}
+//# sourceMappingURL=classes.d.ts.map

package/dist/ir/classes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classes.d.ts","sourceRoot":"","sources":["../../src/ir/classes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAEhE,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,CAAA;IAEjB,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ,gDAAgD;IAChD,OAAO,EAAE,MAAM,EAAE,CAAA;IAEjB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC;;;OAGG;IACH,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAED,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAE3C,8BAA8B;AAC9B,MAAM,MAAM,OAAO,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAEzD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IAEZ,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ;;;OAGG;IACH,UAAU,EAAE,MAAM,EAAE,CAAA;IAEpB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC;;;OAGG;IACH,IAAI,CAAC,EAAE,UAAU,CAAA;IAEjB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IAEZ,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ,mEAAmE;IACnE,UAAU,EAAE,MAAM,EAAE,CAAA;IAEpB,uDAAuD;IACvD,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAE/B,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC,8BAA8B;IAC9B,WAAW,CAAC,EAAE,eAAe,CAAA;CAC9B"}

package/dist/ir/classes.js

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

package/dist/ir/domain.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Authoritative domain identity for a schema.
+ *
+ * A fully-qualified domain name (FQDN) that uniquely identifies the bounded
+ * context a schema belongs to. Used for namespacing, lifecycle management,
+ * and routing across local and federated graphs.
+ *
+ * @example 'astrale.core'     — kernel meta-model
+ * @example 'acme.billing'     — third-party distribution
+ * @example 'acme.todo'        — application domain
+ */
+export type DomainOrigin = string;
+//# sourceMappingURL=domain.d.ts.map

package/dist/ir/domain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.d.ts","sourceRoot":"","sources":["../../src/ir/domain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAA"}

package/dist/ir/domain.js

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

package/dist/ir/endpoints.d.ts

@@ -0,0 +1,27 @@
+/** An edge endpoint defining one side of a relationship. */
+export interface Endpoint {
+    /** Role name (e.g., 'task', 'project'). */
+    name: string;
+    /** Allowed node type names that can connect at this endpoint. */
+    types: string[];
+    /** Cardinality constraint. Absent = unbounded (0..*). */
+    cardinality?: Cardinality;
+}
+/** Min/max cardinality for an edge endpoint. */
+export interface Cardinality {
+    min: number;
+    /** null = unbounded. */
+    max: number | null;
+}
+/** Structural constraints on an edge. */
+export interface EdgeConstraints {
+    /** At most one edge between any node pair. */
+    unique?: boolean;
+    /** Cannot connect a node to itself. */
+    noSelf?: boolean;
+    /** No cycles — forms a DAG. */
+    acyclic?: boolean;
+    /** If A→B exists, B→A must also exist. */
+    symmetric?: boolean;
+}
+//# sourceMappingURL=endpoints.d.ts.map

package/dist/ir/endpoints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"endpoints.d.ts","sourceRoot":"","sources":["../../src/ir/endpoints.ts"],"names":[],"mappings":"AAAA,4DAA4D;AAC5D,MAAM,WAAW,QAAQ;IACvB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAA;IAEZ,iEAAiE;IACjE,KAAK,EAAE,MAAM,EAAE,CAAA;IAEf,yDAAyD;IACzD,WAAW,CAAC,EAAE,WAAW,CAAA;CAC1B;AAED,gDAAgD;AAChD,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAA;IACX,wBAAwB;IACxB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CACnB;AAED,yCAAyC;AACzC,MAAM,WAAW,eAAe;IAC9B,8CAA8C;IAC9C,MAAM,CAAC,EAAE,OAAO,CAAA;IAEhB,uCAAuC;IACvC,MAAM,CAAC,EAAE,OAAO,CAAA;IAEhB,+BAA+B;IAC/B,OAAO,CAAC,EAAE,OAAO,CAAA;IAEjB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB"}

package/dist/ir/endpoints.js

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

package/dist/ir/functions.d.ts

@@ -0,0 +1,19 @@
+import type { JsonSchema } from './json-schema.js';
+/** A function declaration: a callable with params and returns. Used as class methods. */
+export interface FunctionDecl {
+    /** Function name. */
+    name: string;
+    /** Parameters keyed by name. Each value is a JSON Schema for that parameter. */
+    params: Record<string, JsonSchema>;
+    /** Return type as JSON Schema. May contain $nodeRef or $dataRef. */
+    returns: JsonSchema;
+    /** Whether the return value can be null. Default: false (omitted). */
+    returnsNullable?: boolean;
+    /** Whether this is a static (class-level) method with no `self`. */
+    static: boolean;
+    /** Output mode: 'value' (default) = single result, 'stream' = AsyncGenerator, 'binary' = BinaryResult. */
+    output?: 'value' | 'stream' | 'binary';
+    /** Method inheritance. `'sealed'` = non-overridable, `'abstract'` = no impl, `'default'` = impl provided, overridable. */
+    inheritance: 'sealed' | 'abstract' | 'default';
+}
+//# sourceMappingURL=functions.d.ts.map

package/dist/ir/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/ir/functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,yFAAyF;AACzF,MAAM,WAAW,YAAY;IAC3B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAA;IAEZ,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAElC,oEAAoE;IACpE,OAAO,EAAE,UAAU,CAAA;IAEnB,sEAAsE;IACtE,eAAe,CAAC,EAAE,OAAO,CAAA;IAEzB,oEAAoE;IACpE,MAAM,EAAE,OAAO,CAAA;IAEf,0GAA0G;IAC1G,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA;IAEtC,0HAA0H;IAC1H,WAAW,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAA;CAC/C"}

package/dist/ir/functions.js

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

package/dist/ir/index.d.ts

@@ -0,0 +1,8 @@
+export type { SchemaIR } from './ir.js';
+export { allDeclarations } from './ir.js';
+export type { DomainOrigin as Domain } from './domain.js';
+export type { InterfaceDecl, ClassDecl, AnyDecl, NodeDecl, EdgeDecl } from './classes.js';
+export type { JsonSchema, JsonValue, PropertyDecl } from './json-schema.js';
+export type { FunctionDecl } from './functions.js';
+export type { Endpoint, Cardinality, EdgeConstraints } from './endpoints.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AACzC,YAAY,EAAE,YAAY,IAAI,MAAM,EAAE,MAAM,aAAa,CAAA;AACzD,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AACzF,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC3E,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA"}

package/dist/ir/index.js

@@ -0,0 +1 @@
+export { allDeclarations } from './ir.js';

package/dist/ir/ir.d.ts

@@ -0,0 +1,63 @@
+import type { ClassDecl, InterfaceDecl, AnyDecl } from './classes.js';
+import type { DomainOrigin } from './domain.js';
+import type { JsonSchema } from './json-schema.js';
+/**
+ * TypeGraph Schema IR.
+ *
+ * Universal, JSON-serializable intermediate representation for graph schemas.
+ * Produced by `@astrale-os/kernel-dsl`, consumed by client SDK and kernel.
+ *
+ * @example
+ * ```json
+ * {
+ *   "version": "1.0",
+ *   "domain": "acme.todo",
+ *   "imports": { "Identity": "astrale.core" },
+ *   "interfaces": { "Trackable": { "type": "interface", ... } },
+ *   "classes": { "TodoItem": { "type": "node", ... } }
+ * }
+ * ```
+ */
+export interface SchemaIR {
+    /** IR format version. */
+    version: '1.0';
+    /**
+     * Authoritative domain this schema belongs to (FQDN).
+     * @example 'astrale.core', 'acme.billing'
+     */
+    domain: DomainOrigin;
+    /**
+     * Cross-domain dependency manifest.
+     * Maps each referenced external name to its source domain and whether
+     * it is an interface or a class. The `definition` tag is required: the
+     * graph form of a domain is the round-trip source of truth, and without
+     * it a re-serialization cannot distinguish `class implements interface`
+     * from `class extends class` for imported parents.
+     *
+     * Absent when the schema is self-contained.
+     *
+     * @example
+     * {
+     *   "Node": { "origin": "astrale.core", "definition": "class" },
+     *   "Identity": { "origin": "astrale.core", "definition": "interface" }
+     * }
+     */
+    imports?: Record<string, {
+        origin: DomainOrigin;
+        definition: 'interface' | 'class';
+    }>;
+    /**
+     * Shared type definitions (JSON Schema).
+     * Referenced from properties/params via `$ref: '#/types/<name>'`.
+     *
+     * @example { "Priority": { "enum": ["low", "medium", "high"] } }
+     */
+    types: Record<string, JsonSchema>;
+    /** Interface declarations (abstract types). */
+    interfaces: Record<string, InterfaceDecl>;
+    /** Concrete class declarations (nodes + edges). */
+    classes: Record<string, ClassDecl>;
+}
+/** Merge interfaces + classes for lookups that need all declarations. */
+export declare function allDeclarations(schema: SchemaIR): Record<string, AnyDecl>;
+//# sourceMappingURL=ir.d.ts.map

package/dist/ir/ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACrE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,QAAQ;IACvB,yBAAyB;IACzB,OAAO,EAAE,KAAK,CAAA;IAEd;;;OAGG;IACH,MAAM,EAAE,YAAY,CAAA;IAEpB;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,UAAU,EAAE,WAAW,GAAG,OAAO,CAAA;KAAE,CAAC,CAAA;IAErF;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAEjC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IAEzC,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CACnC;AAED,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE"}

package/dist/ir/ir.js

@@ -0,0 +1,4 @@
+/** Merge interfaces + classes for lookups that need all declarations. */
+export function allDeclarations(schema) {
+    return { ...schema.interfaces, ...schema.classes };
+}

package/dist/ir/json-schema.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Standard JSON Schema object.
+ * Any valid JSON Schema is accepted. Custom extensions:
+ * - `$nodeRef: string` — references a graph node class
+ * - `$dataRef: string` — references datastore content ("self" or a node name)
+ */
+export type JsonSchema = Record<string, unknown>;
+/**
+ * Property declaration in the IR.
+ * A JSON Schema extended with graph-specific metadata.
+ * When `private` is absent or false, the property is public.
+ */
+export type PropertyDecl = JsonSchema & {
+    private?: true;
+};
+/** JSON-serializable value type. Used for computed default arguments. */
+export type JsonValue = string | number | boolean | null | JsonValue[] | {
+    [key: string]: JsonValue;
+};
+//# sourceMappingURL=json-schema.d.ts.map

package/dist/ir/json-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../../src/ir/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEhD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG;IAAE,OAAO,CAAC,EAAE,IAAI,CAAA;CAAE,CAAA;AAE1D,yEAAyE;AACzE,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,EAAE,GACX;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA"}

package/dist/ir/json-schema.js

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

package/dist/schema/classify.d.ts

@@ -0,0 +1,8 @@
+import { type AnyDef } from '../grammar/definition/discriminants.js';
+/**
+ * Validate that each definition's `__kind` matches its declared group.
+ * Abstract defs (node-interface, edge-interface) must be in `interfaces`.
+ * Concrete defs (node-class, edge-class) must be in `classes`.
+ */
+export declare function classifyDefs(interfaces: Record<string, AnyDef>, classes: Record<string, AnyDef>): void;
+//# sourceMappingURL=classify.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"classify.d.ts","sourceRoot":"","sources":["../../src/schema/classify.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,KAAK,MAAM,EAAE,MAAM,wCAAwC,CAAA;AAG5F;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC9B,IAAI,CAsBN"}

package/dist/schema/classify.js

@@ -0,0 +1,19 @@
+import { isAbstract, isConcrete } from '../grammar/definition/discriminants.js';
+import { SchemaValidationError } from './error.js';
+/**
+ * Validate that each definition's `__kind` matches its declared group.
+ * Abstract defs (node-interface, edge-interface) must be in `interfaces`.
+ * Concrete defs (node-class, edge-class) must be in `classes`.
+ */
+export function classifyDefs(interfaces, classes) {
+    for (const [name, def] of Object.entries(interfaces)) {
+        if (!isAbstract(def)) {
+            throw new SchemaValidationError(`Definition '${name}' in 'interfaces' has kind '${def.__kind}' — expected a node-interface or edge-interface`, `interfaces.${name}`, 'node-interface | edge-interface', def.__kind);
+        }
+    }
+    for (const [name, def] of Object.entries(classes)) {
+        if (!isConcrete(def)) {
+            throw new SchemaValidationError(`Definition '${name}' in 'classes' has kind '${def.__kind}' — expected a node-class or edge-class`, `classes.${name}`, 'node-class | edge-class', def.__kind);
+        }
+    }
+}

package/dist/schema/define.d.ts

@@ -0,0 +1,19 @@
+import type { AnyInterfaceDef, AnyClassDef } from '../grammar/definition/discriminants.js';
+import type { Schema } from './schema.js';
+interface DefineSchemaInput<I extends Record<string, AnyInterfaceDef>, C extends Record<string, AnyClassDef>> {
+    readonly interfaces: I;
+    readonly classes: C;
+    readonly imports?: readonly Schema[];
+}
+/**
+ * Define a typed property graph schema.
+ *
+ * @param domain - The domain identifier (e.g., 'my-domain.com')
+ * @param input - The schema definition with interfaces and classes groups
+ * @returns A fully validated and resolved Schema object
+ */
+export declare function defineSchema<const D extends string, const I extends Record<string, AnyInterfaceDef>, const C extends Record<string, AnyClassDef>>(domain: D, input: DefineSchemaInput<I, C>): Schema<I, C> & {
+    readonly domain: D;
+};
+export {};
+//# sourceMappingURL=define.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../src/schema/define.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAA;AAC1F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAOzC,UAAU,iBAAiB,CACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACzC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC;IAErC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAC/C,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAC3C,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,CAyClF"}

package/dist/schema/define.js

@@ -0,0 +1,47 @@
+import { classifyDefs } from './classify.js';
+import { buildDefDescriptorMap, buildMethodRefs, eachDef } from './refs.js';
+import { resolveConfigThunks, resolveParamThunks, resolveSelfReferences } from './resolve/index.js';
+import { validateSchema } from './validators/index.js';
+/**
+ * Define a typed property graph schema.
+ *
+ * @param domain - The domain identifier (e.g., 'my-domain.com')
+ * @param input - The schema definition with interfaces and classes groups
+ * @returns A fully validated and resolved Schema object
+ */
+export function defineSchema(domain, input) {
+    const interfaces = input.interfaces;
+    const classes = input.classes;
+    const imports = input.imports ?? [];
+    // Phase 1: Resolve thunks and self-references.
+    // Iterate both groups without collapsing same-named defs (a class and an
+    // interface may share a name, e.g. `Function`) — see `eachDef`.
+    for (const [name, def] of eachDef(interfaces, classes)) {
+        resolveConfigThunks(name, def);
+        resolveParamThunks(name, def);
+        resolveSelfReferences(def);
+    }
+    // Phase 2: Classify — validate __kind matches group
+    classifyDefs(interfaces, classes);
+    // Phase 3: Build identity map for validation lookups
+    const schema = {
+        domain,
+        interfaces,
+        classes,
+        functions: {},
+        imports,
+    };
+    const descriptorMap = buildDefDescriptorMap(schema);
+    // Phase 4: Validate
+    const ctx = { domain, interfaces, classes, imports, descriptorMap };
+    validateSchema(ctx);
+    // Phase 5: Build method refs
+    const fns = buildMethodRefs(schema);
+    return {
+        domain,
+        interfaces,
+        classes,
+        functions: fns,
+        imports,
+    };
+}

package/dist/schema/error.d.ts

@@ -0,0 +1,8 @@
+/** Structured error for schema validation failures */
+export declare class SchemaValidationError extends Error {
+    readonly field: string;
+    readonly expected?: string | undefined;
+    readonly received?: string | undefined;
+    constructor(message: string, field: string, expected?: string | undefined, received?: string | undefined);
+}
+//# sourceMappingURL=error.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../../src/schema/error.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,qBAAa,qBAAsB,SAAQ,KAAK;aAG5B,KAAK,EAAE,MAAM;aACb,QAAQ,CAAC,EAAE,MAAM;aACjB,QAAQ,CAAC,EAAE,MAAM;IAJnC,YACE,OAAO,EAAE,MAAM,EACC,KAAK,EAAE,MAAM,EACb,QAAQ,CAAC,EAAE,MAAM,YAAA,EACjB,QAAQ,CAAC,EAAE,MAAM,YAAA,EAIlC;CACF"}

package/dist/schema/error.js

@@ -0,0 +1,13 @@
+/** Structured error for schema validation failures */
+export class SchemaValidationError extends Error {
+    field;
+    expected;
+    received;
+    constructor(message, field, expected, received) {
+        super(message);
+        this.field = field;
+        this.expected = expected;
+        this.received = received;
+        this.name = 'SchemaValidationError';
+    }
+}

package/dist/schema/index.d.ts

@@ -0,0 +1,8 @@
+export { SchemaValidationError } from './error.js';
+export type { Schema } from './schema.js';
+export { defineSchema } from './define.js';
+export { classifyDefs } from './classify.js';
+export { defRef, parseDefRef, methodRef, buildDescriptorMap, buildDefDescriptorMap, buildMethodRefs, findDefTransitive, isKnownDef, type DefRef, type MethodRef, type KindSegment, type DefDescriptor, type InterfaceRefs, type ClassRefs, type AllDefRefs, } from './refs.js';
+export { resolveAllMethods, resolveAllProperties, resolveAllPropertyKeys } from './resolve/index.js';
+export type { SchemaContext } from './validators/context.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAClD,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EACL,MAAM,EACN,WAAW,EACX,SAAS,EACT,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,KAAK,MAAM,EACX,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,UAAU,GAChB,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AACpG,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/schema/index.js

@@ -0,0 +1,5 @@
+export { SchemaValidationError } from './error.js';
+export { defineSchema } from './define.js';
+export { classifyDefs } from './classify.js';
+export { defRef, parseDefRef, methodRef, buildDescriptorMap, buildDefDescriptorMap, buildMethodRefs, findDefTransitive, isKnownDef, } from './refs.js';
+export { resolveAllMethods, resolveAllProperties, resolveAllPropertyKeys } from './resolve/index.js';

package/dist/schema/refs.d.ts

@@ -0,0 +1,80 @@
+import type { AnyDef } from '../grammar/definition/discriminants.js';
+import type { FnDef } from '../grammar/function/def.js';
+import type { Schema } from './schema.js';
+/** Kind segment for refs */
+export type KindSegment = 'interface' | 'class';
+/** Separator used in ref strings (package-level constant) */
+export declare const REF_SEPARATOR = ".";
+/** A domain-local definition ref: `i.Name` or `c.Name` */
+export type DefRef<K extends KindSegment = KindSegment, N extends string = string> = `${K}.${N}`;
+/** A qualified method ref: `i.Name.method` or `c.Name.method` */
+export type MethodRef<K extends KindSegment = KindSegment, N extends string = string, M extends string = string> = `${K}.${N}.${M}`;
+/** Build a DefRef string */
+export declare function defRef<K extends KindSegment, N extends string>(kind: K, name: N): DefRef<K, N>;
+/**
+ * Parse a DefRef (`class.Name` / `interface.Name`) back into its kind + bare
+ * name. Member names never contain the separator, so a single split on the
+ * first `.` is exact. Inverse of {@link defRef}.
+ */
+export declare function parseDefRef(ref: DefRef): {
+    kind: KindSegment;
+    name: string;
+};
+/** Build a MethodRef string */
+export declare function methodRef<K extends KindSegment, N extends string, M extends string>(kind: K, name: N, method: M): MethodRef<K, N, M>;
+/** Schema-scoped descriptor: reverse lookup from def object to its group/name/ref */
+export interface DefDescriptor {
+    readonly group: KindSegment;
+    readonly name: string;
+    readonly ref: DefRef;
+}
+/**
+ * Build a reverse map from def objects to their descriptor.
+ * Used for schema-scoped lookups.
+ */
+export declare function buildDescriptorMap(schema: Schema): Map<AnyDef, DefDescriptor>;
+/**
+ * Build a combined descriptor map that includes both the schema's own defs and all imports.
+ * Call once, then pass to isKnownDef for O(1) lookups.
+ */
+export declare function buildDefDescriptorMap(schema: Schema): Map<AnyDef, DefDescriptor>;
+/** Check if a def exists in the descriptor map */
+export declare function isKnownDef(def: object, descriptorMap: Map<AnyDef, DefDescriptor>): boolean;
+/**
+ * Walk `schema.imports` transitively (BFS, cycle-safe) and find the declaring
+ * schema of `target`. Returns the schema's origin plus the chain of origins
+ * traversed to reach it (e.g. `['a.com', 'b.com']` if `target` lives in `b.com`
+ * which was imported by `a.com` which was imported by the root). Returns
+ * `null` if `target` is not reachable through any import chain.
+ *
+ * Used by error diagnostics to distinguish "def from transitively-imported
+ * schema" from "def from no known schema".
+ */
+export declare function findDefTransitive(root: Schema, target: AnyDef): {
+    origin: string;
+    path: string[];
+} | null;
+/** Build a flat map of all qualified method refs: `{group}.{name}.{method}` → FnDef */
+export declare function buildMethodRefs(schema: Schema): Record<string, FnDef>;
+/**
+ * Iterate every def across both groups (interfaces first, then classes)
+ * WITHOUT collapsing same-named defs.
+ *
+ * Unlike `{ ...interfaces, ...classes }`, this preserves a class and an
+ * interface that share a name (e.g. the `Function` interface + the `Function`
+ * node class): both are yielded, so neither is silently dropped from a
+ * resolution or validation pass. For schemas with names unique across groups
+ * the behaviour is identical to the old spread.
+ */
+export declare function eachDef(interfaces: Record<string, AnyDef>, classes: Record<string, AnyDef>): Array<[string, AnyDef]>;
+/** All interface DefRefs from a schema */
+export type InterfaceRefs<S extends Schema> = {
+    [K in keyof S['interfaces'] & string]: DefRef<'interface', K>;
+}[keyof S['interfaces'] & string];
+/** All class DefRefs from a schema */
+export type ClassRefs<S extends Schema> = {
+    [K in keyof S['classes'] & string]: DefRef<'class', K>;
+}[keyof S['classes'] & string];
+/** All DefRefs from a schema */
+export type AllDefRefs<S extends Schema> = InterfaceRefs<S> | ClassRefs<S>;
+//# sourceMappingURL=refs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../../src/schema/refs.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,MAAM,EAAE,MAAM,aAAa,CAAA;AAEzC,4BAA4B;AAC5B,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,OAAO,CAAA;AAE/C,6DAA6D;AAC7D,eAAO,MAAM,aAAa,MAAM,CAAA;AAEhC,0DAA0D;AAC1D,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAA;AAEhG,iEAAiE;AACjE,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,MAAM,IACvB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AAEpB,4BAA4B;AAC5B,wBAAgB,MAAM,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAE9F;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAM5E;AAED,+BAA+B;AAC/B,wBAAgB,SAAS,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EACjF,IAAI,EAAE,CAAC,EACP,IAAI,EAAE,CAAC,EACP,MAAM,EAAE,CAAC,GACR,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAEpB;AAED,qFAAqF;AACrF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAY7E;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAShF;AAED,kDAAkD;AAClD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,OAAO,CAE1F;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GACb;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAuB3C;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAiBrE;AAED;;;;;;;;;GASG;AACH,wBAAgB,OAAO,CACrB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC9B,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAEzB;AAID,0CAA0C;AAC1C,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI;KAC3C,CAAC,IAAI,MAAM,CAAC,CAAC,YAAY,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;CAC9D,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC,CAAA;AAEjC,sCAAsC;AACtC,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;CACvD,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAA;AAE9B,gCAAgC;AAChC,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA"}