@astrale-os/kernel-core 0.4.1

package/dist/domain/addressing/paths/interface.js

@@ -0,0 +1,138 @@
+import { parseStepsWith } from '#graph/nav/grammar';
+import { matchesChain, parsePath, Path, PathParseError } from '#graph/nav/path';
+import { absoluteSegment, AbsolutePath, SEPARATOR_CHAR } from '#graph/tree/path/absolute';
+import { KERNEL_META_PATH_GRAMMARS } from '../grammar/set';
+import { DOMAIN_SEP } from '../grammar/tokens';
+import { installedInSegment } from '../segments/installed-in';
+import { ofDomainSegment } from '../segments/of-domain';
+import { INTERFACE_PREFIX } from './constants';
+const SEGMENTS = [absoluteSegment, installedInSegment, ofDomainSegment];
+/**
+ * Composed address for an Interface. Same shape as ClassPath; the
+ * discriminator is the of_domain slug prefix (`interface.` instead of
+ * `class.`).
+ */
+export class InterfacePath extends Path {
+    mount;
+    domain;
+    interfaceName;
+    constructor(steps, raw, mount, domain, interfaceName) {
+        super(steps, raw);
+        this.mount = mount;
+        this.domain = domain;
+        this.interfaceName = interfaceName;
+    }
+    // ─── Internal hooks ──────────────────────────────────────
+    /** @internal Narrow a base Path into InterfacePath without re-parsing. */
+    static _fromPath(path) {
+        return buildInterfacePath(path.steps, path.raw);
+    }
+    // ─── Static factories ────────────────────────────────────
+    static parse(raw) {
+        const p = parsePath(raw);
+        if (!(p instanceof InterfacePath)) {
+            throw new PathParseError(raw, [
+                { kind: 'not-interface', message: 'Path is not an interface path', position: 0 },
+            ]);
+        }
+        return p;
+    }
+    static tryParse(raw) {
+        try {
+            return InterfacePath.parse(raw);
+        }
+        catch {
+            return null;
+        }
+    }
+    /** Build an InterfacePath from typed fields. */
+    static from(fields, options) {
+        const mount = options?.mount ?? options?.parent ?? AbsolutePath.root();
+        const raw = serializeFromParts(mount.slugs, fields.domain, fields.interfaceName);
+        // Lex against the kernel-meta grammar set explicitly — bypasses
+        // both the global GrammarRegistry and PathTypeRegistry. Lets this
+        // run during bootstrap *before* the kernel-meta navigation has
+        // been registered (compileDomain produces these refs while still
+        // assembling the kernel-meta domain).
+        const result = parseStepsWith(raw, KERNEL_META_PATH_GRAMMARS);
+        if (result.errors.length > 0) {
+            throw new PathParseError(raw, result.errors);
+        }
+        return buildInterfacePath(result.steps, raw);
+    }
+    /** Qualified `of_domain` slug — `interface.${interfaceName}`. */
+    get member() {
+        return `${INTERFACE_PREFIX}${this.interfaceName}`;
+    }
+    /** Alias of {@link mount}. */
+    get parent() {
+        return this.mount;
+    }
+    get isMounted() {
+        return !this.mount.isRoot;
+    }
+    get isRelative() {
+        return false;
+    }
+}
+/**
+ * Build a {@link PathType} for `InterfacePath` bound to `d`. The
+ * `class` is `d`'s `Interface` meta-class reference.
+ */
+export function makeInterfacePathType(d) {
+    return {
+        name: 'InterfacePath',
+        class: d.$.c('Interface').path.class.raw,
+        segments: SEGMENTS,
+        matches: matchesInterfaceShape,
+        build: buildInterfacePath,
+    };
+}
+function matchesInterfaceShape(steps) {
+    if (!matchesChain(SEGMENTS, steps))
+        return false;
+    const last = steps[steps.length - 1];
+    if (!last || last.kind !== 'traversal' || last.predicate?.kind !== 'property')
+        return false;
+    const v = last.predicate.value;
+    if (!v.startsWith(INTERFACE_PREFIX))
+        return false;
+    const name = v.slice(INTERFACE_PREFIX.length);
+    return name.length > 0 && !name.includes('.');
+}
+function buildInterfacePath(steps, raw) {
+    const ofDomainStep = steps[steps.length - 1];
+    const installedStep = steps[steps.length - 2];
+    if (!ofDomainStep ||
+        ofDomainStep.kind !== 'traversal' ||
+        ofDomainStep.predicate?.kind !== 'property' ||
+        !installedStep ||
+        installedStep.kind !== 'traversal' ||
+        installedStep.predicate?.kind !== 'property') {
+        throw new PathParseError(raw, [
+            { kind: 'not-interface', message: 'InterfacePath shape mismatch', position: 0 },
+        ]);
+    }
+    const interfaceName = ofDomainStep.predicate.value.slice(INTERFACE_PREFIX.length);
+    const domain = installedStep.predicate.value;
+    const mountSlugs = extractMountSlugs(steps);
+    const mount = mountSlugs.length === 0 ? AbsolutePath.root() : AbsolutePath.from(...mountSlugs);
+    const finalRaw = raw || serializeFromParts(mountSlugs, domain, interfaceName);
+    return new InterfacePath(steps, finalRaw, mount, domain, interfaceName);
+}
+function extractMountSlugs(steps) {
+    const slugs = [];
+    for (let i = 0; i < steps.length - 2; i++) {
+        const s = steps[i];
+        if (s.kind !== 'traversal')
+            continue;
+        if (s.predicate?.kind === 'property')
+            slugs.push(s.predicate.value);
+    }
+    return slugs;
+}
+function serializeFromParts(mountSlugs, domain, interfaceName) {
+    const tail = `${DOMAIN_SEP}${domain}${DOMAIN_SEP}${INTERFACE_PREFIX}${interfaceName}`;
+    return SEPARATOR_CHAR + [...mountSlugs, tail].join(SEPARATOR_CHAR);
+}
+//# sourceMappingURL=interface.js.map

