@procedures/client 0.0.0-stage → 0.2.0

package/dist/middleware/types.js

@@ -0,0 +1,14 @@
+/**
+ * Unified Middleware Type System
+ *
+ * This module provides a sophisticated type-safe middleware system that supports
+ * both synchronous and asynchronous middleware with full context tracking.
+ *
+ * Key features:
+ * - Type-level context tracking through middleware chains
+ * - Compile-time validation of middleware compatibility
+ * - Support for both sync and async execution
+ * - Recursive type inference for composed middleware
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/middleware/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/middleware/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}

package/dist/procedures/capability.d.ts

@@ -0,0 +1,111 @@
+/**
+ * Invocation capabilities (packages/documentation/CAPABILITIES-2026-10.md).
+ *
+ * Each invocation operates with a capability: a clearance (the data that it can see), the
+ * effects that it can have, and a deadline. A nested call gets the same capability or a
+ * narrower one: `narrowCapability()` calculates it, so a request for more has no effect. Only
+ * the host makes a capability, from its authentication.
+ *
+ * A procedure declares its effects in `metadata.effects`. The admission (`capabilityRefusal()`)
+ * compares them with the permitted effects. It examines each call of a host, each nested call
+ * of a data-driven procedure (its caller chose the refs), and each nested call with a narrowed
+ * capability. A procedure of code that declares its effects answers for its own nested calls:
+ * `checkEffects()` examines those declarations against the call graph, as `metadata.calls`
+ * makes the reach of a procedure visible.
+ */
+import type { AnyProcedure, Capability, CapabilityRequest, ClearanceOrder, Effects, ProcedurePath } from "./types.js";
+/** The standard resource names. An application adds its own names. */
+export declare const STANDARD_RESOURCES: readonly ["fs", "network", "process", "registry"];
+/**
+ * The metadata key of the remaining time of a remote call, in milliseconds. A server uses it
+ * only to make its deadline earlier.
+ */
+export declare const TIMEOUT_METADATA_KEY = "procedure-timeout";
+/** The capability without limits: the capability of a host that sets none. */
+export declare const UNLIMITED_CAPABILITY: Capability;
+/**
+ * This function gives the order of a ladder: each value is higher than the values before it.
+ * `ladder(["public", "shared", "private"])`.
+ */
+export declare function ladder<C>(levels: readonly C[]): ClearanceOrder<C>;
+/** The declared effects of a procedure, or undefined when it declares none. */
+export declare function effectsOf(procedure: {
+    readonly metadata?: unknown;
+}): Effects | undefined;
+/** True when the effects say that the procedure changes nothing (`writes: []`). */
+export declare function isReadOnly(effects: Effects | undefined): boolean;
+/** True when the procedure can delete or overwrite data. Not known: true (as in MCP). */
+export declare function isDestructive(effects: Effects | undefined): boolean;
+/** True when the procedure can reach systems outside the host. Not known: true (as in MCP). */
+export declare function isOpenWorld(effects: Effects | undefined): boolean;
+/** The MCP hints of a tool. */
+export interface ToolHints {
+    readonly readOnlyHint?: boolean;
+    readonly destructiveHint?: boolean;
+    readonly idempotentHint?: boolean;
+    readonly openWorldHint?: boolean;
+}
+/**
+ * The MCP hints of a procedure, from its declared effects. A procedure without a declaration,
+ * or a data-driven one (its operands decide what it does), gets no hints: then the MCP defaults
+ * apply (not read-only, destructive, open world).
+ */
+export declare function toolHints(procedure: AnyProcedure): ToolHints;
+/**
+ * This function gives the capability for a request: the same as `current`, or narrower. The
+ * clearance is the meet of the two values (a ladder: the lower one). The permitted effects are
+ * the intersection. The deadline is the earlier one. Two different clearances need an order.
+ */
+export declare function narrowCapability<C>(current: Capability<C> | undefined, request: CapabilityRequest<C> | undefined, order?: ClearanceOrder<C>, now?: number): Capability<C>;
+/** The reason of a refusal. */
+export type CapabilityRefusalReason = "effects-undeclared" | "effects-exceeded" | "clearance" | "deadline";
+/** A refused invocation: the reason and a message for the caller. */
+export interface CapabilityRefusal {
+    readonly reason: CapabilityRefusalReason;
+    readonly message: string;
+}
+/**
+ * This function gives the refusal of an invocation under a capability, or undefined when the
+ * capability permits it. It compares the declared effects with the permitted effects, and the
+ * time with the deadline. The clearance does not refuse an invocation: it limits the data.
+ */
+export declare function capabilityRefusal(procedure: AnyProcedure, capability: Capability<unknown> | undefined, now?: number): CapabilityRefusal | undefined;
+/**
+ * True when the admission examines a nested call: the caller is data-driven (its caller chose
+ * the refs), the caller declares no effects, or the capability of the nested call is narrower
+ * than the capability of its caller. A procedure of code with declared effects answers for its
+ * own nested calls (`checkEffects()` examines them).
+ */
+export declare function examinesNestedCall(caller: AnyProcedure, callerCapability: Capability<unknown>, capability: Capability<unknown>): boolean;
+/** The result of `explainInvocation()`. */
+export interface InvocationExplanation {
+    readonly permitted: boolean;
+    readonly reason?: CapabilityRefusalReason | "not-found";
+    readonly message: string;
+}
+/**
+ * This function tells, without a call, if a host call of a path is permitted under a
+ * capability, and why. An application can show it to a user.
+ */
+export declare function explainInvocation(path: ProcedurePath, capability: Capability<unknown> | undefined, registry: {
+    get(path: ProcedurePath): AnyProcedure | undefined;
+}, now?: number): InvocationExplanation;
+/** A declaration of effects that does not include the effects of a procedure that it calls. */
+export interface EffectsViolation {
+    readonly path: ProcedurePath;
+    readonly callee: string;
+    readonly message: string;
+}
+/**
+ * This function examines each procedure of code that declares its effects and its calls
+ * (`metadata.calls`). Its declaration must include the reads and the writes of each procedure
+ * that it calls: the resources are structural, so a caller cannot touch less than its callees.
+ *
+ * Two things are the caller's own claim, and the check does not compare them. A callee that
+ * writes `process` starts any program, and its caller declares what that program does. The
+ * flags `destructive` and `idempotent` depend on the input that the caller gives: `lib.new`
+ * creates new files with `fs.write`, which can overwrite. The effects snapshot of the MCP tools
+ * shows these claims in a review.
+ */
+export declare function checkEffects(procedures: readonly AnyProcedure[]): EffectsViolation[];
+//# sourceMappingURL=capability.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"capability.d.ts","sourceRoot":"","sources":["../../src/procedures/capability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,OAAO,EAEP,aAAa,EACd,MAAM,YAAY,CAAC;AAKpB,sEAAsE;AACtE,eAAO,MAAM,kBAAkB,YAAI,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,sBAAsB,CAAC;AAExD,8EAA8E;AAC9E,eAAO,MAAM,oBAAoB,EAAE,UAA8B,CAAC;AAMlE;;;GAGG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAUjE;AAMD,+EAA+E;AAC/E,wBAAgB,SAAS,CAAC,SAAS,EAAE;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,GAAG,SAAS,CAGzF;AAED,mFAAmF;AACnF,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,CAEhE;AAED,yFAAyF;AACzF,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,CAGnE;AAED,+FAA+F;AAC/F,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,CAGjE;AAED,+BAA+B;AAC/B,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,SAAS,EAAE,YAAY,GAAG,SAAS,CAY5D;AA0BD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAChC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,EAClC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,SAAS,EACzC,KAAK,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,EACzB,GAAG,GAAE,MAAmB,GACvB,UAAU,CAAC,CAAC,CAAC,CA2Bf;AAMD,+BAA+B;AAC/B,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,WAAW,GAAG,UAAU,CAAC;AAE3G,qEAAqE;AACrE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,YAAY,EACvB,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,SAAS,EAC3C,GAAG,GAAE,MAAmB,GACvB,iBAAiB,GAAG,SAAS,CAmC/B;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,gBAAgB,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,OAAO,CAExI;AAED,2CAA2C;AAC3C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,GAAG,WAAW,CAAC;IACxD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,aAAa,EACnB,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,SAAS,EAC3C,QAAQ,EAAE;IAAE,GAAG,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,GAAG,SAAS,CAAA;CAAE,EAChE,GAAG,GAAE,MAAmB,GACvB,qBAAqB,CAMvB;AAMD,+FAA+F;AAC/F,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,GAAG,gBAAgB,EAAE,CAqCpF"}

