@oneie/sdk 0.8.0 → 0.10.0

package/dist/receivers.d.ts

@@ -0,0 +1,743 @@
+import { z } from "zod";
+/**
+ * Receiver registry — one source of truth for capability.
+ *
+ * The schema is truth for *data*; this registry is truth for *capability*.
+ * A receiver declares its contract (request/response zod + agent-ergonomic
+ * metadata). Handlers bind in the service that runs them (web `world-receivers.ts`,
+ * channels tool modules) — the SDK ships the catalog, the services ship the
+ * implementations. Nothing is hand-maintained twice.
+ *
+ * Consumers: typed `ask<R>`/`signal<R>` (inference, no codegen) · OpenAPI
+ * generator · MCP tool descriptions · `meta:catalog` discovery.
+ *
+ * See `plans/agent-first-spec.md`.
+ */
+/** Role gate — mirrors the web route's `gateSignalByRole` action. Kept as a loose
+ *  string so the contract layer carries no web runtime dependency. */
+export type RoleAction = string;
+/** What a call costs, so an agent can budget before acting. */
+export type ReceiverCost = "free" | "variable" | {
+    fixed: number;
+};
+/** Whether the call moves real, permanent value. */
+export type Settlement = "none" | "offchain" | "onchain";
+/** Fire-and-forget vs. awaits an outcome. */
+export type ReceiverEffect = "signal" | "ask";
+/**
+ * A receiver's declared contract. Every field beyond the core five is
+ * agent-ergonomic metadata, read via `meta:catalog` (C5).
+ */
+export interface Receiver<Req extends z.ZodTypeAny = z.ZodTypeAny, Res extends z.ZodTypeAny = z.ZodTypeAny> {
+    /** Canonical name, e.g. "world:create-actor". */
+    receiver: string;
+    /** One line — feeds OpenAPI, MCP, and `meta:catalog`. */
+    summary: string;
+    /** Validated BEFORE dispatch; errors carry the fix (error-as-affordance). */
+    request: Req;
+    /** The result shape (for `ask`). */
+    response: Res;
+    /** Fire-and-forget (`signal`) vs. awaits an outcome (`ask`). */
+    effect: ReceiverEffect;
+    /** Role gate — documents the existing `gateSignalByRole` check. */
+    auth?: RoleAction;
+    /** What it costs, so an agent budgets before acting. */
+    cost?: ReceiverCost;
+    /** Default true; false ⇒ should be dry-run first. */
+    reversible?: boolean;
+    /** Does it move real, permanent value? */
+    settles?: Settlement;
+    /** Accepts `{ simulate: true }` → projects an outcome, commits nothing. */
+    simulatable?: boolean;
+    /** Safe to retry as-is; else dedupes on the envelope `idempotencyKey`. */
+    idempotent?: boolean;
+    /** Capability version — agents pin; additive bumps never break callers. */
+    version?: string;
+    /** Valid payloads — seed MCP and the error-as-affordance hint. */
+    examples?: Array<z.infer<Req>>;
+    /** Migration target if retiring — agents read this and move. */
+    deprecated?: string;
+    /**
+     * Bound in the service, not the SDK. Contract-only declarations omit it;
+     * `world-receivers.ts` and channels tool modules attach it.
+     */
+    handler?: (data: z.infer<Req>, env: unknown, ctx: unknown) => Promise<z.infer<Res>>;
+}
+/**
+ * Declare a receiver contract. Identity at runtime — its only job is to pin the
+ * `Req`/`Res` generics so the catalog infers payload + outcome types.
+ */
+export declare function receiver<Req extends z.ZodTypeAny, Res extends z.ZodTypeAny>(r: Receiver<Req, Res>): Receiver<Req, Res>;
+/**
+ * The receiver catalog — one source of truth for capability. Object-literal keys
+ * are always literal, so `keyof typeof RECEIVERS` yields the declared receiver
+ * names and `ask<R>` infers payload + outcome by inference (no codegen).
+ *
+ * Populated incrementally: C2 = spine + 21 `world:*` + `grant-capability`;
+ * C4 = remaining families with metadata; C5 = the `meta:` family.
+ */
+export declare const RECEIVERS: {
+    "auth:agent": Receiver<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        uid: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        uid: z.ZodString;
+        name: z.ZodString;
+        kind: z.ZodString;
+        wallet: z.ZodNullable<z.ZodString>;
+        apiKey: z.ZodString;
+        keyId: z.ZodString;
+        returning: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "agents:sync": Receiver<z.ZodUnion<readonly [z.ZodObject<{
+        markdown: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        agents: z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            content: z.ZodString;
+        }, z.core.$strip>>;
+        world: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strip>]>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        agent: z.ZodOptional<z.ZodString>;
+        uid: z.ZodOptional<z.ZodString>;
+        wallet: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        suiObjectId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        skills: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        world: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>;
+    "world:create-workspace": Receiver<z.ZodObject<{
+        name: z.ZodString;
+        slug: z.ZodString;
+        ownerEmail: z.ZodOptional<z.ZodString>;
+        parent: z.ZodOptional<z.ZodString>;
+        plan: z.ZodOptional<z.ZodEnum<{
+            free: "free";
+            pro: "pro";
+            studio: "studio";
+            agency: "agency";
+            enterprise: "enterprise";
+        }>>;
+        credit: z.ZodOptional<z.ZodNumber>;
+        markup: z.ZodOptional<z.ZodNumber>;
+        cap: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        brand: z.ZodOptional<z.ZodBoolean>;
+        agents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>, z.ZodObject<{
+        wsid: z.ZodString;
+        slug: z.ZodString;
+    }, z.core.$strip>>;
+    "world:invite-client": Receiver<z.ZodObject<{
+        slug: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        email: z.ZodOptional<z.ZodString>;
+        plan: z.ZodOptional<z.ZodEnum<{
+            free: "free";
+            pro: "pro";
+            studio: "studio";
+            agency: "agency";
+            enterprise: "enterprise";
+        }>>;
+        credits: z.ZodOptional<z.ZodNumber>;
+        markup: z.ZodOptional<z.ZodNumber>;
+        cap: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        brand: z.ZodOptional<z.ZodBoolean>;
+        agents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>, z.ZodObject<{
+        token: z.ZodString;
+        id: z.ZodString;
+        child: z.ZodString;
+        expiresAt: z.ZodNumber;
+    }, z.core.$strip>>;
+    "world:accept-client-invite": Receiver<z.ZodObject<{
+        token: z.ZodString;
+        email: z.ZodOptional<z.ZodString>;
+        name: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        wsid: z.ZodString;
+        slug: z.ZodString;
+        owner: z.ZodString;
+        parent: z.ZodString;
+    }, z.core.$strip>>;
+    "world:invite-member": Receiver<z.ZodObject<{
+        workspace: z.ZodString;
+        email: z.ZodString;
+        role: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        uid: z.ZodString;
+    }, z.core.$strip>>;
+    "world:remove-member": Receiver<z.ZodObject<{
+        workspace: z.ZodString;
+        aid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:suspend-workspace": Receiver<z.ZodObject<{
+        workspace: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:create-group": Receiver<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>, z.ZodObject<{
+        gid: z.ZodString;
+    }, z.core.$strip>>;
+    "world:update-group": Receiver<z.ZodObject<{
+        gid: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        meta: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:remove-group": Receiver<z.ZodObject<{
+        gid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:create-actor": Receiver<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        group: z.ZodOptional<z.ZodString>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        model: z.ZodOptional<z.ZodString>;
+        prompt: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        aid: z.ZodString;
+    }, z.core.$strip>>;
+    "world:update-actor": Receiver<z.ZodObject<{
+        aid: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        prompt: z.ZodOptional<z.ZodString>;
+        model: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:remove-actor": Receiver<z.ZodObject<{
+        aid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:create-key": Receiver<z.ZodObject<{
+        actor: z.ZodString;
+        scope: z.ZodOptional<z.ZodString>;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        key: z.ZodString;
+        keyId: z.ZodString;
+    }, z.core.$strip>>;
+    "world:revoke-key": Receiver<z.ZodObject<{
+        keyId: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:create-thing": Receiver<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        group: z.ZodOptional<z.ZodString>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        price: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        tid: z.ZodString;
+    }, z.core.$strip>>;
+    "world:update-thing": Receiver<z.ZodObject<{
+        tid: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        price: z.ZodOptional<z.ZodNumber>;
+        meta: z.ZodOptional<z.ZodUnknown>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:remove-thing": Receiver<z.ZodObject<{
+        tid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:freeze-path": Receiver<z.ZodObject<{
+        edge: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:unfreeze-path": Receiver<z.ZodObject<{
+        edge: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:remove-path": Receiver<z.ZodObject<{
+        edge: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:create-hypothesis": Receiver<z.ZodObject<{
+        claim: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        hid: z.ZodString;
+    }, z.core.$strip>>;
+    "world:promote-hypothesis": Receiver<z.ZodObject<{
+        hid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "world:reject-hypothesis": Receiver<z.ZodObject<{
+        hid: z.ZodString;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "grant-capability": Receiver<z.ZodObject<{
+        grantee: z.ZodString;
+        actions: z.ZodArray<z.ZodString>;
+        scope: z.ZodString;
+        valid_from: z.ZodNumber;
+        valid_to: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        outcome: z.ZodLiteral<"granted">;
+        id: z.ZodString;
+        grantee: z.ZodString;
+        scope: z.ZodString;
+    }, z.core.$strip>>;
+    "identity:address": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        uid: z.ZodString;
+        address: z.ZodString;
+    }, z.core.$strip>>;
+    "auth:sign-in": Receiver<z.ZodObject<{
+        email: z.ZodString;
+        password: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        sessionId: z.ZodString;
+        userId: z.ZodString;
+    }, z.core.$strip>>;
+    "auth:sign-out": Receiver<z.ZodObject<{}, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "board:join": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+        group: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        uid: z.ZodString;
+        group: z.ZodString;
+        role: z.ZodString;
+    }, z.core.$strip>>;
+    "agency:push:complete": Receiver<z.ZodObject<{
+        agents: z.ZodNumber;
+        skills: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "agency:friction": Receiver<z.ZodObject<{
+        agency: z.ZodString;
+        cycle: z.ZodNullable<z.ZodString>;
+        wave: z.ZodNullable<z.ZodString>;
+        reason: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "groups:join": Receiver<z.ZodObject<{
+        gid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        gid: z.ZodString;
+        role: z.ZodString;
+    }, z.core.$strip>>;
+    "groups:leave": Receiver<z.ZodObject<{
+        gid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "groups:invite": Receiver<z.ZodObject<{
+        gid: z.ZodString;
+        uid: z.ZodString;
+        role: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "groups:members": Receiver<z.ZodObject<{
+        gid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        gid: z.ZodString;
+        members: z.ZodArray<z.ZodObject<{
+            uid: z.ZodString;
+            name: z.ZodOptional<z.ZodString>;
+            role: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    "billing:clients": Receiver<z.ZodOptional<z.ZodObject<{}, z.core.$strip>>, z.ZodObject<{
+        agency: z.ZodNullable<z.ZodObject<{
+            slug: z.ZodString;
+            name: z.ZodNullable<z.ZodString>;
+            markup_pct: z.ZodNumber;
+            pool: z.ZodNumber;
+        }, z.core.$strip>>;
+        clients: z.ZodArray<z.ZodObject<{
+            slug: z.ZodString;
+            name: z.ZodNullable<z.ZodString>;
+            plan: z.ZodString;
+            funded: z.ZodNumber;
+            burned: z.ZodNumber;
+            margin: z.ZodNumber;
+            balance: z.ZodNumber;
+            cap: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    "paths:bridge": Receiver<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodOptional<z.ZodBoolean>;
+        status: z.ZodOptional<z.ZodEnum<{
+            pending: "pending";
+            bridged: "bridged";
+        }>>;
+        key: z.ZodOptional<z.ZodString>;
+        gid: z.ZodOptional<z.ZodString>;
+        awaiting: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    "subscriptions:register": Receiver<z.ZodObject<{
+        receiver: z.ZodString;
+        tags: z.ZodArray<z.ZodString>;
+        scope: z.ZodOptional<z.ZodEnum<{
+            private: "private";
+            public: "public";
+        }>>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, z.core.$strip>>;
+    "agents:register": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+        kind: z.ZodOptional<z.ZodString>;
+        capabilities: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            skill: z.ZodString;
+            price: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>>;
+        wallet: z.ZodOptional<z.ZodString>;
+        chain: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        uid: z.ZodString;
+        status: z.ZodString;
+        kind: z.ZodString;
+        wallet: z.ZodNullable<z.ZodString>;
+        walletLinked: z.ZodBoolean;
+        capabilities: z.ZodNumber;
+    }, z.core.$strip>>;
+    "agents:commend": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        id: z.ZodString;
+        action: z.ZodString;
+    }, z.core.$strip>>;
+    "agents:flag": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        id: z.ZodString;
+        action: z.ZodString;
+    }, z.core.$strip>>;
+    "agents:status": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+        status: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        id: z.ZodString;
+        status: z.ZodString;
+    }, z.core.$strip>>;
+    "agents:capabilities": Receiver<z.ZodObject<{
+        uid: z.ZodString;
+    }, z.core.$strip>, z.ZodArray<z.ZodObject<{
+        skillId: z.ZodString;
+        skillName: z.ZodString;
+        price: z.ZodNumber;
+        currency: z.ZodString;
+    }, z.core.$strip>>>;
+    "agents:deploy-on-behalf": Receiver<z.ZodObject<{
+        owner: z.ZodString;
+        spec: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        uid: z.ZodString;
+        owner: z.ZodString;
+        inheritedPaths: z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            strength: z.ZodNumber;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    "pay:weight": Receiver<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        task: z.ZodString;
+        amount: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        from: z.ZodString;
+        to: z.ZodString;
+        task: z.ZodString;
+        amount: z.ZodNumber;
+        sui: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>>;
+    "market:hire": Receiver<z.ZodObject<{
+        providerUid: z.ZodString;
+        skillId: z.ZodString;
+        initialMessage: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodUnion<readonly [z.ZodObject<{
+        ok: z.ZodLiteral<true>;
+        groupId: z.ZodString;
+        chatUrl: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        status: z.ZodLiteral<402>;
+        code: z.ZodString;
+        escrow_template: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        expires_at: z.ZodString;
+    }, z.core.$strip>]>>;
+    "market:bounty": Receiver<z.ZodObject<{
+        skillId: z.ZodString;
+        sellerUid: z.ZodString;
+        posterUid: z.ZodString;
+        price: z.ZodNumber;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        content: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        rubric: z.ZodOptional<z.ZodObject<{
+            fit: z.ZodOptional<z.ZodNumber>;
+            form: z.ZodOptional<z.ZodNumber>;
+            truth: z.ZodOptional<z.ZodNumber>;
+            taste: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        deadline: z.ZodOptional<z.ZodString>;
+        posterUnitObjectId: z.ZodOptional<z.ZodString>;
+        workerUnitObjectId: z.ZodOptional<z.ZodString>;
+        pathObjectId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        id: z.ZodString;
+        escrowId: z.ZodOptional<z.ZodString>;
+        data: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    }, z.core.$strip>>;
+    "market:bounties": Receiver<z.ZodObject<{
+        seller: z.ZodOptional<z.ZodString>;
+        poster: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        skillId: z.ZodString;
+        sellerUid: z.ZodString;
+        posterUid: z.ZodString;
+        price: z.ZodNumber;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        deadline: z.ZodOptional<z.ZodString>;
+        status: z.ZodString;
+    }, z.core.$strip>>>;
+    "market:list": Receiver<z.ZodObject<{
+        tag: z.ZodOptional<z.ZodString>;
+        maxPrice: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        capabilities: z.ZodArray<z.ZodUnknown>;
+    }, z.core.$strip>>;
+    "capabilities:publish": Receiver<z.ZodObject<{
+        skillId: z.ZodString;
+        name: z.ZodString;
+        price: z.ZodNumber;
+        mode: z.ZodOptional<z.ZodString>;
+        visibility: z.ZodOptional<z.ZodString>;
+        scope: z.ZodOptional<z.ZodString>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        rubricThresholds: z.ZodOptional<z.ZodObject<{
+            fit: z.ZodOptional<z.ZodNumber>;
+            form: z.ZodOptional<z.ZodNumber>;
+            truth: z.ZodOptional<z.ZodNumber>;
+            taste: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodLiteral<true>;
+        sid: z.ZodString;
+        scope: z.ZodString;
+    }, z.core.$strip>>;
+    "loop:close": Receiver<z.ZodObject<{
+        session: z.ZodString;
+        outcome: z.ZodEnum<{
+            timeout: "timeout";
+            result: "result";
+            dissolved: "dissolved";
+            failure: "failure";
+        }>;
+        rubric: z.ZodOptional<z.ZodNumber>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodLiteral<true>;
+        stages: z.ZodArray<z.ZodUnknown>;
+        highways: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            strength: z.ZodNumber;
+            resistance: z.ZodNumber;
+            net: z.ZodNumber;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    "signals:list": Receiver<z.ZodObject<{
+        limit: z.ZodOptional<z.ZodNumber>;
+        since: z.ZodOptional<z.ZodNumber>;
+        from: z.ZodOptional<z.ZodNumber>;
+        to: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        skill: z.ZodOptional<z.ZodString>;
+        outcome: z.ZodEnum<{
+            success: "success";
+            timeout: "timeout";
+            failure: "failure";
+        }>;
+        revenue: z.ZodNumber;
+        ts: z.ZodNumber;
+    }, z.core.$strip>>>;
+    "stats:current": Receiver<z.ZodObject<{}, z.core.$strip>, z.ZodObject<{
+        units: z.ZodObject<{
+            total: z.ZodNumber;
+            proven: z.ZodNumber;
+            atRisk: z.ZodNumber;
+        }, z.core.$strip>;
+        skills: z.ZodObject<{
+            total: z.ZodNumber;
+        }, z.core.$strip>;
+        highways: z.ZodObject<{
+            count: z.ZodNumber;
+            totalEdges: z.ZodNumber;
+        }, z.core.$strip>;
+        revenue: z.ZodObject<{
+            total: z.ZodNumber;
+            gdp: z.ZodNumber;
+        }, z.core.$strip>;
+        signals: z.ZodObject<{
+            total: z.ZodNumber;
+            recent: z.ZodNumber;
+        }, z.core.$strip>;
+        timestamp: z.ZodString;
+    }, z.core.$strip>>;
+    "dashboard:usage": Receiver<z.ZodObject<{}, z.core.$strip>, z.ZodObject<{
+        tier: z.ZodString;
+        calls_this_month: z.ZodNumber;
+        agents_count: z.ZodNumber;
+        api_limit: z.ZodNumber;
+        agent_limit: z.ZodNumber;
+        loops: z.ZodArray<z.ZodString>;
+        highways_count: z.ZodNumber;
+        upgrade_url: z.ZodString;
+    }, z.core.$strip>>;
+    "world:state": Receiver<z.ZodObject<{}, z.core.$strip>, z.ZodObject<{}, z.core.$loose>>;
+    "meta:catalog": Receiver<z.ZodObject<{
+        goal: z.ZodOptional<z.ZodEnum<{
+            spine: "spine";
+            build: "build";
+            trade: "trade";
+            transact: "transact";
+        }>>;
+    }, z.core.$strip>, z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+        receiver: z.ZodString;
+        summary: z.ZodString;
+        effect: z.ZodEnum<{
+            signal: "signal";
+            ask: "ask";
+        }>;
+        auth: z.ZodOptional<z.ZodString>;
+        reversible: z.ZodOptional<z.ZodBoolean>;
+        settles: z.ZodOptional<z.ZodEnum<{
+            none: "none";
+            offchain: "offchain";
+            onchain: "onchain";
+        }>>;
+    }, z.core.$loose>>, z.ZodObject<{
+        goal: z.ZodString;
+        recipe: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>]>>;
+    "meta:schema": Receiver<z.ZodObject<{
+        receiver: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        receiver: z.ZodString;
+        summary: z.ZodString;
+        request: z.ZodUnknown;
+        response: z.ZodUnknown;
+    }, z.core.$strip>>;
+    "meta:recall": Receiver<z.ZodObject<{
+        match: z.ZodOptional<z.ZodString>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        hypotheses: z.ZodArray<z.ZodObject<{
+            hid: z.ZodString;
+            claim: z.ZodString;
+            status: z.ZodString;
+            confidence: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    "actors:find": Receiver<z.ZodObject<{
+        type: z.ZodOptional<z.ZodEnum<{
+            agent: "agent";
+            world: "world";
+        }>>;
+        search: z.ZodOptional<z.ZodString>;
+        skill: z.ZodOptional<z.ZodString>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        actors: z.ZodArray<z.ZodObject<{
+            uid: z.ZodString;
+            name: z.ZodString;
+            type: z.ZodString;
+        }, z.core.$strip>>;
+        total: z.ZodNumber;
+    }, z.core.$strip>>;
+    "peer:message": Receiver<z.ZodObject<{
+        to: z.ZodString;
+        content: z.ZodString;
+        from: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        id: z.ZodOptional<z.ZodString>;
+        ts: z.ZodOptional<z.ZodNumber>;
+        to: z.ZodOptional<z.ZodString>;
+        from: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    "chat:send": Receiver<z.ZodObject<{
+        group: z.ZodString;
+        text: z.ZodString;
+        slug: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        ok: z.ZodBoolean;
+        reply: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+};
+/** A declared receiver name — `keyof` the catalog. */
+export type ReceiverName = keyof typeof RECEIVERS;
+/** The request (input) type for a receiver. */
+export type ReqOf<R extends ReceiverName> = (typeof RECEIVERS)[R] extends Receiver<infer Req, z.ZodTypeAny> ? z.input<Req> : never;
+/** The response (output) type for a receiver. */
+export type ResOf<R extends ReceiverName> = (typeof RECEIVERS)[R] extends Receiver<z.ZodTypeAny, infer Res> ? z.output<Res> : never;
+/**
+ * RECIPES — the four agent journeys as typed, ordered receiver sequences (C6).
+ * Each entry is `readonly ReceiverName[]`, so a typo or a renamed receiver is a
+ * compile error. `meta:catalog?goal=` returns one of these; the MCP server
+ * groups its tools by them. See `plans/agent-first-spec.md`.
+ */
+export declare const RECIPES: {
+    /** Onboard: become an actor → mint a key → join a group → declare capability. */
+    spine: ("auth:agent" | "agents:sync" | "world:create-key" | "groups:join")[];
+    /** Build a world: workspace → group → actor → thing. */
+    build: ("world:create-workspace" | "world:create-group" | "world:create-actor" | "world:create-thing")[];
+    /** Trade: list a capability → browse the market → hire → pay. */
+    trade: ("pay:weight" | "market:hire" | "market:list" | "capabilities:publish")[];
+    /** Transact: post a bounty → settle it onchain. */
+    transact: ("pay:weight" | "market:bounty")[];
+};
+/** A declared recipe name. */
+export type RecipeName = keyof typeof RECIPES;
+//# sourceMappingURL=receivers.d.ts.map