package/dist/domain/addressing/paths/interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface.js","sourceRoot":"","sources":["../../../../domain/addressing/paths/interface.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAC/E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAEzF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAa9C,MAAM,QAAQ,GAAG,CAAC,eAAe,EAAE,kBAAkB,EAAE,eAAe,CAAU,CAAA;AAEhF;;;;GAIG;AACH,MAAM,OAAO,aAAc,SAAQ,IAAI;IAC5B,KAAK,CAAc;IACnB,MAAM,CAAQ;IACd,aAAa,CAAQ;IAE9B,YACE,KAAsB,EACtB,GAAW,EACX,KAAmB,EACnB,MAAc,EACd,aAAqB;QAErB,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,aAAa,GAAG,aAAa,CAAA;IACpC,CAAC;IAED,4DAA4D;IAE5D,0EAA0E;IAC1E,MAAM,CAAC,SAAS,CAAC,IAAU;QACzB,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IACjD,CAAC;IAED,4DAA4D;IAE5D,MAAM,CAAU,KAAK,CAAC,GAAW;QAC/B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;QACxB,IAAI,CAAC,CAAC,CAAC,YAAY,aAAa,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,cAAc,CAAC,GAAG,EAAE;gBAC5B,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,+BAA+B,EAAE,QAAQ,EAAE,CAAC,EAAE;aACjF,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,MAAM,CAAU,QAAQ,CAAC,GAAW;QAClC,IAAI,CAAC;YACH,OAAO,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,CAAC,IAAI,CAAC,MAAuB,EAAE,OAA8B;QACjE,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,EAAE,CAAA;QACtE,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,CAAA;QAChF,gEAAgE;QAChE,kEAAkE;QAClE,+DAA+D;QAC/D,iEAAiE;QACjE,sCAAsC;QACtC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,yBAAyB,CAAC,CAAA;QAC7D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC9C,CAAC;IAED,iEAAiE;IACjE,IAAI,MAAM;QACR,OAAO,GAAG,gBAAgB,GAAG,IAAI,CAAC,aAAa,EAAE,CAAA;IACnD,CAAC;IAED,8BAA8B;IAC9B,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAA;IACnB,CAAC;IAED,IAAI,SAAS;QACX,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;IAC3B,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,CAAiB;IACrD,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;QACxC,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAE,qBAAqB;QAC9B,KAAK,EAAE,kBAAkB;KAC1B,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAChD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACpC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,KAAK,CAAA;IAC3F,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAA;IAC9B,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAA;IACjD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;IAC7C,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;AAC/C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAsB,EAAE,GAAW;IAC7D,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC5C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC7C,IACE,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,WAAW;QACjC,YAAY,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;QAC3C,CAAC,aAAa;QACd,aAAa,CAAC,IAAI,KAAK,WAAW;QAClC,aAAa,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU,EAC5C,CAAC;QACD,MAAM,IAAI,cAAc,CAAC,GAAG,EAAE;YAC5B,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,8BAA8B,EAAE,QAAQ,EAAE,CAAC,EAAE;SAChF,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACjF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,KAAK,CAAA;IAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAA;IAC9F,MAAM,QAAQ,GAAG,GAAG,IAAI,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,CAAC,CAAA;IAC7E,OAAO,IAAI,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,CAAC,CAAA;AACzE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAsB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,SAAQ;QACpC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,kBAAkB,CACzB,UAA6B,EAC7B,MAAc,EACd,aAAqB;IAErB,MAAM,IAAI,GAAG,GAAG,UAAU,GAAG,MAAM,GAAG,UAAU,GAAG,gBAAgB,GAAG,aAAa,EAAE,CAAA;IACrF,OAAO,cAAc,GAAG,CAAC,GAAG,UAAU,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;AACpE,CAAC"}

package/dist/domain/addressing/paths/method.d.ts

