@astrale-os/sdk 0.2.0 → 0.4.0

package/dist/dispatch/self.d.ts

@@ -1,27 +1,10 @@
 /**
- * Self resolution — pipeline step 3.
- *
- * `_self` is a path reference to the node the non-static method runs on.
- * `resolveSelf` is a thin PARSE: the caller's string becomes a `Path`, and
- * handlers build recursive paths as `${self.path}::method` (the `Path`'s
- * `toString` yields its raw form, so template literals work unchanged). It does
- * NOT touch the graph — the whole dispatch pipeline (resolve → authenticate →
- * validate → self → execute) reaches the handler without a single `Node::get`.
- *
- * `resolveSelf` receives the bare self target (`@<id>` or a tree path) — the
- * method ref travels in a separate dispatch channel, so `::method` never
- * reaches here. For the `@<id>` form the parsed `Path` is an `IdPath` which
- * already carries the node id; surfacing it on `SelfResult.id` saves every
- * worker handler from parsing `self.path.raw` by hand to recover the id of the
- * node it is already operating on.
- *
- * `withNode` enriches the parsed self with the lazy `node()` accessor — the one
- * place a handler can fetch its own node's full record (`{ id, class, props }`)
- * without hand-rolling a `::get`. Construction stays split from parsing so
- * `resolveSelf` remains pure and trivially testable; the dispatcher attaches the
- * accessor once it holds the request's kernel.
+ * Self resolution stays parse-only: `_self` becomes a Path/IdPath with no graph
+ * read. The dispatcher later attaches lazy node()/call helpers once it has a kernel.
  */
+import type { BoundNode, InstanceDispatch, NodeBinder } from '@astrale-os/kernel-client/schema';
 import type { Node } from '@astrale-os/kernel-core/graph';
+import type { Schema } from '@astrale-os/kernel-dsl';
 import { Path, type NodeId } from '@astrale-os/kernel-core';
 import type { Kernel } from '../method/context';
 /** The node a non-static method runs on — its full record, id guaranteed. */
@@ -36,28 +19,33 @@ export type ParsedSelf = {
 };
 export type SelfResult = ParsedSelf & {
     /**
-     * Lazily read THIS node's full record via one `::get` on the handler's
-     * kernel. Memoized for the dispatch: repeated and concurrent calls share a
-     * single in-flight fetch, and a failure clears the cache so it stays
-     * retryable. Pass `{ reload: true }` to force a fresh read.
-     *
-     * The result is a point-in-time SNAPSHOT, not a live view — for
-     * read-modify-write, treat it as the value as of the read (or `reload`).
-     * `props` is returned structurally validated only, NOT typed against the
-     * node's declared schema: the kernel does not hydrate declared props at
-     * runtime, so a node-typed `self` would be unsound. Read the concrete backend
-     * off `node.class` (a `ClassPath`) — that is the persisted discriminator.
+     * Lazy point-in-time self read. Memoized per dispatch; `{ reload: true }`
+     * forces a fresh `function.get`.
      */
     node(opts?: {
         reload?: boolean;
     }): Promise<ResolvedSelfNode>;
 };
+/** Schema-typed self: short-keyed props and typed same-instance call proxy. */
+export type TypedSelf<D, S extends Schema = Schema> = ParsedSelf & {
+    /**
+     * Fetch THIS node as a typed `BoundNode<D>`. Memoized exactly like
+     * {@link SelfResult.node} — one in-flight `function.get`, rejection-clearing,
+     * `{ reload: true }` refetches — so the zero-extra-graph-read dispatch
+     * invariant holds: nothing is read until called, then at most once.
+     */
+    node(opts?: {
+        reload?: boolean;
+    }): Promise<BoundNode<D, S>>;
+    /** Own instance methods — typed, address-only (`<selfPath>::method`), no read. */
+    readonly call: InstanceDispatch<D>;
+};
 export declare function resolveSelf(ref: string): ParsedSelf;
+/** Attach memoized node(); unauthenticated contexts reject instead of reading. */
+export declare function withNode(parsed: ParsedSelf, kernel: Kernel | null): SelfResult;
 /**
- * Attach the memoized `node()` accessor, binding it to the handler's kernel.
- * `kernel` is `null` for methods whose auth policy yields none (`public`, or an
- * unauthenticated `optional`) — there `node()` rejects with a clear error
- * rather than reading the graph unauthenticated.
+ * Schema-typed self helper: lazy BoundNode plus address-only call proxy. With no
+ * kernel, both node() and call thunks fail loudly.
  */
-export declare function withNode(parsed: ParsedSelf, kernel: Kernel | null): SelfResult;
+export declare function withBoundNode<S extends Schema>(parsed: ParsedSelf, kernel: Kernel | null, binder: NodeBinder<S>, typeName: string): TypedSelf<unknown, S>;
 //# sourceMappingURL=self.d.ts.map

