@astrale-os/kernel-client 0.2.4 → 0.3.1

package/dist/schema/bound/bound-node.d.ts

@@ -0,0 +1,89 @@
+import type { AbsolutePath, Node, NodeId } from '@astrale-os/kernel-core';
+import type { ClassPath } from '@astrale-os/kernel-core/domain';
+import type { ExtractFullProperties, Schema } from '@astrale-os/kernel-dsl';
+import type { DefOf, InstanceDispatch, TypeNames } from '../proxy-types';
+import type { BindCtx, NodeBinder } from './binder';
+/** Inert value for pure `core/` functions — no session, no methods. */
+export interface BoundSnapshot<D> {
+    readonly id: NodeId;
+    readonly path: AbsolutePath;
+    readonly typeName: string;
+    readonly props: ExtractFullProperties<D>;
+    readonly raw: Node;
+}
+/**
+ * A client capability wrapping a PURE kernel-core `Node` (`raw`, never mutated).
+ * A snapshot, never live — `refresh()` mints a new one.
+ *
+ * `D` is the def (class or interface) it was bound as; `S` is the schema's type
+ * universe, needed by `is`/`out`/`in`. `S` defaults so SDK/docs can say `BoundNode<D>`.
+ */
+export interface BoundNode<D, S extends Schema = Schema> {
+    readonly id: NodeId;
+    readonly path: AbsolutePath;
+    readonly class: ClassPath;
+    /** The schema key this node was bound as — class OR interface name. */
+    readonly typeName: string;
+    /** SHORT-keyed, schema-typed. Missing required prop = typed-undefined + `console.warn`. */
+    readonly props: ExtractFullProperties<D>;
+    /** The untouched pure value. Qualified wire prop keys live here. */
+    readonly raw: Node;
+    /** Typed instance dispatch on this node — address-only, no read. */
+    readonly call: InstanceDispatch<D>;
+    /** Typed partial prop update through the standard `updateNode` mutate shorthand. */
+    update(props: Partial<ExtractFullProperties<D>>): Promise<void>;
+    is<T extends TypeNames<S>>(type: T): this is BoundNode<DefOf<S, T>, S>;
+    /** Own-schema edge name → endpoint + cardinality typed. */
+    out<E extends EdgeNames<S>>(edge: E): Promise<EndpointsOf<S, E, 'to'>>;
+    /** Foreign/kernel edge — `K.$.c('extends_with').path.class`. Honest widening. */
+    out(edge: ClassPath): Promise<AnyBoundNode<S>[]>;
+    in<E extends EdgeNames<S>>(edge: E): Promise<EndpointsOf<S, E, 'from'>>;
+    in(edge: ClassPath): Promise<AnyBoundNode<S>[]>;
+    snapshot(): BoundSnapshot<D>;
+    /** Explicit re-fetch → NEW BoundNode; this one is immutable. */
+    refresh(): Promise<BoundNode<D, S>>;
+}
+/**
+ * ONE concrete classless type — deliberately NOT the all-classes union.
+ * `is()` is the only door back into typed land.
+ */
+export interface AnyBoundNode<S extends Schema = Schema> {
+    readonly id: NodeId;
+    readonly path: AbsolutePath;
+    readonly class: ClassPath;
+    readonly typeName: string;
+    readonly props: Readonly<Record<string, unknown>>;
+    readonly raw: Node;
+    is<T extends TypeNames<S>>(type: T): this is BoundNode<DefOf<S, T>, S>;
+}
+/** Edge-class keys of S — what the typed `out`/`in` overload accepts. */
+export type EdgeNames<S extends Schema> = {
+    [K in keyof S['classes'] & string]: S['classes'][K] extends {
+        readonly __kind: 'edge-class';
+    } ? K : never;
+}[keyof S['classes'] & string];
+type BindEndpoint<S extends Schema, T> = T extends S['classes'][keyof S['classes']] ? BoundNode<T, S> : AnyBoundNode<S>;
+/**
+ * Result of typed traversal. `Side`='to' for `out()`, 'from' for `in()`.
+ * `'1'`/`'0..1'` cardinality → single|null (masking outranks cardinality).
+ */
+export type EndpointsOf<S extends Schema, E extends EdgeNames<S>, Side extends 'from' | 'to'> = S['classes'][E] extends {
+    readonly [K in Side]: {
+        readonly types: readonly (infer T)[];
+        readonly cardinality?: infer C;
+    };
+} ? C extends '1' | '0..1' ? BindEndpoint<S, T> | null : BindEndpoint<S, T>[] : AnyBoundNode<S>[];
+/** Everything the binder resolves once and hands to a fresh BoundNode. */
+export interface BindEntry {
+    readonly typeName: string;
+    readonly kind: 'class' | 'interface';
+    readonly methods: ReadonlySet<string>;
+    readonly props: Record<string, unknown>;
+}
+/**
+ * Mint a BoundNode / AnyBoundNode over a pure Node. One impl serves both — the
+ * static type is the narrowing; the runtime is always honest by concrete class.
+ */
+export declare function createBoundNode<D, S extends Schema>(binder: NodeBinder<S>, entry: BindEntry, node: Node, ctx: BindCtx): BoundNode<D, S>;
+export {};
+//# sourceMappingURL=bound-node.d.ts.map