@@ -0,0 +1,50 @@
+import type { CompiledDomain } from '#domain/compile/types';
+import type { PathType } from '#graph/nav/path';
+import type { Step } from '#graph/nav/path/step';
+import { Path } from '#graph/nav/path';
+import { AbsolutePath } from '#graph/tree/path/absolute';
+export interface MethodFields {
+    readonly domain: string;
+    /** Stored verbatim — bare or namespace-qualified. */
+    readonly member: string;
+    /** Whether the member is a class or interface. */
+    readonly memberKind: 'class' | 'interface';
+    readonly method: string;
+}
+export interface MethodFromOptions {
+    readonly mount?: AbsolutePath;
+    /** Alias for `mount`. */
+    readonly parent?: AbsolutePath;
+}
+/**
+ * Composed address for a method on a class or interface. Four
+ * segments: tree mount, installed_in, of_domain, method_of.
+ *
+ * The of_domain slug carries the `class.` or `interface.` prefix to
+ * disambiguate the owning kind; the method slug has no prefix.
+ */
+export declare class MethodPath extends Path {
+    readonly mount: AbsolutePath;
+    readonly domain: string;
+    readonly memberKind: 'class' | 'interface';
+    readonly member: string;
+    readonly method: string;
+    constructor(steps: readonly Step[], raw: string, mount: AbsolutePath, domain: string, memberKind: 'class' | 'interface', member: string, method: string);
+    /** @internal Narrow a base Path into MethodPath without re-parsing. */
+    static _fromPath(path: Path): MethodPath;
+    static parse(raw: string): MethodPath;
+    static tryParse(raw: string): MethodPath | null;
+    /** Build a MethodPath from typed fields. */
+    static from(fields: MethodFields, options?: MethodFromOptions): MethodPath;
+    /** Alias of {@link mount}. */
+    get parent(): AbsolutePath;
+    get isMounted(): boolean;
+    get isRelative(): false;
+}
+/**
+ * Build a {@link PathType} for `MethodPath` bound to `d`. The
+ * `class` is `d`'s `Function` meta-class reference (the node kind addressed as
+ * a method of a class — hence the `MethodPath` name).
+ */
+export declare function makeMethodPathType(d: CompiledDomain): PathType<MethodPath>;
+//# sourceMappingURL=method.d.ts.map

package/dist/domain/addressing/paths/method.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"method.d.ts","sourceRoot":"","sources":["../../../../domain/addressing/paths/method.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AAC3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAGhD,OAAO,EAA2B,IAAI,EAAkB,MAAM,iBAAiB,CAAA;AAC/E,OAAO,EAAmB,YAAY,EAAkB,MAAM,2BAA2B,CAAA;AASzF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,kDAAkD;IAClD,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,WAAW,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAA;IAC7B,yBAAyB;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAC/B;AAID;;;;;;GAMG;AACH,qBAAa,UAAW,SAAQ,IAAI;IAClC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,WAAW,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IAEvB,YACE,KAAK,EAAE,SAAS,IAAI,EAAE,EACtB,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,OAAO,GAAG,WAAW,EACjC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EAQf;IAID,uEAAuE;IACvE,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,CAEvC;IAID,OAAgB,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAQ7C;IAED,OAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAMvD;IAED,4CAA4C;IAC5C,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,UAAU,CAczE;IAED,8BAA8B;IAC9B,IAAI,MAAM,IAAI,YAAY,CAEzB;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,UAAU,IAAI,KAAK,CAEtB;CACF;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,cAAc,GAAG,QAAQ,CAAC,UAAU,CAAC,CAQ1E"}

package/dist/domain/addressing/paths/method.js

