@procedures/client 0.7.0 → 0.8.1

package/dist/procedures/collection/storage.js

@@ -1,2 +1,25 @@
+/**
+ * The storage of a collection, as the core sees it.
+ *
+ * The core procedures of a collection (`collections.<name>.<operation>`), the repository of a
+ * procedure context and the collections of a `ProcedureServer` use a storage through this
+ * interface. It has the shape of `CollectionStorage` of `@procedures/collections`, so
+ * each backend of that package (`InMemoryStorage`) and of `@procedures/store`
+ * (`ApiStorage`, `HybridStorage`) fits it. The core declares it itself, so it does not depend on
+ * the collections package (roadmap 3.3).
+ *
+ * Each method gives a Promise: a caller cannot tell a local storage from a remote one.
+ *
+ * The contract (the suite of `@procedures/collections/testing` tests it for each storage):
+ * - A storage keeps a copy of each value that a write takes, and each read gives a new copy.
+ * - A stored `null` reads back as `null`. A missing id reads back as `undefined`.
+ * - `getIds()` gives the ids of `getEntries()`, in the same order.
+ * - A delta of `getChangesSince` follows the order of the last change of each id.
+ * - After `close()`, each operation rejects with an error whose message says "closed". A second
+ *   `close()` does nothing.
+ * - `query()` gives the result of `queryEntries()` of `@procedures/collections` for the entries.
+ * - `observe()` gives one batch for each write that changes the storage, before the write resolves.
+ * - `patch()` merges the fields into the item in one step.
+ */
 export {};
 //# sourceMappingURL=storage.js.map

package/dist/procedures/collection/storage.js.map