package/dist/schema/bound/bound-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bound-node.d.ts","sourceRoot":"","sources":["../../../src/schema/bound/bound-node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE3E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAe,SAAS,EAAE,MAAM,gBAAgB,CAAA;AACrF,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAOnD,uEAAuE;AACvE,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAA;IACxC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACrD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,2FAA2F;IAC3F,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAA;IACxC,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAA;IAClB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAA;IAElC,oFAAoF;IACpF,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAE/D,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtE,2DAA2D;IAC3D,GAAG,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;IACtE,iFAAiF;IACjF,GAAG,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAChD,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;IACvE,EAAE,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAE/C,QAAQ,IAAI,aAAa,CAAC,CAAC,CAAC,CAAA;IAC5B,gEAAgE;IAChE,OAAO,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IACrD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IACjD,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAA;IAClB,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACvE;AAED,yEAAyE;AACzE,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;KAAE,GACzF,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAA;AAG9B,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,GAC/E,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,YAAY,CAAC,CAAC,CAAC,CAAA;AAEnB;;;GAGG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EACtB,IAAI,SAAS,MAAM,GAAG,IAAI,IACxB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;IAC1B,QAAQ,EAAE,CAAC,IAAI,IAAI,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAA;KAAE;CAC/F,GACG,CAAC,SAAS,GAAG,GAAG,MAAM,GACpB,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GACzB,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GACtB,YAAY,CAAC,CAAC,CAAC,EAAE,CAAA;AAIrB,0EAA0E;AAC1E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACxC;AAkBD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EACjD,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EACrB,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,IAAI,EACV,GAAG,EAAE,OAAO,GACX,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CA8DjB"}

package/dist/schema/bound/bound-node.js

@@ -0,0 +1,77 @@
+import { resolveNeighbors } from '../../graph/query/traverse';
+import { createInstanceProxy } from '../node-proxy';
+const NO_CALLER = () => Promise.reject(new Error('BoundNode.call is unavailable — this view has no dispatch capability'));
+const noRead = () => {
+    throw new Error('BoundNode traversal/refresh is unavailable — this view has no read capability');
+};
+const noWrite = () => {
+    throw new Error('BoundNode.update is unavailable — this view has no write capability');
+};
+/** The address a node dispatches / re-reads by: `@id` when identified, else its path. */
+function nodeRef(node) {
+    return node.id ? `@${node.id}` : node.path.raw;
+}
+/**
+ * Mint a BoundNode / AnyBoundNode over a pure Node. One impl serves both — the
+ * static type is the narrowing; the runtime is always honest by concrete class.
+ */
+export function createBoundNode(binder, entry, node, ctx) {
+    const props = Object.freeze(entry.props);
+    let callProxy;
+    const traverse = async (edge, direction) => {
+        if (ctx.read === null)
+            return noRead();
+        const edgeClass = typeof edge === 'string' ? binder.edgeClassPath(edge).raw : edge.raw;
+        const found = await resolveNeighbors(node, edgeClass, direction, {
+            read: ctx.read,
+            envelope: ctx.envelope,
+            gathered: ctx.gathered,
+        });
+        const bound = found.map((n) => binder.bindEndpoint(n, ctx));
+        if (typeof edge !== 'string')
+            return bound;
+        return binder.isSingle(edge, direction) ? (bound[0] ?? null) : bound;
+    };
+    const self = {
+        id: node.id,
+        path: node.path,
+        class: node.class,
+        typeName: entry.typeName,
+        props: props,
+        raw: node,
+        get call() {
+            return (callProxy ??= createInstanceProxy(ctx.caller ?? NO_CALLER, nodeRef(node), entry.methods, entry.kind === 'class' ? entry.typeName : undefined));
+        },
+        async update(updateProps) {
+            if (!ctx.write)
+                return noWrite();
+            const { write } = binder.resolveWriteProps(node.class, updateProps);
+            await ctx.write.updateNode(node.class, nodeRef(node), write);
+        },
+        is(type) {
+            return binder.implementsType(node.class, type);
+        },
+        out: ((edge) => traverse(edge, 'out')),
+        in: ((edge) => traverse(edge, 'in')),
+        snapshot() {
+            return {
+                id: node.id,
+                path: node.path,
+                typeName: entry.typeName,
+                props: props,
+                raw: node,
+            };
+        },
+        async refresh() {
+            if (ctx.read === null)
+                return noRead();
+            const fresh = await ctx.read.get(nodeRef(node));
+            if (fresh === null) {
+                throw new Error(`refresh() failed — ${nodeRef(node)} is no longer readable`);
+            }
+            return binder.bind(entry.typeName, fresh, ctx);
+        },
+    };
+    return self;
+}
+//# sourceMappingURL=bound-node.js.map