@@ -0,0 +1,172 @@
+import { parseStepsWith } from '#graph/nav/grammar';
+import { matchesChain, parsePath, Path, PathParseError } from '#graph/nav/path';
+import { absoluteSegment, AbsolutePath, SEPARATOR_CHAR } from '#graph/tree/path/absolute';
+import { KERNEL_META_PATH_GRAMMARS } from '../grammar/set';
+import { DOMAIN_SEP } from '../grammar/tokens';
+import { installedInSegment } from '../segments/installed-in';
+import { methodOfSegment } from '../segments/method-of';
+import { ofDomainSegment } from '../segments/of-domain';
+import { CLASS_PREFIX, INTERFACE_PREFIX } from './constants';
+const SEGMENTS = [absoluteSegment, installedInSegment, ofDomainSegment, methodOfSegment];
+/**
+ * Composed address for a method on a class or interface. Four
+ * segments: tree mount, installed_in, of_domain, method_of.
+ *
+ * The of_domain slug carries the `class.` or `interface.` prefix to
+ * disambiguate the owning kind; the method slug has no prefix.
+ */
+export class MethodPath extends Path {
+    mount;
+    domain;
+    memberKind;
+    member;
+    method;
+    constructor(steps, raw, mount, domain, memberKind, member, method) {
+        super(steps, raw);
+        this.mount = mount;
+        this.domain = domain;
+        this.memberKind = memberKind;
+        this.member = member;
+        this.method = method;
+    }
+    // ─── Internal hooks ──────────────────────────────────────
+    /** @internal Narrow a base Path into MethodPath without re-parsing. */
+    static _fromPath(path) {
+        return buildMethodPath(path.steps, path.raw);
+    }
+    // ─── Static factories ────────────────────────────────────
+    static parse(raw) {
+        const p = parsePath(raw);
+        if (!(p instanceof MethodPath)) {
+            throw new PathParseError(raw, [
+                { kind: 'not-method', message: 'Path is not a method path', position: 0 },
+            ]);
+        }
+        return p;
+    }
+    static tryParse(raw) {
+        try {
+            return MethodPath.parse(raw);
+        }
+        catch {
+            return null;
+        }
+    }
+    /** Build a MethodPath from typed fields. */
+    static from(fields, options) {
+        const mount = options?.mount ?? options?.parent ?? AbsolutePath.root();
+        const memberQualified = qualifyMember(fields.member, fields.memberKind);
+        const raw = serializeFromParts(mount.slugs, fields.domain, memberQualified, fields.method);
+        // Lex against the kernel-meta grammar set explicitly — bypasses
+        // both the global GrammarRegistry and PathTypeRegistry. Lets this
+        // run during bootstrap *before* the kernel-meta navigation has
+        // been registered (compileDomain produces these refs while still
+        // assembling the kernel-meta domain).
+        const result = parseStepsWith(raw, KERNEL_META_PATH_GRAMMARS);
+        if (result.errors.length > 0) {
+            throw new PathParseError(raw, result.errors);
+        }
+        return buildMethodPath(result.steps, raw);
+    }
+    /** Alias of {@link mount}. */
+    get parent() {
+        return this.mount;
+    }
+    get isMounted() {
+        return !this.mount.isRoot;
+    }
+    get isRelative() {
+        return false;
+    }
+}
+/**
+ * Build a {@link PathType} for `MethodPath` bound to `d`. The
+ * `class` is `d`'s `Function` meta-class reference (the node kind addressed as
+ * a method of a class — hence the `MethodPath` name).
+ */
+export function makeMethodPathType(d) {
+    return {
+        name: 'MethodPath',
+        class: d.$.c('Function').path.class.raw,
+        segments: SEGMENTS,
+        matches: matchesMethodShape,
+        build: buildMethodPath,
+    };
+}
+function matchesMethodShape(steps) {
+    if (!matchesChain(SEGMENTS, steps))
+        return false;
+    const ofDomainStep = steps[steps.length - 2];
+    const methodStep = steps[steps.length - 1];
+    if (!ofDomainStep ||
+        ofDomainStep.kind !== 'traversal' ||
+        ofDomainStep.predicate?.kind !== 'property' ||
+        !methodStep ||
+        methodStep.kind !== 'traversal' ||
+        methodStep.predicate?.kind !== 'property') {
+        return false;
+    }
+    const v = ofDomainStep.predicate.value;
+    let memberName = null;
+    if (v.startsWith(CLASS_PREFIX))
+        memberName = v.slice(CLASS_PREFIX.length);
+    else if (v.startsWith(INTERFACE_PREFIX))
+        memberName = v.slice(INTERFACE_PREFIX.length);
+    else
+        return false;
+    if (memberName.length === 0 || memberName.includes('.'))
+        return false;
+    const method = methodStep.predicate.value;
+    return method.length > 0 && !method.includes('.');
+}
+function buildMethodPath(steps, raw) {
+    const methodStep = steps[steps.length - 1];
+    const ofDomainStep = steps[steps.length - 2];
+    const installedStep = steps[steps.length - 3];
+    if (!methodStep ||
+        methodStep.kind !== 'traversal' ||
+        methodStep.predicate?.kind !== 'property' ||
+        !ofDomainStep ||
+        ofDomainStep.kind !== 'traversal' ||
+        ofDomainStep.predicate?.kind !== 'property' ||
+        !installedStep ||
+        installedStep.kind !== 'traversal' ||
+        installedStep.predicate?.kind !== 'property') {
+        throw new PathParseError(raw, [
+            { kind: 'not-method', message: 'MethodPath shape mismatch', position: 0 },
+        ]);
+    }
+    const ofDomainSlug = ofDomainStep.predicate.value;
+    const isClass = ofDomainSlug.startsWith(CLASS_PREFIX);
+    const memberKind = isClass ? 'class' : 'interface';
+    const member = isClass
+        ? ofDomainSlug.slice(CLASS_PREFIX.length)
+        : ofDomainSlug.slice(INTERFACE_PREFIX.length);
+    const method = methodStep.predicate.value;
+    const domain = installedStep.predicate.value;
+    const mountSlugs = extractMountSlugs(steps);
+    const mount = mountSlugs.length === 0 ? AbsolutePath.root() : AbsolutePath.from(...mountSlugs);
+    const finalRaw = raw || serializeFromParts(mountSlugs, domain, ofDomainSlug, method);
+    return new MethodPath(steps, finalRaw, mount, domain, memberKind, member, method);
+}
+function extractMountSlugs(steps) {
+    const slugs = [];
+    for (let i = 0; i < steps.length - 3; i++) {
+        const s = steps[i];
+        if (s.kind !== 'traversal')
+            continue;
+        if (s.predicate?.kind === 'property')
+            slugs.push(s.predicate.value);
+    }
+    return slugs;
+}
+function qualifyMember(member, kind) {
+    if (member.startsWith(CLASS_PREFIX) || member.startsWith(INTERFACE_PREFIX))
+        return member;
+    return kind === 'class' ? `${CLASS_PREFIX}${member}` : `${INTERFACE_PREFIX}${member}`;
+}
+function serializeFromParts(mountSlugs, domain, memberQualified, method) {
+    const tail = `${DOMAIN_SEP}${domain}${DOMAIN_SEP}${memberQualified}${DOMAIN_SEP}${method}`;
+    return SEPARATOR_CHAR + [...mountSlugs, tail].join(SEPARATOR_CHAR);
+}
+//# sourceMappingURL=method.js.map