package/dist/dispatch/self.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"self.d.ts","sourceRoot":"","sources":["../../src/dispatch/self.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,+BAA+B,CAAA;AAEzD,OAAO,EAAU,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAKnE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE/C,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG,IAAI,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEpD,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,IAAI,CAAA;IACV,mEAAmE;IACnE,EAAE,CAAC,EAAE,MAAM,CAAA;CACZ,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC;;;;;;;;;;;;OAYG;IACH,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAA;CAC7D,CAAA;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAGnD;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU,CAa9E"}
+{"version":3,"file":"self.d.ts","sourceRoot":"","sources":["../../src/dispatch/self.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAEV,SAAS,EACT,gBAAgB,EAChB,UAAU,EAIX,MAAM,kCAAkC,CAAA;AACzC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,+BAA+B,CAAA;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAOpD,OAAO,EAAa,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAKtE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE/C,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG,IAAI,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEpD,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,IAAI,CAAA;IACV,mEAAmE;IACnE,EAAE,CAAC,EAAE,MAAM,CAAA;CACZ,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC;;;OAGG;IACH,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAA;CAC7D,CAAA;AAED,+EAA+E;AAC/E,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,UAAU,GAAG;IACjE;;;;;OAKG;IACH,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC3D,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAA;CACnC,CAAA;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAGnD;AAED,kFAAkF;AAClF,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU,CAa9E;AAyBD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,MAAM,EAC5C,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EACrB,QAAQ,EAAE,MAAM,GACf,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAiCvB"}

package/dist/dispatch/self.js

@@ -1,27 +1,9 @@
 /**
- * Self resolution — pipeline step 3.
- *
- * `_self` is a path reference to the node the non-static method runs on.
- * `resolveSelf` is a thin PARSE: the caller's string becomes a `Path`, and
- * handlers build recursive paths as `${self.path}::method` (the `Path`'s
- * `toString` yields its raw form, so template literals work unchanged). It does
- * NOT touch the graph — the whole dispatch pipeline (resolve → authenticate →
- * validate → self → execute) reaches the handler without a single `Node::get`.
- *
- * `resolveSelf` receives the bare self target (`@<id>` or a tree path) — the
- * method ref travels in a separate dispatch channel, so `::method` never
- * reaches here. For the `@<id>` form the parsed `Path` is an `IdPath` which
- * already carries the node id; surfacing it on `SelfResult.id` saves every
- * worker handler from parsing `self.path.raw` by hand to recover the id of the
- * node it is already operating on.
- *
- * `withNode` enriches the parsed self with the lazy `node()` accessor — the one
- * place a handler can fetch its own node's full record (`{ id, class, props }`)
- * without hand-rolling a `::get`. Construction stays split from parsing so
- * `resolveSelf` remains pure and trivially testable; the dispatcher attaches the
- * accessor once it holds the request's kernel.
+ * Self resolution stays parse-only: `_self` becomes a Path/IdPath with no graph
+ * read. The dispatcher later attaches lazy node()/call helpers once it has a kernel.
  */
-import { IdPath, Path } from '@astrale-os/kernel-core';
+import { createInstanceProxy, defaultCaller, extractMethodsByType, } from '@astrale-os/kernel-client/schema';
+import { IdPath, K, Path } from '@astrale-os/kernel-core';
 import { classPathSchema } from '@astrale-os/kernel-core/domain';
 import { absolutePathSchema } from '@astrale-os/kernel-core/tree';
 import { z } from 'zod';
@@ -29,12 +11,7 @@ export function resolveSelf(ref) {
     const path = Path.parse(ref);
     return path instanceof IdPath ? { path, id: path.id } : { path };
 }
-/**
- * Attach the memoized `node()` accessor, binding it to the handler's kernel.
- * `kernel` is `null` for methods whose auth policy yields none (`public`, or an
- * unauthenticated `optional`) — there `node()` rejects with a clear error
- * rather than reading the graph unauthenticated.
- */
+/** Attach memoized node(); unauthenticated contexts reject instead of reading. */
 export function withNode(parsed, kernel) {
     let cached;
     const node = (opts) => {
@@ -50,6 +27,49 @@ export function withNode(parsed, kernel) {
     };
     return { ...parsed, node };
 }
+const EMPTY_METHODS = { kind: 'class', methods: new Set() };
+const methodMapCache = new WeakMap();
+/** The type's method allow-list + kind, computed once per binder. */
+function methodsFor(binder, typeName) {
+    let map = methodMapCache.get(binder);
+    if (!map) {
+        map = extractMethodsByType(binder.schema);
+        methodMapCache.set(binder, map);
+    }
+    return map.get(typeName) ?? EMPTY_METHODS;
+}
+function noKernelCaller(ref) {
+    return () => Promise.reject(new Error(`self.call needs an authenticated kernel to dispatch on "${ref}", but this method ran ` +
+        `without one (its auth policy yields no kernel — e.g. 'public').`));
+}
+/**
+ * Schema-typed self helper: lazy BoundNode plus address-only call proxy. With no
+ * kernel, both node() and call thunks fail loudly.
+ */
+export function withBoundNode(parsed, kernel, binder, typeName) {
+    const ctx = kernel
+        ? { caller: defaultCaller(kernel), read: kernel }
+        : { caller: null, read: null };
+    let cached;
+    const node = (opts) => {
+        if (opts?.reload)
+            cached = undefined;
+        if (!cached) {
+            cached = fetchSelfNode(parsed.path, kernel)
+                .then((record) => binder.bind(typeName, record, ctx, {
+                validate: 'warn',
+            }))
+                .catch((err) => {
+                cached = undefined; // never cache a rejection — a later call may succeed
+                throw err;
+            });
+        }
+        return cached;
+    };
+    const info = methodsFor(binder, typeName);
+    const call = createInstanceProxy(ctx.caller ?? noKernelCaller(parsed.path.raw), parsed.path.raw, info.methods, info.kind === 'class' ? typeName : undefined);
+    return { ...parsed, node, call };
+}
 /**
  * Boundary schema for a node record off the wire. Structurally identical to
  * kernel-core's `nodeSchema`, re-declared here from its public coercers
@@ -71,9 +91,19 @@ async function fetchSelfNode(path, kernel) {
             `without one (its auth policy yields no kernel — e.g. 'public'). Read the node from a ` +
             `method whose auth is 'required', or supply a credential.`);
     }
-    const record = nodeRecordSchema.parse(await kernel.call(`${path.raw}::get`, {}));
+    // function.get soft-masks missing/unreadable roots; empty page means no self node.
+    const result = (await kernel.call(K.$.f('get').path.domain.raw, {
+        roots: [path.raw],
+        depth: 0,
+    }));
+    const first = result?.nodes?.[0];
+    if (first === undefined) {
+        throw new Error(`self.node(): "${path.raw}" was not found or is not visible to the caller ` +
+            `(function.get returned no node).`);
+    }
+    const record = nodeRecordSchema.parse(first);
     if (record.id === undefined) {
-        throw new Error(`self.node(): "${path.raw}::get" returned a record with no id`);
+        throw new Error(`self.node(): "${path.raw}" returned a record with no id`);
     }
     // Validated at the wire boundary: id is now known-present, props are
     // structurally checked. Bridge the parse output to the canonical `Node`.

package/dist/dispatch/self.js.map

@@ -1 +1 @@
-{"version":3,"file":"self.js","sourceRoot":"","sources":["../../src/dispatch/self.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAIH,OAAO,EAAE,MAAM,EAAE,IAAI,EAAe,MAAM,yBAAyB,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AA+BvB,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5B,OAAO,IAAI,YAAY,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAA;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,MAAqB;IAChE,IAAI,MAA6C,CAAA;IACjD,MAAM,IAAI,GAAG,CAAC,IAA2B,EAA6B,EAAE;QACtE,IAAI,IAAI,EAAE,MAAM;YAAE,MAAM,GAAG,SAAS,CAAA;QACpC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE;gBACjE,MAAM,GAAG,SAAS,CAAA,CAAC,qDAAqD;gBACxE,MAAM,GAAG,CAAA;YACX,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IACD,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAA;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,KAAK,EAAE,eAAe,EAAE;IACxB,IAAI,EAAE,kBAAkB,EAAE;IAC1B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACxC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAA;AAEF,KAAK,UAAU,aAAa,CAAC,IAAU,EAAE,MAAqB;IAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,sDAAsD,IAAI,CAAC,GAAG,yBAAyB;YACrF,uFAAuF;YACvF,0DAA0D,CAC7D,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC,CAAA;IAChF,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,GAAG,qCAAqC,CAAC,CAAA;IACjF,CAAC;IACD,qEAAqE;IACrE,yEAAyE;IACzE,OAAO,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,EAAY,EAAsB,CAAA;AACnE,CAAC"}
+{"version":3,"file":"self.js","sourceRoot":"","sources":["../../src/dispatch/self.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAcH,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,oBAAoB,GACrB,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAe,MAAM,yBAAyB,CAAA;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAmCvB,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5B,OAAO,IAAI,YAAY,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAA;AAClE,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,MAAqB;IAChE,IAAI,MAA6C,CAAA;IACjD,MAAM,IAAI,GAAG,CAAC,IAA2B,EAA6B,EAAE;QACtE,IAAI,IAAI,EAAE,MAAM;YAAE,MAAM,GAAG,SAAS,CAAA;QACpC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE;gBACjE,MAAM,GAAG,SAAS,CAAA,CAAC,qDAAqD;gBACxE,MAAM,GAAG,CAAA;YACX,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IACD,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAA;AAC5B,CAAC;AAED,MAAM,aAAa,GAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;AACxE,MAAM,cAAc,GAAG,IAAI,OAAO,EAAoC,CAAA;AAEtE,qEAAqE;AACrE,SAAS,UAAU,CAAmB,MAAqB,EAAE,QAAgB;IAC3E,IAAI,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACpC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,GAAG,GAAG,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACzC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAA;AAC3C,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IACjC,OAAO,GAAG,EAAE,CACV,OAAO,CAAC,MAAM,CACZ,IAAI,KAAK,CACP,2DAA2D,GAAG,yBAAyB;QACrF,iEAAiE,CACpE,CACF,CAAA;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAkB,EAClB,MAAqB,EACrB,MAAqB,EACrB,QAAgB;IAEhB,MAAM,GAAG,GAAY,MAAM;QACzB,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;QACjD,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAEhC,IAAI,MAAkD,CAAA;IACtD,MAAM,IAAI,GAAG,CAAC,IAA2B,EAAkC,EAAE;QAC3E,IAAI,IAAI,EAAE,MAAM;YAAE,MAAM,GAAG,SAAS,CAAA;QACpC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;iBACxC,IAAI,CACH,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,CAAC,QAAwB,EAAE,MAAM,EAAE,GAAG,EAAE;gBACjD,QAAQ,EAAE,MAAM;aACjB,CAAqC,CACzC;iBACA,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE;gBACtB,MAAM,GAAG,SAAS,CAAA,CAAC,qDAAqD;gBACxE,MAAM,GAAG,CAAA;YACX,CAAC,CAAC,CAAA;QACN,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACzC,MAAM,IAAI,GAAG,mBAAmB,CAC9B,GAAG,CAAC,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAC7C,MAAM,CAAC,IAAI,CAAC,GAAG,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAChB,CAAA;IAE9B,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;AAClC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,KAAK,EAAE,eAAe,EAAE;IACxB,IAAI,EAAE,kBAAkB,EAAE;IAC1B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACxC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAA;AAEF,KAAK,UAAU,aAAa,CAAC,IAAU,EAAE,MAAqB;IAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,sDAAsD,IAAI,CAAC,GAAG,yBAAyB;YACrF,uFAAuF;YACvF,0DAA0D,CAC7D,CAAA;IACH,CAAC;IACD,mFAAmF;IACnF,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;QAC9D,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;QACjB,KAAK,EAAE,CAAC;KACT,CAAC,CAED,CAAA;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,iBAAiB,IAAI,CAAC,GAAG,kDAAkD;YACzE,kCAAkC,CACrC,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5C,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,GAAG,gCAAgC,CAAC,CAAA;IAC5E,CAAC;IACD,qEAAqE;IACrE,yEAAyE;IACzE,OAAO,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,EAAY,EAAsB,CAAA;AACnE,CAAC"}

package/dist/domain/build-spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build-spec.d.ts","sourceRoot":"","sources":["../../src/domain/build-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAS,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAE/D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAKpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAK5C;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAChD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,GAAG,EAAE,MAAM,GACV,SAAS,CASX;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,MAAM,EACpD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,MAAM,CAAC,CAEjB"}
+{"version":3,"file":"build-spec.d.ts","sourceRoot":"","sources":["../../src/domain/build-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAS,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAE/D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAMpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAK5C;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAChD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,GAAG,EAAE,MAAM,GACV,SAAS,CAkBX;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,MAAM,EACpD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,MAAM,CAAC,CAEjB"}

package/dist/domain/build-spec.js

@@ -16,6 +16,7 @@
  * relative path into its host-graph absolute form. Wire serialization is the
  * caller's responsibility (`graph.toWire()`).
  */
+import { AbsolutePath } from '@astrale-os/kernel-core';
 import { hashInstallGraph, serialize, zodToJsonSchema } from '@astrale-os/kernel-core/domain';
 import { extractBinding } from './contract';
 import { materializeRemoteDomain } from './define';
@@ -29,7 +30,15 @@ import { materializeRemoteDomain } from './define';
  */
 export function buildInstallGraph(domain, url) {
     const { compiled, auxiliary } = materializeRemoteDomain(domain, url);
-    return buildSpecInternal(compiled, domain.methods, url, auxiliary?.functionSchemas ?? [], auxiliary?.viewSchemas ?? []).toWire();
+    // Two-axis placement: `parent` = the folder the Domain node physically lives
+    // under. `path` names the FULL node path (basename === origin);
+    // unset defaults to /domains/<origin> — the "/domains" placement policy lives
+    // HERE (the kernel default is Root → /<origin>). `mount` is deliberately NOT
+    // passed: installed_in + typed addresses stay root-mounted (kernel default).
+    const parent = domain.path
+        ? AbsolutePath.parse(domain.path).parent()
+        : AbsolutePath.from('domains');
+    return buildSpecInternal(compiled, domain.methods, url, auxiliary?.functionSchemas ?? [], auxiliary?.viewSchemas ?? [], parent).toWire();
 }
 /**
  * Content hash of the install graph. Delegates the canonical hash to kernel-core's
@@ -40,7 +49,7 @@ export function buildInstallGraphHash(domain, url) {
     return hashInstallGraph(buildInstallGraph(domain, url));
 }
 // ── Internal ────────────────────────────────────────────────
-function buildSpecInternal(compiled, methods, url, functionSchemas, viewSchemas) {
+function buildSpecInternal(compiled, methods, url, functionSchemas, viewSchemas, parent) {
     const serialized = serializeMethodsWithStubs(compiled, methods, url);
     // Method impls + standalone-function-member impls travel in the same callable
     // array (distinct refs: `class.X.method.y` vs `function.<slug>`); view-member
@@ -48,7 +57,10 @@ function buildSpecInternal(compiled, methods, url, functionSchemas, viewSchemas)
     // view_for, View class). The serializer emits method nodes from the IR,
     // function/view members from `compiled.$.refs.{functions,views}`, pulling each
     // impl by ref.
-    const tree = serialize(compiled, [...serialized, ...functionSchemas], { views: viewSchemas });
+    const tree = serialize(compiled, [...serialized, ...functionSchemas], {
+        views: viewSchemas,
+        parent,
+    });
     return tree.toGraph();
 }
 /**

package/dist/domain/build-spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"build-spec.js","sourceRoot":"","sources":["../../src/domain/build-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAMH,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAA;AAK7F,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAA;AAElD;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAuB,EACvB,GAAW;IAEX,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IACpE,OAAO,iBAAiB,CACtB,QAAQ,EACR,MAAM,CAAC,OAAO,EACd,GAAG,EACH,SAAS,EAAE,eAAe,IAAI,EAAE,EAChC,SAAS,EAAE,WAAW,IAAI,EAAE,CAC7B,CAAC,MAAM,EAAe,CAAA;AACzB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAuB,EACvB,GAAW;IAEX,OAAO,gBAAgB,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;AACzD,CAAC;AAED,+DAA+D;AAE/D,SAAS,iBAAiB,CACxB,QAAkC,EAClC,OAAwC,EACxC,GAAW,EACX,eAAiC,EACjC,WAAyB;IAEzB,MAAM,UAAU,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;IACpE,8EAA8E;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,+EAA+E;IAC/E,eAAe;IACf,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,GAAG,UAAU,EAAE,GAAG,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAA;IAC7F,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;AACvB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAChC,QAAkC,EAClC,OAAwC,EACxC,GAAW;IAEX,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IAEnE,wEAAwE;IACxE,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,2EAA2E;IAC3E,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;YAClB,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAQ;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACV,GAAG;gBACH,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC/B,YAAY,EAAE,EAAE;gBAChB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;aAC5B,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAqC,EACrC,GAAW;IAEX,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC9C,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC;QAChD,YAAY,EAAE,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC;QAClD,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,SAAS;QACtC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE;KACvE,CAAA;AACH,CAAC"}
+{"version":3,"file":"build-spec.js","sourceRoot":"","sources":["../../src/domain/build-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAMH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAA;AAK7F,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAA;AAElD;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAuB,EACvB,GAAW;IAEX,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IACpE,6EAA6E;IAC7E,gEAAgE;IAChE,8EAA8E;IAC9E,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI;QACxB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE;QAC1C,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAChC,OAAO,iBAAiB,CACtB,QAAQ,EACR,MAAM,CAAC,OAAO,EACd,GAAG,EACH,SAAS,EAAE,eAAe,IAAI,EAAE,EAChC,SAAS,EAAE,WAAW,IAAI,EAAE,EAC5B,MAAM,CACP,CAAC,MAAM,EAAe,CAAA;AACzB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAuB,EACvB,GAAW;IAEX,OAAO,gBAAgB,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;AACzD,CAAC;AAED,+DAA+D;AAE/D,SAAS,iBAAiB,CACxB,QAAkC,EAClC,OAAwC,EACxC,GAAW,EACX,eAAiC,EACjC,WAAyB,EACzB,MAAoB;IAEpB,MAAM,UAAU,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;IACpE,8EAA8E;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,+EAA+E;IAC/E,eAAe;IACf,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,GAAG,UAAU,EAAE,GAAG,eAAe,CAAC,EAAE;QACpE,KAAK,EAAE,WAAW;QAClB,MAAM;KACP,CAAC,CAAA;IACF,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;AACvB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAChC,QAAkC,EAClC,OAAwC,EACxC,GAAW;IAEX,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IAEnE,wEAAwE;IACxE,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,2EAA2E;IAC3E,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAA;YAClB,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAQ;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACV,GAAG;gBACH,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC/B,YAAY,EAAE,EAAE;gBAChB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;aAC5B,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAqC,EACrC,GAAW;IAEX,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC9C,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC;QAChD,YAAY,EAAE,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC;QAClD,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,SAAS;QACtC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE;KACvE,CAAA;AACH,CAAC"}

package/dist/domain/define.d.ts

@@ -1,24 +1,11 @@
 /**
- * `defineRemoteDomain` — turn a typed schema + methods map into a mountable domain.
- *
- * `views` and `functions` entries become first-class DOMAIN MEMBERS: a `View` /
- * `Function` node attached to the Domain via an `of_domain` edge (slug
- * `view.<slug>` / `function.<slug>`), laid out at `/<origin>/{views,functions}/<slug>`.
- * Their contract half (the member ref) threads through `compileDomain`; their
- * impl/binding half threads through `serialize`. The same entries'
- * `render` / `execute` handlers are mounted as Hono routes by
- * `createRemoteServer` at `<url>/<viewsFolder|functionsFolder>/<slug>` (the route
- * URL is decoupled from the graph layout). Slug = map key.
- *
- * The domain definition is deployment-agnostic: it carries NO serving url. The
- * url is supplied late by the spec producer (`createRemoteServer({ url })` at
- * runtime, the `astrale-domain` CLI offline) and stamped onto every `binding.remoteUrl`
- * by `materializeRemoteDomain`. There is exactly one notion of `url` in the SDK
- * — the worker serving URL, which is also `iss` and the binding base.
+ * Define a remote domain. Views/functions are first-class domain members; their
+ * serving URL is stamped later by spec producers and is also the worker issuer.
  */
 import type { FunctionBinding } from '@astrale-os/kernel-api/routed';
 import type { BoundMethod, CompiledDomain, FunctionSchema, ViewSchema } from '@astrale-os/kernel-core/domain';
 import type { Core, Schema } from '@astrale-os/kernel-dsl';
+import type { DomainManifest } from '../config/define-domain';
 import type { AnyRemoteFunctionDef, ViewDef } from '../define';
 import type { SchemaMethodsImpl } from '../method/class';
 import type { AnyRemoteHandler } from '../method/single';
@@ -30,6 +17,10 @@ export type RemoteDomainConfig<S extends Schema, TDeps> = {
     viewsFolder?: string;
     remoteFunctions?: Record<string, AnyRemoteFunctionDef>;
     functionsFolder?: string;
+    /** Presentation metadata for `/meta` (logo / entry view). Carried verbatim. */
+    manifest?: DomainManifest;
+    /** Physical tree path for the Domain node (absolute, e.g. `/domains/acme`); default `/domains/<origin>`. */
+    path?: string;
 };
 /** Effective bindings + folder layout + member schemas for auxiliary routes, resolved against `url`. */
 export type AuxiliaryMetadata = {
@@ -44,19 +35,21 @@ export type AuxiliaryMetadata = {
     viewSchemas: ViewSchema[];
 };
 export type RemoteDomain<S extends Schema = Schema> = {
-    /**
-     * Define-time compile: full domain STRUCTURE (classes, methods, and the
-     * view/function members' paths/names/refs — what identity, subs, and contract
-     * resolution need). It carries NO `binding` values: bindings derive from the
-     * serving url, which only the spec producers know — they call
-     * `materializeRemoteDomain(domain, url)` for the install-ready compile.
-     */
+    /** Define-time compile has structure only; bindings are stamped at materialization. */
     compiled: CompiledDomain<S>;
     methods: BoundMethod<AnyRemoteHandler>[];
     views?: Record<string, ViewDef<any>>;
     remoteFunctions?: Record<string, AnyRemoteFunctionDef>;
+    /** Presentation metadata for `/meta` (logo / entry view); `createRemoteServer` stamps it. */
+    manifest?: DomainManifest;
     /** The original config, so `materializeRemoteDomain` re-materializes from source. */
     config: MaterializeInputs;
+    /**
+     * Physical tree path for the Domain node (absolute string, e.g. `/domains/acme`).
+     * Read by `buildInstallGraph` and passed to `serialize` as `treeMount`; unset =>
+     * `/domains/<origin>` (applied in build-spec). Addressing is unaffected.
+     */
+    path?: string;
 };
 /** The defineRemoteDomain inputs `materializeRemoteDomain` needs to re-materialize. */
 type MaterializeInputs = {
@@ -65,15 +58,7 @@ type MaterializeInputs = {
     functionsFolder: string;
 };
 export declare function defineRemoteDomain<TDeps>(): <S extends Schema>(config: RemoteDomainConfig<S, TDeps>) => RemoteDomain<S>;
-/**
- * Materialize a `RemoteDomain` at its real serving `url`: re-compiles the domain
- * and builds every member's url-stamped impl schema + binding, returning the
- * binding maps the auxiliary routes mount from and the member schemas `serialize`
- * emits from. Called by the only two spec producers — `createRemoteServer`
- * (`config.url`) and the `astrale-domain` CLI. Returns the define-time `compiled`
- * untouched when there is no aux to stamp. Pure, so safe to call repeatedly (and
- * memoized per cold isolate by the callers).
- */
+/** Materialize aux member bindings against the real serving URL. Pure and repeatable. */
 export declare function materializeRemoteDomain<S extends Schema>(domain: RemoteDomain<S>, url: string): {
     compiled: CompiledDomain<S>;
     auxiliary: AuxiliaryMetadata | undefined;

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

@@ -1 +1 @@
-{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../src/domain/define.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,cAAc,EACd,UAAU,EACX,MAAM,gCAAgC,CAAA;AACvC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAI1D,OAAO,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AASxD,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,IAAI;IACxD,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACpC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAEd,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IACtD,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,wGAAwG;AACxG,MAAM,MAAM,iBAAiB,GAAG;IAC9B,GAAG,EAAE,MAAM,CAAA;IACX,WAAW,EAAE,MAAM,CAAA;IACnB,eAAe,EAAE,MAAM,CAAA;IACvB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC7C,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACvD,+EAA+E;IAC/E,eAAe,EAAE,cAAc,EAAE,CAAA;IACjC,uEAAuE;IACvE,WAAW,EAAE,UAAU,EAAE,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IACpD;;;;;;OAMG;IACH,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;IAC3B,OAAO,EAAE,WAAW,CAAC,gBAAgB,CAAC,EAAE,CAAA;IAExC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;IACpC,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IACtD,qFAAqF;IACrF,MAAM,EAAE,iBAAiB,CAAA;CAC1B,CAAA;AAED,uFAAuF;AACvF,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,EAAE,IAAI,CAAA;IACf,WAAW,EAAE,MAAM,CAAA;IACnB,eAAe,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,wBAAgB,kBAAkB,CAAC,KAAK,MACrB,CAAC,SAAS,MAAM,UAAU,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,YAAY,CAAC,CAAC,CAAC,CAiC1F;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EACtD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,GAAG,EAAE,MAAM,GACV;IAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,iBAAiB,GAAG,SAAS,CAAA;CAAE,CAkC3E"}
+{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../src/domain/define.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,cAAc,EACd,UAAU,EACX,MAAM,gCAAgC,CAAA;AACvC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAI1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAC7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AASxD,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,IAAI;IACxD,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACpC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAEd,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IACtD,eAAe,CAAC,EAAE,MAAM,CAAA;IAExB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,cAAc,CAAA;IAEzB,4GAA4G;IAC5G,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED,wGAAwG;AACxG,MAAM,MAAM,iBAAiB,GAAG;IAC9B,GAAG,EAAE,MAAM,CAAA;IACX,WAAW,EAAE,MAAM,CAAA;IACnB,eAAe,EAAE,MAAM,CAAA;IACvB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC7C,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACvD,+EAA+E;IAC/E,eAAe,EAAE,cAAc,EAAE,CAAA;IACjC,uEAAuE;IACvE,WAAW,EAAE,UAAU,EAAE,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IACpD,uFAAuF;IACvF,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;IAC3B,OAAO,EAAE,WAAW,CAAC,gBAAgB,CAAC,EAAE,CAAA;IAExC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;IACpC,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IACtD,6FAA6F;IAC7F,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,qFAAqF;IACrF,MAAM,EAAE,iBAAiB,CAAA;IACzB;;;;OAIG;IACH,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED,uFAAuF;AACvF,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,EAAE,IAAI,CAAA;IACf,WAAW,EAAE,MAAM,CAAA;IACnB,eAAe,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,wBAAgB,kBAAkB,CAAC,KAAK,MACrB,CAAC,SAAS,MAAM,UAAU,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,YAAY,CAAC,CAAC,CAAC,CAmC1F;AAED,yFAAyF;AACzF,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EACtD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,GAAG,EAAE,MAAM,GACV;IAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,iBAAiB,GAAG,SAAS,CAAA;CAAE,CAiC3E"}

package/dist/domain/define.js

@@ -1,32 +1,19 @@
 /**
- * `defineRemoteDomain` — turn a typed schema + methods map into a mountable domain.
- *
- * `views` and `functions` entries become first-class DOMAIN MEMBERS: a `View` /
- * `Function` node attached to the Domain via an `of_domain` edge (slug
- * `view.<slug>` / `function.<slug>`), laid out at `/<origin>/{views,functions}/<slug>`.
- * Their contract half (the member ref) threads through `compileDomain`; their
- * impl/binding half threads through `serialize`. The same entries'
- * `render` / `execute` handlers are mounted as Hono routes by
- * `createRemoteServer` at `<url>/<viewsFolder|functionsFolder>/<slug>` (the route
- * URL is decoupled from the graph layout). Slug = map key.
- *
- * The domain definition is deployment-agnostic: it carries NO serving url. The
- * url is supplied late by the spec producer (`createRemoteServer({ url })` at
- * runtime, the `astrale-domain` CLI offline) and stamped onto every `binding.remoteUrl`
- * by `materializeRemoteDomain`. There is exactly one notion of `url` in the SDK
- * — the worker serving URL, which is also `iss` and the binding base.
+ * Define a remote domain. Views/functions are first-class domain members; their
+ * serving URL is stamped later by spec producers and is also the worker issuer.
  */
 import { bindMethods, compileDomain } from '@astrale-os/kernel-core/domain';
-import { buildFunctionDeclarations, buildFunctionSchemas, DEFAULT_FUNCTIONS_FOLDER, } from './extend-functions';
+import { assertFunctionsMatchSchema, buildFunctionSchemas, DEFAULT_FUNCTIONS_FOLDER, } from './extend-functions';
 import { buildViewDeclarations, buildViewSchemas, DEFAULT_VIEWS_FOLDER } from './extend-views';
 export function defineRemoteDomain() {
     return function (config) {
         const viewsFolder = config.viewsFolder ?? DEFAULT_VIEWS_FOLDER;
         const functionsFolder = config.functionsFolder ?? DEFAULT_FUNCTIONS_FOLDER;
-        // Views + functions are domain MEMBERS — their contract enters compile via
-        // the `functions` / `views` args (no Core involvement). `config.core` is the
-        // author's own genuine genesis instance data, untouched.
-        const compiled = compileDomain(config.schema, config.core, undefined, config.remoteFunctions ? buildFunctionDeclarations(config.remoteFunctions) : undefined, config.views ? buildViewDeclarations(config.views) : undefined);
+        // Standalone function handlers must match schema-declared function members.
+        assertFunctionsMatchSchema(config.schema, config.remoteFunctions);
+        // Standalone function handlers must match schema-declared function members.
+        assertFunctionsMatchSchema(config.schema, config.remoteFunctions);
+        const compiled = compileDomain(config.schema, config.core, undefined, config.views ? buildViewDeclarations(config.views) : undefined);
         const methods = bindMethods(compiled.$.schema, compiled.$.methods, 
         // oxlint-disable-next-line no-explicit-any
         config.methods);
@@ -35,6 +22,8 @@ export function defineRemoteDomain() {
             methods,
             ...(config.views ? { views: config.views } : {}),
             ...(config.remoteFunctions ? { remoteFunctions: config.remoteFunctions } : {}),
+            ...(config.manifest ? { manifest: config.manifest } : {}),
+            ...(config.path ? { path: config.path } : {}),
             config: {
                 userCore: config.core,
                 viewsFolder,
@@ -43,22 +32,14 @@ export function defineRemoteDomain() {
         });
     };
 }
-/**
- * Materialize a `RemoteDomain` at its real serving `url`: re-compiles the domain
- * and builds every member's url-stamped impl schema + binding, returning the
- * binding maps the auxiliary routes mount from and the member schemas `serialize`
- * emits from. Called by the only two spec producers — `createRemoteServer`
- * (`config.url`) and the `astrale-domain` CLI. Returns the define-time `compiled`
- * untouched when there is no aux to stamp. Pure, so safe to call repeatedly (and
- * memoized per cold isolate by the callers).
- */
+/** Materialize aux member bindings against the real serving URL. Pure and repeatable. */
 export function materializeRemoteDomain(domain, url) {
     const hasAux = Boolean(domain.views || domain.remoteFunctions);
     if (!hasAux)
         return { compiled: domain.compiled, auxiliary: undefined };
     const { config } = domain;
     const schema = domain.compiled.$.schema;
-    const compiled = compileDomain(schema, config.userCore, undefined, domain.remoteFunctions ? buildFunctionDeclarations(domain.remoteFunctions) : undefined, domain.views ? buildViewDeclarations(domain.views) : undefined);
+    const compiled = compileDomain(schema, config.userCore, undefined, domain.views ? buildViewDeclarations(domain.views) : undefined);
     const fns = domain.remoteFunctions
         ? buildFunctionSchemas(domain.remoteFunctions, url, config.functionsFolder)
         : { schemas: [], bindings: {} };

package/dist/domain/define.js.map

@@ -1 +1 @@
-{"version":3,"file":"define.js","sourceRoot":"","sources":["../../src/domain/define.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAWH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AAM3E,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAmD9F,MAAM,UAAU,kBAAkB;IAChC,OAAO,UAA4B,MAAoC;QACrE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,oBAAoB,CAAA;QAC9D,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,wBAAwB,CAAA;QAE1E,2EAA2E;QAC3E,6EAA6E;QAC7E,yDAAyD;QACzD,MAAM,QAAQ,GAAG,aAAa,CAC5B,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,IAAI,EACX,SAAS,EACT,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,EACtF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;QACD,MAAM,OAAO,GAAG,WAAW,CACzB,QAAQ,CAAC,CAAC,CAAC,MAAM,EACjB,QAAQ,CAAC,CAAC,CAAC,OAAO;QAClB,2CAA2C;QAC3C,MAAM,CAAC,OAAc,CACtB,CAAA;QAED,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,QAAQ;YACR,OAAO;YACP,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,MAAM,EAAE;gBACN,QAAQ,EAAE,MAAM,CAAC,IAAI;gBACrB,WAAW;gBACX,eAAe;aAChB;SACF,CAAC,CAAA;IACJ,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAuB,EACvB,GAAW;IAEX,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,eAAe,CAAC,CAAA;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;IAEvE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAA;IACzB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAW,CAAA;IAE5C,MAAM,QAAQ,GAAG,aAAa,CAC5B,MAAM,EACN,MAAM,CAAC,QAA+B,EACtC,SAAS,EACT,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,EACtF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe;QAChC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,eAAe,EAAE,GAAG,EAAE,MAAM,CAAC,eAAe,CAAC;QAC3E,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IACjC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK;QACtB,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAEjC,OAAO;QACL,QAAQ;QACR,SAAS,EAAE;YACT,GAAG;YACH,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,YAAY,EAAE,GAAG,CAAC,QAAQ;YAC1B,sBAAsB,EAAE,GAAG,CAAC,QAAQ;YACpC,eAAe,EAAE,GAAG,CAAC,OAAO;YAC5B,WAAW,EAAE,GAAG,CAAC,OAAO;SACzB;KACF,CAAA;AACH,CAAC"}
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../../src/domain/define.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAWH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AAO3E,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AA2D9F,MAAM,UAAU,kBAAkB;IAChC,OAAO,UAA4B,MAAoC;QACrE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,oBAAoB,CAAA;QAC9D,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,wBAAwB,CAAA;QAE1E,4EAA4E;QAC5E,0BAA0B,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAA;QACjE,4EAA4E;QAC5E,0BAA0B,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAA;QACjE,MAAM,QAAQ,GAAG,aAAa,CAC5B,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,IAAI,EACX,SAAS,EACT,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;QACD,MAAM,OAAO,GAAG,WAAW,CACzB,QAAQ,CAAC,CAAC,CAAC,MAAM,EACjB,QAAQ,CAAC,CAAC,CAAC,OAAO;QAClB,2CAA2C;QAC3C,MAAM,CAAC,OAAc,CACtB,CAAA;QAED,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,QAAQ;YACR,OAAO;YACP,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,MAAM,EAAE;gBACN,QAAQ,EAAE,MAAM,CAAC,IAAI;gBACrB,WAAW;gBACX,eAAe;aAChB;SACF,CAAC,CAAA;IACJ,CAAC,CAAA;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,uBAAuB,CACrC,MAAuB,EACvB,GAAW;IAEX,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,eAAe,CAAC,CAAA;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;IAEvE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAA;IACzB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAW,CAAA;IAE5C,MAAM,QAAQ,GAAG,aAAa,CAC5B,MAAM,EACN,MAAM,CAAC,QAA+B,EACtC,SAAS,EACT,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe;QAChC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,eAAe,EAAE,GAAG,EAAE,MAAM,CAAC,eAAe,CAAC;QAC3E,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IACjC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK;QACtB,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAEjC,OAAO;QACL,QAAQ;QACR,SAAS,EAAE;YACT,GAAG;YACH,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,YAAY,EAAE,GAAG,CAAC,QAAQ;YAC1B,sBAAsB,EAAE,GAAG,CAAC,QAAQ;YACpC,eAAe,EAAE,GAAG,CAAC,OAAO;YAC5B,WAAW,EAAE,GAAG,CAAC,OAAO;SACzB;KACF,CAAA;AACH,CAAC"}

package/dist/domain/extend-functions.d.ts

@@ -3,10 +3,9 @@
  * halves a standalone-function DOMAIN MEMBER contributes — mirroring how a class
  * method splits across compile + serialize:
  *
- *   - `FunctionDeclarations` — the CONTRACT half, fed to `compileDomain`'s 4th
- *     arg. The member ref (`function.<slug>`), the layout
- *     (`/<origin>/functions/<slug>`), and the `of_domain` edge slug all derive
- *     from the map key; the kernel owns that mapping.
+ *   - the CONTRACT half — a `func({ input, output })` per slug, declared in the
+ *     schema's `functions` group so the compiled domain carries `function.<slug>`
+ *     on `refs.functions` (the kernel owns the ref/layout/of_domain mapping).
  *   - `FunctionSchema[]` + per-slug `FunctionBinding` — the IMPL/BINDING half,
  *     fed to `serialize` (url-stamped). The worker route is
  *     `<url>/<functionsFolder>/<slug>`, DECOUPLED from the graph layout — so
@@ -17,7 +16,8 @@
  * touches `Core`.
  */
 import type { FunctionBinding } from '@astrale-os/kernel-api/routed';
-import type { FunctionDeclarations, FunctionSchema } from '@astrale-os/kernel-core/domain';
+import type { FunctionSchema } from '@astrale-os/kernel-core/domain';
+import type { Schema } from '@astrale-os/kernel-dsl';
 import type { AnyRemoteFunctionDef } from '../define/remote-function';
 /**
  * Default URL segment for a function's worker route (`<url>/functions/<slug>`).
@@ -26,11 +26,15 @@ import type { AnyRemoteFunctionDef } from '../define/remote-function';
  */
 export declare const DEFAULT_FUNCTIONS_FOLDER = "functions";
 /**
- * Contract half — one declaration per `functions` map key, for `compileDomain`'s
- * `functions` arg. The slug drives ref/path/of_domain; impl/binding arrive at
- * serialize.
+ * Contract half — since "functions as first-class defineSchema members", a
+ * standalone function's CONTRACT is declared in the SCHEMA (`defineSchema(...,
+ * { functions: { seed: func({ input, output }) } })`) and `compileDomain` builds
+ * the member refs from it; the SDK map supplies the HANDLER half. This check
+ * pins the two halves together at define time: every schema-declared function
+ * needs a handler, every handler a declaration — a drifted key fails loudly at
+ * authoring, never as a boot-time missing-identity or a dangling graph member.
  */
-export declare function buildFunctionDeclarations(functions: Record<string, AnyRemoteFunctionDef>): FunctionDeclarations;
+export declare function assertFunctionsMatchSchema(schema: Schema, functions: Record<string, AnyRemoteFunctionDef> | undefined): void;
 /**
  * Impl/binding half — `FunctionSchema[]` for `serialize` plus the per-slug
  * `FunctionBinding` map the worker mounts routes from. `ref` is the canonical

package/dist/domain/extend-functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extend-functions.d.ts","sourceRoot":"","sources":["../../src/domain/extend-functions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAI1F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAIrE;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,cAAc,CAAA;AAanD;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAC9C,oBAAoB,CAKtB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAC/C,GAAG,EAAE,MAAM,EACX,eAAe,EAAE,MAAM,GACtB;IAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CAAE,CAe1E"}
+{"version":3,"file":"extend-functions.d.ts","sourceRoot":"","sources":["../../src/domain/extend-functions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AACpE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAIpD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAIrE;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,cAAc,CAAA;AAanD;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAAG,SAAS,GAC1D,IAAI,CAoBN;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAC/C,GAAG,EAAE,MAAM,EACX,eAAe,EAAE,MAAM,GACtB;IAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CAAE,CAe1E"}

package/dist/domain/extend-functions.js

@@ -3,10 +3,9 @@
  * halves a standalone-function DOMAIN MEMBER contributes — mirroring how a class
  * method splits across compile + serialize:
  *
- *   - `FunctionDeclarations` — the CONTRACT half, fed to `compileDomain`'s 4th
- *     arg. The member ref (`function.<slug>`), the layout
- *     (`/<origin>/functions/<slug>`), and the `of_domain` edge slug all derive
- *     from the map key; the kernel owns that mapping.
+ *   - the CONTRACT half — a `func({ input, output })` per slug, declared in the
+ *     schema's `functions` group so the compiled domain carries `function.<slug>`
+ *     on `refs.functions` (the kernel owns the ref/layout/of_domain mapping).
  *   - `FunctionSchema[]` + per-slug `FunctionBinding` — the IMPL/BINDING half,
  *     fed to `serialize` (url-stamped). The worker route is
  *     `<url>/<functionsFolder>/<slug>`, DECOUPLED from the graph layout — so
@@ -33,16 +32,32 @@ function assertValidSlugs(functions) {
     }
 }
 /**
- * Contract half — one declaration per `functions` map key, for `compileDomain`'s
- * `functions` arg. The slug drives ref/path/of_domain; impl/binding arrive at
- * serialize.
+ * Contract half — since "functions as first-class defineSchema members", a
+ * standalone function's CONTRACT is declared in the SCHEMA (`defineSchema(...,
+ * { functions: { seed: func({ input, output }) } })`) and `compileDomain` builds
+ * the member refs from it; the SDK map supplies the HANDLER half. This check
+ * pins the two halves together at define time: every schema-declared function
+ * needs a handler, every handler a declaration — a drifted key fails loudly at
+ * authoring, never as a boot-time missing-identity or a dangling graph member.
  */
-export function buildFunctionDeclarations(functions) {
-    assertValidSlugs(functions);
-    const out = {};
-    for (const slug of Object.keys(functions))
-        out[slug] = { slug };
-    return out;
+export function assertFunctionsMatchSchema(schema, functions) {
+    if (functions)
+        assertValidSlugs(functions);
+    const declared = Object.keys(schema.functions ?? {});
+    const handled = Object.keys(functions ?? {});
+    const missingHandler = declared.filter((slug) => !handled.includes(slug));
+    const missingDecl = handled.filter((slug) => !declared.includes(slug));
+    if (missingHandler.length === 0 && missingDecl.length === 0)
+        return;
+    const parts = [];
+    if (missingHandler.length > 0) {
+        parts.push(`schema declares function(s) with no handler: ${missingHandler.map((s) => `"${s}"`).join(', ')}`);
+    }
+    if (missingDecl.length > 0) {
+        parts.push(`handler(s) with no schema declaration: ${missingDecl.map((s) => `"${s}"`).join(', ')} ` +
+            `(declare them in defineSchema's \`functions\` group via \`func({ input, output })\`)`);
+    }
+    throw new Error(`defineRemoteDomain: functions/schema mismatch — ${parts.join('; ')}.`);
 }
 /**
  * Impl/binding half — `FunctionSchema[]` for `serialize` plus the per-slug

package/dist/domain/extend-functions.js.map

@@ -1 +1 @@
-{"version":3,"file":"extend-functions.js","sourceRoot":"","sources":["../../src/domain/extend-functions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAA;AAIhE,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA;AAE1C;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,WAAW,CAAA;AACnD,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,SAAS,gBAAgB,CAAC,SAA+C;IACvE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,8CAA8C,IAAI,kBAAkB,OAAO,GAAG,CAC/E,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAA+C;IAE/C,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAqC,EAAE,CAAA;IAChD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,CAAA;IAC/D,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,SAA+C,EAC/C,GAAW,EACX,eAAuB;IAEvB,MAAM,OAAO,GAAqB,EAAE,CAAA;IACpC,MAAM,QAAQ,GAAoC,EAAE,CAAA;IACpD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAA;QACvE,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;QACxB,OAAO,CAAC,IAAI,CAAC;YACX,GAAG,EAAE,YAAY,IAAI,EAAE;YACvB,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC;YAC7C,YAAY,EAAE,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC;YAC/C,MAAM,EAAE,OAAO;YACf,OAAO;SACR,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AAC9B,CAAC"}
+{"version":3,"file":"extend-functions.js","sourceRoot":"","sources":["../../src/domain/extend-functions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAMH,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAA;AAIhE,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA;AAE1C;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,WAAW,CAAA;AACnD,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,SAAS,gBAAgB,CAAC,SAA+C;IACvE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,8CAA8C,IAAI,kBAAkB,OAAO,GAAG,CAC/E,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAc,EACd,SAA2D;IAE3D,IAAI,SAAS;QAAE,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAA;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAA;IAC5C,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;IACzE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;IACtE,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IACnE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CACR,gDAAgD,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAA;IACH,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,0CAA0C,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACtF,sFAAsF,CACzF,CAAA;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACzF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,SAA+C,EAC/C,GAAW,EACX,eAAuB;IAEvB,MAAM,OAAO,GAAqB,EAAE,CAAA;IACpC,MAAM,QAAQ,GAAoC,EAAE,CAAA;IACpD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAA;QACvE,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;QACxB,OAAO,CAAC,IAAI,CAAC;YACX,GAAG,EAAE,YAAY,IAAI,EAAE;YACvB,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC;YAC7C,YAAY,EAAE,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC;YAC/C,MAAM,EAAE,OAAO;YACf,OAAO;SACR,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AAC9B,CAAC"}