package/dist/schema/bound/bound-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bound-node.js","sourceRoot":"","sources":["../../../src/schema/bound/bound-node.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAsGnD,MAAM,SAAS,GAAgB,GAAG,EAAE,CAClC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC,CAAA;AAEnG,MAAM,MAAM,GAAG,GAAU,EAAE;IACzB,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAA;AAClG,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,GAAU,EAAE;IAC1B,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAA;AACxF,CAAC,CAAA;AAED,yFAAyF;AACzF,SAAS,OAAO,CAAC,IAAU;IACzB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;AAChD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAqB,EACrB,KAAgB,EAChB,IAAU,EACV,GAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACxC,IAAI,SAA0C,CAAA;IAE9C,MAAM,QAAQ,GAAG,KAAK,EAAE,IAAwB,EAAE,SAAuB,EAAoB,EAAE;QAC7F,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,MAAM,EAAE,CAAA;QACtC,MAAM,SAAS,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;QACtF,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE;YAC/D,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;SACvB,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;QAC3D,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QAC1C,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IACtE,CAAC,CAAA;IAED,MAAM,IAAI,GAAoB;QAC5B,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAiC;QACxC,GAAG,EAAE,IAAI;QACT,IAAI,IAAI;YACN,OAAO,CAAC,SAAS,KAAK,mBAAmB,CACvC,GAAG,CAAC,MAAM,IAAI,SAAS,EACvB,OAAO,CAAC,IAAI,CAAC,EACb,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAC7B,CAAC,CAAA;QAC3B,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,WAA8C;YACzD,IAAI,CAAC,GAAG,CAAC,KAAK;gBAAE,OAAO,OAAO,EAAE,CAAA;YAChC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAsC,CAAC,CAAA;YAC9F,MAAM,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAA;QAC9D,CAAC;QACD,EAAE,CAAyB,IAAO;YAChC,OAAO,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAChD,CAAC;QACD,GAAG,EAAE,CAAC,CAAC,IAAwB,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAA2B;QACpF,EAAE,EAAE,CAAC,CAAC,IAAwB,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAA0B;QACjF,QAAQ;YACN,OAAO;gBACL,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,KAAK,EAAE,KAAiC;gBACxC,GAAG,EAAE,IAAI;aACV,CAAA;QACH,CAAC;QACD,KAAK,CAAC,OAAO;YACX,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,MAAM,EAAE,CAAA;YACtC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;YAC/C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,sBAAsB,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;YAC9E,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAwB,EAAE,KAAK,EAAE,GAAG,CAA+B,CAAA;QAC9F,CAAC;KACF,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC"}

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

@@ -0,0 +1,10 @@
+export { createBoundNode } from './bound-node';
+export type { AnyBoundNode, BoundNode, BoundSnapshot, EdgeNames, EndpointsOf } from './bound-node';
+export { BindTypeMismatchError, createNodeBinder } from './binder';
+export type { BindCtx, BindOptions, NodeBinder } from './binder';
+export { resolveNeighbors } from '../../graph/query/traverse';
+export { createSchemaBoundView, defaultCaller, normalizeRef } from './view';
+export type { CreateSchemaBoundViewOpts, NodeRefInput, SchemaBoundView } from './view';
+export type { DefOf, TypeNames } from '../proxy-types';
+export type { CreatableClassNames, CreateProps } from './write-props';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schema/bound/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAClG,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAClE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAA;AAC3E,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAA;AACtF,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AACtD,YAAY,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA"}

package/dist/schema/bound/index.js

@@ -0,0 +1,5 @@
+export { createBoundNode } from './bound-node';
+export { BindTypeMismatchError, createNodeBinder } from './binder';
+export { resolveNeighbors } from '../../graph/query/traverse';
+export { createSchemaBoundView, defaultCaller, normalizeRef } from './view';
+//# sourceMappingURL=index.js.map

package/dist/schema/bound/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schema/bound/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE9C,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAElE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAC7D,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAA"}

package/dist/schema/bound/view.d.ts

@@ -0,0 +1,48 @@
+import type { CredentialInput, Node, PathLike } from '@astrale-os/kernel-core';
+import type { Schema } from '@astrale-os/kernel-dsl';
+import type { FnMap } from '../../client/fn-map';
+import type { BoundClientSessionView } from '../../session/types';
+import type { ClassNames, DefOf, InstanceDispatch, ProxyCaller, StaticDispatch, TypeNames } from '../proxy-types';
+import type { BindOptions } from './binder';
+import type { AnyBoundNode, BoundNode } from './bound-node';
+import type { CreatableClassNames, CreateProps } from './write-props';
+/** `@id`, a tree path, a typed Path — or a bare node id (interpreted as `@<id>`). */
+export type NodeRefInput = PathLike;
+/**
+ * The callable schema-bound surface. The BARE CALL is dispatch:
+ *   view(type)        → statics (concrete classes only — wire needs a class path)
+ *   view(type, ref)   → instance methods, read-free (interfaces allowed — wire is `@id::method`)
+ */
+export interface SchemaBoundView<S extends Schema, M extends FnMap = FnMap> {
+    <T extends ClassNames<S>>(type: T): StaticDispatch<DefOf<S, T>>;
+    <T extends TypeNames<S>>(type: T, ref: NodeRefInput): InstanceDispatch<DefOf<S, T>>;
+    /** Typed read. ALWAYS two-arg — `raw.get` is the untyped read shorthand. */
+    node<T extends TypeNames<S>>(type: T, ref: NodeRefInput, opts?: BindOptions): Promise<BoundNode<DefOf<S, T>, S> | null>;
+    /** Batched multi-ref read — ONE `function.get`, order-preserving, `null` per miss. */
+    node<T extends TypeNames<S>>(type: T, refs: readonly NodeRefInput[], opts?: BindOptions): Promise<(BoundNode<DefOf<S, T>, S> | null)[]>;
+    /** Typed create for concrete node classes; returns a bound node without an extra read. */
+    create<T extends CreatableClassNames<S>>(type: T, at: NodeRefInput, props: CreateProps<DefOf<S, T>>): Promise<BoundNode<DefOf<S, T>, S>>;
+    /** Adopt a Node in hand — zero reads. Class mismatch throws `BindTypeMismatchError`. */
+    bind<T extends TypeNames<S>>(type: T, node: Node, opts?: BindOptions): BoundNode<DefOf<S, T>, S>;
+    /** Classless adoption; `.is()` to upgrade. */
+    bindAny(node: Node): AnyBoundNode<S>;
+    /** The untyped `BoundClientSessionView` — COMPOSED, not extended. No name collisions. */
+    readonly raw: BoundClientSessionView<M>;
+    readonly schema: S;
+    /** Fresh view, one principal, welded. Never mutates. */
+    as(credential: CredentialInput | (() => CredentialInput)): SchemaBoundView<S, M>;
+}
+export type CreateSchemaBoundViewOpts<M extends FnMap> = {
+    /** SDK injection seam for audience-aware routing. Defaults to dispatch through the view. */
+    makeDispatch?: (raw: BoundClientSessionView<M>) => ProxyCaller;
+};
+/** A `ProxyCaller` that dispatches through a bound view's `call`. */
+export declare function defaultCaller<M extends FnMap>(view: BoundClientSessionView<M>): ProxyCaller;
+/** `@id`/tree-path/`:member` verbatim; a typed Path → its raw; anything else → `@<id>`. */
+export declare function normalizeRef(ref: NodeRefInput): string;
+/**
+ * Assemble the callable `SchemaBoundView` over a bound session view. The bare
+ * call is dispatch; `node/bind/bindAny/raw/schema/as` are named members.
+ */
+export declare function createSchemaBoundView<S extends Schema, M extends FnMap>(view: BoundClientSessionView<M>, schema: S, opts?: CreateSchemaBoundViewOpts<M>): SchemaBoundView<S, M>;
+//# sourceMappingURL=view.d.ts.map