package/dist/domain/addressing/paths/method.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"method.js","sourceRoot":"","sources":["../../../../domain/addressing/paths/method.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAC/E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAEzF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAiB5D,MAAM,QAAQ,GAAG,CAAC,eAAe,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,CAAU,CAAA;AAEjG;;;;;;GAMG;AACH,MAAM,OAAO,UAAW,SAAQ,IAAI;IACzB,KAAK,CAAc;IACnB,MAAM,CAAQ;IACd,UAAU,CAAuB;IACjC,MAAM,CAAQ;IACd,MAAM,CAAQ;IAEvB,YACE,KAAsB,EACtB,GAAW,EACX,KAAmB,EACnB,MAAc,EACd,UAAiC,EACjC,MAAc,EACd,MAAc;QAEd,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;IAED,4DAA4D;IAE5D,uEAAuE;IACvE,MAAM,CAAC,SAAS,CAAC,IAAU;QACzB,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IAC9C,CAAC;IAED,4DAA4D;IAE5D,MAAM,CAAU,KAAK,CAAC,GAAW;QAC/B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;QACxB,IAAI,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,cAAc,CAAC,GAAG,EAAE;gBAC5B,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE;aAC1E,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,MAAM,CAAU,QAAQ,CAAC,GAAW;QAClC,IAAI,CAAC;YACH,OAAO,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC9B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,MAAM,CAAC,IAAI,CAAC,MAAoB,EAAE,OAA2B;QAC3D,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,YAAY,CAAC,IAAI,EAAE,CAAA;QACtE,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;QACvE,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC1F,gEAAgE;QAChE,kEAAkE;QAClE,+DAA+D;QAC/D,iEAAiE;QACjE,sCAAsC;QACtC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,yBAAyB,CAAC,CAAA;QAC7D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC3C,CAAC;IAED,8BAA8B;IAC9B,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAA;IACnB,CAAC;IAED,IAAI,SAAS;QACX,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;IAC3B,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAiB;IAClD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;QACvC,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,eAAe;KACvB,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAsB;IAChD,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAChD,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC5C,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC1C,IACE,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,WAAW;QACjC,YAAY,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;QAC3C,CAAC,UAAU;QACX,UAAU,CAAC,IAAI,KAAK,WAAW;QAC/B,UAAU,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU,EACzC,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,CAAC,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAA;IACtC,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;SACpE,IAAI,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC;QAAE,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;;QACjF,OAAO,KAAK,CAAA;IACjB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAA;IACrE,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAA;IACzC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,eAAe,CAAC,KAAsB,EAAE,GAAW;IAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC5C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC7C,IACE,CAAC,UAAU;QACX,UAAU,CAAC,IAAI,KAAK,WAAW;QAC/B,UAAU,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;QACzC,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,WAAW;QACjC,YAAY,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;QAC3C,CAAC,aAAa;QACd,aAAa,CAAC,IAAI,KAAK,WAAW;QAClC,aAAa,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU,EAC5C,CAAC;QACD,MAAM,IAAI,cAAc,CAAC,GAAG,EAAE;YAC5B,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE;SAC1E,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAA;IACjD,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;IACrD,MAAM,UAAU,GAA0B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAA;IACzE,MAAM,MAAM,GAAG,OAAO;QACpB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC;QACzC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;IAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAA;IACzC,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,KAAK,CAAA;IAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAA;IAC9F,MAAM,QAAQ,GAAG,GAAG,IAAI,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAA;IACpF,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAsB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,SAAQ;QACpC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,IAA2B;IAChE,IAAI,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC;QAAE,OAAO,MAAM,CAAA;IACzF,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,gBAAgB,GAAG,MAAM,EAAE,CAAA;AACvF,CAAC;AAED,SAAS,kBAAkB,CACzB,UAA6B,EAC7B,MAAc,EACd,eAAuB,EACvB,MAAc;IAEd,MAAM,IAAI,GAAG,GAAG,UAAU,GAAG,MAAM,GAAG,UAAU,GAAG,eAAe,GAAG,UAAU,GAAG,MAAM,EAAE,CAAA;IAC1F,OAAO,cAAc,GAAG,CAAC,GAAG,UAAU,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;AACpE,CAAC"}

package/dist/domain/addressing/paths/zod.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Zod schema factories for DomainPath variants.
+ *
+ * See `#graph/nav/path/zod` for the `pathLike` factory and the base
+ * `pathSchema` — this file only owns the domain-flavored subtypes.
+ */
+import { ClassPath, DomainPath, InstanceMethodPath, InterfacePath, MethodPath } from '#domain/addressing/paths';
+/** DomainPath or any subclass (ClassPath, InterfacePath, MethodPath). */
+export declare const domainPathSchema: () => import("zod").ZodType<DomainPath, string | DomainPath, import("zod/v4/core").$ZodTypeInternals<DomainPath, string | DomainPath>>;
+/** ClassPath only. */
+export declare const classPathSchema: () => import("zod").ZodType<ClassPath, string | ClassPath, import("zod/v4/core").$ZodTypeInternals<ClassPath, string | ClassPath>>;
+/** InterfacePath only. */
+export declare const interfacePathSchema: () => import("zod").ZodType<InterfacePath, string | InterfacePath, import("zod/v4/core").$ZodTypeInternals<InterfacePath, string | InterfacePath>>;
+/** MethodPath only. */
+export declare const methodPathSchema: () => import("zod").ZodType<MethodPath, string | MethodPath, import("zod/v4/core").$ZodTypeInternals<MethodPath, string | MethodPath>>;
+/** InstanceMethodPath only (tail `::methodName`). */
+export declare const instanceMethodPathSchema: () => import("zod").ZodType<InstanceMethodPath, string | InstanceMethodPath, import("zod/v4/core").$ZodTypeInternals<InstanceMethodPath, string | InstanceMethodPath>>;
+//# sourceMappingURL=zod.d.ts.map