package/dist/procedures/capability.js

@@ -0,0 +1,269 @@
+/**
+ * Invocation capabilities (packages/documentation/CAPABILITIES-2026-10.md).
+ *
+ * Each invocation operates with a capability: a clearance (the data that it can see), the
+ * effects that it can have, and a deadline. A nested call gets the same capability or a
+ * narrower one: `narrowCapability()` calculates it, so a request for more has no effect. Only
+ * the host makes a capability, from its authentication.
+ *
+ * A procedure declares its effects in `metadata.effects`. The admission (`capabilityRefusal()`)
+ * compares them with the permitted effects. It examines each call of a host, each nested call
+ * of a data-driven procedure (its caller chose the refs), and each nested call with a narrowed
+ * capability. A procedure of code that declares its effects answers for its own nested calls:
+ * `checkEffects()` examines those declarations against the call graph, as `metadata.calls`
+ * makes the reach of a procedure visible.
+ */
+import { pathToKey } from "./types.js";
+import { isDataDriven } from "./ref.js";
+import { callMatches } from "./policy.js";
+/** The standard resource names. An application adds its own names. */
+export const STANDARD_RESOURCES = ["fs", "network", "process", "registry"];
+/**
+ * The metadata key of the remaining time of a remote call, in milliseconds. A server uses it
+ * only to make its deadline earlier.
+ */
+export const TIMEOUT_METADATA_KEY = "procedure-timeout";
+/** The capability without limits: the capability of a host that sets none. */
+export const UNLIMITED_CAPABILITY = Object.freeze({});
+// =============================================================================
+// Clearance orders
+// =============================================================================
+/**
+ * This function gives the order of a ladder: each value is higher than the values before it.
+ * `ladder(["public", "shared", "private"])`.
+ */
+export function ladder(levels) {
+    const rank = (value) => {
+        const index = levels.indexOf(value);
+        if (index === -1)
+            throw new Error(`Not a clearance value of the ladder: ${String(value)}`);
+        return index;
+    };
+    return {
+        leq: (a, b) => rank(a) <= rank(b),
+        meet: (a, b) => (rank(a) <= rank(b) ? a : b),
+    };
+}
+// =============================================================================
+// Effects
+// =============================================================================
+/** The declared effects of a procedure, or undefined when it declares none. */
+export function effectsOf(procedure) {
+    const effects = procedure.metadata?.effects;
+    return effects !== null && typeof effects === "object" ? effects : undefined;
+}
+/** True when the effects say that the procedure changes nothing (`writes: []`). */
+export function isReadOnly(effects) {
+    return effects?.writes !== undefined && effects.writes.length === 0;
+}
+/** True when the procedure can delete or overwrite data. Not known: true (as in MCP). */
+export function isDestructive(effects) {
+    if (isReadOnly(effects))
+        return false;
+    return effects?.destructive ?? true;
+}
+/** True when the procedure can reach systems outside the host. Not known: true (as in MCP). */
+export function isOpenWorld(effects) {
+    if (effects?.reads === undefined || effects.writes === undefined)
+        return true;
+    return effects.reads.includes("network") || effects.writes.includes("network") || effects.writes.includes("process");
+}
+/**
+ * The MCP hints of a procedure, from its declared effects. A procedure without a declaration,
+ * or a data-driven one (its operands decide what it does), gets no hints: then the MCP defaults
+ * apply (not read-only, destructive, open world).
+ */
+export function toolHints(procedure) {
+    const effects = effectsOf(procedure);
+    if (!effects || isDataDriven(procedure))
+        return {};
+    if (isReadOnly(effects)) {
+        return { readOnlyHint: true, openWorldHint: isOpenWorld(effects) };
+    }
+    return {
+        readOnlyHint: false,
+        destructiveHint: isDestructive(effects),
+        idempotentHint: effects.idempotent ?? false,
+        openWorldHint: isOpenWorld(effects),
+    };
+}
+function intersect(current, requested) {
+    if (current === undefined || current === "any")
+        return requested ?? current;
+    if (requested === undefined || requested === "any")
+        return current;
+    return Object.freeze(current.filter((name) => requested.includes(name)));
+}
+function narrowEffects(current, requested) {
+    if (!requested)
+        return current;
+    const reads = intersect(current?.reads, requested.reads);
+    const writes = intersect(current?.writes, requested.writes);
+    const destructive = current?.destructive === false || requested.destructive === false ? false : undefined;
+    const result = {};
+    if (reads !== undefined)
+        result.reads = reads;
+    if (writes !== undefined)
+        result.writes = writes;
+    if (destructive !== undefined)
+        result.destructive = destructive;
+    return Object.freeze(result);
+}
+/**
+ * This function gives the capability for a request: the same as `current`, or narrower. The
+ * clearance is the meet of the two values (a ladder: the lower one). The permitted effects are
+ * the intersection. The deadline is the earlier one. Two different clearances need an order.
+ */
+export function narrowCapability(current, request, order, now = Date.now()) {
+    const base = current ?? UNLIMITED_CAPABILITY;
+    if (!request)
+        return base;
+    const result = {};
+    if (request.clearance === undefined) {
+        if (base.clearance !== undefined)
+            result.clearance = base.clearance;
+    }
+    else if (base.clearance === undefined) {
+        result.clearance = request.clearance;
+    }
+    else if (Object.is(base.clearance, request.clearance)) {
+        result.clearance = base.clearance;
+    }
+    else {
+        if (!order) {
+            throw new Error("Two different clearances need a clearance order: give clearanceOrder to the host (hostPolicy)");
+        }
+        result.clearance = order.meet(base.clearance, request.clearance);
+    }
+    const effects = narrowEffects(base.effects, request.effects);
+    if (effects !== undefined)
+        result.effects = effects;
+    const requestedDeadline = request.timeoutMs !== undefined ? now + request.timeoutMs : undefined;
+    const deadline = base.deadline === undefined ? requestedDeadline : requestedDeadline === undefined ? base.deadline : Math.min(base.deadline, requestedDeadline);
+    if (deadline !== undefined)
+        result.deadline = deadline;
+    return Object.freeze(result);
+}
+const VERB = { reads: "reads", writes: "changes" };
+/**
+ * This function gives the refusal of an invocation under a capability, or undefined when the
+ * capability permits it. It compares the declared effects with the permitted effects, and the
+ * time with the deadline. The clearance does not refuse an invocation: it limits the data.
+ */
+export function capabilityRefusal(procedure, capability, now = Date.now()) {
+    if (!capability)
+        return undefined;
+    const key = pathToKey(procedure.path);
+    if (capability.deadline !== undefined && now >= capability.deadline) {
+        return { reason: "deadline", message: `The deadline of the call passed before ${key} started` };
+    }
+    const permitted = capability.effects;
+    if (!permitted)
+        return undefined;
+    const effects = effectsOf(procedure);
+    for (const kind of ["reads", "writes"]) {
+        const allowed = permitted[kind];
+        if (allowed === undefined || allowed === "any")
+            continue;
+        const declared = effects?.[kind];
+        const limit = allowed.length > 0 ? `only ${allowed.join(", ")}` : "nothing";
+        if (declared === undefined) {
+            return {
+                reason: "effects-undeclared",
+                message: `${key} does not declare what it ${VERB[kind]}, and this call ${VERB[kind]} ${limit}`,
+            };
+        }
+        const extra = declared.filter((name) => !allowed.includes(name));
+        if (extra.length > 0) {
+            return {
+                reason: "effects-exceeded",
+                message: `${key} ${VERB[kind]} ${extra.join(", ")}, and this call ${VERB[kind]} ${limit}`,
+            };
+        }
+    }
+    if (permitted.destructive === false && isDestructive(effects)) {
+        return {
+            reason: "effects-exceeded",
+            message: `${key} can delete or overwrite data, and this call cannot start such a procedure`,
+        };
+    }
+    return undefined;
+}
+/**
+ * True when the admission examines a nested call: the caller is data-driven (its caller chose
+ * the refs), the caller declares no effects, or the capability of the nested call is narrower
+ * than the capability of its caller. A procedure of code with declared effects answers for its
+ * own nested calls (`checkEffects()` examines them).
+ */
+export function examinesNestedCall(caller, callerCapability, capability) {
+    return isDataDriven(caller) || effectsOf(caller) === undefined || capability !== callerCapability;
+}
+/**
+ * This function tells, without a call, if a host call of a path is permitted under a
+ * capability, and why. An application can show it to a user.
+ */
+export function explainInvocation(path, capability, registry, now = Date.now()) {
+    const procedure = registry.get(path);
+    if (!procedure)
+        return { permitted: false, reason: "not-found", message: `No procedure at ${pathToKey(path)}` };
+    const refusal = capabilityRefusal(procedure, capability, now);
+    if (refusal)
+        return { permitted: false, reason: refusal.reason, message: refusal.message };
+    return { permitted: true, message: `${pathToKey(path)} is permitted` };
+}
+/**
+ * This function examines each procedure of code that declares its effects and its calls
+ * (`metadata.calls`). Its declaration must include the reads and the writes of each procedure
+ * that it calls: the resources are structural, so a caller cannot touch less than its callees.
+ *
+ * Two things are the caller's own claim, and the check does not compare them. A callee that
+ * writes `process` starts any program, and its caller declares what that program does. The
+ * flags `destructive` and `idempotent` depend on the input that the caller gives: `lib.new`
+ * creates new files with `fs.write`, which can overwrite. The effects snapshot of the MCP tools
+ * shows these claims in a review.
+ */
+export function checkEffects(procedures) {
+    const byKey = new Map(procedures.map((procedure) => [pathToKey(procedure.path), procedure]));
+    const violations = [];
+    for (const procedure of procedures) {
+        const own = effectsOf(procedure);
+        const calls = procedure.metadata?.calls;
+        if (!own || !Array.isArray(calls) || isDataDriven(procedure))
+            continue;
+        const key = pathToKey(procedure.path);
+        const callees = new Set();
+        for (const entry of calls) {
+            for (const candidate of byKey.keys())
+                if (callMatches(entry, candidate))
+                    callees.add(candidate);
+        }
+        for (const calleeKey of [...callees].sort()) {
+            const callee = byKey.get(calleeKey);
+            const theirs = effectsOf(callee);
+            const report = (message) => {
+                violations.push({ path: procedure.path, callee: calleeKey, message: `${key} calls ${calleeKey}: ${message}` });
+            };
+            if (!theirs) {
+                report("the callee declares no effects");
+                continue;
+            }
+            for (const kind of ["reads", "writes"]) {
+                const mine = own[kind];
+                const needed = (theirs[kind] ?? []).filter((name) => name !== "process");
+                if (theirs[kind] === undefined) {
+                    report(`the callee does not declare what it ${VERB[kind]}`);
+                }
+                else if (mine === undefined) {
+                    continue;
+                }
+                else {
+                    const missing = needed.filter((name) => !mine.includes(name));
+                    if (missing.length > 0)
+                        report(`the declaration does not include ${missing.join(", ")} in ${kind}`);
+                }
+            }
+        }
+    }
+    return violations;
+}
+//# sourceMappingURL=capability.js.map