package/dist/schema/bound/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../src/schema/bound/view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAU,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACtF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAIpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAEhD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AACjE,OAAO,KAAK,EACV,UAAU,EACV,KAAK,EACL,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,SAAS,EACV,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAW,WAAW,EAAE,MAAM,UAAU,CAAA;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAOrE,qFAAqF;AACrF,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAA;AAEnC;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,KAAK,GAAG,KAAK;IACxE,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEnF,4EAA4E;IAC5E,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EACzB,IAAI,EAAE,CAAC,EACP,GAAG,EAAE,YAAY,EACjB,IAAI,CAAC,EAAE,WAAW,GACjB,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IAC5C,sFAAsF;IACtF,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EACzB,IAAI,EAAE,CAAC,EACP,IAAI,EAAE,SAAS,YAAY,EAAE,EAC7B,IAAI,CAAC,EAAE,WAAW,GACjB,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;IAEhD,0FAA0F;IAC1F,MAAM,CAAC,CAAC,SAAS,mBAAmB,CAAC,CAAC,CAAC,EACrC,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC9B,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAErC,wFAAwF;IACxF,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAChG,8CAA8C;IAC9C,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAEpC,yFAAyF;IACzF,QAAQ,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,wDAAwD;IACxD,EAAE,CAAC,UAAU,EAAE,eAAe,GAAG,CAAC,MAAM,eAAe,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACjF;AAED,MAAM,MAAM,yBAAyB,CAAC,CAAC,SAAS,KAAK,IAAI;IACvD,4FAA4F;IAC5F,YAAY,CAAC,EAAE,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC,CAAC,KAAK,WAAW,CAAA;CAC/D,CAAA;AAED,qEAAqE;AACrE,wBAAgB,aAAa,CAAC,CAAC,SAAS,KAAK,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC,GAAG,WAAW,CAW3F;AAED,2FAA2F;AAC3F,wBAAgB,YAAY,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAGtD;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,KAAK,EACrE,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC,EAC/B,MAAM,EAAE,CAAC,EACT,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC,CAAC,GAClC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAqEvB"}

package/dist/schema/bound/view.js

@@ -0,0 +1,90 @@
+import { AbsolutePath, rawOf } from '@astrale-os/kernel-core';
+import { createClassProxy } from '../class-proxy';
+import { extractMethodsByType } from '../extract';
+import { createInstanceProxy } from '../node-proxy';
+import { createNodeBinder } from './binder';
+/** A `ProxyCaller` that dispatches through a bound view's `call`. */
+export function defaultCaller(view) {
+    return (method, params, credential, callOpts) => {
+        const opts = {};
+        if (callOpts?.timeout !== undefined)
+            opts.timeout = callOpts.timeout;
+        if (callOpts?.signal !== undefined)
+            opts.signal = callOpts.signal;
+        if (callOpts?.class !== undefined)
+            opts.class = callOpts.class;
+        if (callOpts?.correlationId !== undefined)
+            opts.correlationId = callOpts.correlationId;
+        if (callOpts?.url !== undefined)
+            opts.url = callOpts.url;
+        if (credential !== undefined)
+            opts.credential = credential;
+        return view.call(method, params, opts);
+    };
+}
+/** `@id`/tree-path/`:member` verbatim; a typed Path → its raw; anything else → `@<id>`. */
+export function normalizeRef(ref) {
+    if (typeof ref !== 'string')
+        return rawOf(ref);
+    return ref.startsWith('/') || ref.startsWith('@') || ref.startsWith(':') ? ref : `@${ref}`;
+}
+/**
+ * Assemble the callable `SchemaBoundView` over a bound session view. The bare
+ * call is dispatch; `node/bind/bindAny/raw/schema/as` are named members.
+ */
+export function createSchemaBoundView(view, schema, opts) {
+    const caller = opts?.makeDispatch?.(view) ?? defaultCaller(view);
+    const binder = createNodeBinder(schema);
+    const methodsByType = extractMethodsByType(schema);
+    const hasWrite = typeof view.createNode === 'function' && typeof view.updateNode === 'function';
+    const ctx = { caller, read: view, write: hasWrite ? view : null };
+    const methodsOf = (type) => methodsByType.get(type)?.methods;
+    const classHintOf = (type) => methodsByType.get(type)?.kind === 'class' ? type : undefined;
+    const dispatch = (type, ref) => ref === undefined
+        ? createClassProxy(caller, schema.domain, type, asSet(methodsOf(type)))
+        : createInstanceProxy(caller, normalizeRef(ref), methodsOf(type), classHintOf(type));
+    async function node(type, refOrRefs, bindOpts) {
+        if (Array.isArray(refOrRefs)) {
+            const refs = refOrRefs.map(normalizeRef);
+            const { graph } = await view.query((q) => q.from(...refs));
+            return refs.map((ref) => {
+                const found = graph.nodes.get(ref);
+                return found ? binder.bind(type, found, ctx, bindOpts) : null;
+            });
+        }
+        const found = await view.get(normalizeRef(refOrRefs));
+        return found ? binder.bind(type, found, ctx, bindOpts) : null;
+    }
+    async function create(type, at, createProps) {
+        if (!ctx.write) {
+            throw new Error('SchemaBoundView.create is unavailable — this view has no write capability');
+        }
+        const classPath = binder.nodeClassPath(type);
+        const props = binder.resolveWriteProps(classPath, createProps);
+        const rawAt = rawOf(at);
+        const path = AbsolutePath.parse(rawAt);
+        const id = await ctx.write.createNode(classPath, at, props.write);
+        const node = {
+            id: id,
+            class: classPath,
+            path,
+            props: props.wire,
+        };
+        return binder.bind(type, node, ctx);
+    }
+    const members = {
+        node,
+        create,
+        bind: (type, n, bindOpts) => binder.bind(type, n, ctx, bindOpts),
+        bindAny: (n) => binder.bindAny(n, ctx),
+        raw: view,
+        schema,
+        as: (credential) => createSchemaBoundView(view.as(credential), schema, opts),
+    };
+    return Object.assign(dispatch, members);
+}
+// `createClassProxy` still takes a mutable `Set`; the allow-list is read-only here.
+function asSet(methods) {
+    return methods ? new Set(methods) : undefined;
+}
+//# sourceMappingURL=view.js.map