package/dist/domain/addressing/paths/zod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.d.ts","sourceRoot":"","sources":["../../../../domain/addressing/paths/zod.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,SAAS,EACT,UAAU,EACV,kBAAkB,EAClB,aAAa,EACb,UAAU,EACX,MAAM,0BAA0B,CAAA;AAGjC,yEAAyE;AACzE,eAAO,MAAM,gBAAgB,wIAAoD,CAAA;AAEjF,sBAAsB;AACtB,eAAO,MAAM,eAAe,oIAAwD,CAAA;AAEpF,0BAA0B;AAC1B,eAAO,MAAM,mBAAmB,oJAAoE,CAAA;AAEpG,uBAAuB;AACvB,eAAO,MAAM,gBAAgB,wIAA2D,CAAA;AAExF,qDAAqD;AACrD,eAAO,MAAM,wBAAwB,wKAIpC,CAAA"}

package/dist/domain/addressing/paths/zod.js

@@ -0,0 +1,19 @@
+/**
+ * Zod schema factories for DomainPath variants.
+ *
+ * See `#graph/nav/path/zod` for the `pathLike` factory and the base
+ * `pathSchema` — this file only owns the domain-flavored subtypes.
+ */
+import { ClassPath, DomainPath, InstanceMethodPath, InterfacePath, MethodPath, } from '#domain/addressing/paths';
+import { pathLike } from '#graph/nav/path/zod';
+/** DomainPath or any subclass (ClassPath, InterfacePath, MethodPath). */
+export const domainPathSchema = pathLike(DomainPath, 'DomainPath', 'path:domain');
+/** ClassPath only. */
+export const classPathSchema = pathLike(ClassPath, 'ClassPath', 'path:domain.class');
+/** InterfacePath only. */
+export const interfacePathSchema = pathLike(InterfacePath, 'InterfacePath', 'path:domain.interface');
+/** MethodPath only. */
+export const methodPathSchema = pathLike(MethodPath, 'MethodPath', 'path:domain.method');
+/** InstanceMethodPath only (tail `::methodName`). */
+export const instanceMethodPathSchema = pathLike(InstanceMethodPath, 'InstanceMethodPath', 'path:instance-method');
+//# sourceMappingURL=zod.js.map

package/dist/domain/addressing/paths/zod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.js","sourceRoot":"","sources":["../../../../domain/addressing/paths/zod.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,SAAS,EACT,UAAU,EACV,kBAAkB,EAClB,aAAa,EACb,UAAU,GACX,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAE9C,yEAAyE;AACzE,MAAM,CAAC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,UAAU,EAAE,YAAY,EAAE,aAAa,CAAC,CAAA;AAEjF,sBAAsB;AACtB,MAAM,CAAC,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,mBAAmB,CAAC,CAAA;AAEpF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,aAAa,EAAE,eAAe,EAAE,uBAAuB,CAAC,CAAA;AAEpG,uBAAuB;AACvB,MAAM,CAAC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,UAAU,EAAE,YAAY,EAAE,oBAAoB,CAAC,CAAA;AAExF,qDAAqD;AACrD,MAAM,CAAC,MAAM,wBAAwB,GAAG,QAAQ,CAC9C,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,CACvB,CAAA"}

package/dist/domain/addressing/refs/build.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Build structured domain refs from a 2-group schema.
+ *
+ * Produces a DomainRefs object with rich entries — each carrying:
+ *   .ref   — grouped ref string ('class.Author')
+ *   .key   — domain-scoped key ('blog.acme.com:class.Author')
+ *   .path  — { domain, absolute, class } for members; { method, absolute } for methods
+ *
+ * Validates uniqueness across all groups — collisions throw at build time.
+ */
+import type { Schema } from '@astrale-os/kernel-dsl';
+import type { Layout } from '#domain/addressing/layout/types';
+import type { DomainOrigin } from '#domain/origin';
+import type { DomainRefs } from './types';
+/**
+ * Build structured refs from a schema and optional compiled core.
+ *
+ * Each def produces a rich MemberRefEntry with `.ref`, `.key`, `.path` (domain + absolute + class),
+ * plus one property per own method carrying a MethodRefEntry.
+ * Core entries (from CompiledCore) are merged into the `.core` group.
+ *
+ * The `layout` function resolves each ref to its absolute tree position.
+ * Validates that all ref strings are unique across all groups.
+ *
+ * @throws RefCollisionError if any ref string collides across groups
+ */
+/** Minimal contract for core data — only the paths map is needed to build core refs. */
+interface CorePaths {
+    readonly paths: Readonly<Record<string, unknown>>;
+}
+export declare function buildStructuredRefs<S extends Schema>(schema: S, origin: DomainOrigin, layout: Layout, compiledCore?: CorePaths): DomainRefs<S>;
+export {};
+//# sourceMappingURL=build.d.ts.map

package/dist/domain/addressing/refs/build.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.d.ts","sourceRoot":"","sources":["../../../../domain/addressing/refs/build.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAgC,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAGlF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAA;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AASlD,OAAO,KAAK,EACV,UAAU,EASX,MAAM,SAAS,CAAA;AAOhB;;;;;;;;;;;GAWG;AACH,wFAAwF;AACxF,UAAU,SAAS;IACjB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CAClD;AAED,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAClD,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,SAAS,GACvB,UAAU,CAAC,CAAC,CAAC,CAwBf"}