@@ -1 +1 @@
-{"version":3,"file":"storage.js","sourceRoot":"","sources":["../../../src/procedures/collection/storage.ts"],"names":[],"mappings":""}
+{"version":3,"file":"storage.js","sourceRoot":"","sources":["../../../src/procedures/collection/storage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG"}

package/dist/procedures/elicit.d.ts

@@ -0,0 +1,190 @@
+/**
+ * The questions of a procedure to the person at the caller (CLI-12).
+ *
+ * A face of a host (MCP, a terminal) can ask the person at the caller for input or for a
+ * confirmation during a call. The face puts an `Elicit` function on the request, and the
+ * procedure gets it as `ctx.elicit`. A face that cannot ask gives no function. Then the helpers
+ * `elicitInput` and `elicitConfirmation` give the action `unavailable` with a reason, so a
+ * procedure always gets a clear answer.
+ *
+ * The operator can answer some questions before the calls (`ElicitationPolicy.operatorConsent`):
+ * a consent that the operator gives when the server starts. The person comes first: the operator
+ * answers only when the face cannot ask the person. When the face can ask, and the question
+ * fails (a timeout, a lost connection), the answer is `unavailable`: the silence of a person is
+ * not a consent.
+ */
+import type { Duration } from "../duration.js";
+import type { ProcedureContext } from "./types.js";
+/** The texts of a field that the face shows to the person. */
+export interface ElicitFieldBase {
+    /** The short name of the field. */
+    readonly title?: string | undefined;
+    /** The text that tells what the field is for. */
+    readonly description?: string | undefined;
+}
+/** A field of free text. */
+export interface ElicitTextField extends ElicitFieldBase {
+    readonly type: "string";
+    readonly enum?: undefined;
+    readonly minLength?: number | undefined;
+    readonly maxLength?: number | undefined;
+    readonly format?: "email" | "uri" | "date" | "date-time" | undefined;
+    readonly default?: string | undefined;
+}
+/** A field of a number. */
+export interface ElicitNumberField extends ElicitFieldBase {
+    readonly type: "number" | "integer";
+    readonly minimum?: number | undefined;
+    readonly maximum?: number | undefined;
+    readonly default?: number | undefined;
+}
+/** A field of yes or no. */
+export interface ElicitBooleanField extends ElicitFieldBase {
+    readonly type: "boolean";
+    readonly default?: boolean | undefined;
+}
+/** A field of one choice from a list. `enumNames` gives the text of each choice. */
+export interface ElicitChoiceField extends ElicitFieldBase {
+    readonly type: "string";
+    readonly enum: readonly string[];
+    readonly enumNames?: readonly string[] | undefined;
+    readonly default?: string | undefined;
+}
+/** A field of some choices from a list. */
+export interface ElicitChoicesField extends ElicitFieldBase {
+    readonly type: "array";
+    readonly items: {
+        readonly type: "string";
+        readonly enum: readonly string[];
+    };
+    readonly minItems?: number | undefined;
+    readonly maxItems?: number | undefined;
+    readonly default?: readonly string[] | undefined;
+}
+/** A field of a form: the primitive fields of MCP elicitation. A form has no nested fields. */
+export type ElicitField = ElicitTextField | ElicitNumberField | ElicitBooleanField | ElicitChoiceField | ElicitChoicesField;
+/** The value of a field in an answer. */
+export type ElicitValue = string | number | boolean | readonly string[];
+/** A question with a form: the person fills in the fields. */
+export interface ElicitFormRequest {
+    readonly mode?: "form" | undefined;
+    /** The question, as the face shows it to the person. */
+    readonly message: string;
+    /** The fields of the answer, by name. */
+    readonly fields: Readonly<Record<string, ElicitField>>;
+    /** The names of the fields that an accepted answer must have. */
+    readonly required?: readonly string[] | undefined;
+    /**
+     * The key of the consent that the question asks for, for example `"user-provided"`. With a
+     * key, the operator can give the consent before the calls (`ElicitationPolicy.operatorConsent`).
+     * Without a key, only the person can answer.
+     */
+    readonly consent?: string | undefined;
+}
+/**
+ * A question with a URL: the person opens the URL and completes a step outside the face (a
+ * sign-in, a payment). The answer tells only if the person agreed to open it.
+ */
+export interface ElicitUrlRequest {
+    readonly mode: "url";
+    readonly message: string;
+    readonly url: string;
+    /** The id of the question. The default is a random id. */
+    readonly id?: string | undefined;
+}
+/** A question to the person at the caller. */
+export type ElicitRequest = ElicitFormRequest | ElicitUrlRequest;
+/** The kind of a question: a form, or a URL. */
+export type ElicitMode = "form" | "url";
+/**
+ * What the answer of a question is:
+ * - `accept`: the person, or the operator, gave the answer.
+ * - `decline`: the person said no.
+ * - `cancel`: the person closed the question without a choice.
+ * - `unavailable`: no one can answer. The face cannot ask the person, and no consent of the
+ *   operator applies. `reason` tells why.
+ */
+export type ElicitAction = "accept" | "decline" | "cancel" | "unavailable";
+/** The answer of a question. */
+export interface ElicitResult {
+    readonly action: ElicitAction;
+    /** The values of the fields, for `accept`. */
+    readonly content?: Readonly<Record<string, ElicitValue>> | undefined;
+    /** Who answered: the person, or the operator (a consent of the start). Absent for `unavailable`. */
+    readonly by?: "person" | "operator" | undefined;
+    /** Why no one answered, for `unavailable`. */
+    readonly reason?: string | undefined;
+}
+/** The options of one question. */
+export interface ElicitOptions {
+    /** When the signal aborts, the question stops. The default is the signal of the call. */
+    readonly signal?: AbortSignal | undefined;
+    /** The time that the face waits for the answer. The face has a default (MCP: 5 minutes). */
+    readonly timeout?: Duration | undefined;
+}
+/**
+ * The function that asks the person at the caller (`ctx.elicit`). `modes` tells which kinds of
+ * question the face can ask the person. An empty list: only the operator answers.
+ */
+export interface Elicit {
+    (request: ElicitRequest, options?: ElicitOptions): Promise<ElicitResult>;
+    readonly modes: readonly ElicitMode[];
+}
+/** This function makes an `Elicit` function from the modes of a face and its ask function. */
+export declare function createElicit(modes: readonly ElicitMode[], ask: (request: ElicitRequest, options: ElicitOptions) => Promise<ElicitResult>): Elicit;
+/** The rules of a host for the questions of its procedures. */
+export interface ElicitationPolicy {
+    /** False: the face does not ask the person, also when it can. The default is true. */
+    readonly ask?: boolean | undefined;
+    /**
+     * The consents that the operator gives when the server starts: `true` for each question with a
+     * consent key, or a list of consent keys. The operator answers only when the face cannot ask
+     * the person, not when a question of the face fails. The default is no consent. Example:
+     * `["user-provided"]` for the flag `--allow-user-provided` of polite-crawler.
+     */
+    readonly operatorConsent?: boolean | readonly string[] | undefined;
+    /** The time that the face waits for an answer, when the question gives no time. */
+    readonly timeout?: Duration | undefined;
+}
+/**
+ * The answer of the operator to a question, or undefined. The operator answers a form question
+ * with a consent key that the operator gave. Each field of yes or no gets `true`, and another
+ * field gets its default. The operator gives no answer when a necessary field has no default.
+ */
+export declare function operatorAnswer(request: ElicitRequest, consent: boolean | readonly string[] | undefined): ElicitResult | undefined;
+/**
+ * This function applies the policy of a host to the `Elicit` function of a face. The result
+ * asks the person when the face can. A failed question gives `unavailable` (`cancel` for an
+ * abort). When the face cannot ask, the consent of the operator answers, or the answer is
+ * `unavailable`. The function gives undefined when no one can answer: no face and no consent.
+ */
+export declare function elicitWithPolicy(face: Elicit | undefined, policy?: ElicitationPolicy): Elicit | undefined;
+/** The reason of an answer when the context has no `elicit` function. */
+export declare const NO_ELICITATION_REASON = "The face of the call cannot ask the person, and the operator gave no consent for this question";
+/**
+ * This function asks the person at the caller through `ctx.elicit`. It always gives an answer,
+ * and it does not throw. The answer is `unavailable` with a reason when the face cannot ask, or
+ * when the question fails. An abort of the call gives `cancel`.
+ */
+export declare function elicitInput(ctx: Pick<ProcedureContext, "elicit" | "signal">, request: ElicitRequest, options?: ElicitOptions): Promise<ElicitResult>;
+/** The options of `elicitConfirmation`. */
+export interface ConfirmationOptions extends ElicitOptions {
+    /** The key of the consent, so the operator can give it before the calls. */
+    readonly consent?: string | undefined;
+    /** The name of the field of yes or no. The default is `"confirm"`. */
+    readonly field?: string | undefined;
+    /** The text of the field. The default is `"Yes"`. */
+    readonly title?: string | undefined;
+    /** The text that tells what a yes does. */
+    readonly description?: string | undefined;
+}
+/** The answer of a confirmation. `confirmed` is true only for an accepted answer of yes. */
+export interface ConfirmationResult extends ElicitResult {
+    readonly confirmed: boolean;
+}
+/**
+ * This function asks the person at the caller a question of yes or no. `confirmed` is true only
+ * when the person, or the consent of the operator, says yes.
+ */
+export declare function elicitConfirmation(ctx: Pick<ProcedureContext, "elicit" | "signal">, question: string, options?: ConfirmationOptions): Promise<ConfirmationResult>;
+//# sourceMappingURL=elicit.d.ts.map

package/dist/procedures/elicit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"elicit.d.ts","sourceRoot":"","sources":["../../src/procedures/elicit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAMnD,8DAA8D;AAC9D,MAAM,WAAW,eAAe;IAC9B,mCAAmC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,iDAAiD;IACjD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C;AAED,4BAA4B;AAC5B,MAAM,WAAW,eAAgB,SAAQ,eAAe;IACtD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,KAAK,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,CAAC;IACrE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,2BAA2B;AAC3B,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACxD,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,4BAA4B;AAC5B,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IACzD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACxC;AAED,oFAAoF;AACpF,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACxD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,2CAA2C;AAC3C,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IACzD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAClD;AAED,+FAA+F;AAC/F,MAAM,MAAM,WAAW,GAAG,eAAe,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,iBAAiB,GAAG,kBAAkB,CAAC;AAE5H,yCAAyC;AACzC,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,MAAM,EAAE,CAAC;AAMxE,8DAA8D;AAC9D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,wDAAwD;IACxD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACvD,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAClD;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAClC;AAED,8CAA8C;AAC9C,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AAEjE,gDAAgD;AAChD,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,KAAK,CAAC;AAExC;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,aAAa,CAAC;AAE3E,gCAAgC;AAChC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,GAAG,SAAS,CAAC;IACrE,oGAAoG;IACpG,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAED,mCAAmC;AACnC,MAAM,WAAW,aAAa;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAC1C,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACzE,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAED,8FAA8F;AAC9F,wBAAgB,YAAY,CAC1B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,GAAG,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,KAAK,OAAO,CAAC,YAAY,CAAC,GAC7E,MAAM,CAGR;AAMD,+DAA+D;AAC/D,MAAM,WAAW,iBAAiB;IAChC,sFAAsF;IACtF,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IACnE,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;CACzC;AAoBD;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,GAC/C,YAAY,GAAG,SAAS,CAU1B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,GAAE,iBAAsB,GAAG,MAAM,GAAG,SAAS,CAwB7G;AAMD,yEAAyE;AACzE,eAAO,MAAM,qBAAqB,mGACgE,CAAC;AAEnG;;;;GAIG;AACH,wBAAsB,WAAW,CAC/B,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,QAAQ,GAAG,QAAQ,CAAC,EAChD,OAAO,EAAE,aAAa,EACtB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAQvB;AAED,2CAA2C;AAC3C,MAAM,WAAW,mBAAoB,SAAQ,aAAa;IACxD,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,sEAAsE;IACtE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,2CAA2C;IAC3C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C;AAED,4FAA4F;AAC5F,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,QAAQ,GAAG,QAAQ,CAAC,EAChD,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,kBAAkB,CAAC,CAc7B"}

package/dist/procedures/elicit.js

@@ -0,0 +1,127 @@
+/**
+ * The questions of a procedure to the person at the caller (CLI-12).
+ *
+ * A face of a host (MCP, a terminal) can ask the person at the caller for input or for a
+ * confirmation during a call. The face puts an `Elicit` function on the request, and the
+ * procedure gets it as `ctx.elicit`. A face that cannot ask gives no function. Then the helpers
+ * `elicitInput` and `elicitConfirmation` give the action `unavailable` with a reason, so a
+ * procedure always gets a clear answer.
+ *
+ * The operator can answer some questions before the calls (`ElicitationPolicy.operatorConsent`):
+ * a consent that the operator gives when the server starts. The person comes first: the operator
+ * answers only when the face cannot ask the person. When the face can ask, and the question
+ * fails (a timeout, a lost connection), the answer is `unavailable`: the silence of a person is
+ * not a consent.
+ */
+/** This function makes an `Elicit` function from the modes of a face and its ask function. */
+export function createElicit(modes, ask) {
+    const elicit = (request, options) => ask(request, options ?? {});
+    return Object.assign(elicit, { modes: Object.freeze([...modes]) });
+}
+function messageOf(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+/** True when an error is the abort of a signal, or the signal aborted. */
+function isAbort(error, signal) {
+    return signal?.aborted === true || (error instanceof Error && error.name === "AbortError");
+}
+/**
+ * The answer when a question of the face fails: `cancel` for an abort, else `unavailable`. The
+ * operator does not answer here: the person can see the question.
+ */
+function failedAnswer(error, signal) {
+    const reason = `The face could not get the answer of the person: ${messageOf(error)}`;
+    return { action: isAbort(error, signal) ? "cancel" : "unavailable", reason };
+}
+/**
+ * The answer of the operator to a question, or undefined. The operator answers a form question
+ * with a consent key that the operator gave. Each field of yes or no gets `true`, and another
+ * field gets its default. The operator gives no answer when a necessary field has no default.
+ */
+export function operatorAnswer(request, consent) {
+    if (consent === undefined || consent === false || request.mode === "url" || request.consent === undefined)
+        return undefined;
+    if (consent !== true && !consent.includes(request.consent))
+        return undefined;
+    const content = {};
+    for (const [name, field] of Object.entries(request.fields)) {
+        if (field.type === "boolean")
+            content[name] = true;
+        else if (field.default !== undefined)
+            content[name] = field.default;
+        else if (request.required?.includes(name))
+            return undefined;
+    }
+    return { action: "accept", content, by: "operator" };
+}
+/**
+ * This function applies the policy of a host to the `Elicit` function of a face. The result
+ * asks the person when the face can. A failed question gives `unavailable` (`cancel` for an
+ * abort). When the face cannot ask, the consent of the operator answers, or the answer is
+ * `unavailable`. The function gives undefined when no one can answer: no face and no consent.
+ */
+export function elicitWithPolicy(face, policy = {}) {
+    const asker = policy.ask === false ? undefined : face;
+    const consent = policy.operatorConsent;
+    const operator = consent === true || (Array.isArray(consent) && consent.length > 0);
+    if (!asker && !operator)
+        return undefined;
+    return createElicit(asker?.modes ?? [], async (request, options) => {
+        const timed = options.timeout === undefined && policy.timeout !== undefined ? { ...options, timeout: policy.timeout } : options;
+        const mode = request.mode ?? "form";
+        let reason;
+        if (asker && asker.modes.includes(mode)) {
+            // The person can see the question: a timeout or a lost connection is not a consent
+            try {
+                return await asker(request, timed);
+            }
+            catch (error) {
+                return failedAnswer(error, options.signal);
+            }
+        }
+        else if (asker) {
+            reason = `The face cannot ask a question of the mode "${mode}"`;
+        }
+        else {
+            reason = policy.ask === false ? "The host does not ask the person" : "The face of the call cannot ask the person";
+        }
+        return operatorAnswer(request, consent) ?? { action: "unavailable", reason };
+    });
+}
+// =============================================================================
+// The helpers of a procedure
+// =============================================================================
+/** The reason of an answer when the context has no `elicit` function. */
+export const NO_ELICITATION_REASON = "The face of the call cannot ask the person, and the operator gave no consent for this question";
+/**
+ * This function asks the person at the caller through `ctx.elicit`. It always gives an answer,
+ * and it does not throw. The answer is `unavailable` with a reason when the face cannot ask, or
+ * when the question fails. An abort of the call gives `cancel`.
+ */
+export async function elicitInput(ctx, request, options = {}) {
+    if (!ctx.elicit)
+        return { action: "unavailable", reason: NO_ELICITATION_REASON };
+    const signal = options.signal ?? ctx.signal;
+    try {
+        return await ctx.elicit(request, signal ? { ...options, signal } : options);
+    }
+    catch (error) {
+        return failedAnswer(error, signal);
+    }
+}
+/**
+ * This function asks the person at the caller a question of yes or no. `confirmed` is true only
+ * when the person, or the consent of the operator, says yes.
+ */
+export async function elicitConfirmation(ctx, question, options = {}) {
+    const { consent, field: fieldOption, title, description, ...elicitOptions } = options;
+    const field = fieldOption ?? "confirm";
+    const result = await elicitInput(ctx, {
+        message: question,
+        fields: { [field]: { type: "boolean", title: title ?? "Yes", ...(description !== undefined ? { description } : {}) } },
+        required: [field],
+        ...(consent !== undefined ? { consent } : {}),
+    }, elicitOptions);
+    return { ...result, confirmed: result.action === "accept" && result.content?.[field] === true };
+}
+//# sourceMappingURL=elicit.js.map

package/dist/procedures/elicit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"elicit.js","sourceRoot":"","sources":["../../src/procedures/elicit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA6IH,8FAA8F;AAC9F,MAAM,UAAU,YAAY,CAC1B,KAA4B,EAC5B,GAA8E;IAE9E,MAAM,MAAM,GAAG,CAAC,OAAsB,EAAE,OAAuB,EAAyB,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;IACvH,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;AACrE,CAAC;AAqBD,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,0EAA0E;AAC1E,SAAS,OAAO,CAAC,KAAc,EAAE,MAA+B;IAC9D,OAAO,MAAM,EAAE,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;AAC7F,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,KAAc,EAAE,MAA+B;IACnE,MAAM,MAAM,GAAG,oDAAoD,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IACtF,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;AAC/E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAsB,EACtB,OAAgD;IAEhD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5H,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7E,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aAC9C,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;aAC/D,IAAI,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;IAC9D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,MAAM,GAAsB,EAAE;IACvF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC;IACvC,MAAM,QAAQ,GAAG,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpF,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;QACjE,MAAM,KAAK,GACT,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;QACpH,MAAM,IAAI,GAAe,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC;QAChD,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,mFAAmF;YACnF,IAAI,CAAC;gBACH,OAAO,MAAM,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACrC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,EAAE,CAAC;YACjB,MAAM,GAAG,+CAA+C,IAAI,GAAG,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,4CAA4C,CAAC;QACpH,CAAC;QACD,OAAO,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,yEAAyE;AACzE,MAAM,CAAC,MAAM,qBAAqB,GAChC,gGAAgG,CAAC;AAEnG;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,GAAgD,EAChD,OAAsB,EACtB,OAAO,GAAkB,EAAE;IAE3B,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IACjF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAmBD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,GAAgD,EAChD,QAAgB,EAChB,OAAO,GAAwB,EAAE;IAEjC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,aAAa,EAAE,GAAG,OAAO,CAAC;IACtF,MAAM,KAAK,GAAG,WAAW,IAAI,SAAS,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,WAAW,CAC9B,GAAG,EACH;QACE,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,IAAI,KAAK,EAAE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtH,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,EACD,aAAa,CACd,CAAC;IACF,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;AAClG,CAAC"}

package/dist/procedures/hints.d.ts

@@ -0,0 +1,43 @@
+/**
+ * The tool hints of a procedure with its override (CLI-10).
+ *
+ * The declared effects give the hints of a tool (`toolHints()`). A procedure can make its tool
+ * look more dangerous with `metadata.toolHints`, for example `openWorldHint: true` for a store
+ * that other people can read. An override cannot make a tool look safer than its effects:
+ * the effects stay the truth, and the host enforces the effects, not the hints.
+ *
+ * The cautious value of each hint:
+ * - `readOnlyHint: false`: the tool can change something.
+ * - `destructiveHint: true`: the tool can delete or overwrite data.
+ * - `idempotentHint: false`: a second call can change more.
+ * - `openWorldHint: true`: the tool can reach systems outside the host.
+ *
+ * An override cannot give the other value, also when the effects give it. The registry refuses
+ * such an override when the procedure registers.
+ */
+import type { AnyProcedure } from "./types.js";
+import { type ToolHints } from "./capability.js";
+/**
+ * The override of the hints of a tool. Each hint has only its cautious value, so the type refuses
+ * the other value before the registry does.
+ */
+export interface ToolHintOverride {
+    readonly readOnlyHint?: false | undefined;
+    readonly destructiveHint?: true | undefined;
+    readonly idempotentHint?: false | undefined;
+    readonly openWorldHint?: true | undefined;
+}
+/** The override of a procedure (`metadata.toolHints`), or undefined. */
+export declare function toolHintOverrideOf(procedure: AnyProcedure): ToolHintOverride | undefined;
+/**
+ * The refusal of the override of a procedure, or undefined when the override is correct. An
+ * override can give only the cautious value of a hint.
+ */
+export declare function toolHintOverrideRefusal(procedure: AnyProcedure): string | undefined;
+/**
+ * The hints of the tool of a procedure: the hints of its effects, with the cautious values of
+ * its override. A value of the override that is not cautious has no effect (the registry refuses
+ * it at registration).
+ */
+export declare function toolHintsOf(procedure: AnyProcedure): ToolHints;
+//# sourceMappingURL=hints.d.ts.map

package/dist/procedures/hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hints.d.ts","sourceRoot":"","sources":["../../src/procedures/hints.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5D;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;CAC3C;AAcD,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,YAAY,GAAG,gBAAgB,GAAG,SAAS,CAGxF;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,YAAY,GAAG,MAAM,GAAG,SAAS,CAoBnF;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,YAAY,GAAG,SAAS,CAS9D"}

package/dist/procedures/hints.js

@@ -0,0 +1,74 @@
+/**
+ * The tool hints of a procedure with its override (CLI-10).
+ *
+ * The declared effects give the hints of a tool (`toolHints()`). A procedure can make its tool
+ * look more dangerous with `metadata.toolHints`, for example `openWorldHint: true` for a store
+ * that other people can read. An override cannot make a tool look safer than its effects:
+ * the effects stay the truth, and the host enforces the effects, not the hints.
+ *
+ * The cautious value of each hint:
+ * - `readOnlyHint: false`: the tool can change something.
+ * - `destructiveHint: true`: the tool can delete or overwrite data.
+ * - `idempotentHint: false`: a second call can change more.
+ * - `openWorldHint: true`: the tool can reach systems outside the host.
+ *
+ * An override cannot give the other value, also when the effects give it. The registry refuses
+ * such an override when the procedure registers.
+ */
+import { toolHints } from "./capability.js";
+/** The cautious value of each hint: the only value that an override can give. */
+const CAUTIOUS = {
+    readOnlyHint: false,
+    destructiveHint: true,
+    idempotentHint: false,
+    openWorldHint: true,
+};
+const HINT_NAMES = Object.keys(CAUTIOUS);
+/** The override of a procedure (`metadata.toolHints`), or undefined. */
+export function toolHintOverrideOf(procedure) {
+    const value = procedure.metadata?.toolHints;
+    return value !== null && typeof value === "object" ? value : undefined;
+}
+/**
+ * The refusal of the override of a procedure, or undefined when the override is correct. An
+ * override can give only the cautious value of a hint.
+ */
+export function toolHintOverrideRefusal(procedure) {
+    const value = procedure.metadata?.toolHints;
+    if (value === undefined)
+        return undefined;
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        return "metadata.toolHints must be an object of hints";
+    }
+    for (const [name, hint] of Object.entries(value)) {
+        if (hint === undefined)
+            continue;
+        if (!HINT_NAMES.includes(name)) {
+            return `metadata.toolHints has an unknown hint "${name}". The hints are ${HINT_NAMES.join(", ")}`;
+        }
+        const cautious = CAUTIOUS[name];
+        if (hint !== cautious) {
+            return (`metadata.toolHints.${name} can only be ${String(cautious)}: an override can only make a tool look more ` +
+                `dangerous than its effects. The declared effects give the other hints`);
+        }
+    }
+    return undefined;
+}
+/**
+ * The hints of the tool of a procedure: the hints of its effects, with the cautious values of
+ * its override. A value of the override that is not cautious has no effect (the registry refuses
+ * it at registration).
+ */
+export function toolHintsOf(procedure) {
+    const derived = toolHints(procedure);
+    const override = toolHintOverrideOf(procedure);
+    if (!override)
+        return derived;
+    const hints = { ...derived };
+    for (const name of HINT_NAMES) {
+        if (override[name] === CAUTIOUS[name])
+            hints[name] = CAUTIOUS[name];
+    }
+    return hints;
+}
+//# sourceMappingURL=hints.js.map

package/dist/procedures/hints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hints.js","sourceRoot":"","sources":["../../src/procedures/hints.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,SAAS,EAAkB,MAAM,iBAAiB,CAAC;AAe5D,iFAAiF;AACjF,MAAM,QAAQ,GAAwC;IACpD,YAAY,EAAE,KAAK;IACnB,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,KAAK;IACrB,aAAa,EAAE,IAAI;CACpB,CAAC;AAEF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAe,CAAC;AAEvD,wEAAwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,SAAuB;IACxD,MAAM,KAAK,GAAI,SAAS,CAAC,QAAgD,EAAE,SAAS,CAAC;IACrF,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAE,KAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,SAAuB;IAC7D,MAAM,KAAK,GAAI,SAAS,CAAC,QAAgD,EAAE,SAAS,CAAC;IACrF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,+CAA+C,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;QAC5E,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAgB,CAAC,EAAE,CAAC;YAC3C,OAAO,2CAA2C,IAAI,oBAAoB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpG,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAgB,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,CACL,sBAAsB,IAAI,gBAAgB,MAAM,CAAC,QAAQ,CAAC,+CAA+C;gBACzG,uEAAuE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,SAAuB;IACjD,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAC;IAC9B,MAAM,KAAK,GAA+C,EAAE,GAAG,OAAO,EAAE,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/procedures/index.d.ts

@@ -4,7 +4,7 @@
  * Type-safe procedure definitions with schema validation,
  * registry for auto-discovery, and server integration.
  */
-export type { ProcedurePath, ProcedureMetadata, RepositoryProvider, ProcedureContext, ProcedureHandler, Procedure, AnyProcedure, ProcedureResult, ProcedureError, InferProcedureInput, InferProcedureOutput, InferProcedureMetadata, RegistryEventType, RegistryListener, ProcedureModule, RegistrationOptions, ProcedureRegistryLike, Effects, PermittedEffects, Register, ClearanceOf, ResourcesOf, Capability, CapabilityRequest, ClearanceOrder, NestedCallOptions, } from "./types.js";
+export type { ProcedurePath, ProcedureMetadata, RepositoryProvider, ProcedureContext, ProcedureHandler, Procedure, AnyProcedure, ProcedureResult, ProcedureError, InferProcedureInput, InferProcedureOutput, InferProcedureMetadata, RegistryEventType, RegistryListener, ProcedureModule, RegistrationOptions, ProcedureRegistryLike, Effects, FsRootRules, PermittedEffects, Register, ClearanceOf, ResourcesOf, Capability, CapabilityRequest, ClearanceOrder, NestedCallOptions, } from "./types.js";
 export { pathToKey, keyToPath } from "./types.js";
 export { STANDARD_RESOURCES, UNLIMITED_CAPABILITY, ladder, effectsOf, isReadOnly, isDestructive, isOpenWorld, toolHints, narrowCapability, capabilityRefusal, examinesNestedCall, explainInvocation, checkEffects, } from "./capability.js";
 export { PURE_EFFECTS, REGISTRY_READ_EFFECTS, withEffects, INFERRED_EFFECTS_METADATA_KEY, inferredEffectsOf, effectsValue } from "./effects.js";
@@ -12,15 +12,24 @@ export { MANIFEST_FORMAT, describeProcedure as describeProcedureEntry, describeR
 export type { ProcedureEntry, ProcedureManifest, CliDescription, DescribeOptions, DescribeRegistryOptions } from "./manifest.js";
 export { IDEMPOTENCY_KEY_METADATA, MAX_IDEMPOTENCY_KEY_LENGTH, IdempotencyCache, idempotencyKeyOf, idempotentIn, effectsIn, isRepeatable, newIdempotencyKey, } from "./idempotency.js";
 export type { IdempotencyOptions } from "./idempotency.js";
+export { createElicit, elicitWithPolicy, operatorAnswer, elicitInput, elicitConfirmation, NO_ELICITATION_REASON, } from "./elicit.js";
+export type { Elicit, ElicitRequest, ElicitFormRequest, ElicitUrlRequest, ElicitMode, ElicitAction, ElicitResult, ElicitOptions, ElicitField, ElicitFieldBase, ElicitTextField, ElicitNumberField, ElicitBooleanField, ElicitChoiceField, ElicitChoicesField, ElicitValue, ElicitationPolicy, ConfirmationOptions, ConfirmationResult, } from "./elicit.js";
+export type { ProgressUpdate, ReportProgress } from "./progress.js";
+export { toolHintsOf, toolHintOverrideOf, toolHintOverrideRefusal } from "./hints.js";
+export type { ToolHintOverride } from "./hints.js";
+export { untrustedText, untrustedFieldsOf, untrustedTextsOf } from "./untrusted.js";
+export type { UntrustedText, UntrustedSource, UntrustedValue } from "./untrusted.js";
 export type { ToolHints, CapabilityRefusal, CapabilityRefusalReason, InvocationExplanation, EffectsViolation } from "./capability.js";
 export { ProcedureRegistry, RegistryError, PROCEDURE_REGISTRY, assertValidPath } from "./registry.js";
 export { defineProcedure, defineStub, createProcedure, ProcedureBuilder, namespace, validateProcedure, } from "./define.js";
 export type { ProcedureDefinition, ProcedureStub } from "./define.js";
-export { createCollectionProcedures } from "./collection/index.js";
-export type { CollectionStorage, StorageChanges, StorageMetadata } from "./collection/index.js";
+export { createCollectionProcedures, collectionChangeTopic, collectionTopicReads, DEFAULT_FIND_LIMIT, DEFAULT_QUERY_OPERATORS, DEFAULT_QUERY_POLICY, QUERY_OPERATORS, applyPatch, compareStorageValues, compileSelector, isPatchOperations, matchesSelector, mergePatch, patchProblems, queryEntries, queryOptionsProblems, selectorProblems, } from "./collection/index.js";
+export type { CollectionProceduresOptions, CollectionChangeEventsOptions, CollectionChangeEvent, StoragePatchOperations, StorageQueryOperator, StorageQueryPolicy, CollectionStorage, StorageChanges, StorageMetadata, StorageWriteOptions, StorageSetChange, StorageDeleteChange, StorageClearChange, StorageChangeEvent, StorageChangeBatch, StorageObserver, StorageFieldOperators, StoragePatch, StorageQueryOptions, StorageSelector, StorageSort, StorageSortDirection, } from "./collection/index.js";
 export { registerModule, registerProcedures, createAndRegister, } from "./discovery.js";
 export { clientModule, defineModule, moduleClosure, registerModules, createRegistry, registerClientProcedures, } from "./module.js";
 export type { ModuleInput } from "./module.js";
+export { callerOf } from "./caller.js";
+export type { Caller, CallerOptions } from "./caller.js";
 export { PROCEDURE_SYMBOL, PROCEDURE_JSON_KEY, PROCEDURE_WHEN_KEY, PROCEDURE_NAME_KEY, WHEN_IMMEDIATE, WHEN_NEVER, WHEN_PARENT, isProcedureRef, isProcedureRefJson, isAnyProcedureRef, getRefWhen, getRefName, shouldExecuteRef, proc, ProcedureRefBuilder, fromJson, toJson, normalizeRef, hydrateInput, prepareRootCall, observeHydration, isControlFlowPath, isDataDriven, markDataDriven, RUNS_REFS_TAG, RAW_INPUT_TAG, takesRawInput, rawInputRule, MAX_DATA_DEPTH, LITERAL_KEY, isLiteral, isPlainObject, createRefScope, lookupOutputRef, resolveOutputRef, withScope, scopeOf, executeRef, extractTemplate, parseProcedureJson, stringifyProcedureJson, } from "./ref.js";
 export type { ProcedureWhen, ProcedureRef, ProcedureRefJson, AnyProcedureRef, RefExecutor, HydrateOptions, HydrationEvent, StepResultInfo, ContinueDecision, OutputRef, RefScope, } from "./ref.js";
 export { coreProcedures, coreModule, allCoreProcedures, allCoreModules, chainProcedure, parallelProcedure, conditionalProcedure, andProcedure, orProcedure, notProcedure, allProcedure, anyProcedure, noneProcedure, mapProcedure, reduceProcedure, identityProcedure, constantProcedure, throwProcedure, tryCatchProcedure, anySchema, typedAnySchema, zodAdapter, outputSchema, type ZodLikeSchema, } from "./core/index.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/procedures/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,qBAAqB,EACrB,OAAO,EACP,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhJ,OAAO,EAAE,eAAe,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC1I,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAEjI,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGtI,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGtG,OAAO,EACL,eAAe,EACf,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGhG,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,wBAAwB,GACzB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C,OAAO,EAEL,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EAEX,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,gBAAgB,EAEhB,IAAI,EACJ,mBAAmB,EAEnB,QAAQ,EACR,MAAM,EACN,YAAY,EAEZ,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,UAAU,EAEV,eAAe,EACf,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAElB,YAAY,EACV,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,QAAQ,GACT,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,cAAc,EACd,UAAU,EAEV,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EAEjB,SAAS,EACT,cAAc,EACd,UAAU,EACV,YAAY,EACZ,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,eAAe,EACf,WAAW,EACX,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,EACxB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/procedures/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,qBAAqB,EACrB,OAAO,EACP,WAAW,EACX,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhJ,OAAO,EAAE,eAAe,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC1I,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAEjI,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,MAAM,EACN,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,WAAW,EACX,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACtF,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACpF,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGtI,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGtG,OAAO,EACL,eAAe,EACf,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGtE,OAAO,EACL,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,2BAA2B,EAC3B,6BAA6B,EAC7B,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,YAAY,EACZ,mBAAmB,EACnB,eAAe,EACf,WAAW,EACX,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,wBAAwB,GACzB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGzD,OAAO,EAEL,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EAEX,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,gBAAgB,EAEhB,IAAI,EACJ,mBAAmB,EAEnB,QAAQ,EACR,MAAM,EACN,YAAY,EAEZ,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,UAAU,EAEV,eAAe,EACf,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAElB,YAAY,EACV,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,QAAQ,GACT,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,cAAc,EACd,UAAU,EAEV,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EAEjB,SAAS,EACT,cAAc,EACd,UAAU,EACV,YAAY,EACZ,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,eAAe,EACf,WAAW,EACX,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,EACxB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC"}

package/dist/procedures/index.js

@@ -13,16 +13,22 @@ export { PURE_EFFECTS, REGISTRY_READ_EFFECTS, withEffects, INFERRED_EFFECTS_META
 export { MANIFEST_FORMAT, describeProcedure as describeProcedureEntry, describeRegistry, exposedProcedures, hashOf } from "./manifest.js";
 // Idempotency of calls (roadmap R1)
 export { IDEMPOTENCY_KEY_METADATA, MAX_IDEMPOTENCY_KEY_LENGTH, IdempotencyCache, idempotencyKeyOf, idempotentIn, effectsIn, isRepeatable, newIdempotencyKey, } from "./idempotency.js";
+// What the face of a call offers the procedure (CLI-10, CLI-12)
+export { createElicit, elicitWithPolicy, operatorAnswer, elicitInput, elicitConfirmation, NO_ELICITATION_REASON, } from "./elicit.js";
+export { toolHintsOf, toolHintOverrideOf, toolHintOverrideRefusal } from "./hints.js";
+export { untrustedText, untrustedFieldsOf, untrustedTextsOf } from "./untrusted.js";
 // Registry
 export { ProcedureRegistry, RegistryError, PROCEDURE_REGISTRY, assertValidPath } from "./registry.js";
 // Definition helpers
 export { defineProcedure, defineStub, createProcedure, ProcedureBuilder, namespace, validateProcedure, } from "./define.js";
 // Collection procedures
-export { createCollectionProcedures } from "./collection/index.js";
+export { createCollectionProcedures, collectionChangeTopic, collectionTopicReads, DEFAULT_FIND_LIMIT, DEFAULT_QUERY_OPERATORS, DEFAULT_QUERY_POLICY, QUERY_OPERATORS, applyPatch, compareStorageValues, compileSelector, isPatchOperations, matchesSelector, mergePatch, patchProblems, queryEntries, queryOptionsProblems, selectorProblems, } from "./collection/index.js";
 // Manual registration helpers
 export { registerModule, registerProcedures, createAndRegister, } from "./discovery.js";
 // Modules and explicit registries (roadmap 3.1)
 export { clientModule, defineModule, moduleClosure, registerModules, createRegistry, registerClientProcedures, } from "./module.js";
+// One call for a registry of some modules, `invokePath` and `outputValue`
+export { callerOf } from "./caller.js";
 // Procedure reference system (procedure-as-data)
 export { 
 // Constants

package/dist/procedures/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/procedures/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAgCH,iBAAiB;AACjB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAElD,sCAAsC;AACtC,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAChJ,kCAAkC;AAClC,OAAO,EAAE,eAAe,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE1I,oCAAoC;AACpC,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAI1B,WAAW;AACX,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEtG,qBAAqB;AACrB,OAAO,EACL,eAAe,EACf,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAGrB,wBAAwB;AACxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAGnE,8BAA8B;AAC9B,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAExB,gDAAgD;AAChD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,wBAAwB,GACzB,MAAM,aAAa,CAAC;AAGrB,iDAAiD;AACjD,OAAO;AACL,YAAY;AACZ,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW;AACX,cAAc;AACd,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,gBAAgB;AAChB,UAAU;AACV,IAAI,EACJ,mBAAmB;AACnB,aAAa;AACb,QAAQ,EACR,MAAM,EACN,YAAY;AACZ,YAAY;AACZ,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,UAAU;AACV,YAAY;AACZ,eAAe,EACf,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAgBlB,uDAAuD;AACvD,OAAO,EACL,cAAc,EACd,UAAU;AACV,6GAA6G;AAC7G,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,iBAAiB;AACjB,2BAA2B;AAC3B,SAAS,EACT,cAAc,EACd,UAAU,EACV,YAAY,GAEb,MAAM,iBAAiB,CAAC;AAEzB,wEAAwE;AACxE,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,aAAa,CAAC;AAYrB,mDAAmD;AACnD,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,EACxB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAO/B,2FAA2F;AAC3F,0EAA0E;AAE1E,gFAAgF;AAChF,eAAe;AACf,gFAAgF;AAEhF,qFAAqF;AACrF,4FAA4F;AAC5F,qDAAqD"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/procedures/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiCH,iBAAiB;AACjB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAElD,sCAAsC;AACtC,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAChJ,kCAAkC;AAClC,OAAO,EAAE,eAAe,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE1I,oCAAoC;AACpC,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,gEAAgE;AAChE,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAuBrB,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAEtF,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIpF,WAAW;AACX,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEtG,qBAAqB;AACrB,OAAO,EACL,eAAe,EACf,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAGrB,wBAAwB;AACxB,OAAO,EACL,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AA0B/B,8BAA8B;AAC9B,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAExB,gDAAgD;AAChD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,wBAAwB,GACzB,MAAM,aAAa,CAAC;AAErB,0EAA0E;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAGvC,iDAAiD;AACjD,OAAO;AACL,YAAY;AACZ,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW;AACX,cAAc;AACd,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,gBAAgB;AAChB,UAAU;AACV,IAAI,EACJ,mBAAmB;AACnB,aAAa;AACb,QAAQ,EACR,MAAM,EACN,YAAY;AACZ,YAAY;AACZ,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,UAAU;AACV,YAAY;AACZ,eAAe,EACf,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAgBlB,uDAAuD;AACvD,OAAO,EACL,cAAc,EACd,UAAU;AACV,6GAA6G;AAC7G,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,iBAAiB;AACjB,2BAA2B;AAC3B,SAAS,EACT,cAAc,EACd,UAAU,EACV,YAAY,GAEb,MAAM,iBAAiB,CAAC;AAEzB,wEAAwE;AACxE,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,aAAa,CAAC;AAYrB,mDAAmD;AACnD,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,EACxB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAO/B,2FAA2F;AAC3F,0EAA0E;AAE1E,gFAAgF;AAChF,eAAe;AACf,gFAAgF;AAEhF,qFAAqF;AACrF,4FAA4F;AAC5F,qDAAqD"}