package/dist/schema/bound/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../src/schema/bound/view.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAiB7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAmD3C,qEAAqE;AACrE,MAAM,UAAU,aAAa,CAAkB,IAA+B;IAC5E,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE;QAC9C,MAAM,IAAI,GAA6B,EAAE,CAAA;QACzC,IAAI,QAAQ,EAAE,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;QACpE,IAAI,QAAQ,EAAE,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAA;QACjE,IAAI,QAAQ,EAAE,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAA;QAC9D,IAAI,QAAQ,EAAE,aAAa,KAAK,SAAS;YAAE,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAA;QACtF,IAAI,QAAQ,EAAE,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAA;QACxD,IAAI,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC1D,OAAO,IAAI,CAAC,IAAI,CAAC,MAAe,EAAE,MAAe,EAAE,IAAI,CAAC,CAAA;IAC1D,CAAC,CAAA;AACH,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,YAAY,CAAC,GAAiB;IAC5C,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAA;IAC9C,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;AAC5F,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAA+B,EAC/B,MAAS,EACT,IAAmC;IAEnC,MAAM,MAAM,GAAG,IAAI,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAA;IAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,OAAO,IAAI,CAAC,UAAU,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,UAAU,CAAA;IAC/F,MAAM,GAAG,GAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IAE1E,MAAM,SAAS,GAAG,CAAC,IAAY,EAAmC,EAAE,CAClE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IAClC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAsB,EAAE,CACvD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAE9D,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,GAAkB,EAAW,EAAE,CAC7D,GAAG,KAAK,SAAS;QACf,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA;IAExF,KAAK,UAAU,IAAI,CACjB,IAAY,EACZ,SAAiD,EACjD,QAAsB;QAEtB,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;YACxC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;YAC1D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAClC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAC/E,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAyB,CAAC,CAAC,CAAA;QACrE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/E,CAAC;IAED,KAAK,UAAU,MAAM,CACnB,IAAY,EACZ,EAAgB,EAChB,WAA8C;QAE9C,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAA;QAC9F,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;QAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,CAAA;QACvB,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACtC,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACjE,MAAM,IAAI,GAAS;YACjB,EAAE,EAAE,EAAY;YAChB,KAAK,EAAE,SAAS;YAChB,IAAI;YACJ,KAAK,EAAE,KAAK,CAAC,IAAI;SAClB,CAAA;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAoB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;IACrD,CAAC;IAED,MAAM,OAAO,GAAG;QACd,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,CAAC,IAAY,EAAE,CAAO,EAAE,QAAsB,EAAE,EAAE,CACtD,MAAM,CAAC,IAAI,CAAC,IAAoB,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC;QACrD,OAAO,EAAE,CAAC,CAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC;QAC5C,GAAG,EAAE,IAAI;QACT,MAAM;QACN,EAAE,EAAE,CAAC,UAAqD,EAAE,EAAE,CAC5D,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC;KAC3D,CAAA;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAqC,CAAA;AAC7E,CAAC;AAED,oFAAoF;AACpF,SAAS,KAAK,CAAC,OAAwC;IACrD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/C,CAAC"}

package/dist/schema/bound/write-props.d.ts