package/dist/domain/addressing/refs/build.js

@@ -0,0 +1,155 @@
+/**
+ * Build structured domain refs from a 2-group schema.
+ *
+ * Produces a DomainRefs object with rich entries — each carrying:
+ *   .ref   — grouped ref string ('class.Author')
+ *   .key   — domain-scoped key ('blog.acme.com:class.Author')
+ *   .path  — { domain, absolute, class } for members; { method, absolute } for methods
+ *
+ * Validates uniqueness across all groups — collisions throw at build time.
+ */
+import { Key } from '#domain/addressing/keys/key';
+import { ClassPath } from '#domain/addressing/paths/class';
+import { CLASS_PREFIX, INTERFACE_PREFIX } from '#domain/addressing/paths/constants';
+import { DomainPath } from '#domain/addressing/paths/domain';
+import { InterfacePath } from '#domain/addressing/paths/interface';
+import { MethodPath } from '#domain/addressing/paths/method';
+import { RefCollisionError } from './errors';
+import { Ref } from './ref';
+export function buildStructuredRefs(schema, origin, layout, compiledCore) {
+    const seen = new Set();
+    const interfaces = buildGroupRefs('interface', schema.interfaces, origin, layout, seen);
+    const classes = buildGroupRefs('class', schema.classes, origin, layout, seen);
+    const core = compiledCore ? buildCoreRefs(compiledCore, origin, layout, seen) : {};
+    return Object.freeze({
+        interfaces: Object.freeze(interfaces),
+        classes: Object.freeze(classes),
+        core: Object.freeze(core),
+    });
+}
+// ── Internals ───────────────────────────────────────────────────────────
+function buildGroupRefs(ns, defs, origin, layout, seen) {
+    const result = {};
+    for (const [name, def] of Object.entries(defs)) {
+        const ref = Ref.member(ns, name);
+        const refStr = ref.toString();
+        assertUnique(seen, refStr);
+        const refPath = {
+            domain: memberSemanticPath(origin, ref.qualified, name),
+            absolute: layout(ref),
+            class: ClassPath.from({ domain: origin, className: name }),
+        };
+        const methods = buildMethodEntries(ns, name, def, origin, layout, seen);
+        const properties = buildPropertyEntries(ns, name, def, origin, seen);
+        const accessors = Object.freeze({
+            m: (n) => methods[n],
+            p: (n) => properties[n],
+        });
+        const entry = {
+            ref: refStr,
+            key: Key.of(origin, ref).toString(),
+            path: Object.freeze(refPath),
+            $: accessors,
+            ...methods,
+            ...properties,
+        };
+        result[name] = Object.freeze(entry);
+    }
+    return result;
+}
+function buildMethodEntries(ns, owner, def, origin, layout, seen) {
+    const methods = def.config.methods;
+    if (!methods)
+        return {};
+    const out = {};
+    for (const methodName of Object.keys(methods)) {
+        const mRef = Ref.method(ns, owner, methodName);
+        const mRefStr = mRef.toString();
+        assertUnique(seen, mRefStr);
+        const mPath = {
+            method: methodSemanticPath(origin, mRef.qualified, mRef.child),
+            absolute: layout(mRef),
+        };
+        out[methodName] = Object.freeze({
+            ref: mRefStr,
+            key: Key.of(origin, mRef).toString(),
+            path: Object.freeze(mPath),
+        });
+    }
+    return out;
+}
+function buildPropertyEntries(ns, owner, def, origin, seen) {
+    const props = def.config.properties;
+    if (!props)
+        return {};
+    const out = {};
+    for (const propName of Object.keys(props)) {
+        const pRef = Ref.property(ns, owner, propName);
+        const pRefStr = pRef.toString();
+        assertUnique(seen, pRefStr);
+        out[propName] = Object.freeze({
+            ref: pRefStr,
+            key: Key.of(origin, pRef).toString(),
+        });
+    }
+    return out;
+}
+function buildCoreRefs(compiledCore, origin, layout, seen) {
+    const result = {};
+    for (const [name] of Object.entries(compiledCore.paths)) {
+        const ref = Ref.member('core', name);
+        const coreRef = ref.toString();
+        assertUnique(seen, coreRef);
+        const refPath = {
+            domain: DomainPath.from({ domain: origin, member: ref.qualified }),
+            absolute: layout(ref),
+        };
+        result[name] = Object.freeze({
+            ref: coreRef,
+            key: Key.of(origin, ref).toString(),
+            path: Object.freeze(refPath),
+        });
+    }
+    return result;
+}
+function assertUnique(seen, ref) {
+    if (seen.has(ref)) {
+        throw new RefCollisionError(ref);
+    }
+    seen.add(ref);
+}
+// ── Path constructors that dispatch on the member's namespace prefix ──────
+/**
+ * Build the typed semantic path for a class/interface/edge member.
+ *
+ * `qualified` is the namespace-prefixed slug (`class.X`, `interface.X`).
+ * `name` is the bare member name (`X`). Returns the appropriate typed path
+ * — a ClassPath, InterfacePath, or DomainPath fallback for unknown
+ * prefixes (e.g., `core.X`).
+ */
+function memberSemanticPath(origin, qualified, name) {
+    if (qualified.startsWith(CLASS_PREFIX)) {
+        return ClassPath.from({ domain: origin, className: name });
+    }
+    if (qualified.startsWith(INTERFACE_PREFIX)) {
+        return InterfacePath.from({ domain: origin, interfaceName: name });
+    }
+    return DomainPath.from({ domain: origin, member: qualified });
+}
+/**
+ * Build the typed semantic path for a method on a class or interface.
+ *
+ * `qualified` is the parent member's namespace-prefixed slug
+ * (`class.X` / `interface.X`). `child` is the bare method name.
+ */
+function methodSemanticPath(origin, qualified, child) {
+    // Caller passes the qualified `class.X` / `interface.X` form;
+    // `MethodPath` stores the field verbatim and emits `:qualified:` in the
+    // raw — preserving the namespace-qualified form for compile-domain
+    // semantic refs (`/:dom:interface.Foo:method`).
+    const memberKind = qualified.startsWith(INTERFACE_PREFIX)
+        ? 'interface'
+        : 'class';
+    return MethodPath.from({ domain: origin, member: qualified, memberKind, method: child });
+}
+//# sourceMappingURL=build.js.map