package/dist/procedures/capability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability.js","sourceRoot":"","sources":["../../src/procedures/capability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAWH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,sEAAsE;AACtE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AAExD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAe,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAElE,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAI,MAAoB;IAC5C,MAAM,IAAI,GAAG,CAAC,KAAQ,EAAU,EAAE;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3F,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,OAAO;QACL,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF,+EAA+E;AAC/E,MAAM,UAAU,SAAS,CAAC,SAA0C;IAClE,MAAM,OAAO,GAAI,SAAS,CAAC,QAA8C,EAAE,OAAO,CAAC;IACnF,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAE,OAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,UAAU,CAAC,OAA4B;IACrD,OAAO,OAAO,EAAE,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,OAA4B;IACxD,IAAI,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,OAAO,EAAE,WAAW,IAAI,IAAI,CAAC;AACtC,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,WAAW,CAAC,OAA4B;IACtD,IAAI,OAAO,EAAE,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9E,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AACvH,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,SAAuB;IAC/C,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,CAAC,OAAO,IAAI,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC;IACnD,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO;QACL,YAAY,EAAE,KAAK;QACnB,eAAe,EAAE,aAAa,CAAC,OAAO,CAAC;QACvC,cAAc,EAAE,OAAO,CAAC,UAAU,IAAI,KAAK;QAC3C,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC;KACpC,CAAC;AACJ,CAAC;AAQD,SAAS,SAAS,CAAC,OAAe,EAAE,SAAiB;IACnD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,SAAS,IAAI,OAAO,CAAC;IAC5E,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,OAAO,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,aAAa,CAAC,OAAqC,EAAE,SAAuC;IACnG,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,CAAC;IAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,OAAO,EAAE,WAAW,KAAK,KAAK,IAAI,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1G,MAAM,MAAM,GAA+D,EAAE,CAAC;IAC9E,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;IACjD,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAqB,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAkC,EAClC,OAAyC,EACzC,KAAyB,EACzB,GAAG,GAAW,IAAI,CAAC,GAAG,EAAE;IAExB,MAAM,IAAI,GAAG,OAAO,IAAK,oBAAsC,CAAC;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAqE,EAAE,CAAC;IAEpF,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;YAAE,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACtE,CAAC;SAAM,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACvC,CAAC;SAAM,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,+FAA+F,CAAC,CAAC;QACnH,CAAC;QACD,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC;IAEpD,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACjJ,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAEvD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAkB,CAAC;AAChD,CAAC;AAeD,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAW,CAAC;AAE5D;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAuB,EACvB,UAA2C,EAC3C,GAAG,GAAW,IAAI,CAAC,GAAG,EAAE;IAExB,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACpE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,0CAA0C,GAAG,UAAU,EAAE,CAAC;IAClG,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC;IACrC,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAU,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK;YAAE,SAAS;QACzD,MAAM,QAAQ,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,oBAAoB;gBAC5B,OAAO,EAAE,GAAG,GAAG,6BAA6B,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE;aAC/F,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO;gBACL,MAAM,EAAE,kBAAkB;gBAC1B,OAAO,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE;aAC1F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,KAAK,KAAK,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,OAAO;YACL,MAAM,EAAE,kBAAkB;YAC1B,OAAO,EAAE,GAAG,GAAG,4EAA4E;SAC5F,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAoB,EAAE,gBAAqC,EAAE,UAA+B;IAC7H,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,UAAU,KAAK,gBAAgB,CAAC;AACpG,CAAC;AASD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAmB,EACnB,UAA2C,EAC3C,QAAgE,EAChE,GAAG,GAAW,IAAI,CAAC,GAAG,EAAE;IAExB,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,mBAAmB,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAChH,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,OAAO;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAC3F,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;AACzE,CAAC;AAaD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAC,UAAmC;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QACjC,MAAM,KAAK,GAAI,SAAS,CAAC,QAA4C,EAAE,KAAK,CAAC;QAC7E,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC;YAAE,SAAS;QACvE,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,KAAK,IAAI,KAAiB,EAAE,CAAC;YACtC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE;gBAAE,IAAI,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClG,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC;YACrC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,MAAM,GAAG,CAAC,OAAe,EAAQ,EAAE;gBACvC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,GAAG,UAAU,SAAS,KAAK,OAAO,EAAE,EAAE,CAAC,CAAC;YACjH,CAAC,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,CAAC,gCAAgC,CAAC,CAAC;gBACzC,SAAS;YACX,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAU,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvB,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;gBACzE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC/B,MAAM,CAAC,uCAAuC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC9D,CAAC;qBAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9B,SAAS;gBACX,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC9D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;wBAAE,MAAM,CAAC,oCAAoC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;gBACtG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/procedures/cli/announce.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Procedure Announcement (Self-Registration)
+ *
+ * When a package with procedures is installed, it "announces" itself
+ * by writing to a registry file at the root of the project.
+ *
+ * This enables true bottom-up propagation:
+ * - Each package with procedures has `"postinstall": "client-registry announce"`
+ * - On install, it walks up to find the root and registers itself
+ * - `client-registry discover` reads this registry instead of scanning
+ *
+ * The registry file (.client-registry.json) accumulates entries from
+ * all packages as they're installed, making discovery instant.
+ */
+export interface AnnounceOptions {
+    /** Be verbose about what's happening */
+    verbose: boolean;
+    /** The folder to start from (default: the current folder) */
+    cwd?: string | undefined;
+    /**
+     * Add `client-registry announce` to the postinstall script of the package that depends on this one.
+     * This edits a package.json that belongs to the consumer, so it happens only when asked
+     * (`client-registry announce --propagate`). Default: false.
+     */
+    propagate?: boolean | undefined;
+}
+interface RegistryEntry {
+    /** Path to procedures file relative to package */
+    proceduresPath: string;
+    /** When this entry was added */
+    registeredAt: string;
+    /** Package version */
+    version?: string;
+}
+interface Registry {
+    /** Schema version for future compatibility */
+    schemaVersion: 1;
+    /** Map of package name to registry entry */
+    packages: Record<string, RegistryEntry>;
+}
+declare const REGISTRY_FILENAME = ".client-registry.json";
+/**
+ * Announce this package's procedures to the project registry.
+ *
+ * Called from a package's postinstall script to register its procedures.
+ *
+ * With `propagate: true` (`client-registry announce --propagate`), it also adds the postinstall script
+ * to the package that depends on this one, for transitive discovery:
+ * - When client is installed in package D, client's postinstall adds postinstall to D
+ * - When D is installed in C, D's postinstall adds postinstall to C
+ * - When C is installed in B, C's postinstall adds postinstall to B
+ *
+ * The propagation edits the package.json of the consumer, so it happens only when asked.
+ * Without it, each package that has its own postinstall script still registers itself.
+ */
+export declare function announce(options: AnnounceOptions): Promise<void>;
+/**
+ * Remove this package from the registry (for uninstall).
+ */
+export declare function unannounce(options: AnnounceOptions): Promise<void>;
+/**
+ * Get the registry for use by discover command.
+ */
+export declare function getRegistry(rootDir: string): Promise<Registry>;
+export { REGISTRY_FILENAME };
+export type { Registry, RegistryEntry };
+//# sourceMappingURL=announce.d.ts.map

package/dist/procedures/cli/announce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"announce.d.ts","sourceRoot":"","sources":["../../../src/procedures/cli/announce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AASH,MAAM,WAAW,eAAe;IAC9B,wCAAwC;IACxC,OAAO,EAAE,OAAO,CAAC;IACjB,6DAA6D;IAC7D,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB;;;;OAIG;IACH,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACjC;AAED,UAAU,aAAa;IACrB,kDAAkD;IAClD,cAAc,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,UAAU,QAAQ;IAChB,8CAA8C;IAC9C,aAAa,EAAE,CAAC,CAAC;IACjB,4CAA4C;IAC5C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CACzC;AAkFD,QAAA,MAAM,iBAAiB,0BAA0B,CAAC;AA0GlD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CA0BtE;AAiKD;;GAEG;AACH,wBAAsB,UAAU,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAkBxE;AAED;;GAEG;AACH,wBAAsB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAEpE;AAED,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAC7B,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC"}