@@ -0,0 +1,38 @@
+import type { z } from '@astrale-os/kernel-core';
+import type { AnyDef, ExtractInherits, ExtractProperties, PropertyDef, Schema } from '@astrale-os/kernel-dsl';
+/** Concrete node classes that can be lowered through `createNode`. */
+export type CreatableClassNames<S extends Schema> = {
+    [K in keyof S['classes'] & string]: S['classes'][K] extends {
+        readonly __kind: 'edge-class';
+    } ? never : K;
+}[keyof S['classes'] & string];
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+};
+type PropSchema<P> = P extends PropertyDef<infer S> ? S : P;
+type PropValue<P> = PropSchema<P> extends z.ZodType<infer O> ? O : never;
+type AnyZod = z.ZodType;
+type IsOptionalSchema<S> = S extends z.ZodOptional<AnyZod> | z.ZodDefault<AnyZod> ? true : S extends z.ZodNullable<infer Inner extends AnyZod> ? IsOptionalSchema<Inner> : false;
+type IsOptionalProp<P> = IsOptionalSchema<PropSchema<P>>;
+type RequiredPropKeys<P> = {
+    [K in keyof P]-?: IsOptionalProp<P[K]> extends true ? never : K;
+}[keyof P];
+type OptionalPropKeys<P> = {
+    [K in keyof P]-?: IsOptionalProp<P[K]> extends true ? K : never;
+}[keyof P];
+type OwnCreateProps<D> = Simplify<{
+    [K in RequiredPropKeys<ExtractProperties<D>>]: PropValue<ExtractProperties<D>[K]>;
+} & {
+    [K in OptionalPropKeys<ExtractProperties<D>>]?: PropValue<ExtractProperties<D>[K]>;
+}>;
+type CollectAncestorCreateProps<T, Acc = unknown> = T extends readonly [
+    infer Head extends AnyDef,
+    ...infer Tail extends readonly AnyDef[]
+] ? CollectAncestorCreateProps<[...ExtractInherits<Head>, ...Tail], Acc & OwnCreateProps<Head>> : Acc;
+/**
+ * Create-time props for a concrete class: required Zod props required,
+ * `z.optional()`/`z.default()` props optional, inherited props included.
+ */
+export type CreateProps<D> = D extends AnyDef ? Simplify<Omit<CollectAncestorCreateProps<ExtractInherits<D>>, keyof OwnCreateProps<D>> & OwnCreateProps<D>> : never;
+export {};
+//# sourceMappingURL=write-props.d.ts.map

package/dist/schema/bound/write-props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-props.d.ts","sourceRoot":"","sources":["../../../src/schema/bound/write-props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,yBAAyB,CAAA;AAChD,OAAO,KAAK,EACV,MAAM,EACN,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,MAAM,EACP,MAAM,wBAAwB,CAAA;AAE/B,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,MAAM,IAAI;KACjD,CAAC,IAAI,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;KAAE,GACzF,KAAK,GACL,CAAC;CACN,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAA;AAE9B,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE3C,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAE3D,KAAK,SAAS,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAExE,KAAK,MAAM,GAAG,CAAC,CAAC,OAAO,CAAA;AAEvB,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAC7E,IAAI,GACJ,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,MAAM,CAAC,GACjD,gBAAgB,CAAC,KAAK,CAAC,GACvB,KAAK,CAAA;AAEX,KAAK,cAAc,CAAC,CAAC,IAAI,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AAExD,KAAK,gBAAgB,CAAC,CAAC,IAAI;KACxB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC;CAChE,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV,KAAK,gBAAgB,CAAC,CAAC,IAAI;KACxB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK;CAChE,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV,KAAK,cAAc,CAAC,CAAC,IAAI,QAAQ,CAC/B;KACG,CAAC,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAClF,GAAG;KACD,CAAC,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACnF,CACF,CAAA;AAED,KAAK,0BAA0B,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACrE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,0BAA0B,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,GAC3F,GAAG,CAAA;AAEP;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACzC,QAAQ,CACN,IAAI,CAAC,0BAA0B,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAC3E,cAAc,CAAC,CAAC,CAAC,CACpB,GACD,KAAK,CAAA"}

package/dist/schema/bound/write-props.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=write-props.js.map

package/dist/schema/bound/write-props.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-props.js","sourceRoot":"","sources":["../../../src/schema/bound/write-props.ts"],"names":[],"mappings":""}

package/dist/schema/extract.d.ts

@@ -6,4 +6,16 @@ import type { Schema } from '@astrale-os/kernel-dsl';
  * that appear in this set produce call thunks on the proxy.
  */
 export declare function extractMethodsByClass(schema: Schema): Map<string, Set<string>>;
+/** Per-type method allow-list, keyed by class OR interface name. */
+export interface TypeMethods {
+    readonly kind: 'class' | 'interface';
+    readonly methods: ReadonlySet<string>;
+}
+/**
+ * Method names per type name — classes AND interfaces (the def-keyed allow-list
+ * for interface dispatch, `is()`, and `BoundNode.call`). Interfaces are inserted
+ * FIRST, classes second, so a homonym class shadows its interface — matching
+ * {@link DefOf}'s class-first resolution.
+ */
+export declare function extractMethodsByType(schema: Schema): Map<string, TypeMethods>;
 //# sourceMappingURL=extract.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../src/schema/extract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAIpD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAS9E"}
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../src/schema/extract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAIpD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAS9E;AAED,oEAAoE;AACpE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACtC;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAW7E"}

package/dist/schema/extract.js

@@ -13,4 +13,20 @@ export function extractMethodsByClass(schema) {
     }
     return methodsByClass;
 }
+/**
+ * Method names per type name — classes AND interfaces (the def-keyed allow-list
+ * for interface dispatch, `is()`, and `BoundNode.call`). Interfaces are inserted
+ * FIRST, classes second, so a homonym class shadows its interface — matching
+ * {@link DefOf}'s class-first resolution.
+ */
+export function extractMethodsByType(schema) {
+    const byType = new Map();
+    for (const [name, def] of Object.entries(schema.interfaces)) {
+        byType.set(name, { kind: 'interface', methods: new Set(Object.keys(resolveAllMethods(def))) });
+    }
+    for (const [name, def] of Object.entries(schema.classes)) {
+        byType.set(name, { kind: 'class', methods: new Set(Object.keys(resolveAllMethods(def))) });
+    }
+    return byType;
+}
 //# sourceMappingURL=extract.js.map