package/dist/domain/addressing/refs/build.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../../../domain/addressing/refs/build.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AASH,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAA;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAA;AACnF,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAA;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAA;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAA;AAc5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAC5C,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAqB3B,MAAM,UAAU,mBAAmB,CACjC,MAAS,EACT,MAAoB,EACpB,MAAc,EACd,YAAwB;IAExB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAE9B,MAAM,UAAU,GAAG,cAAc,CAC/B,WAAW,EACX,MAAM,CAAC,UAAoC,EAC3C,MAAM,EACN,MAAM,EACN,IAAI,CACL,CAAA;IACD,MAAM,OAAO,GAAG,cAAc,CAC5B,OAAO,EACP,MAAM,CAAC,OAAiC,EACxC,MAAM,EACN,MAAM,EACN,IAAI,CACL,CAAA;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAElF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;KAC1B,CAAkB,CAAA;AACrB,CAAC;AAED,2EAA2E;AAE3E,SAAS,cAAc,CACrB,EAAa,EACb,IAA4B,EAC5B,MAAoB,EACpB,MAAc,EACd,IAAiB;IAEjB,MAAM,MAAM,GAAmC,EAAE,CAAA;IAEjD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QAChC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,EAAgB,CAAA;QAC3C,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAE1B,MAAM,OAAO,GAAkB;YAC7B,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;YACvD,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC;YACrB,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;SAC3D,CAAA;QAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;QACvE,MAAM,UAAU,GAAG,oBAAoB,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;QAEpE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;YAC9B,CAAC,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5B,CAAC,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;SAChC,CAAC,CAAA;QAEF,MAAM,KAAK,GAA4B;YACrC,GAAG,EAAE,MAAM;YACX,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAe;YAChD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAC5B,CAAC,EAAE,SAAS;YACZ,GAAG,OAAO;YACV,GAAG,UAAU;SACd,CAAA;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAA8B,CAAA;IAClE,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAa,EACb,KAAa,EACb,GAAW,EACX,MAAoB,EACpB,MAAc,EACd,IAAiB;IAEjB,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,OAA4C,CAAA;IACvE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAA;IAEvB,MAAM,GAAG,GAAmC,EAAE,CAAA;IAC9C,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAgB,CAAA;QAC7C,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAE3B,MAAM,KAAK,GAAkB;YAC3B,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAM,CAAC;YAC/D,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC;SACvB,CAAA;QAED,GAAG,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;YAC9B,GAAG,EAAE,OAAO;YACZ,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAe;YACjD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;SAC3B,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,oBAAoB,CAC3B,EAAa,EACb,KAAa,EACb,GAAW,EACX,MAAoB,EACpB,IAAiB;IAEjB,MAAM,KAAK,GAAI,GAAG,CAAC,MAAyC,CAAC,UAAU,CAAA;IACvE,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAA;IAErB,MAAM,GAAG,GAAqC,EAAE,CAAA;IAChD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAgB,CAAA;QAC7C,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAE3B,GAAG,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;YAC5B,GAAG,EAAE,OAAO;YACZ,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAe;SAClD,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,aAAa,CACpB,YAAuB,EACvB,MAAoB,EACpB,MAAc,EACd,IAAiB;IAEjB,MAAM,MAAM,GAA+C,EAAE,CAAA;IAE7D,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,EAAsB,CAAA;QAClD,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAE3B,MAAM,OAAO,GAAY;YACvB,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;YAClE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC;SACtB,CAAA;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;YAC3B,GAAG,EAAE,OAAO;YACZ,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAiC;YAClE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;SAC7B,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,YAAY,CAAC,IAAiB,EAAE,GAAW;IAClD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAA;IAClC,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACf,CAAC;AAED,6EAA6E;AAE7E;;;;;;;GAOG;AACH,SAAS,kBAAkB,CACzB,MAAoB,EACpB,SAAiB,EACjB,IAAY;IAEZ,IAAI,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC5D,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC3C,OAAO,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;AAC/D,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,MAAoB,EAAE,SAAiB,EAAE,KAAa;IAChF,8DAA8D;IAC9D,wEAAwE;IACxE,mEAAmE;IACnE,gDAAgD;IAChD,MAAM,UAAU,GAA0B,SAAS,CAAC,UAAU,CAAC,gBAAgB,CAAC;QAC9E,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,OAAO,CAAA;IACX,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;AAC1F,CAAC"}