@procedures/client 0.46.0 → 0.47.2

package/dist/tracing/traceparent.js

@@ -10,15 +10,36 @@ export const TRACEPARENT_METADATA_KEY = "traceparent";
 const TRACEPARENT = /^00-([0-9a-f]{32})-([0-9a-f]{16})-([0-9a-f]{2})$/;
 const ZERO_TRACE = "0".repeat(32);
 const ZERO_SPAN = "0".repeat(16);
-function randomHex(bytes) {
-    const values = new Uint8Array(bytes);
+/**
+ * The size of the pool of random bytes. One fill gives 256 trace ids or 512 span ids. Before
+ * (roadmap O94), each id called `getRandomValues` for 8 or 16 bytes: in a chain of 200 steps, the
+ * random ids took about 10 % of the per-step time of the host.
+ */
+export const RANDOM_POOL_BYTES = 4096;
+/** The two hex digits of each byte value. */
+const HEX = Array.from({ length: 256 }, (_, value) => value.toString(16).padStart(2, "0"));
+const pool = new Uint8Array(RANDOM_POOL_BYTES);
+// The pool starts empty: the first id fills it
+let next = RANDOM_POOL_BYTES;
+/** This function fills the pool with new random bytes. Each byte goes to one id only. */
+function refill() {
     const crypto = globalThis.crypto;
     if (crypto?.getRandomValues)
-        crypto.getRandomValues(values);
+        crypto.getRandomValues(pool);
     else
-        for (let index = 0; index < bytes; index++)
-            values[index] = Math.floor(Math.random() * 256);
-    return Array.from(values, (value) => value.toString(16).padStart(2, "0")).join("");
+        for (let index = 0; index < RANDOM_POOL_BYTES; index++)
+            pool[index] = Math.floor(Math.random() * 256);
+    next = 0;
+}
+/** This function gives `bytes` random bytes of the pool as hex digits. `bytes` is 16 or less. */
+function randomHex(bytes) {
+    if (next + bytes > RANDOM_POOL_BYTES)
+        refill();
+    let hex = "";
+    for (let index = next; index < next + bytes; index++)
+        hex += HEX[pool[index]];
+    next += bytes;
+    return hex;
 }
 /** This function makes a new trace id: 32 random hex digits. */
 export function newTraceId() {

package/dist/tracing/traceparent.js.map

@@ -1 +1 @@
-{"version":3,"file":"traceparent.js","sourceRoot":"","sources":["../../src/tracing/traceparent.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,2DAA2D;AAC3D,MAAM,CAAC,MAAM,wBAAwB,GAAG,aAAa,CAAC;AAEtD,MAAM,WAAW,GAAG,kDAAkD,CAAC;AACvE,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAClC,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AASjC,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,MAAM,GAAI,UAAmF,CAAC,MAAM,CAAC;IAC3G,IAAI,MAAM,EAAE,eAAe;QAAE,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;;QACvD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrF,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,UAAU;IACxB,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IACzB,OAAO,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,SAAS;IACvB,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,QAAQ,CAAC,OAAe,EAAE,MAAc;IACtD,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,KAAK,UAAU,IAAI,MAAM,KAAK,SAAS,CAAC;AAC3H,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,MAAc,EAAE,OAAO,GAAG,IAAI;IAC/E,OAAO,MAAM,OAAO,IAAI,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC;IACzC,IAAI,OAAO,KAAK,UAAU,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrE,OAAO,EAAE,OAAO,EAAE,OAAQ,EAAE,MAAM,EAAE,MAAO,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAM,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AAC3F,CAAC"}
+{"version":3,"file":"traceparent.js","sourceRoot":"","sources":["../../src/tracing/traceparent.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,2DAA2D;AAC3D,MAAM,CAAC,MAAM,wBAAwB,GAAG,aAAa,CAAC;AAEtD,MAAM,WAAW,GAAG,kDAAkD,CAAC;AACvE,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAClC,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AASjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC,6CAA6C;AAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AAE3F,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,iBAAiB,CAAC,CAAC;AAC/C,+CAA+C;AAC/C,IAAI,IAAI,GAAG,iBAAiB,CAAC;AAE7B,yFAAyF;AACzF,SAAS,MAAM;IACb,MAAM,MAAM,GAAI,UAAmF,CAAC,MAAM,CAAC;IAC3G,IAAI,MAAM,EAAE,eAAe;QAAE,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;;QACrD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,iBAAiB,EAAE,KAAK,EAAE;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;IAC3G,IAAI,GAAG,CAAC,CAAC;AACX,CAAC;AAED,iGAAiG;AACjG,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,IAAI,GAAG,KAAK,GAAG,iBAAiB;QAAE,MAAM,EAAE,CAAC;IAC/C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,GAAG,KAAK,EAAE,KAAK,EAAE;QAAE,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,CAAE,CAAC;IAChF,IAAI,IAAI,KAAK,CAAC;IACd,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,UAAU;IACxB,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IACzB,OAAO,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,SAAS;IACvB,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,QAAQ,CAAC,OAAe,EAAE,MAAc;IACtD,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,KAAK,UAAU,IAAI,MAAM,KAAK,SAAS,CAAC;AAC3H,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,MAAc,EAAE,OAAO,GAAG,IAAI;IAC/E,OAAO,MAAM,OAAO,IAAI,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC;IACzC,IAAI,OAAO,KAAK,UAAU,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrE,OAAO,EAAE,OAAO,EAAE,OAAQ,EAAE,MAAM,EAAE,MAAO,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAM,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AAC3F,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json.schemastore.org/package",
   "name": "@procedures/client",
-  "version": "0.46.0",
+  "version": "0.47.2",
   "description": "Procedures as data for TypeScript: define typed procedures once and call them in process, over HTTP, WebSocket, the CLI or MCP. Streaming, middleware, retries, caching and a JSON program format.",
   "keywords": [
     "rpc",
@@ -112,7 +112,7 @@
   },
   "dependencies": {
     "@mark1russell7/algebra": "^0.8.0",
-    "@mark1russell7/coeval": "^0.14.0",
+    "@mark1russell7/coeval": "^0.18.0",
     "@mark1russell7/quantity": "^0.2.0",
     "@mark1russell7/service": "^0.6.0",
     "@types/ws": "^8.18.1",
@@ -120,7 +120,8 @@
     "zod": "^4.6.5"
   },
   "devDependencies": {
-    "@mark1russell7/cue": "^1.0.0",
+    "@mark1russell7/api-report": "^0.3.0",
+    "@mark1russell7/cue": "^1.1.0",
     "@stryker-mutator/core": "10.0.0",
     "@stryker-mutator/vitest-runner": "10.0.0",
     "@types/express": "^5.0.0",
@@ -140,7 +141,7 @@
   },
   "scripts": {
     "build": "tsc -b",
-    "typecheck": "tsc --noEmit",
+    "typecheck": "tsc --noEmit && tsc -p tsconfig.test.json",
     "clean": "rm -rf dist",
     "test": "vitest run",
     "test:watch": "vitest",

package/src/adapters/http/server/transport.ts

@@ -219,6 +219,14 @@ export class HttpServerTransport implements ServerTransport {
     return !this.stopped && this.httpServer !== null && this.httpServer.listening;
   }
 
+  /**
+   * This method gives the number of requests in progress, open streams too. It is the count of
+   * `inFlight()` of the procedure handler of the transport.
+   */
+  inFlight(): number {
+    return this.handler.inFlight();
+  }
+
   /**
    * The port that the server of the transport listens on. With the option `port` 0, the system
    * gives a free port, and this function returns that port. Before `start()` and after `stop()`,

package/src/adapters/local/client/transport.ts

@@ -158,7 +158,17 @@ export class LocalTransport implements Transport {
   async *send<TReq, TRes>(message: Message<TReq>): AsyncIterable<ResponseItem<TRes>> {
     const key = methodKey(message.method);
     const handler = this.handlers.get(key);
-    const procedure = handler ? undefined : this.procedureFor(message.method);
+    let procedure = handler ? undefined : this.procedureFor(message.method);
+    // A miss of a lazy registry loads the packages of the path (roadmap O93). A hit does not wait.
+    if (!handler && !procedure && this.registry?.lazy) {
+      try {
+        procedure = await this.registry.resolve(methodToPath(message.method));
+      } catch (error) {
+        // A package of the path did not load: the item has the load error, not NOT_FOUND
+        yield errorItem<TRes>(message.id, errorCodeOf(error), error instanceof Error ? error.message : String(error));
+        return;
+      }
+    }
 
     // Handler not found
     if (!handler && !procedure) {

package/src/adapters/websocket/client/node.ts

@@ -11,10 +11,19 @@
  * import `ws`.
  */
 
-import { WebSocket as NodeWebSocket } from "ws";
+import { createRequire } from "node:module";
+import type { WebSocket as NodeWebSocket } from "ws";
 import { WebSocketTransport as PortableWebSocketTransport } from "./transport.js";
 import type { WebSocketTransportOptions } from "./types.js";
 
+/**
+ * This function gives the `WebSocket` class of `ws`. The first transport loads the package, not
+ * the import of this file: a process without a socket does not load `ws` (roadmap O93).
+ */
+function nodeWebSocket(): typeof NodeWebSocket {
+  return createRequire(import.meta.url)("ws") as typeof NodeWebSocket;
+}
+
 /**
  * The WebSocket client transport with the `WebSocket` class of the `ws` package as the default
  * class of its sockets. The option `webSocket` gives another class.
@@ -29,6 +38,6 @@ import type { WebSocketTransportOptions } from "./types.js";
  */
 export class WebSocketTransport extends PortableWebSocketTransport {
   constructor(options: WebSocketTransportOptions) {
-    super({ ...options, webSocket: options.webSocket ?? NodeWebSocket });
+    super({ ...options, webSocket: options.webSocket ?? nodeWebSocket() });
   }
 }

package/src/adapters/websocket/server/transport.ts

@@ -13,7 +13,8 @@
 
 import type { IncomingMessage } from "http";
 import type { Duplex } from "stream";
-import { WebSocketServer, WebSocket } from "ws";
+import { createRequire } from "node:module";
+import type { WebSocketServer, WebSocket } from "ws";
 import type { ServerTransport, ServerRequest } from "../../../server/types.js";
 import type { Message, ResponseItem, Transport } from "../../../client/types.js";
 import { pathToMethod } from "../../../server/method.js";
@@ -44,6 +45,17 @@ import {
   type Subscription,
 } from "../../../events/remote.js";
 
+/** The `readyState` of an open socket: `WebSocket.OPEN` of `ws`. */
+const OPEN = 1;
+
+/**
+ * This function gives the `WebSocketServer` class of `ws`. The start of the first server loads the
+ * package, not the import of this file: a process without a socket does not load `ws` (roadmap O93).
+ */
+function webSocketServerClass(): typeof WebSocketServer {
+  return (createRequire(import.meta.url)("ws") as { WebSocketServer: typeof WebSocketServer }).WebSocketServer;
+}
+
 /**
  * WebSocket server transport adapter.
  *
@@ -192,7 +204,7 @@ export class WebSocketServerTransport implements ServerTransport {
     this.intakeStopped = false;
     if (this.wss) return;
     // The "no server" mode: upgrade() takes the upgrades of the path, and leaves the others alone
-    this.wss = new WebSocketServer({
+    this.wss = new (webSocketServerClass())({
       noServer: true,
       path: this.options.path,
       perMessageDeflate: this.options.perMessageDeflate,
@@ -396,7 +408,7 @@ export class WebSocketServerTransport implements ServerTransport {
     const credentials = requestCredentials({ headers: req.headers as Record<string, unknown>, url: req.url, socket: req.socket }, { tokenQuery: "token" });
 
     // The calls of this connection in the two directions (roadmap R24)
-    const isOpen = (): boolean => ws.readyState === WebSocket.OPEN;
+    const isOpen = (): boolean => ws.readyState === OPEN;
     const send = (frame: WebSocketMessage): void => this.send(ws, frame);
     this.channels.set(connectionId, {
       incoming: new IncomingCalls({
@@ -573,7 +585,7 @@ export class WebSocketServerTransport implements ServerTransport {
    * the socket has written this frame, or the signal aborts.
    */
   private sendWithBackpressure(ws: WebSocket, message: WebSocketMessage, signal: AbortSignal): Promise<void> {
-    if (ws.readyState !== WebSocket.OPEN) return Promise.resolve();
+    if (ws.readyState !== OPEN) return Promise.resolve();
     return new Promise<void>((resolve) => {
       let waiting = false;
       const onAbort = (): void => resolve();
@@ -618,7 +630,7 @@ export class WebSocketServerTransport implements ServerTransport {
    * Send message to client.
    */
   private send(ws: WebSocket, message: WebSocketMessage): void {
-    if (ws.readyState === WebSocket.OPEN) {
+    if (ws.readyState === OPEN) {
       ws.send(JSON.stringify(message));
     }
   }

package/src/browser.ts

@@ -194,6 +194,10 @@ export {
   registerModules,
   createRegistry,
   registerClientProcedures,
+  // The lazy registry (roadmap O93)
+  createLazyRegistry,
+  resolveIn,
+  loadAllIn,
   callerOf,
   // Procedure reference system (procedure-as-data)
   PROCEDURE_SYMBOL,
@@ -224,6 +228,7 @@ export {
   RAW_INPUT_TAG,
   takesRawInput,
   rawInputRule,
+  preloadRefPaths,
   MAX_DATA_DEPTH,
   LITERAL_KEY,
   isLiteral,
@@ -261,6 +266,8 @@ export {
   // Every core procedure (math, comparison, string, type, object, array, meta too). Not registered by default.
   allCoreProcedures,
   allCoreModules,
+  // Only the math procedures: a bundle that imports only these gets no other core procedure (roadmap O95)
+  mathProcedures,
   chainProcedure,
   traceProcedure,
   parallelProcedure,
@@ -361,6 +368,10 @@ export type {
   CallerOptions,
   RegistrationOptions,
   ProcedureRegistryLike,
+  LazyRegistryOptions,
+  RegistryResolver,
+  ProcedureRegistryOptions,
+  ResolvingRegistry,
   ProcedureDefinition,
   ProcedureStub,
   InferProcedureInput,

package/src/client/client.ts

@@ -52,7 +52,7 @@ import type {
   StreamingCallResponse,
   ProcedureCallResult,
 } from "./call-types.js";
-import { buildResponse, toMiddlewareContext } from "./call-types.js";
+import { buildResponse, flattenRoute, toMiddlewareContext } from "./call-types.js";
 import { RouteResolver, type ResolvedRoute, type RouteResolutionResult } from "./route-resolver.js";
 import { BatchExecutor, type ExecutionContext } from "./batch-executor.js";
 import type { ProcedureRegistry } from "../procedures/registry.js";
@@ -88,6 +88,7 @@ import {
   isAnyProcedureRef,
   isPlainObject,
   normalizeRef,
+  preloadRefPaths,
   rawInputRule,
   type ProcedureRef,
   type AnyProcedureRef,
@@ -566,6 +567,15 @@ export class Client<TContext = {}> {
    * `root` starts the root call.
    */
   private runRef(ref: ProcedureRef, caller: CallerContext, root: (path: ProcedurePath, input: unknown) => unknown): Promise<unknown> {
+    // A lazy registry loads the packages of the paths of the program first: the raw-input rule
+    // below reads only the procedures that have loaded (roadmap O93). An eager registry does not wait.
+    const preload = preloadRefPaths(this.procedureRegistry, ref);
+    if (preload) return preload.then(() => this.startProgram(ref, caller, root));
+    return this.startProgram(ref, caller, root);
+  }
+
+  /** This function starts a program on the kernel, after the paths of a lazy registry loaded. */
+  private startProgram(ref: ProcedureRef, caller: CallerContext, root: (path: ProcedurePath, input: unknown) => unknown): Promise<unknown> {
     // A procedure that takes its input raw (control flow, the `runs-refs` and `raw-input` tags,
     // `procedure.define`) gets its operand refs RAW: it runs them itself, with correct
     // ordering/laziness/error-scoping. Eagerly hydrating here would run the operands up-front
@@ -703,7 +713,8 @@ export class Client<TContext = {}> {
     input: unknown,
     caller: CallerContext = {}
   ): Promise<TOutput> {
-    const procedure = this.procedureRegistry.get(path);
+    // A miss of a lazy registry loads the packages of the path (roadmap O93). A hit does not wait.
+    const procedure = this.procedureRegistry.get(path) ?? (this.procedureRegistry.lazy ? await this.procedureRegistry.resolve(path) : undefined);
     if (procedure?.handler) {
       const options = this.invokeOptions(caller);
       return outputValue(await invokeProcedure<TOutput>(procedure, input, options), path);
@@ -726,7 +737,7 @@ export class Client<TContext = {}> {
   ): AsyncIterable<TOutput> {
     const self = this;
     return (async function* () {
-      const procedure = self.procedureRegistry.get(path);
+      const procedure = self.procedureRegistry.get(path) ?? (self.procedureRegistry.lazy ? await self.procedureRegistry.resolve(path) : undefined);
       if (procedure?.handler) {
         const options = self.invokeOptions(caller);
         yield* outputItems(await invokeProcedure<TOutput>(procedure, input, options));
@@ -950,7 +961,7 @@ export class Client<TContext = {}> {
    *
    * @example
    * ```typescript
-   * import { z } from "zod";
+   * import * as z from "zod";
    *
    * const client = new Client({ transport })
    *   .use(createZodMiddleware())
@@ -1099,6 +1110,8 @@ export class Client<TContext = {}> {
   async route<TRoute extends Route>(
     request: CallRequest<TRoute>
   ): Promise<CallResponse<TRoute>> {
+    // A lazy registry loads the packages of the paths first: the resolver reads only what has loaded (roadmap O93)
+    if (this.procedureRegistry.lazy) await this.loadRoutePaths(request.route);
     const resolver = this.getRouteResolver();
     const executor = this.getBatchExecutor();
 
@@ -1135,6 +1148,35 @@ export class Client<TContext = {}> {
   routeStream<TRoute extends Route>(
     request: CallRequest<TRoute>
   ): StreamingCallResponse<TRoute> {
+    // A lazy registry without each path of the route: the stream starts after the packages loaded (roadmap O93)
+    const registry = this.procedureRegistry;
+    if (registry.lazy && flattenRoute(request.route).some((entry) => !registry.has(entry.path))) {
+      const started = this.loadRoutePaths(request.route).then(() => this.routeStreamLoaded(request));
+      const complete = started.then((response) => response.complete);
+      // A caller that reads only the results gets the load error there: the promise is not an unhandled rejection
+      complete.catch(() => undefined);
+      return {
+        results: (async function* () {
+          yield* (await started).results;
+        })(),
+        complete,
+      };
+    }
+    return this.routeStreamLoaded(request);
+  }
+
+  /**
+   * This function loads the packages of the paths of a route into a lazy registry. A package that
+   * did not load rejects the promise, with the load error as the `cause`.
+   */
+  private async loadRoutePaths(route: Route): Promise<void> {
+    for (const entry of flattenRoute(route)) {
+      if (!this.procedureRegistry.has(entry.path)) await this.procedureRegistry.resolve(entry.path);
+    }
+  }
+
+  /** This function starts the stream of a route whose procedures the registry has. */
+  private routeStreamLoaded<TRoute extends Route>(request: CallRequest<TRoute>): StreamingCallResponse<TRoute> {
     const resolver = this.getRouteResolver();
     const executor = this.getBatchExecutor();
 

package/src/client/errors/known-codes.ts

@@ -0,0 +1,22 @@
+/**
+ * The known error codes of the client, without their texts (roadmap O95).
+ *
+ * The error policy of a server needs only the codes, not the summaries and the suggestions of
+ * `ERROR_REGISTRY`. This module gives the codes from `ErrorCode` and `ERROR_CODES`, so a bundle
+ * of the server engine gets no copy of the texts. A test makes sure that this set and the keys of
+ * `ERROR_REGISTRY` are equal.
+ */
+
+import { ErrorCode } from "./codes.js";
+import { ERROR_CODES } from "../../protocol.js";
+
+/** The known error codes: each value of `ErrorCode` and each code of the wire protocol. */
+export const KNOWN_ERROR_CODES: ReadonlySet<string> = new Set<string>([...Object.values(ErrorCode), ...Object.keys(ERROR_CODES)]);
+
+/**
+ * This function gives `true` for a known error code. It gives the same answer as
+ * `isKnownErrorCode` of the registry, but it does not import the texts of the registry.
+ */
+export function isKnownCode(code: unknown): code is string {
+  return typeof code === "string" && KNOWN_ERROR_CODES.has(code);
+}

package/src/client/validation/index.ts

@@ -6,7 +6,7 @@
  *
  * @example
  * ```typescript
- * import { z } from "zod";
+ * import * as z from "zod";
  * import { Client } from "client";
  * import { createZodMiddleware, ValidationError } from "client/client/validation";
  *

package/src/events/publisher.ts

@@ -32,7 +32,7 @@
  * events (`dropped`). The bus never waits for a subscriber.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { createProcedure } from "../procedures/define.js";
 import { InvocationError, type Invocation } from "../procedures/invoke.js";
 import { capabilityRefusal } from "../procedures/capability.js";

package/src/procedures/caller.ts

@@ -1,7 +1,7 @@
 /**
  * A caller of the procedures of some modules (`callerOf`). An app that calls the procedures of a
  * package in its own process repeats three steps: a registry of the module, `invokePath` and
- * `outputValue`. A caller does the three steps in one call. jarvis had four copies of them.
+ * `outputValue`. A caller does the three steps in one call.
  */
 
 import type { ProcedurePath } from "./types.js";

package/src/procedures/collection/admission.ts

@@ -1,6 +1,6 @@
 /**
  * The rules of the rows of a served collection (roadmap CLI-41). A right can depend on the
- * document: a `when` condition of Graph, or `accessAdmitItem()` of `@procedures/access`. The option
+ * document: a `when` condition of an app, or `accessAdmitItem()` of `@procedures/access`. The option
  * `admission` of `createCollectionProcedures()` gives the rules as data:
  *
  * - `admit` examines each row `{ id, value }` that a read gives. It has the shape of `AdmitItem`,

package/src/procedures/core/array.ts

@@ -5,7 +5,7 @@
  * The namespace of all these procedures is "client": for example client.first and client.filter.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { anyOutput, arrayOutput, booleanOutput, numberOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";

package/src/procedures/core/comparison.ts

@@ -5,7 +5,7 @@
  * The namespace of all these procedures is "client": for example client.eq and client.gt.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { booleanOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";

package/src/procedures/core/index.ts

@@ -46,7 +46,7 @@
  */
 
 import { PURE_EFFECTS, REGISTRY_READ_EFFECTS, withEffects } from "../effects.js";
-import { z } from "zod";
+import * as z from "zod";
 import { anyOutput, booleanOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type {
@@ -136,6 +136,7 @@ const TryCatchInputSchema = z.looseObject({
 import {
   isAnyProcedureRef,
   normalizeRef,
+  preloadRefPaths,
   createRefScope,
   scopeOf,
   getRefWhen,
@@ -349,6 +350,8 @@ const traceProcedure: TraceProcedure = defineProcedure({
     if (!ctx?.client) throw new Error("client.trace: a run needs a client context");
     const registry = ctx.registry ?? PROCEDURE_REGISTRY;
     const limit = upTo ?? Number.POSITIVE_INFINITY;
+    // A lazy registry loads the paths of the steps first: the facts below read their effects (roadmap O93)
+    await preloadRefPaths(registry, steps);
 
     // The facts of each step before the run: its name, its path and the declared effects of its procedure
     const rows: TraceRow[] = steps.map((step, index) => {

package/src/procedures/core/math.ts

@@ -5,7 +5,7 @@
  * The namespace of all these procedures is "client": for example client.add and client.multiply.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { numberOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";

package/src/procedures/core/meta.ts

@@ -6,7 +6,7 @@
  * The namespace of all these procedures is "client": for example client.import and client.eval.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { anyOutput, stringOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";

package/src/procedures/core/object.ts

@@ -5,7 +5,7 @@
  * The namespace of all these procedures is "client": for example client.get and client.set.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { anyOutput, arrayOutput, booleanOutput, recordOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";

package/src/procedures/core/operands.ts

@@ -9,6 +9,7 @@ import {
   isAnyProcedureRef,
   isOutputRef,
   lookupOutputRef,
+  preloadRefPaths,
   rawInputRule,
   scopeOf,
   RUNS_REFS_TAG,
@@ -41,7 +42,11 @@ function executorOf(ctx: ProcedureContext): <TIn, TOut>(path: ProcedurePath, inp
  * each step of a chain (`client.trace`).
  */
 export function runControlFlow(name: string, input: unknown, ctx: ProcedureContext, options: Pick<RunControlOptions, "onStep"> = {}): Promise<unknown> {
-  return runControl(name, input, { executor: executorOf(ctx), rawInput: rawRule(ctx), onRef: ctx.onRef, scope: scopeOf(input), onStep: options.onStep });
+  // A lazy registry loads the paths of the operands before the raw-input rule reads them (roadmap O93)
+  const preload = preloadRefPaths(ctx.registry, input);
+  const run = (): Promise<unknown> =>
+    runControl(name, input, { executor: executorOf(ctx), rawInput: rawRule(ctx), onRef: ctx.onRef, scope: scopeOf(input), onStep: options.onStep });
+  return preload ? preload.then(run) : run();
 }
 
 /**
@@ -70,6 +75,7 @@ export function substituteRefs(value: unknown, scope: RefScope): unknown {
  * in `scope` and runs its nested refs, as `exec()` does for an input.
  */
 export async function hydrateOperand(value: unknown, ctx: ProcedureContext, scope?: RefScope): Promise<unknown> {
+  await preloadRefPaths(ctx.registry, value);
   return hydrateInput(value, executorOf(ctx), { scope, rawInput: rawRule(ctx), onRef: ctx.onRef });
 }
 
@@ -86,6 +92,7 @@ export async function callOperand(
   ctx: ProcedureContext,
   options: { scope?: RefScope | undefined; extra?: Record<string, unknown> | undefined } = {},
 ): Promise<unknown> {
+  await preloadRefPaths(ctx.registry, ref);
   return runOperand(ref, { executor: executorOf(ctx), rawInput: rawRule(ctx), onRef: ctx.onRef, scope: options.scope, extra: options.extra });
 }
 

package/src/procedures/core/outputs.ts

@@ -6,7 +6,7 @@
  * helpers give each output a real zod 4 schema with a description.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 
 /**
  * Any JavaScript number, also `NaN` and `Infinity`. zod 4's `z.number()` refuses both, but

package/src/procedures/core/string.ts

@@ -5,7 +5,7 @@
  * The namespace of all these procedures is "client": for example client.concat and client.split.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { booleanOutput, numberOutput, stringOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";

package/src/procedures/core/type.ts

@@ -5,7 +5,7 @@
  * The namespace of all these procedures is "client": for example client.typeof and client.isArray.
  */
 
-import { z } from "zod";
+import * as z from "zod";
 import { anyOutput, booleanOutput, stringOutput } from "./outputs.js";
 import { defineProcedure, namespace } from "../define.js";
 import type { AnyProcedure, Procedure } from "../types.js";