package/dist/schema/extract.js.map

@@ -1 +1 @@
-{"version":3,"file":"extract.js","sourceRoot":"","sources":["../../src/schema/extract.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAA;IAErD,KAAK,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAA;QACtC,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,OAAO,cAAc,CAAA;AACvB,CAAC"}
+{"version":3,"file":"extract.js","sourceRoot":"","sources":["../../src/schema/extract.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAA;IAErD,KAAK,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAA;QACtC,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,OAAO,cAAc,CAAA;AACvB,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAA;IAE7C,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAChG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC5F,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/schema/index.d.ts

@@ -1,11 +1,15 @@
 export { SCHEMA_REGISTRY_BRAND, SchemaRegistry } from './registry';
 export { createSchemaClient } from './typed-client';
 export { createClassProxy } from './class-proxy';
-export { createNodeProxy } from './node-proxy';
+export { createNodeProxy, createInstanceProxy } from './node-proxy';
 export { resolveMethodKey } from './resolve';
 export { resolveCallArgs } from './call-args';
-export { extractMethodsByClass } from './extract';
+export { extractMethodsByClass, extractMethodsByType } from './extract';
+export type { TypeMethods } from './extract';
 export { toFunctionSchemas } from './from-entries';
 export type { FunctionSchema } from './types';
-export type { ClassNames, ClassProxy, NodeProxy, ProxyCallOptions, ProxyCaller, SchemaTypedClient, } from './proxy-types';
+export type { SchemaPersistence } from './persistence';
+export type { ClassNames, ClassProxy, DefOf, InstanceDispatch, NodeProxy, ProxyCallOptions, ProxyCaller, SchemaTypedClient, StaticDispatch, TypeNames, } from './proxy-types';
+export { BindTypeMismatchError, createBoundNode, createNodeBinder, createSchemaBoundView, defaultCaller, resolveNeighbors, normalizeRef, } from './bound';
+export type { AnyBoundNode, BindCtx, BindOptions, BoundNode, BoundSnapshot, CreatableClassNames, CreateProps, CreateSchemaBoundViewOpts, EdgeNames, EndpointsOf, NodeBinder, NodeRefInput, SchemaBoundView, } from './bound';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAClD,YAAY,EAAE,cAAc,EAAE,MAAM,SAAS,CAAA;AAC7C,YAAY,EACV,UAAU,EACV,UAAU,EACV,SAAS,EACT,gBAAgB,EAChB,WAAW,EACX,iBAAiB,GAClB,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAChD,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAA;AACvE,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAC5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAClD,YAAY,EAAE,cAAc,EAAE,MAAM,SAAS,CAAA;AAC7C,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACtD,YAAY,EACV,UAAU,EACV,UAAU,EACV,KAAK,EACL,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,EACd,SAAS,GACV,MAAM,eAAe,CAAA;AAGtB,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,gBAAgB,EAChB,YAAY,GACb,MAAM,SAAS,CAAA;AAChB,YAAY,EACV,YAAY,EACZ,OAAO,EACP,WAAW,EACX,SAAS,EACT,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,yBAAyB,EACzB,SAAS,EACT,WAAW,EACX,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,SAAS,CAAA"}

package/dist/schema/index.js

@@ -1,9 +1,11 @@
 export { SCHEMA_REGISTRY_BRAND, SchemaRegistry } from './registry';
 export { createSchemaClient } from './typed-client';
 export { createClassProxy } from './class-proxy';
-export { createNodeProxy } from './node-proxy';
+export { createNodeProxy, createInstanceProxy } from './node-proxy';
 export { resolveMethodKey } from './resolve';
 export { resolveCallArgs } from './call-args';
-export { extractMethodsByClass } from './extract';
+export { extractMethodsByClass, extractMethodsByType } from './extract';
 export { toFunctionSchemas } from './from-entries';
+// ─── Schema-bound surface (SchemaBoundView / BoundNode / binder) ────────────
+export { BindTypeMismatchError, createBoundNode, createNodeBinder, createSchemaBoundView, defaultCaller, resolveNeighbors, normalizeRef, } from './bound';
 //# sourceMappingURL=index.js.map

package/dist/schema/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAChD,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAA;AAEvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAgBlD,+EAA+E;AAC/E,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,gBAAgB,EAChB,YAAY,GACb,MAAM,SAAS,CAAA"}

package/dist/schema/node-proxy.d.ts

@@ -6,4 +6,13 @@ import type { ProxyCaller } from './proxy-types';
  * on the class produce call thunks. Everything else returns undefined.
  */
 export declare function createNodeProxy(caller: ProxyCaller, className: string, nodeId: string, knownMethods?: Set<string>): unknown;
+/**
+ * Create a typed Proxy for instance methods addressed by a resolved ref raw
+ * (`@id`, a tree path, or any parseable `Path`). The wire address is
+ * `<selfRaw>::method` — class-free, so interface-keyed dispatch is legal.
+ *
+ * `classHint` is threaded onto the call opts only when known (concrete class);
+ * interface dispatch omits it, exactly as the wire allows.
+ */
+export declare function createInstanceProxy(caller: ProxyCaller, selfRaw: string, knownMethods?: ReadonlySet<string>, classHint?: string): unknown;
 //# sourceMappingURL=node-proxy.d.ts.map

package/dist/schema/node-proxy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"node-proxy.d.ts","sourceRoot":"","sources":["../../src/schema/node-proxy.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAoB,WAAW,EAAE,MAAM,eAAe,CAAA;AAIlE;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,WAAW,EACnB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,OAAO,CAsBT"}
+{"version":3,"file":"node-proxy.d.ts","sourceRoot":"","sources":["../../src/schema/node-proxy.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAoB,WAAW,EAAE,MAAM,eAAe,CAAA;AAIlE;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,WAAW,EACnB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,OAAO,CAsBT;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE,MAAM,EACf,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,EAClC,SAAS,CAAC,EAAE,MAAM,GACjB,OAAO,CAsBT"}

package/dist/schema/node-proxy.js

@@ -1,4 +1,4 @@
-import { IdPath } from '@astrale-os/kernel-core';
+import { IdPath, toPath } from '@astrale-os/kernel-core';
 import { InstanceMethodPath } from '@astrale-os/kernel-core/domain';
 import { resolveCallArgs } from './call-args';
 /**
@@ -29,4 +29,34 @@ export function createNodeProxy(caller, className, nodeId, knownMethods) {
         },
     });
 }
+/**
+ * Create a typed Proxy for instance methods addressed by a resolved ref raw
+ * (`@id`, a tree path, or any parseable `Path`). The wire address is
+ * `<selfRaw>::method` — class-free, so interface-keyed dispatch is legal.
+ *
+ * `classHint` is threaded onto the call opts only when known (concrete class);
+ * interface dispatch omits it, exactly as the wire allows.
+ */
+export function createInstanceProxy(caller, selfRaw, knownMethods, classHint) {
+    const source = toPath(selfRaw);
+    return new Proxy(Object.create(null), {
+        get(_target, prop) {
+            if (typeof prop !== 'string')
+                return undefined;
+            if (knownMethods && !knownMethods.has(prop))
+                return undefined;
+            return (paramsOrOpts, maybeOpts) => {
+                const wirePath = InstanceMethodPath.from(source, prop).raw;
+                const [params, opts] = resolveCallArgs(paramsOrOpts, maybeOpts);
+                return caller(wirePath, params, opts?.credential, {
+                    timeout: opts?.timeout,
+                    signal: opts?.signal,
+                    ...(classHint !== undefined ? { class: classHint } : {}),
+                    correlationId: opts?.correlationId,
+                    url: opts?.url,
+                });
+            };
+        },
+    });
+}
 //# sourceMappingURL=node-proxy.js.map

package/dist/schema/node-proxy.js.map

@@ -1 +1 @@
-{"version":3,"file":"node-proxy.js","sourceRoot":"","sources":["../../src/schema/node-proxy.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AAInE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAmB,EACnB,SAAiB,EACjB,MAAc,EACd,YAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAgB,CAAC,CAAA;IAE5C,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QACpC,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC9C,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAA;YAE7D,OAAO,CAAC,YAAsB,EAAE,SAA4B,EAAE,EAAE;gBAC9D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAA;gBAC1D,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,eAAe,CAAC,YAAY,EAAE,SAAS,CAAC,CAAA;gBAE/D,OAAO,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChD,OAAO,EAAE,IAAI,EAAE,OAAO;oBACtB,MAAM,EAAE,IAAI,EAAE,MAAM;oBACpB,KAAK,EAAE,SAAS;oBAChB,aAAa,EAAE,IAAI,EAAE,aAAa;oBAClC,GAAG,EAAE,IAAI,EAAE,GAAG;iBACf,CAAC,CAAA;YACJ,CAAC,CAAA;QACH,CAAC;KACF,CAAC,CAAA;AACJ,CAAC"}
+{"version":3,"file":"node-proxy.js","sourceRoot":"","sources":["../../src/schema/node-proxy.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AAInE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAmB,EACnB,SAAiB,EACjB,MAAc,EACd,YAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAgB,CAAC,CAAA;IAE5C,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QACpC,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC9C,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAA;YAE7D,OAAO,CAAC,YAAsB,EAAE,SAA4B,EAAE,EAAE;gBAC9D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAA;gBAC1D,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,eAAe,CAAC,YAAY,EAAE,SAAS,CAAC,CAAA;gBAE/D,OAAO,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChD,OAAO,EAAE,IAAI,EAAE,OAAO;oBACtB,MAAM,EAAE,IAAI,EAAE,MAAM;oBACpB,KAAK,EAAE,SAAS;oBAChB,aAAa,EAAE,IAAI,EAAE,aAAa;oBAClC,GAAG,EAAE,IAAI,EAAE,GAAG;iBACf,CAAC,CAAA;YACJ,CAAC,CAAA;QACH,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAmB,EACnB,OAAe,EACf,YAAkC,EAClC,SAAkB;IAElB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAE9B,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QACpC,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC9C,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAA;YAE7D,OAAO,CAAC,YAAsB,EAAE,SAA4B,EAAE,EAAE;gBAC9D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAA;gBAC1D,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,eAAe,CAAC,YAAY,EAAE,SAAS,CAAC,CAAA;gBAE/D,OAAO,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChD,OAAO,EAAE,IAAI,EAAE,OAAO;oBACtB,MAAM,EAAE,IAAI,EAAE,MAAM;oBACpB,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxD,aAAa,EAAE,IAAI,EAAE,aAAa;oBAClC,GAAG,EAAE,IAAI,EAAE,GAAG;iBACf,CAAC,CAAA;YACJ,CAAC,CAAA;QACH,CAAC;KACF,CAAC,CAAA;AACJ,CAAC"}