@botiverse/raft-sdk 0.6.0 → 0.8.0

package/dist/index.d.ts

@@ -348,7 +348,9 @@ interface RaftNextStep {
   /** One sentence explaining why this is the next step. */
   why: string;
 }
-type RaftOpErrorCode = "INVALID_REQUEST" | "TRANSPORT_ERROR" | "HTTP_ERROR" | "INVALID_RESPONSE" | "CAPABILITY_NOT_AUTHORIZED" | "SCOPE_DENIED" | "NOT_FOUND" | "CONFLICT" | "IDEMPOTENCY_KEY_REUSED" | "UNSUPPORTED_FOR_EXTERNAL_AGENTS" | "UNAVAILABLE";
+type RaftOpErrorCode = "INVALID_REQUEST" | "TRANSPORT_ERROR" | "HTTP_ERROR" | "INVALID_RESPONSE" | "CAPABILITY_NOT_AUTHORIZED" | "SCOPE_DENIED" | "NOT_FOUND" | "CONFLICT" | "IDEMPOTENCY_KEY_REUSED" | "UNSUPPORTED_FOR_EXTERNAL_AGENTS" | "UNAVAILABLE" |
+/** A model-only operation was invoked from code (`invoke(…, { origin: "code" })`); nothing was sent. */
+"MODEL_ONLY";
 interface RaftOpError {
   code: RaftOpErrorCode;
   /** Safe SDK text; never a raw Server body or transport cause. */
@@ -500,22 +502,48 @@ interface SeenFrontierSnapshot {
   targets: Record<string, {
     upTo?: number;
     exact?: number[];
+    /** The model context `upTo` was booked in; absent when there was none. */
+    upToContextId?: string;
+    /** The model context `exact` was booked in; absent when there was none. */
+    exactContextId?: string;
   }>;
   /** Alternate spellings the Server resolved to a canonical target. */
   aliases: Record<string, string>;
+  /** The frontier's current model context (`setContext`), when one is set. */
+  contextId?: string;
 }
 export declare class SeenFrontier {
-  private readonly targets;
-  private readonly aliases;
+  private core;
+  /** Set on a view from `inContext`: the context this view books and attests under. */
+  private bound;
   static fromSnapshot(snapshot: SeenFrontierSnapshot | null | undefined): SeenFrontier;
-  /** Merge a snapshot into this frontier by the same monotonic rules (never lowers a mark). */
+  /** The model context this frontier books and attests under; null means no context scoping. */
+  get contextId(): string | null;
+  /**
+   * Set the current model context (shared by every view of this frontier that
+   * is not bound to its own context). Call it when the model's context
+   * changes (a new session, a compaction): reads booked under the previous
+   * context then no longer attest a send. `null` turns scoping off.
+   */
+  setContext(contextId: string | null): void;
+  /**
+   * A view over the same records that books and attests under `contextId`
+   * (for one call made on behalf of that model context), without changing the
+   * frontier's current context. `undefined` returns this frontier.
+   */
+  inContext(contextId: string | null | undefined): SeenFrontier;
+  /**
+   * Merge a snapshot into this frontier: each record is booked under the
+   * context it was booked in (same context: monotonic, never lowers a mark).
+   * Adopts the snapshot's current context when this frontier has none.
+   */
   absorb(snapshot: SeenFrontierSnapshot | null | undefined): void;
   /** Remember that the Server resolved `requested` to `canonical` (a thread spelling, a `~agent` suffix, …). */
   recordAlias(requested: string, canonical: string): void;
   canonical(target: string): string;
-  /** Advance the contiguous boundary for a target; never lowers it. */
+  /** Advance the contiguous boundary for a target in the current context; never lowers it within one context. */
   recordUpTo(target: string, seq: number): void;
-  /** Record bodies that were rendered without proving contiguity. */
+  /** Record bodies that were rendered without proving contiguity, in the current context. */
   recordExact(target: string, seqs: readonly number[]): void;
   /**
    * Attest that the model saw the context of an interrupt (`outcome.interrupt`
@@ -531,9 +559,17 @@ export declare class SeenFrontier {
     withheld: boolean;
     contextComplete?: boolean;
   }): boolean;
-  /** What to attest on a send or claim to `target`; omits `seenUpToSeq` when nothing contiguous is known. */
+  /**
+   * What to attest on a send or claim to `target`; omits `seenUpToSeq` when
+   * nothing contiguous is known. With a current context, only bookings made
+   * in that context count.
+   */
   attestation(target: string): SeenAttestation;
   snapshot(): SeenFrontierSnapshot;
+  /** A high-water booking (seenPolicy `bookStreamEntries`): another context's record is replaced, not merged. */
+  private bookUpTo;
+  /** A sparse booking (seenPolicy `bookExactSeqs`): merges within a context, replaces across; never moves `upTo`. */
+  private bookExact;
   private state;
 }
 //#endregion
@@ -550,6 +586,14 @@ interface CheckInboxRequest {
   limit?: number;
   ack?: RaftAckMode;
 }
+export declare const checkInboxRequestSchema: z.ZodObject<{
+  since: z.ZodOptional<z.ZodNumber>;
+  limit: z.ZodOptional<z.ZodNumber>;
+  ack: z.ZodOptional<z.ZodEnum<{
+    cursor: "cursor";
+    immediate: "immediate";
+  }>>;
+}, z.core.$strip>;
 interface RaftInboxBatch {
   messages: RaftMessage[];
   /** Pass as `since` on the next check to acknowledge this batch (cursor mode). `null` when the Server sent none. */
@@ -569,6 +613,14 @@ interface DrainInboxRequest {
   limit?: number;
   ack?: RaftAckMode;
 }
+export declare const drainInboxRequestSchema: z.ZodObject<{
+  since: z.ZodOptional<z.ZodNumber>;
+  limit: z.ZodOptional<z.ZodNumber>;
+  ack: z.ZodOptional<z.ZodEnum<{
+    cursor: "cursor";
+    immediate: "immediate";
+  }>>;
+}, z.core.$strip>;
 interface RaftInboxDrainSummary {
   /** Cursor of the last batch handed out; pass it as `since` on the next pull to acknowledge that batch. */
   cursor: number | null;
@@ -583,6 +635,13 @@ interface RaftInboxDrainSummary {
     ok: false;
   }> | null;
 }
+/** A whole drain as one result (the SDK's `invoke("inbox.drain")`): every batch's messages, in order, and the summary. */
+interface RaftInboxDrained {
+  messages: RaftMessage[];
+  /** Batches handed out. */
+  batches: number;
+  summary: RaftInboxDrainSummary;
+}
 interface ListInboxRequest {
   view?: "unread" | "mentions";
   /** Next page: the `nextBeforeSeq` of the previous page. */
@@ -590,6 +649,14 @@ interface ListInboxRequest {
   /** 1..50; Server default 20. */
   limit?: number;
 }
+export declare const listInboxRequestSchema: z.ZodObject<{
+  view: z.ZodOptional<z.ZodEnum<{
+    mentions: "mentions";
+    unread: "unread";
+  }>>;
+  before: z.ZodOptional<z.ZodNumber>;
+  limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
 interface RaftInboxConversation {
   target: string;
   kind: "dm" | "channel" | "thread";
@@ -627,6 +694,14 @@ interface ReadHistoryRequest {
    */
   consume?: boolean;
 }
+export declare const readHistoryRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+  after: z.ZodOptional<z.ZodNumber>;
+  before: z.ZodOptional<z.ZodNumber>;
+  around: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+  limit: z.ZodOptional<z.ZodNumber>;
+  consume: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>;
 interface RaftHistoryPage {
   /** Canonical target the Server resolved (falls back to the requested spelling on older Servers). */
   target: string;
@@ -659,6 +734,48 @@ interface SendMessageRequest {
     exactSeqs?: number[];
   };
 }
+export declare const sendMessageRequestSchema: z.ZodObject<{
+  content: z.ZodString;
+  attachmentIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+  idempotencyKey: z.ZodOptional<z.ZodString>;
+  mentions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    type: z.ZodEnum<{
+      user: "user";
+      agent: "agent";
+    }>;
+    id: z.ZodString;
+    name: z.ZodString;
+  }, z.core.$strip>>>;
+  seen: z.ZodOptional<z.ZodObject<{
+    upToSeq: z.ZodOptional<z.ZodNumber>;
+    exactSeqs: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+  }, z.core.$strip>>;
+  target: z.ZodString;
+}, z.core.$strip>;
+/** `reply(message, request)` as one argument object: the received message (its `target`) and the send fields. */
+interface ReplyToRequest extends Omit<SendMessageRequest, "target"> {
+  message: Pick<RaftMessage, "target">;
+}
+export declare const replyToRequestSchema: z.ZodObject<{
+  content: z.ZodString;
+  attachmentIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+  idempotencyKey: z.ZodOptional<z.ZodString>;
+  mentions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    type: z.ZodEnum<{
+      user: "user";
+      agent: "agent";
+    }>;
+    id: z.ZodString;
+    name: z.ZodString;
+  }, z.core.$strip>>>;
+  seen: z.ZodOptional<z.ZodObject<{
+    upToSeq: z.ZodOptional<z.ZodNumber>;
+    exactSeqs: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+  }, z.core.$strip>>;
+  message: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+}, z.core.$strip>;
 interface RaftSent {
   messageId: string;
   messageSeq: number | null;
@@ -699,6 +816,11 @@ interface ClaimTasksRequest {
   /** Full or short message ids of top-level messages to claim as tasks. */
   messageIds?: string[];
 }
+export declare const claimTasksRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+  taskNumbers: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+  messageIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
 type RaftClaimRowState = "claimed" | "already_yours" | "conflict" | "refused";
 interface RaftClaimRow {
   ref: string;
@@ -730,6 +852,18 @@ interface ListTasksRequest {
   mine?: boolean;
   status?: RaftTaskStatus | "all";
 }
+export declare const listTasksRequestSchema: z.ZodObject<{
+  target: z.ZodOptional<z.ZodString>;
+  mine: z.ZodOptional<z.ZodBoolean>;
+  status: z.ZodOptional<z.ZodEnum<{
+    todo: "todo";
+    in_progress: "in_progress";
+    in_review: "in_review";
+    done: "done";
+    closed: "closed";
+    all: "all";
+  }>>;
+}, z.core.$strip>;
 interface RaftTaskBoard {
   scope: "channel" | "mine";
   target: string | null;
@@ -745,6 +879,14 @@ interface CreateTasksRequest {
   /** `@handle`; yourself to start in_progress, or (owner/admin) someone else to reserve a todo. */
   assignee?: string;
 }
+export declare const createTasksRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+  tasks: z.ZodArray<z.ZodObject<{
+    title: z.ZodString;
+    createsResource: z.ZodOptional<z.ZodBoolean>;
+  }, z.core.$strip>>;
+  assignee: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
 type RaftTasksCreated = AgentApiTaskCreateResponse & {
   target: string;
 };
@@ -752,24 +894,63 @@ interface TaskRef {
   target: string;
   taskNumber: number;
 }
+export declare const taskRefSchema: z.ZodObject<{
+  target: z.ZodString;
+  taskNumber: z.ZodNumber;
+}, z.core.$strip>;
 interface AssignTaskRequest extends TaskRef {
-  /** `@handle`, or null to clear the assignment. */
-  assignee: string | null;
+  /** `@handle` to assign. Required: clearing is the explicit `tasks.unassign`, never an omitted argument. */
+  assignee: string;
+  /** Optimistic-concurrency token from a task you just read; lose rather than clobber. */
+  expectedRevision?: number;
+}
+export declare const assignTaskRequestSchema: z.ZodObject<{
+  assignee: z.ZodString;
+  expectedRevision: z.ZodOptional<z.ZodNumber>;
+  target: z.ZodString;
+  taskNumber: z.ZodNumber;
+}, z.core.$strip>;
+interface UnassignTaskRequest extends TaskRef {
   /** Optimistic-concurrency token from a task you just read; lose rather than clobber. */
   expectedRevision?: number;
 }
 interface UpdateTaskStatusRequest extends TaskRef {
   status: RaftTaskStatus;
 }
+export declare const updateTaskStatusRequestSchema: z.ZodObject<{
+  status: z.ZodEnum<{
+    todo: "todo";
+    in_progress: "in_progress";
+    in_review: "in_review";
+    done: "done";
+    closed: "closed";
+  }>;
+  target: z.ZodString;
+  taskNumber: z.ZodNumber;
+}, z.core.$strip>;
 type UpdateTaskStatusOutcome = RaftOutcome<UpdateTaskStatusRequest, "updated"> | RaftInterrupted;
 interface AmendTaskRequest extends TaskRef {
   title?: string;
   /** New description; `null` clears it. */
   description?: string | null;
 }
+export declare const amendTaskRequestSchema: z.ZodObject<{
+  title: z.ZodOptional<z.ZodString>;
+  description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+  target: z.ZodString;
+  taskNumber: z.ZodNumber;
+}, z.core.$strip>;
 type AmendTaskOutcome = RaftOutcome<AgentApiTaskAmendSuccessResponse & {
   target: string;
 }, "amended"> | RaftInterrupted;
+interface ConvertMessageToTaskRequest {
+  target: string;
+  messageId: string;
+}
+export declare const convertMessageToTaskRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+  messageId: z.ZodString;
+}, z.core.$strip>;
 //#endregion
 //#region ../shared/src/agentOps/wake.d.ts
 export declare const RAFT_INBOX_NOTICE_SCHEMA: "raft-agent-inbox-notice.v1";
@@ -826,7 +1007,54 @@ interface VerifyNoticeInput {
 export declare function verifyInboxNotice(input: VerifyNoticeInput): Promise<VerifyNoticeResult>;
 type RaftWebhookStatus = AgentApiPushWebhookStatusResponse;
 //#endregion
+//#region ../shared/src/agentText/server.d.ts
+interface AgentChannelInfo {
+  id?: string | null;
+  name: string;
+  joined: boolean;
+  type?: string | null;
+  description?: string | null;
+  muted?: boolean | null;
+  activityMuted?: boolean | null;
+  archived?: boolean | null;
+  channelRole?: "member" | "admin" | null;
+  channelAdminBasis?: "server_role" | "channel_role" | "both" | null;
+  channelCapabilities?: Record<string, boolean> | null;
+}
+interface AgentAgentInfo {
+  name: string;
+  status?: string | null;
+  activity?: string | null;
+  activityDetail?: string | null;
+  role?: "owner" | "admin" | "member" | string | null;
+  description?: string | null;
+}
+interface AgentHumanInfo {
+  name: string;
+  role?: "owner" | "admin" | "member" | string | null;
+  description?: string | null;
+}
+interface AgentPageInfo {
+  total: number;
+  offset: number;
+  limit: number;
+  nextCommand?: string;
+}
+//#endregion
 //#region ../shared/src/agentOps/channels.d.ts
+/** `{ target }` of a regular channel (join, leave, mute, unmute). */
+export declare const channelTargetRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+}, z.core.$strip>;
+export declare const channelMembersRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+}, z.core.$strip>;
+/** `threads.list` takes no arguments. */
+export declare const listThreadsRequestSchema: z.ZodObject<{}, z.core.$strip>;
+export declare const unfollowThreadRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+  reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
 interface RaftChannelRef {
   target: string;
   channelId: string;
@@ -836,13 +1064,17 @@ interface RaftChannelMuteState extends RaftChannelRef {
   muteFromSeq: number | null;
   stillArrives: string[];
 }
-//#endregion
-//#region ../shared/src/agentText/server.d.ts
-interface AgentPageInfo {
-  total: number;
-  offset: number;
-  limit: number;
-  nextCommand?: string;
+export declare const channelInfoRequestSchema: z.ZodObject<{
+  target: z.ZodString;
+}, z.core.$strip>;
+interface RaftChannelInfo {
+  /** The channel as `server.info` lists it (`joined` and the attention flags are yours). */
+  channel: AgentChannelInfo;
+  /** Roster counts, or null when the Server refused the roster (the text then omits `Members:`). */
+  memberCounts: {
+    agents: number;
+    humans: number;
+  } | null;
 }
 //#endregion
 //#region ../shared/src/agentOps/server.d.ts
@@ -856,6 +1088,27 @@ interface ServerInfoRequest {
   /** Channels only: restrict to joined channels. */
   joined?: boolean;
 }
+export declare const serverInfoRequestSchema: z.ZodObject<{
+  view: z.ZodOptional<z.ZodEnum<{
+    channels: "channels";
+    agents: "agents";
+    humans: "humans";
+    summary: "summary";
+    full: "full";
+  }>>;
+  offset: z.ZodOptional<z.ZodNumber>;
+  limit: z.ZodOptional<z.ZodNumber>;
+  joined: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>;
+export declare const showProfileRequestSchema: z.ZodObject<{
+  target: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+/** The Agent API's profile body schema; at least one field is required (checked by the operation). */
+export declare const updateProfileRequestSchema: z.ZodObject<{
+  avatarUrl: z.ZodOptional<z.ZodString>;
+  displayName: z.ZodOptional<z.ZodString>;
+  description: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
 interface RaftServerInfo {
   view: NonNullable<ServerInfoRequest["view"]>;
   server: AgentApiServerInfoResponse;
@@ -864,8 +1117,41 @@ interface RaftServerInfo {
     section: ServerInfoSection;
   }) | null;
 }
+interface UserInfoRequest {
+  /** The user's handle, `@name` or `name`. */
+  name: string;
+  /** Visible channels to skip before inspecting memberships (default 0). */
+  offset?: number;
+  /** Visible channels to inspect for memberships (default 50). */
+  limit?: number;
+}
+export declare const userInfoRequestSchema: z.ZodObject<{
+  name: z.ZodString;
+  offset: z.ZodOptional<z.ZodNumber>;
+  limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+type RaftUserRef = {
+  kind: "agent";
+  value: AgentAgentInfo;
+} | {
+  kind: "human";
+  value: AgentHumanInfo;
+};
+interface RaftUserInfo {
+  user: RaftUserRef;
+  /** The inspected visible channels whose roster lists the user (`joined` is the user's, not yours). */
+  memberships: AgentChannelInfo[];
+  /** Inspected channels whose roster the Server refused; they are not counted either way. */
+  skippedChannels: number;
+  /** Paging over the visible channels (`total` is all visible channels). */
+  page: AgentPageInfo;
+}
 //#endregion
 //#region ../shared/src/agentOps/attachments.d.ts
+export declare const attachmentCommentsRequestSchema: z.ZodObject<{
+  attachmentId: z.ZodString;
+  limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
 /** Explicit type wins; otherwise sniff the bytes, then the filename extension, then octet-stream. */
 export declare function inferAttachmentMimeType(filename: string, bytes: Uint8Array, explicit?: string | null): string;
 interface UploadAttachmentRequest {
@@ -901,6 +1187,26 @@ interface SearchMessagesRequest {
   limit?: number;
   offset?: number;
 }
+export declare const searchMessagesRequestSchema: z.ZodObject<{
+  query: z.ZodOptional<z.ZodString>;
+  target: z.ZodOptional<z.ZodString>;
+  sender: z.ZodOptional<z.ZodString>;
+  sort: z.ZodOptional<z.ZodEnum<{
+    relevance: "relevance";
+    recent: "recent";
+  }>>;
+  before: z.ZodOptional<z.ZodString>;
+  after: z.ZodOptional<z.ZodString>;
+  limit: z.ZodOptional<z.ZodNumber>;
+  offset: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const resolveMessageRequestSchema: z.ZodObject<{
+  messageId: z.ZodString;
+}, z.core.$strip>;
+export declare const reactRequestSchema: z.ZodObject<{
+  messageId: z.ZodString;
+  emoji: z.ZodString;
+}, z.core.$strip>;
 interface RaftSearchPage {
   query: string;
   results: AgentApiMessageSearchResponse["results"];
@@ -939,6 +1245,19 @@ interface AgentMentionActionResult {
 }
 //#endregion
 //#region ../shared/src/agentOps/mentions.d.ts
+export declare const pendingMentionActionsRequestSchema: z.ZodObject<{
+  limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const executeMentionActionRequestSchema: z.ZodObject<{
+  action: z.ZodEnum<{
+    notify: "notify";
+    add: "add";
+  }>;
+  resolutionIds: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export declare const senderMentionDeliveriesRequestSchema: z.ZodObject<{
+  messageId: z.ZodString;
+}, z.core.$strip>;
 interface RaftPendingMentions {
   actions: AgentPendingMentionAction[];
   /** Server-reported; `null` when it did not say (completeness not asserted). */
@@ -955,6 +1274,17 @@ interface ManualContext {
   intent: string;
   reason: string;
 }
+export declare const getManualTopicRequestSchema: z.ZodObject<{
+  intent: z.ZodString;
+  reason: z.ZodString;
+  topic: z.ZodString;
+}, z.core.$strip>;
+export declare const searchManualRequestSchema: z.ZodObject<{
+  intent: z.ZodString;
+  reason: z.ZodString;
+  query: z.ZodString;
+  scope: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
 //#endregion
 //#region ../shared/src/agentOps/state.d.ts
 export declare const RAFT_STATE_SCHEMA: "raft-sdk-state.v1";
@@ -1001,6 +1331,88 @@ export declare function hashRaftSendContent(target: string, content: string, att
 //#endregion
 //#region ../shared/src/agentOps/actions.d.ts
 type PrepareActionCardRequest = AgentApiActionPrepareBody;
+/**
+ * The Agent API's own body schema (a discriminated union over the card
+ * types), so the SDK checks exactly what the Server checks. The operation
+ * manifest projects it flattened (see the SDK's operations.ts).
+ */
+export declare const prepareActionCardRequestSchema: import("zod").ZodObject<{
+  target: import("zod").ZodString;
+  action: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+    type: import("zod").ZodLiteral<"channel:create">;
+    name: import("zod").ZodString;
+    visibility: import("zod").ZodDefault<import("zod").ZodEnum<{
+      private: "private";
+      public: "public";
+    }>>;
+    description: import("zod").ZodOptional<import("zod").ZodString>;
+    initialHumans: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+    initialAgents: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    type: import("zod").ZodLiteral<"agent:create">;
+    name: import("zod").ZodString;
+    description: import("zod").ZodOptional<import("zod").ZodString>;
+    suggestedComputer: import("zod").ZodOptional<import("zod").ZodString>;
+    requiredComputer: import("zod").ZodOptional<import("zod").ZodString>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    type: import("zod").ZodLiteral<"channel:add_member">;
+    channel: import("zod").ZodString;
+    humans: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+    agents: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    type: import("zod").ZodLiteral<"integration:approve_agent_login">;
+    requestId: import("zod").ZodUUID;
+    agentId: import("zod").ZodUUID;
+    agentName: import("zod").ZodString;
+    clientId: import("zod").ZodUUID;
+    clientKey: import("zod").ZodString;
+    clientName: import("zod").ZodString;
+    scopes: import("zod").ZodArray<import("zod").ZodString>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    type: import("zod").ZodLiteral<"integration:install_marketplace_app">;
+    clientId: import("zod").ZodUUID;
+    clientKey: import("zod").ZodString;
+    clientName: import("zod").ZodString;
+    clientNameSha256: import("zod").ZodString;
+    agentId: import("zod").ZodUUID;
+    agentName: import("zod").ZodString;
+    scopes: import("zod").ZodArray<import("zod").ZodString>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    description: import("zod").ZodOptional<import("zod").ZodString>;
+    category: import("zod").ZodOptional<import("zod").ZodString>;
+    homepageUrl: import("zod").ZodOptional<import("zod").ZodString>;
+    agentManifestUrl: import("zod").ZodOptional<import("zod").ZodString>;
+    type: import("zod").ZodLiteral<"integration:register_app">;
+    name: import("zod").ZodString;
+    clientKey: import("zod").ZodOptional<import("zod").ZodString>;
+    returnUrl: import("zod").ZodString;
+    scopes: import("zod").ZodDefault<import("zod").ZodArray<import("zod").ZodString>>;
+    unsafeDemoUrlOverride: import("zod").ZodOptional<import("zod").ZodBoolean>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    name: import("zod").ZodOptional<import("zod").ZodString>;
+    description: import("zod").ZodOptional<import("zod").ZodString>;
+    category: import("zod").ZodOptional<import("zod").ZodString>;
+    homepageUrl: import("zod").ZodOptional<import("zod").ZodString>;
+    returnUrl: import("zod").ZodOptional<import("zod").ZodString>;
+    agentManifestUrl: import("zod").ZodOptional<import("zod").ZodString>;
+    type: import("zod").ZodLiteral<"integration:update_app_registration">;
+    clientKey: import("zod").ZodString;
+    scopes: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+    unsafeDemoUrlOverride: import("zod").ZodOptional<import("zod").ZodBoolean>;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+    type: import("zod").ZodLiteral<"integration:recover_app_owner">;
+    clientKey: import("zod").ZodString;
+    targetAgent: import("zod").ZodString;
+    draftHint: import("zod").ZodOptional<import("zod").ZodString>;
+  }, import("zod/v4/core").$strip>], "type">;
+}, import("zod/v4/core").$loose>;
 interface RaftPreparedCard {
   target: string;
   /** The card message; a human commits it by clicking its action verb. */
@@ -1292,8 +1704,8 @@ interface TaskResourceReceipt {
 declare const attachmentUploadSessionSchema: z.ZodObject<{
   uploadId: z.ZodUUID;
   state: z.ZodEnum<{
-    expired: "expired";
     pending: "pending";
+    expired: "expired";
     canceled: "canceled";
     completed: "completed";
     verifying: "verifying";
@@ -1309,8 +1721,8 @@ declare const attachmentUploadSessionSchema: z.ZodObject<{
   }, z.core.$strict>>;
   terminalReason: z.ZodNullable<z.ZodString>;
   reservationState: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-    expired: "expired";
     pending: "pending";
+    expired: "expired";
     canceled: "canceled";
     consumed: "consumed";
   }>>>;
@@ -1655,8 +2067,8 @@ declare const agentApiInboxListResponseSchema: z.ZodObject<{
     target: z.ZodString;
     kind: z.ZodEnum<{
       channel: "channel";
-      thread: "thread";
       dm: "dm";
+      thread: "thread";
     }>;
     unread: z.ZodNumber;
     mentions: z.ZodNumber;
@@ -1891,13 +2303,13 @@ declare const agentApiIntegrationAppUpdateBodySchema: z.ZodObject<{
 declare const agentApiIntegrationAppManageBodySchema: z.ZodObject<{
   clientKey: z.ZodString;
   action: z.ZodEnum<{
+    delete: "delete";
     share_link_get: "share_link_get";
     share_link_create: "share_link_create";
     share_link_revoke: "share_link_revoke";
     request_publish: "request_publish";
     request_unpublish: "request_unpublish";
     clear_logo: "clear_logo";
-    delete: "delete";
   }>;
   expiresInDays: z.ZodOptional<z.ZodNumber>;
 }, z.core.$loose>;
@@ -1911,8 +2323,8 @@ declare const agentApiActionPrepareBodySchema: z.ZodObject<{
     type: z.ZodLiteral<"channel:create">;
     name: z.ZodString;
     visibility: z.ZodDefault<z.ZodEnum<{
-      public: "public";
       private: "private";
+      public: "public";
     }>>;
     description: z.ZodOptional<z.ZodString>;
     initialHumans: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2057,10 +2469,10 @@ declare const agentApiServerInfoResponseSchema: z.ZodObject<{
   humans: z.ZodArray<z.ZodObject<{
     name: z.ZodString;
     role: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+      guest: "guest";
       owner: "owner";
       admin: "admin";
       member: "member";
-      guest: "guest";
     }>>>;
   }, z.core.$loose>>;
 }, z.core.$loose>;
@@ -2109,13 +2521,13 @@ declare const agentApiMentionActionsExecuteResponseSchema: z.ZodObject<{
   results: z.ZodArray<z.ZodObject<{
     resolutionId: z.ZodString;
     status: z.ZodEnum<{
-      queued: "queued";
+      not_found: "not_found";
       delivered: "delivered";
+      queued: "queued";
       dropped: "dropped";
       stale: "stale";
       expired: "expired";
       no_permission: "no_permission";
-      not_found: "not_found";
       ambiguous: "ambiguous";
     }>;
     action: z.ZodOptional<z.ZodEnum<{
@@ -2262,8 +2674,8 @@ declare const agentApiIntegrationLoginResponseSchema: z.ZodObject<{
 declare const agentApiIntegrationAppPrepareResponseSchema: z.ZodObject<{
   status: z.ZodLiteral<"prepared">;
   mode: z.ZodEnum<{
-    register: "register";
     update: "update";
+    register: "register";
   }>;
   target: z.ZodString;
   actionCardMessageId: z.ZodString;
@@ -2319,13 +2731,13 @@ declare const agentApiIntegrationAppUpdateResponseSchema: z.ZodObject<{
 }, z.core.$loose>;
 declare const agentApiIntegrationAppManageResponseSchema: z.ZodObject<{
   action: z.ZodEnum<{
+    delete: "delete";
     share_link_get: "share_link_get";
     share_link_create: "share_link_create";
     share_link_revoke: "share_link_revoke";
     request_publish: "request_publish";
     request_unpublish: "request_unpublish";
     clear_logo: "clear_logo";
-    delete: "delete";
   }>;
   clientId: z.ZodString;
   clientKey: z.ZodString;
@@ -2351,8 +2763,8 @@ declare const agentApiIntegrationAppLogoResponseSchema: z.ZodObject<{
 declare const agentApiIntegrationAppListResponseSchema: z.ZodObject<{
   apps: z.ZodArray<z.ZodObject<{
     state: z.ZodEnum<{
-      card_pending: "card_pending";
       committed: "committed";
+      card_pending: "card_pending";
     }>;
     card: z.ZodNullable<z.ZodString>;
     installationId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2381,8 +2793,8 @@ declare const agentApiIntegrationAppListResponseSchema: z.ZodObject<{
 declare const agentApiIntegrationAppStatusResponseSchema: z.ZodObject<{
   app: z.ZodObject<{
     state: z.ZodEnum<{
-      card_pending: "card_pending";
       committed: "committed";
+      card_pending: "card_pending";
     }>;
     card: z.ZodNullable<z.ZodString>;
     installationId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2419,8 +2831,8 @@ declare const agentApiHistoryConsumptionScopeSchema: z.ZodObject<{
   agent_id: z.ZodString;
   channel_id: z.ZodString;
   channel_type: z.ZodEnum<{
-    thread: "thread";
     dm: "dm";
+    thread: "thread";
   }>;
   target: z.ZodString;
 }, z.core.$strip>;
@@ -2447,8 +2859,8 @@ declare const agentApiMessageResolveResponseSchema: z.ZodObject<{
       actor_id: z.ZodString;
       actor_kind: z.ZodEnum<{
         unknown: "unknown";
-        guest: "guest";
         human: "human";
+        guest: "guest";
         remote: "remote";
         bot: "bot";
       }>;
@@ -2818,8 +3230,8 @@ declare const agentApiReminderLogResponseSchema: z.ZodObject<{
       updated: "updated";
     }>;
     actorType: z.ZodEnum<{
-      agent: "agent";
       human: "human";
+      agent: "agent";
       system: "system";
     }>;
     actorId: z.ZodNullable<z.ZodString>;
@@ -3044,8 +3456,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -3164,8 +3576,8 @@ declare const agentApiContract: {
           agent_id: z.ZodString;
           channel_id: z.ZodString;
           channel_type: z.ZodEnum<{
-            thread: "thread";
             dm: "dm";
+            thread: "thread";
           }>;
           target: z.ZodString;
         }, z.core.$strip>>;
@@ -3190,8 +3602,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -3472,8 +3884,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -3564,8 +3976,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -3676,8 +4088,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -3768,8 +4180,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -3934,8 +4346,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -4026,8 +4438,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -4138,8 +4550,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -4230,8 +4642,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -4369,8 +4781,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -4563,8 +4975,8 @@ declare const agentApiContract: {
           actor_id: z.ZodString;
           actor_kind: z.ZodEnum<{
             unknown: "unknown";
-            guest: "guest";
             human: "human";
+            guest: "guest";
             remote: "remote";
             bot: "bot";
           }>;
@@ -4678,8 +5090,8 @@ declare const agentApiContract: {
           actor_id: z.ZodString;
           actor_kind: z.ZodEnum<{
             unknown: "unknown";
-            guest: "guest";
             human: "human";
+            guest: "guest";
             remote: "remote";
             bot: "bot";
           }>;
@@ -5108,8 +5520,8 @@ declare const agentApiContract: {
           target: z.ZodString;
           kind: z.ZodEnum<{
             channel: "channel";
-            thread: "thread";
             dm: "dm";
+            thread: "thread";
           }>;
           unread: z.ZodNumber;
           mentions: z.ZodNumber;
@@ -5223,10 +5635,10 @@ declare const agentApiContract: {
         humans: z.ZodArray<z.ZodObject<{
           name: z.ZodString;
           role: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            guest: "guest";
             owner: "owner";
             admin: "admin";
             member: "member";
-            guest: "guest";
           }>>>;
         }, z.core.$loose>>;
       }, z.core.$loose>;
@@ -5353,13 +5765,13 @@ declare const agentApiContract: {
         results: z.ZodArray<z.ZodObject<{
           resolutionId: z.ZodString;
           status: z.ZodEnum<{
-            queued: "queued";
+            not_found: "not_found";
             delivered: "delivered";
+            queued: "queued";
             dropped: "dropped";
             stale: "stale";
             expired: "expired";
             no_permission: "no_permission";
-            not_found: "not_found";
             ambiguous: "ambiguous";
           }>;
           action: z.ZodOptional<z.ZodEnum<{
@@ -5459,8 +5871,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -5551,8 +5963,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -5892,8 +6304,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -5984,8 +6396,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -6269,8 +6681,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -6361,8 +6773,8 @@ declare const agentApiContract: {
             actor_id: z.ZodString;
             actor_kind: z.ZodEnum<{
               unknown: "unknown";
-              guest: "guest";
               human: "human";
+              guest: "guest";
               remote: "remote";
               bot: "bot";
             }>;
@@ -6815,8 +7227,8 @@ declare const agentApiContract: {
             updated: "updated";
           }>;
           actorType: z.ZodEnum<{
-            agent: "agent";
             human: "human";
+            agent: "agent";
             system: "system";
           }>;
           actorId: z.ZodNullable<z.ZodString>;
@@ -7191,8 +7603,8 @@ declare const agentApiContract: {
       readonly body: z.ZodObject<{
         status: z.ZodLiteral<"prepared">;
         mode: z.ZodEnum<{
-          register: "register";
           update: "update";
+          register: "register";
         }>;
         target: z.ZodString;
         actionCardMessageId: z.ZodString;
@@ -7334,13 +7746,13 @@ declare const agentApiContract: {
       readonly body: z.ZodObject<{
         clientKey: z.ZodString;
         action: z.ZodEnum<{
+          delete: "delete";
           share_link_get: "share_link_get";
           share_link_create: "share_link_create";
           share_link_revoke: "share_link_revoke";
           request_publish: "request_publish";
           request_unpublish: "request_unpublish";
           clear_logo: "clear_logo";
-          delete: "delete";
         }>;
         expiresInDays: z.ZodOptional<z.ZodNumber>;
       }, z.core.$loose>;
@@ -7348,13 +7760,13 @@ declare const agentApiContract: {
     readonly response: {
       readonly body: z.ZodObject<{
         action: z.ZodEnum<{
+          delete: "delete";
           share_link_get: "share_link_get";
           share_link_create: "share_link_create";
           share_link_revoke: "share_link_revoke";
           request_publish: "request_publish";
           request_unpublish: "request_unpublish";
           clear_logo: "clear_logo";
-          delete: "delete";
         }>;
         clientId: z.ZodString;
         clientKey: z.ZodString;
@@ -7412,8 +7824,8 @@ declare const agentApiContract: {
       readonly body: z.ZodObject<{
         apps: z.ZodArray<z.ZodObject<{
           state: z.ZodEnum<{
-            card_pending: "card_pending";
             committed: "committed";
+            card_pending: "card_pending";
           }>;
           card: z.ZodNullable<z.ZodString>;
           installationId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -7463,8 +7875,8 @@ declare const agentApiContract: {
       readonly body: z.ZodObject<{
         app: z.ZodObject<{
           state: z.ZodEnum<{
-            card_pending: "card_pending";
             committed: "committed";
+            card_pending: "card_pending";
           }>;
           card: z.ZodNullable<z.ZodString>;
           installationId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -7511,8 +7923,8 @@ declare const agentApiContract: {
           type: z.ZodLiteral<"channel:create">;
           name: z.ZodString;
           visibility: z.ZodDefault<z.ZodEnum<{
-            public: "public";
             private: "private";
+            public: "public";
           }>>;
           description: z.ZodOptional<z.ZodString>;
           initialHumans: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -7727,8 +8139,8 @@ declare const agentApiContract: {
       readonly body: z.ZodObject<{
         uploadId: z.ZodUUID;
         state: z.ZodEnum<{
-          expired: "expired";
           pending: "pending";
+          expired: "expired";
           canceled: "canceled";
           completed: "completed";
           verifying: "verifying";
@@ -7744,8 +8156,8 @@ declare const agentApiContract: {
         }, z.core.$strict>>;
         terminalReason: z.ZodNullable<z.ZodString>;
         reservationState: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-          expired: "expired";
           pending: "pending";
+          expired: "expired";
           canceled: "canceled";
           consumed: "consumed";
         }>>>;
@@ -7773,8 +8185,8 @@ declare const agentApiContract: {
       readonly body: z.ZodObject<{
         uploadId: z.ZodUUID;
         state: z.ZodEnum<{
-          expired: "expired";
           pending: "pending";
+          expired: "expired";
           canceled: "canceled";
           completed: "completed";
           verifying: "verifying";
@@ -7790,8 +8202,8 @@ declare const agentApiContract: {
         }, z.core.$strict>>;
         terminalReason: z.ZodNullable<z.ZodString>;
         reservationState: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
-          expired: "expired";
           pending: "pending";
+          expired: "expired";
           canceled: "canceled";
           consumed: "consumed";
         }>>>;
@@ -9022,6 +9434,963 @@ type RaftLatestReadThread = {
  */
 export declare function readLatestReadThread(options?: ReadLatestReadThreadOptions): Promise<RaftLatestReadThread>;
 //#endregion
+//#region src/toolSchema.d.ts
+type RaftJsonSchemaType = "object" | "array" | "string" | "number" | "integer" | "boolean" | "null";
+interface RaftJsonSchema {
+  type?: RaftJsonSchemaType;
+  description?: string;
+  properties?: Record<string, RaftJsonSchema>;
+  required?: string[];
+  items?: RaftJsonSchema;
+  enum?: Array<string | number | boolean | null>;
+  minimum?: number;
+  maximum?: number;
+  minLength?: number;
+  maxLength?: number;
+}
+/** Every keyword the subset allows. */
+export declare const RAFT_JSON_SCHEMA_KEYWORDS: readonly (keyof RaftJsonSchema)[];
+//#endregion
+//#region src/operations.d.ts
+/** What running an operation consumes or records. */
+type RaftConsumption =
+/** Acknowledges inbox rows (now or on the next pull). */
+"inbox" |
+/** Advances the Server's read position for a conversation. */
+"read_cursor" |
+/** Records messages as seen by the model (the frontier a send attests). */
+"seen";
+type RaftOperationIdempotency =
+/** Repeating the same call converges on the same state. */
+{
+  kind: "natural";
+} |
+/** Retry-safe when `args[arg]` is reused. */
+{
+  kind: "key";
+  arg: string;
+} |
+/** Do not auto-retry after a transport failure. */
+{
+  kind: "none";
+};
+interface RaftOperationSpec {
+  /** Stable dotted name, the `createRaft` path and the `invoke` key: `"messages.send"`. */
+  name: string;
+  /** Stable tool name for gateways (`[a-z0-9_]`, no prefix; hosts add their own): `"messages_send"`. */
+  toolName: string;
+  /** Model-facing, 1–3 sentences. */
+  description: string;
+  /** The input, in the conservative JSON Schema subset (toolSchema.ts). Never stricter than the runtime check. */
+  inputSchema: RaftJsonSchema;
+  /** `write` when any route it calls changes state (a consuming read counts as a write). Gateways treat unknown as `write`. */
+  sideEffect: "read" | "write";
+  idempotency: RaftOperationIdempotency;
+  /**
+   * Every credential capability the operation needs (all of them; sorted).
+   * Empty when it calls no route. Filter at mount with
+   * `identity.whoami` → `capabilities`: `op.capability.every((c) => caps.includes(c))`.
+   */
+  capability: string[];
+  /** The result only counts if the model sees it; refused from code. Equals `consumes.code === "refused"`. */
+  modelOnly: boolean;
+  /** May return `state: "interrupted"`: the model must decide (resume / cancel). */
+  mayInterrupt: boolean;
+  /** What it consumes or records, per caller origin; `"refused"` when code may not run it. */
+  consumes: {
+    model: RaftConsumption[];
+    code: RaftConsumption[] | "refused";
+  };
+  /** Whether the result can be large, and which arguments bound or page it. */
+  output: {
+    mayBeLarge: boolean;
+    boundBy: string[];
+  };
+  /** Still dispatchable, scheduled for removal; use the replacement named in `description`. */
+  deprecated?: boolean;
+}
+declare const OPERATION_DEFS: readonly [{
+  readonly name: "identity.whoami";
+  readonly description: "Who this credential is: your agent, the server, the capabilities granted to the credential, and the operating guide for External Agents.";
+  readonly schema: z.ZodObject<{}, z.core.$strip>;
+  readonly routes: readonly ["agentContext"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "inbox.check";
+  readonly description: "Pull one batch of new messages addressed to you (DMs, @mentions, followed threads, joined channels). Handle them, then call inbox.commit; the next check acknowledges the committed batch.";
+  readonly schema: z.ZodObject<{
+    since: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    ack: z.ZodOptional<z.ZodEnum<{
+      cursor: "cursor";
+      immediate: "immediate";
+    }>>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["events"];
+  readonly consumes: {
+    readonly model: ["inbox", "seen"];
+    readonly code: "refused";
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["limit"];
+  };
+}, {
+  readonly name: "inbox.drain";
+  readonly description: "Pull new messages until the server reports nothing more, returned together. Each batch is acknowledged by the pull after it; call inbox.commit after handling the result.";
+  readonly schema: z.ZodObject<{
+    since: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    ack: z.ZodOptional<z.ZodEnum<{
+      cursor: "cursor";
+      immediate: "immediate";
+    }>>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["events"];
+  readonly consumes: {
+    readonly model: ["inbox", "seen"];
+    readonly code: "refused";
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["limit"];
+  };
+}, {
+  readonly name: "inbox.commit";
+  readonly description: "Mark the last pulled inbox batch as handled (or the batch with the given cursor); the next inbox check acknowledges it on the server. Call it only after the messages were handled.";
+  readonly schema: z.ZodObject<{
+    cursor: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+  }, z.core.$strip>;
+  readonly routes: readonly [];
+  readonly local: {
+    readonly sideEffect: "write";
+    readonly idempotency: "natural";
+  };
+  readonly consumes: {
+    readonly model: ["inbox"];
+    readonly code: "refused";
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "inbox.list";
+  readonly description: "List conversations with unread messages, newest activity first, each with where to start reading. Consumes nothing.";
+  readonly schema: z.ZodObject<{
+    view: z.ZodOptional<z.ZodEnum<{
+      mentions: "mentions";
+      unread: "unread";
+    }>>;
+    before: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["inboxList"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["before", "limit"];
+  };
+}, {
+  readonly name: "messages.read";
+  readonly description: "Read a conversation (channel, DM, or thread): the newest messages, or a window after / before / around a position. Marks it read and counts the messages as seen, so a reply into it is not held.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    after: z.ZodOptional<z.ZodNumber>;
+    before: z.ZodOptional<z.ZodNumber>;
+    around: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    consume: z.ZodOptional<z.ZodBoolean>;
+  }, z.core.$strip>;
+  readonly unionAs: {
+    readonly around: "string";
+  };
+  readonly routes: readonly ["historyRead"];
+  readonly consumes: {
+    readonly model: ["read_cursor", "seen"];
+    readonly code: [];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["after", "before", "around", "limit"];
+  };
+}, {
+  readonly name: "messages.send";
+  readonly description: "Send a message to a channel, DM, or thread. If newer messages arrived there that you have not seen, the send is held and returns them: read them, then send again with the same idempotencyKey to go ahead, or drop it.";
+  readonly schema: z.ZodObject<{
+    content: z.ZodString;
+    attachmentIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    idempotencyKey: z.ZodOptional<z.ZodString>;
+    mentions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      type: z.ZodEnum<{
+        user: "user";
+        agent: "agent";
+      }>;
+      id: z.ZodString;
+      name: z.ZodString;
+    }, z.core.$strip>>>;
+    seen: z.ZodOptional<z.ZodObject<{
+      upToSeq: z.ZodOptional<z.ZodNumber>;
+      exactSeqs: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    }, z.core.$strip>>;
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly hiddenFields: readonly ["seen"];
+  readonly routes: readonly ["messageSendV2"];
+  readonly idempotencyArg: "idempotencyKey";
+  readonly mayInterrupt: true;
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "messages.reply";
+  readonly description: "Reply where a received message came from (its conversation or thread). Held like messages.send when newer messages arrived there.";
+  readonly schema: z.ZodObject<{
+    content: z.ZodString;
+    attachmentIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    idempotencyKey: z.ZodOptional<z.ZodString>;
+    mentions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      type: z.ZodEnum<{
+        user: "user";
+        agent: "agent";
+      }>;
+      id: z.ZodString;
+      name: z.ZodString;
+    }, z.core.$strip>>>;
+    seen: z.ZodOptional<z.ZodObject<{
+      upToSeq: z.ZodOptional<z.ZodNumber>;
+      exactSeqs: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    }, z.core.$strip>>;
+    message: z.ZodObject<{
+      target: z.ZodString;
+    }, z.core.$strip>;
+  }, z.core.$strip>;
+  readonly hiddenFields: readonly ["seen"];
+  readonly routes: readonly ["messageSendV2"];
+  readonly idempotencyArg: "idempotencyKey";
+  readonly mayInterrupt: true;
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "messages.search";
+  readonly description: "Search messages by text, conversation, sender, or time; results are previews. Use it to find a specific message, not to check what is new.";
+  readonly schema: z.ZodObject<{
+    query: z.ZodOptional<z.ZodString>;
+    target: z.ZodOptional<z.ZodString>;
+    sender: z.ZodOptional<z.ZodString>;
+    sort: z.ZodOptional<z.ZodEnum<{
+      relevance: "relevance";
+      recent: "recent";
+    }>>;
+    before: z.ZodOptional<z.ZodString>;
+    after: z.ZodOptional<z.ZodString>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    offset: z.ZodOptional<z.ZodNumber>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["messageSearch"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["limit", "offset"];
+  };
+}, {
+  readonly name: "messages.resolve";
+  readonly description: "Resolve a message id to the full message and the conversation it belongs to.";
+  readonly schema: z.ZodObject<{
+    messageId: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["messageResolve"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "messages.react";
+  readonly description: "Add an emoji reaction to a message.";
+  readonly schema: z.ZodObject<{
+    messageId: z.ZodString;
+    emoji: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["messageReactionAdd"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "messages.unreact";
+  readonly description: "Remove your emoji reaction from a message.";
+  readonly schema: z.ZodObject<{
+    messageId: z.ZodString;
+    emoji: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["messageReactionRemove"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "attachments.comments";
+  readonly description: "List the comments on an attachment.";
+  readonly schema: z.ZodObject<{
+    attachmentId: z.ZodString;
+    limit: z.ZodOptional<z.ZodNumber>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["attachmentCommentsList"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["limit"];
+  };
+}, {
+  readonly name: "mentions.pending";
+  readonly description: "List @mentions you sent that reached nobody, each with the actions that would deliver it.";
+  readonly schema: z.ZodObject<{
+    limit: z.ZodOptional<z.ZodNumber>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["mentionActionsPending"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["limit"];
+  };
+}, {
+  readonly name: "mentions.execute";
+  readonly description: "Deliver unreached @mentions: notify the mentioned target, or add them to the conversation.";
+  readonly schema: z.ZodObject<{
+    action: z.ZodEnum<{
+      notify: "notify";
+      add: "add";
+    }>;
+    resolutionIds: z.ZodArray<z.ZodString>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["mentionActionsExecute"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "mentions.deliveries";
+  readonly description: "Whether each @mention in a message you sent reached its target.";
+  readonly schema: z.ZodObject<{
+    messageId: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["senderMentionDeliveries"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "actions.prepare";
+  readonly description: "Post an action card (create a channel, add members, create an agent, or an integration step) for a human to confirm; the human who clicks it carries it out as themselves. When it is executed (or fails), the outcome arrives as a reply that @mentions you in the card's thread (or in the thread the card was posted in).";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    action: z.ZodDiscriminatedUnion<[z.ZodObject<{
+      type: z.ZodLiteral<"channel:create">;
+      name: z.ZodString;
+      visibility: z.ZodDefault<z.ZodEnum<{
+        private: "private";
+        public: "public";
+      }>>;
+      description: z.ZodOptional<z.ZodString>;
+      initialHumans: z.ZodOptional<z.ZodArray<z.ZodString>>;
+      initialAgents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      type: z.ZodLiteral<"agent:create">;
+      name: z.ZodString;
+      description: z.ZodOptional<z.ZodString>;
+      suggestedComputer: z.ZodOptional<z.ZodString>;
+      requiredComputer: z.ZodOptional<z.ZodString>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      type: z.ZodLiteral<"channel:add_member">;
+      channel: z.ZodString;
+      humans: z.ZodOptional<z.ZodArray<z.ZodString>>;
+      agents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      type: z.ZodLiteral<"integration:approve_agent_login">;
+      requestId: z.ZodUUID;
+      agentId: z.ZodUUID;
+      agentName: z.ZodString;
+      clientId: z.ZodUUID;
+      clientKey: z.ZodString;
+      clientName: z.ZodString;
+      scopes: z.ZodArray<z.ZodString>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      type: z.ZodLiteral<"integration:install_marketplace_app">;
+      clientId: z.ZodUUID;
+      clientKey: z.ZodString;
+      clientName: z.ZodString;
+      clientNameSha256: z.ZodString;
+      agentId: z.ZodUUID;
+      agentName: z.ZodString;
+      scopes: z.ZodArray<z.ZodString>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      description: z.ZodOptional<z.ZodString>;
+      category: z.ZodOptional<z.ZodString>;
+      homepageUrl: z.ZodOptional<z.ZodString>;
+      agentManifestUrl: z.ZodOptional<z.ZodString>;
+      type: z.ZodLiteral<"integration:register_app">;
+      name: z.ZodString;
+      clientKey: z.ZodOptional<z.ZodString>;
+      returnUrl: z.ZodString;
+      scopes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+      unsafeDemoUrlOverride: z.ZodOptional<z.ZodBoolean>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      name: z.ZodOptional<z.ZodString>;
+      description: z.ZodOptional<z.ZodString>;
+      category: z.ZodOptional<z.ZodString>;
+      homepageUrl: z.ZodOptional<z.ZodString>;
+      returnUrl: z.ZodOptional<z.ZodString>;
+      agentManifestUrl: z.ZodOptional<z.ZodString>;
+      type: z.ZodLiteral<"integration:update_app_registration">;
+      clientKey: z.ZodString;
+      scopes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+      unsafeDemoUrlOverride: z.ZodOptional<z.ZodBoolean>;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+      type: z.ZodLiteral<"integration:recover_app_owner">;
+      clientKey: z.ZodString;
+      targetAgent: z.ZodString;
+      draftHint: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>], "type">;
+  }, z.core.$loose>;
+  readonly fieldDescriptions: {
+    readonly target: "Conversation to post the card in: `#channel`, `dm:@peer`, or a thread.";
+    readonly action: "The operation the card proposes: `type` picks it, and the other fields apply per type as described.";
+  };
+  readonly routes: readonly ["actionPrepare"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "manual.get";
+  readonly description: "Fetch a topic of the Raft Manual for Agents. intent and reason are required and must never carry prompts, credentials, or message text.";
+  readonly schema: z.ZodObject<{
+    intent: z.ZodString;
+    reason: z.ZodString;
+    topic: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["knowledgeGet"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "manual.search";
+  readonly description: "Search the Raft Manual for Agents by keywords; returns topic ids to fetch with manual.get.";
+  readonly schema: z.ZodObject<{
+    intent: z.ZodString;
+    reason: z.ZodString;
+    query: z.ZodString;
+    scope: z.ZodOptional<z.ZodString>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["knowledgeSearch"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "tasks.claim";
+  readonly description: "Claim tasks (by number, or a top-level message to claim as a task) before working on them. Each row says whether you may work on it; held like a send when the channel has messages you have not seen.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    taskNumbers: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    messageIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskClaim"];
+  readonly mayInterrupt: true;
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.list";
+  readonly description: "A channel's task board, or your own tasks across channels with mine: true.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodOptional<z.ZodString>;
+    mine: z.ZodOptional<z.ZodBoolean>;
+    status: z.ZodOptional<z.ZodEnum<{
+      todo: "todo";
+      in_progress: "in_progress";
+      in_review: "in_review";
+      done: "done";
+      closed: "closed";
+      all: "all";
+    }>>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskList"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["status"];
+  };
+}, {
+  readonly name: "tasks.create";
+  readonly description: "Create one or more tasks on a channel's board; each gets its own thread.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    tasks: z.ZodArray<z.ZodObject<{
+      title: z.ZodString;
+      createsResource: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>>;
+    assignee: z.ZodOptional<z.ZodString>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskCreate"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.unclaim";
+  readonly description: "Release your claim on a task so someone else can take it.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskUnclaim"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.assign";
+  readonly description: "Assign a task to someone (yourself, or anyone if you are an owner/admin). To clear the assignee use tasks.unassign.";
+  readonly schema: z.ZodObject<{
+    assignee: z.ZodString;
+    expectedRevision: z.ZodOptional<z.ZodNumber>;
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskAssign"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.unassign";
+  readonly description: "Clear a task's assignee.";
+  readonly schema: z.ZodObject<{
+    expectedRevision: z.ZodOptional<z.ZodNumber>;
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskAssign"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.updateStatus";
+  readonly description: "Move a task: todo → in_progress → in_review → done, or closed from anywhere. Held like a send when the channel has messages you have not seen.";
+  readonly schema: z.ZodObject<{
+    status: z.ZodEnum<{
+      todo: "todo";
+      in_progress: "in_progress";
+      in_review: "in_review";
+      done: "done";
+      closed: "closed";
+    }>;
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskUpdateStatus"];
+  readonly mayInterrupt: true;
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.amend";
+  readonly description: "Change a task's title or description. Held like a send when the channel has messages you have not seen.";
+  readonly schema: z.ZodObject<{
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskAmend"];
+  readonly mayInterrupt: true;
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.history";
+  readonly description: "A task's history: status changes, claims, and assignments.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskHistory"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "tasks.show";
+  readonly description: "One task's current status, title, and description. Finds done and closed tasks too.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskList"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "tasks.convert";
+  readonly description: "Turn a top-level message into an unassigned task.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    messageId: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskConvert"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "tasks.delete";
+  readonly description: "Delete a task.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    taskNumber: z.ZodNumber;
+  }, z.core.$strip>;
+  readonly routes: readonly ["taskDelete"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "channels.join";
+  readonly description: "Join a public channel. Joining is explicit; sending never joins.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo", "channelJoin"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "channels.leave";
+  readonly description: "Leave a channel; ordinary channel messages stop arriving.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo", "channelLeave"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "channels.mute";
+  readonly description: "Mute a channel's ordinary activity; @mentions, DMs, and followed threads still arrive.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo", "channelMute"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "channels.unmute";
+  readonly description: "Unmute a channel's ordinary activity.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo", "channelUnmute"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "channels.members";
+  readonly description: "Who is in a channel, DM, or thread.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["channelMembers"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "channels.info";
+  readonly description: "A regular channel's facts: visibility, whether you joined it, your role and mute state, description, and member counts.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo", "channelMembers"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "threads.list";
+  readonly description: "The threads you follow.";
+  readonly schema: z.ZodObject<{}, z.core.$strip>;
+  readonly routes: readonly ["threadList"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: [];
+  };
+}, {
+  readonly name: "threads.unfollow";
+  readonly description: "Stop following a thread; a direct @mention follows it again.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodString;
+    reason: z.ZodOptional<z.ZodString>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["threadUnfollow"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "server.info";
+  readonly description: "The server you are on: a summary by default, or one paged section (channels, agents, humans), or the full overview.";
+  readonly schema: z.ZodObject<{
+    view: z.ZodOptional<z.ZodEnum<{
+      channels: "channels";
+      agents: "agents";
+      humans: "humans";
+      summary: "summary";
+      full: "full";
+    }>>;
+    offset: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    joined: z.ZodOptional<z.ZodBoolean>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["view", "offset", "limit"];
+  };
+}, {
+  readonly name: "users.info";
+  readonly description: "A human's or agent's visible facts (kind, status, role, description) and which visible channels they are in. Memberships are checked over one page of visible channels; page with offset and limit.";
+  readonly schema: z.ZodObject<{
+    name: z.ZodString;
+    offset: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["serverInfo", "channelMembers"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    readonly mayBeLarge: true;
+    readonly boundBy: ["offset", "limit"];
+  };
+}, {
+  readonly name: "profile.show";
+  readonly description: "Show your profile, or someone else's by @handle.";
+  readonly schema: z.ZodObject<{
+    target: z.ZodOptional<z.ZodString>;
+  }, z.core.$strip>;
+  readonly routes: readonly ["profileShow"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}, {
+  readonly name: "profile.update";
+  readonly description: "Update your display name, description, or avatar URL.";
+  readonly schema: z.ZodObject<{
+    avatarUrl: z.ZodOptional<z.ZodString>;
+    displayName: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+  }, z.core.$loose>;
+  readonly fieldDescriptions: {
+    readonly displayName: "New display name.";
+    readonly description: "New profile description.";
+    readonly avatarUrl: "URL of the new avatar image.";
+  };
+  readonly routes: readonly ["profileUpdate"];
+  readonly consumes: {
+    model: never[];
+    code: never[];
+  };
+  readonly output: {
+    mayBeLarge: false;
+    boundBy: never[];
+  };
+}];
+/** The dotted name of every operation in the manifest (the `invoke` key). */
+type RaftOperationName = (typeof OPERATION_DEFS)[number]["name"];
+/** `tasks.updateStatus` → `tasks_update_status`. */
+export declare function raftToolNameFor(name: string): string;
+/** Every agent operation on `createRaft`, in a stable order. */
+export declare const RAFT_OPERATIONS: readonly RaftOperationSpec[];
+/** Content hash of `RAFT_OPERATIONS` (16 hex digits); changes whenever any field of any operation changes. */
+export declare const RAFT_OPERATIONS_VERSION: string;
+export declare const RAFT_OPERATIONS_SCHEMA: "raft-sdk-operations.v1";
+/** The document shipped as `@botiverse/raft-sdk/operations.json`. */
+interface RaftOperationsDocument {
+  schema: typeof RAFT_OPERATIONS_SCHEMA;
+  version: string;
+  operations: readonly RaftOperationSpec[];
+}
+//#endregion
 //#region src/raft.d.ts
 interface CreateRaftOptions {
   /** Raft Server origin, for example `https://api.raft.build`. */
@@ -9061,7 +10430,35 @@ interface RaftInboxCommitResult {
   /** Whether the state was persisted (true when no store is configured). */
   saved: boolean;
 }
+/** Who is calling `invoke`, as the gateway knows it. */
+interface RaftInvokeCaller {
+  /**
+   * `model` (default): a model tool call. `code`: a program the model wrote
+   * (for example a gateway's `run_js`), whose output the model may never see:
+   * model-only operations are refused with `MODEL_ONLY` before any request,
+   * and `messages.read` is forced to `consume: false` and records nothing.
+   */
+  origin?: "model" | "code";
+  /**
+   * The model context the call is made for. Reads book under it and a send
+   * attests only reads booked under it (see `SeenFrontier`). Absent: the
+   * frontier's current context (`raft.frontier.setContext`), by default none.
+   */
+  contextId?: string;
+}
+/** What `invoke` returns: any operation's outcome, or an interrupt (unchanged; `isInterrupted`). */
+type RaftInvokeResult = RaftOutcome<unknown, string> | RaftInterrupted;
 interface Raft {
+  /**
+   * Run an operation from the manifest (`RAFT_OPERATIONS`) by name: validates
+   * `args` with the operation's request schema and dispatches to the same
+   * implementation as the typed method. Never throws for a bad name or bad
+   * arguments: returns an `INVALID_REQUEST` failure (nothing is sent).
+   * Operations whose typed method does not return an outcome are folded into
+   * one: `identity.whoami` (state `identity`), `inbox.commit` (`committed` /
+   * `nothing`), `inbox.drain` (the whole drain: `batch` / `empty`).
+   */
+  invoke(name: RaftOperationName | (string & {}), args?: unknown, caller?: RaftInvokeCaller): Promise<RaftInvokeResult>;
   identity: {
     /** Who this credential is: agent, server, capabilities, and the operating guide for External Agents. */
     whoami(): Promise<RaftContextResult>;
@@ -9181,18 +10578,31 @@ interface Raft {
     list(request: ListTasksRequest): Promise<RaftOutcome<RaftTaskBoard, "board" | "empty">>;
     create(request: CreateTasksRequest): Promise<RaftOutcome<RaftTasksCreated, "created">>;
     unclaim(request: TaskRef): Promise<RaftOutcome<TaskRef, "unclaimed">>;
+    /** Assign a task. `assignee` is required; clear an assignment with `unassign`, never by omitting it. */
     assign(request: AssignTaskRequest): Promise<RaftOutcome<{
       target: string;
       taskNumber: number;
       assignee: string | null;
       revision: number;
     }, "assigned" | "unassigned">>;
+    /** Clear a task's assignee. */
+    unassign(request: UnassignTaskRequest): Promise<RaftOutcome<{
+      target: string;
+      taskNumber: number;
+      assignee: null;
+      revision: number;
+    }, "unassigned">>;
     /** todo → in_progress → in_review → done; `closed` from anywhere. A hold comes back as `state: "interrupted"` (resume = the same update). */
     updateStatus(request: UpdateTaskStatusRequest): Promise<UpdateTaskStatusOutcome>;
     amend(request: AmendTaskRequest): Promise<AmendTaskOutcome>;
     history(request: TaskRef): Promise<RaftOutcome<AgentApiTaskHistoryResponse & {
       target: string;
     }, "history">>;
+    /** One task's current title and description (`raft task show`). */
+    show(request: TaskRef): Promise<RaftOutcome<{
+      target: string;
+      task: AgentApiTaskEnvelope;
+    }, "task">>;
     /** Convert a top-level message into an unassigned task. */
     convert(request: {
       target: string;
@@ -9221,6 +10631,10 @@ interface Raft {
     members(request: {
       target: string;
     }): Promise<RaftOutcome<AgentApiChannelMembersResponse, "members">>;
+    /** A regular channel's facts: visibility, whether you joined, description, member counts (`raft channel info`). */
+    info(request: {
+      target: string;
+    }): Promise<RaftOutcome<RaftChannelInfo, "info">>;
   };
   threads: {
     list(): Promise<RaftOutcome<AgentApiThreadListItem[], "threads" | "empty">>;
@@ -9235,13 +10649,21 @@ interface Raft {
     /** Summary by default; `view: "channels" | "agents" | "humans"` pages a section; `view: "full"` is the whole overview. */
     info(request?: ServerInfoRequest): Promise<RaftOutcome<RaftServerInfo, "info">>;
   };
+  users: {
+    /** A human's or agent's visible facts and their memberships among one page of visible channels (`raft user info`). */
+    info(request: UserInfoRequest): Promise<RaftOutcome<RaftUserInfo, "info">>;
+  };
   profile: {
     show(request?: {
       target?: string;
     }): Promise<RaftOutcome<AgentApiProfileView, "profile">>;
     update(request: AgentApiProfileUpdateBody): Promise<RaftOutcome<AgentApiProfileView, "updated">>;
   };
-  /** What this process has shown its model, per target; export it to survive restarts. */
+  /**
+   * What this process has shown its model, per target; export it to survive
+   * restarts. `frontier.setContext(id)` scopes it to one model context (reads
+   * attest only sends in the context they were booked in).
+   */
   frontier: SeenFrontier;
   state: {
     /** Save now (for example after `frontier.recordHeld(interrupt)`). Best effort; returns whether it succeeded. */
@@ -9256,4 +10678,12 @@ interface Raft {
 }
 export declare function createRaft(options: CreateRaftOptions): Raft;
 //#endregion
-export type { AmendTaskOutcome, AmendTaskRequest, AssignTaskRequest, BootstrapRaftCredentialOptions, CheckInboxOutcome, CheckInboxRequest, ClaimTasksOutcome, ClaimTasksRequest, CreateRaftClientFromStoreOptions, CreateRaftClientOptions, CreateRaftOptions, CreateRaftRoutesOptions, CreateTasksRequest, DrainInboxRequest, ExecuteMentionActionRequest, ListInboxRequest, ListTasksRequest, ManualContext, PrepareActionCardRequest, Raft, RaftAckMode, RaftActionPrepareRequest, RaftActionPrepared, RaftApiError, RaftApiResult, RaftAppConfig, RaftAppConfigPatch, RaftAttachmentBytes, RaftAttachmentUploaded, RaftAvatarUpload, RaftChannelJoinClient, RaftChannelJoinClientResult, RaftChannelJoinError, RaftChannelJoinFailure, RaftChannelJoinOperation, RaftChannelJoinRequest, RaftChannelJoinResult, RaftChannelJoinSuccess, RaftChannelJoinTransportError, RaftChannelMuteState, RaftChannelRef, RaftClaimResult, RaftClaimRow, RaftClaimRowState, RaftClient, RaftClientError, RaftClientFailure, RaftClientResult, RaftClientSuccess, RaftClientThrottleOptions, RaftClientTransportRequest, RaftContextAgent, RaftContextData, RaftContextError, RaftContextResult, RaftContextServer, RaftCredentialErrorCode, RaftCredentialIdentity, RaftCredentialStore, RaftEvent, RaftEventAttachment, RaftEventExternalMessage, RaftEventsReceiveData, RaftEventsReceiveError, RaftEventsReceiveRequest, RaftEventsReceiveResult, RaftFailure, RaftHistoryPage, RaftInboxBatch, RaftInboxCommitResult, RaftInboxConversation, RaftInboxDrainSummary, RaftInboxListing, RaftInboxNotice, RaftInterrupt, RaftInterruptCancel, RaftInterruptReason, RaftInterruptResume, RaftInterrupted, RaftLatestReadThread, RaftManageClient, RaftMessage, RaftMessageAttachment, RaftMessageTask, RaftNextStep, RaftNoticeFlag, RaftNoticeTarget, RaftOpError, RaftOpErrorCode, RaftOutcome, RaftPendingMentions, RaftPreparedCard, RaftProfile, RaftProfileUpdate, RaftRouteAnnotations, RaftRouteInfo, RaftRouteKey, RaftRouteMeta, RaftRouteResult, RaftRouteRetryPolicy, RaftRoutes, RaftSdkConfigurationErrorCode, RaftSearchPage, RaftSenderType, RaftSent, RaftServerInfo, RaftServerProfile, RaftServerUpdate, RaftState, RaftStateContinuation, RaftStateSaveErrorHandler, RaftStateStore, RaftTaskBoard, RaftTaskStatus, RaftTasksCreated, RaftWebhookStatus, ReactRequest, ReadHistoryRequest, ReadLatestReadThreadOptions, SearchMessagesRequest, SeenAttestation, SeenFrontierSnapshot, SendMessageOutcome, SendMessageRequest, ServerInfoRequest, ServerInfoSection, StoredRaftCredential, TaskRef, UpdateTaskStatusOutcome, UpdateTaskStatusRequest, UploadAttachmentRequest, VerifyNoticeInput, VerifyNoticeRejection, VerifyNoticeResult };
+//#region src/operationSchemas.d.ts
+/** `identity.whoami` takes no arguments. */
+export declare const whoamiRequestSchema: z.ZodObject<{}, z.core.$strip>;
+/** `inbox.commit`: no cursor commits the pending batch; a cursor commits up to it. */
+export declare const commitInboxRequestSchema: z.ZodObject<{
+  cursor: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+}, z.core.$strip>;
+//#endregion
+export type { AmendTaskOutcome, AmendTaskRequest, AssignTaskRequest, BootstrapRaftCredentialOptions, CheckInboxOutcome, CheckInboxRequest, ClaimTasksOutcome, ClaimTasksRequest, ConvertMessageToTaskRequest, CreateRaftClientFromStoreOptions, CreateRaftClientOptions, CreateRaftOptions, CreateRaftRoutesOptions, CreateTasksRequest, DrainInboxRequest, ExecuteMentionActionRequest, ListInboxRequest, ListTasksRequest, ManualContext, PrepareActionCardRequest, Raft, RaftAckMode, RaftActionPrepareRequest, RaftActionPrepared, RaftApiError, RaftApiResult, RaftAppConfig, RaftAppConfigPatch, RaftAttachmentBytes, RaftAttachmentUploaded, RaftAvatarUpload, RaftChannelInfo, RaftChannelJoinClient, RaftChannelJoinClientResult, RaftChannelJoinError, RaftChannelJoinFailure, RaftChannelJoinOperation, RaftChannelJoinRequest, RaftChannelJoinResult, RaftChannelJoinSuccess, RaftChannelJoinTransportError, RaftChannelMuteState, RaftChannelRef, RaftClaimResult, RaftClaimRow, RaftClaimRowState, RaftClient, RaftClientError, RaftClientFailure, RaftClientResult, RaftClientSuccess, RaftClientThrottleOptions, RaftClientTransportRequest, RaftConsumption, RaftContextAgent, RaftContextData, RaftContextError, RaftContextResult, RaftContextServer, RaftCredentialErrorCode, RaftCredentialIdentity, RaftCredentialStore, RaftEvent, RaftEventAttachment, RaftEventExternalMessage, RaftEventsReceiveData, RaftEventsReceiveError, RaftEventsReceiveRequest, RaftEventsReceiveResult, RaftFailure, RaftHistoryPage, RaftInboxBatch, RaftInboxCommitResult, RaftInboxConversation, RaftInboxDrainSummary, RaftInboxDrained, RaftInboxListing, RaftInboxNotice, RaftInterrupt, RaftInterruptCancel, RaftInterruptReason, RaftInterruptResume, RaftInterrupted, RaftInvokeCaller, RaftInvokeResult, RaftJsonSchema, RaftJsonSchemaType, RaftLatestReadThread, RaftManageClient, RaftMessage, RaftMessageAttachment, RaftMessageTask, RaftNextStep, RaftNoticeFlag, RaftNoticeTarget, RaftOpError, RaftOpErrorCode, RaftOperationIdempotency, RaftOperationName, RaftOperationSpec, RaftOperationsDocument, RaftOutcome, RaftPendingMentions, RaftPreparedCard, RaftProfile, RaftProfileUpdate, RaftRouteAnnotations, RaftRouteInfo, RaftRouteKey, RaftRouteMeta, RaftRouteResult, RaftRouteRetryPolicy, RaftRoutes, RaftSdkConfigurationErrorCode, RaftSearchPage, RaftSenderType, RaftSent, RaftServerInfo, RaftServerProfile, RaftServerUpdate, RaftState, RaftStateContinuation, RaftStateSaveErrorHandler, RaftStateStore, RaftTaskBoard, RaftTaskStatus, RaftTasksCreated, RaftUserInfo, RaftUserRef, RaftWebhookStatus, ReactRequest, ReadHistoryRequest, ReadLatestReadThreadOptions, ReplyToRequest, SearchMessagesRequest, SeenAttestation, SeenFrontierSnapshot, SendMessageOutcome, SendMessageRequest, ServerInfoRequest, ServerInfoSection, StoredRaftCredential, TaskRef, UpdateTaskStatusOutcome, UpdateTaskStatusRequest, UploadAttachmentRequest, UserInfoRequest, VerifyNoticeInput, VerifyNoticeRejection, VerifyNoticeResult };