@joe-broadhead/messaging 0.0.0-stage → 0.7.0

package/dist/types/core/schema/envelope.d.ts

@@ -0,0 +1,750 @@
+/**
+ * The Messaging envelope: the end-to-end unit between machines. The sender signs it;
+ * every body except presence is sealed to the recipient machine's X25519 key.
+ * The relay can read the header (routing) but not the body.
+ */
+import { z } from "zod";
+export declare const EnvelopeType: z.ZodEnum<{
+    message: "message";
+    "task.cancel": "task.cancel";
+    receipt: "receipt";
+    presence: "presence";
+    "task.status": "task.status";
+    "task.artifact": "task.artifact";
+}>;
+export type EnvelopeType = z.infer<typeof EnvelopeType>;
+export declare const SEAL_ALG: "x25519-hkdf-sha256-a256gcm";
+/**
+ * What the envelope is to its recipient's person (spec §5, "Class"), in the header so the signature and the AAD
+ * cover it: `self` between two devices of one person (`from.person` = `to.person`), `contact` between two persons,
+ * and `request` for a message request (spec §6.9, "Message requests"): a person's first line to a person of another
+ * org, which a directory relay paces by this header alone. Every sealed envelope carries it; presence does not.
+ */
+export declare const EnvelopeClass: z.ZodEnum<{
+    self: "self";
+    request: "request";
+    contact: "contact";
+}>;
+export type EnvelopeClass = z.infer<typeof EnvelopeClass>;
+/**
+ * One end of an envelope (spec §5, "Ends"): a person, one of their devices, and optionally an agent (a session) on
+ * that device. With no `agent`, the end is the person (or, for receipts and task control, the device acting for them).
+ */
+export declare const Party: z.ZodObject<{
+    person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    device: z.ZodString;
+    agent: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type Party = z.infer<typeof Party>;
+/** Sender: the signing device, its person, and the agent that wrote the envelope, if an agent did. */
+export declare const Sender: z.ZodObject<{
+    person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    device: z.ZodString;
+    agent: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type Sender = Party;
+/** Recipient: one device of a person, and optionally an agent on it; presence alone goes to the whole team. */
+export declare const Recipient: z.ZodUnion<readonly [z.ZodObject<{
+    person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    device: z.ZodString;
+    agent: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    team: z.ZodLiteral<true>;
+}, z.core.$strip>]>;
+export type Recipient = z.infer<typeof Recipient>;
+/**
+ * Wire form. `sig` = Ed25519(from.device, DOMAIN.envelope + JCS(envelope without `sig`)).
+ * Sealed: enc = SEAL_ALG, epk + nonce present, body = base64url(ciphertext||tag),
+ *   AAD = UTF-8(JCS(header)), header = envelope without body and sig.
+ * Plain (presence only): enc = "none", body = payload object, no epk/nonce.
+ * `realm` is the sender's realm, and `anchor` its view of the realm when it sealed the envelope (spec §5,
+ * "Realm and anchor"): the signature covers both, and so does the AAD of a sealed envelope.
+ */
+export declare const Envelope: z.ZodObject<{
+    v: z.ZodLiteral<"messaging/1">;
+    id: z.ZodString;
+    realm: z.ZodString;
+    type: z.ZodEnum<{
+        message: "message";
+        "task.cancel": "task.cancel";
+        receipt: "receipt";
+        presence: "presence";
+        "task.status": "task.status";
+        "task.artifact": "task.artifact";
+    }>;
+    from: z.ZodObject<{
+        person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        device: z.ZodString;
+        agent: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    to: z.ZodUnion<readonly [z.ZodObject<{
+        person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        device: z.ZodString;
+        agent: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        team: z.ZodLiteral<true>;
+    }, z.core.$strip>]>;
+    ts: z.ZodNumber;
+    exp: z.ZodNumber;
+    anchor: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"roster">;
+        seq: z.ZodNumber;
+        hash: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"epoch">;
+        size: z.ZodNumber;
+        root: z.ZodString;
+    }, z.core.$strip>], "kind">;
+    class: z.ZodOptional<z.ZodEnum<{
+        self: "self";
+        request: "request";
+        contact: "contact";
+    }>>;
+    replyTo: z.ZodOptional<z.ZodString>;
+    enc: z.ZodEnum<{
+        none: "none";
+        "x25519-hkdf-sha256-a256gcm": "x25519-hkdf-sha256-a256gcm";
+    }>;
+    epk: z.ZodOptional<z.ZodString>;
+    nonce: z.ZodOptional<z.ZodString>;
+    body: z.ZodUnknown;
+    sig: z.ZodString;
+}, z.core.$strip>;
+export type Envelope = z.infer<typeof Envelope>;
+/**
+ * A channel change or post (spec §6.8), on a `kind: "message"` envelope sealed to a device with no recipient agent.
+ * `create`: the full channel record with the person who created it, to every member device and to each later
+ * invitee. `invite`: persons added, to the existing members. `leave`: the sender left. `remove`: persons removed by
+ * the creator or an admin, to every member device. `post`: a line in the channel. `name` is always the channel's own
+ * name. A DM line has no `conv` (spec §5, "Meaning").
+ */
+export declare const ChannelConv: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"create">;
+    id: z.ZodString;
+    name: z.ZodString;
+    persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+    creator: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"invite">;
+    id: z.ZodString;
+    name: z.ZodString;
+    persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"leave">;
+    id: z.ZodString;
+    name: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"remove">;
+    id: z.ZodString;
+    name: z.ZodString;
+    persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"post">;
+    id: z.ZodString;
+    name: z.ZodString;
+}, z.core.$strip>], "op">;
+export type ChannelConv = z.infer<typeof ChannelConv>;
+/**
+ * Sync between two devices of one person (spec §6.9, "Sync"): `grant` carries grants the person set or re-signed,
+ * `snapshot` every current grant, for a device of the person that is new to the sender. The message carries exactly
+ * one data part, a `GrantSync`.
+ */
+export declare const SelfConv: z.ZodObject<{
+    kind: z.ZodLiteral<"self">;
+    what: z.ZodEnum<{
+        grant: "grant";
+        snapshot: "snapshot";
+    }>;
+}, z.core.$strip>;
+export type SelfConv = z.infer<typeof SelfConv>;
+/**
+ * A message request (spec §6.9, "Message requests"), on an envelope of class `request` from a person to a person:
+ * its message carries exactly one text part of at most `LIMITS.requestChars`.
+ */
+export declare const RequestConv: z.ZodObject<{
+    kind: z.ZodLiteral<"request">;
+}, z.core.$strip>;
+export type RequestConv = z.infer<typeof RequestConv>;
+/**
+ * A contact card between two persons (spec §6.9, "Contact cards"): `card` carries one data part `{card}`, the signed
+ * card; `get` asks for the receiver's card and carries one data part `{get: true}`.
+ */
+export declare const CardConv: z.ZodObject<{
+    kind: z.ZodLiteral<"card">;
+    what: z.ZodEnum<{
+        card: "card";
+        get: "get";
+    }>;
+}, z.core.$strip>;
+export type CardConv = z.infer<typeof CardConv>;
+/** The conversation a `message` belongs to when its ends alone do not say (spec §5, "Meaning"). */
+export declare const Conv: z.ZodDiscriminatedUnion<[z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"create">;
+    id: z.ZodString;
+    name: z.ZodString;
+    persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+    creator: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"invite">;
+    id: z.ZodString;
+    name: z.ZodString;
+    persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"leave">;
+    id: z.ZodString;
+    name: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"remove">;
+    id: z.ZodString;
+    name: z.ZodString;
+    persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"channel">;
+    op: z.ZodLiteral<"post">;
+    id: z.ZodString;
+    name: z.ZodString;
+}, z.core.$strip>], "op">, z.ZodObject<{
+    kind: z.ZodLiteral<"self">;
+    what: z.ZodEnum<{
+        grant: "grant";
+        snapshot: "snapshot";
+    }>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"request">;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"card">;
+    what: z.ZodEnum<{
+        card: "card";
+        get: "get";
+    }>;
+}, z.core.$strip>], "kind">;
+export type Conv = z.infer<typeof Conv>;
+/**
+ * type "message". `kind: "task"` asks the recipient to run `message` as a new A2A task;
+ * the sender assigns `message.taskId` (a ULID) and `message.contextId`.
+ * Replies to a task are task.status/task.artifact envelopes, not messages.
+ */
+export declare const MessagePayload: z.ZodObject<{
+    kind: z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>;
+    message: z.ZodObject<{
+        messageId: z.ZodString;
+        contextId: z.ZodOptional<z.ZodString>;
+        taskId: z.ZodOptional<z.ZodString>;
+        role: z.ZodEnum<{
+            ROLE_USER: "ROLE_USER";
+            ROLE_AGENT: "ROLE_AGENT";
+        }>;
+        parts: z.ZodArray<z.ZodObject<{
+            text: z.ZodOptional<z.ZodString>;
+            raw: z.ZodOptional<z.ZodString>;
+            url: z.ZodOptional<z.ZodString>;
+            data: z.ZodOptional<z.ZodUnknown>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            filename: z.ZodOptional<z.ZodString>;
+            mediaType: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        referenceTaskIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    wake: z.ZodOptional<z.ZodBoolean>;
+    delegation: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        realm: z.ZodString;
+        task: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        by: z.ZodString;
+        ts: z.ZodNumber;
+        exp: z.ZodNumber;
+        maxDepth: z.ZodNumber;
+        scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        parent: z.ZodOptional<z.ZodString>;
+        sig: z.ZodString;
+    }, z.core.$loose>>>;
+    conv: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"channel">;
+        op: z.ZodLiteral<"create">;
+        id: z.ZodString;
+        name: z.ZodString;
+        persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+        creator: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"channel">;
+        op: z.ZodLiteral<"invite">;
+        id: z.ZodString;
+        name: z.ZodString;
+        persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"channel">;
+        op: z.ZodLiteral<"leave">;
+        id: z.ZodString;
+        name: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"channel">;
+        op: z.ZodLiteral<"remove">;
+        id: z.ZodString;
+        name: z.ZodString;
+        persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"channel">;
+        op: z.ZodLiteral<"post">;
+        id: z.ZodString;
+        name: z.ZodString;
+    }, z.core.$strip>], "op">, z.ZodObject<{
+        kind: z.ZodLiteral<"self">;
+        what: z.ZodEnum<{
+            grant: "grant";
+            snapshot: "snapshot";
+        }>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"request">;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"card">;
+        what: z.ZodEnum<{
+            card: "card";
+            get: "get";
+        }>;
+    }, z.core.$strip>], "kind">>;
+}, z.core.$strip>;
+export type MessagePayload = z.infer<typeof MessagePayload>;
+/** type "task.status": executor → requester. */
+export declare const TaskStatusPayload: z.ZodObject<{
+    taskId: z.ZodString;
+    contextId: z.ZodString;
+    status: z.ZodObject<{
+        state: z.ZodEnum<{
+            TASK_STATE_SUBMITTED: "TASK_STATE_SUBMITTED";
+            TASK_STATE_WORKING: "TASK_STATE_WORKING";
+            TASK_STATE_COMPLETED: "TASK_STATE_COMPLETED";
+            TASK_STATE_FAILED: "TASK_STATE_FAILED";
+            TASK_STATE_CANCELED: "TASK_STATE_CANCELED";
+            TASK_STATE_INPUT_REQUIRED: "TASK_STATE_INPUT_REQUIRED";
+            TASK_STATE_REJECTED: "TASK_STATE_REJECTED";
+            TASK_STATE_AUTH_REQUIRED: "TASK_STATE_AUTH_REQUIRED";
+        }>;
+        message: z.ZodOptional<z.ZodObject<{
+            messageId: z.ZodString;
+            contextId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            role: z.ZodEnum<{
+                ROLE_USER: "ROLE_USER";
+                ROLE_AGENT: "ROLE_AGENT";
+            }>;
+            parts: z.ZodArray<z.ZodObject<{
+                text: z.ZodOptional<z.ZodString>;
+                raw: z.ZodOptional<z.ZodString>;
+                url: z.ZodOptional<z.ZodString>;
+                data: z.ZodOptional<z.ZodUnknown>;
+                metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                filename: z.ZodOptional<z.ZodString>;
+                mediaType: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            referenceTaskIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        timestamp: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>;
+export type TaskStatusPayload = z.infer<typeof TaskStatusPayload>;
+/** type "task.artifact": executor → requester. */
+export declare const TaskArtifactPayload: z.ZodObject<{
+    taskId: z.ZodString;
+    contextId: z.ZodString;
+    artifact: z.ZodObject<{
+        artifactId: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        parts: z.ZodArray<z.ZodObject<{
+            text: z.ZodOptional<z.ZodString>;
+            raw: z.ZodOptional<z.ZodString>;
+            url: z.ZodOptional<z.ZodString>;
+            data: z.ZodOptional<z.ZodUnknown>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            filename: z.ZodOptional<z.ZodString>;
+            mediaType: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    append: z.ZodOptional<z.ZodBoolean>;
+    lastChunk: z.ZodOptional<z.ZodBoolean>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>;
+export type TaskArtifactPayload = z.infer<typeof TaskArtifactPayload>;
+/** type "task.cancel": requester → executor. The executor daemon moves the task to CANCELED if not terminal. */
+export declare const TaskCancelPayload: z.ZodObject<{
+    taskId: z.ZodString;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type TaskCancelPayload = z.infer<typeof TaskCancelPayload>;
+/** type "receipt": recipient → sender, signed proof of a delivery stage for envelope `ref`. */
+export declare const ReceiptPayload: z.ZodObject<{
+    ref: z.ZodString;
+    stage: z.ZodEnum<{
+        delivered: "delivered";
+        held: "held";
+        handed_to_agent: "handed_to_agent";
+        read: "read";
+        rejected: "rejected";
+    }>;
+    code: z.ZodOptional<z.ZodEnum<{
+        expired: "expired";
+        invalid_request: "invalid_request";
+        not_member: "not_member";
+        bad_signature: "bad_signature";
+        unknown_session: "unknown_session";
+        ambiguous_address: "ambiguous_address";
+        no_recipients: "no_recipients";
+        unknown_address: "unknown_address";
+        refused: "refused";
+        declined: "declined";
+        request_required: "request_required";
+        rate_limited: "rate_limited";
+        loop_guard: "loop_guard";
+        too_large: "too_large";
+        secret_refused: "secret_refused";
+        duplicate: "duplicate";
+        relay_unavailable: "relay_unavailable";
+        not_found: "not_found";
+        invalid_state: "invalid_state";
+        forbidden: "forbidden";
+        guarded_turn: "guarded_turn";
+        roster_conflict: "roster_conflict";
+        invite_invalid: "invite_invalid";
+        no_identity: "no_identity";
+        binding_invalid: "binding_invalid";
+        jelly_unavailable: "jelly_unavailable";
+        log_conflict: "log_conflict";
+        device_limit: "device_limit";
+        admission_required: "admission_required";
+        admission_invalid: "admission_invalid";
+        directory_inconsistent: "directory_inconsistent";
+        unknown_device: "unknown_device";
+        directory_unavailable: "directory_unavailable";
+        login_unsupported: "login_unsupported";
+        login_denied: "login_denied";
+        grant_required: "grant_required";
+        grant_invalid: "grant_invalid";
+        ticket_required: "ticket_required";
+        ticket_invalid: "ticket_invalid";
+        daemon_unavailable: "daemon_unavailable";
+        daemon_mismatch: "daemon_mismatch";
+        internal: "internal";
+    }>>;
+    note: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ReceiptPayload = z.infer<typeof ReceiptPayload>;
+export declare const SessionInfo: z.ZodObject<{
+    session: z.ZodString;
+    agent: z.ZodString;
+    repo: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    state: z.ZodEnum<{
+        idle: "idle";
+        busy: "busy";
+    }>;
+    doing: z.ZodOptional<z.ZodString>;
+    tier: z.ZodEnum<{
+        push: "push";
+        pull: "pull";
+    }>;
+    since: z.ZodNumber;
+    kept: z.ZodOptional<z.ZodLiteral<true>>;
+    wake: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strip>;
+export type SessionInfo = z.infer<typeof SessionInfo>;
+/** type "presence": plain (not sealed), to {team:true}. Latest `seq` per machine wins. */
+export declare const PresencePayload: z.ZodObject<{
+    seq: z.ZodNumber;
+    label: z.ZodString;
+    sessions: z.ZodArray<z.ZodObject<{
+        session: z.ZodString;
+        agent: z.ZodString;
+        repo: z.ZodOptional<z.ZodString>;
+        branch: z.ZodOptional<z.ZodString>;
+        state: z.ZodEnum<{
+            idle: "idle";
+            busy: "busy";
+        }>;
+        doing: z.ZodOptional<z.ZodString>;
+        tier: z.ZodEnum<{
+            push: "push";
+            pull: "pull";
+        }>;
+        since: z.ZodNumber;
+        kept: z.ZodOptional<z.ZodLiteral<true>>;
+        wake: z.ZodOptional<z.ZodLiteral<true>>;
+    }, z.core.$strip>>;
+    features: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    away: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strip>;
+export type PresencePayload = z.infer<typeof PresencePayload>;
+export declare const PAYLOAD_BY_TYPE: {
+    readonly message: z.ZodObject<{
+        kind: z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>;
+        message: z.ZodObject<{
+            messageId: z.ZodString;
+            contextId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            role: z.ZodEnum<{
+                ROLE_USER: "ROLE_USER";
+                ROLE_AGENT: "ROLE_AGENT";
+            }>;
+            parts: z.ZodArray<z.ZodObject<{
+                text: z.ZodOptional<z.ZodString>;
+                raw: z.ZodOptional<z.ZodString>;
+                url: z.ZodOptional<z.ZodString>;
+                data: z.ZodOptional<z.ZodUnknown>;
+                metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                filename: z.ZodOptional<z.ZodString>;
+                mediaType: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            referenceTaskIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+        wake: z.ZodOptional<z.ZodBoolean>;
+        delegation: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            realm: z.ZodString;
+            task: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            by: z.ZodString;
+            ts: z.ZodNumber;
+            exp: z.ZodNumber;
+            maxDepth: z.ZodNumber;
+            scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            parent: z.ZodOptional<z.ZodString>;
+            sig: z.ZodString;
+        }, z.core.$loose>>>;
+        conv: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"channel">;
+            op: z.ZodLiteral<"create">;
+            id: z.ZodString;
+            name: z.ZodString;
+            persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+            creator: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"channel">;
+            op: z.ZodLiteral<"invite">;
+            id: z.ZodString;
+            name: z.ZodString;
+            persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"channel">;
+            op: z.ZodLiteral<"leave">;
+            id: z.ZodString;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"channel">;
+            op: z.ZodLiteral<"remove">;
+            id: z.ZodString;
+            name: z.ZodString;
+            persons: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"channel">;
+            op: z.ZodLiteral<"post">;
+            id: z.ZodString;
+            name: z.ZodString;
+        }, z.core.$strip>], "op">, z.ZodObject<{
+            kind: z.ZodLiteral<"self">;
+            what: z.ZodEnum<{
+                grant: "grant";
+                snapshot: "snapshot";
+            }>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"request">;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"card">;
+            what: z.ZodEnum<{
+                card: "card";
+                get: "get";
+            }>;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>;
+    readonly "task.status": z.ZodObject<{
+        taskId: z.ZodString;
+        contextId: z.ZodString;
+        status: z.ZodObject<{
+            state: z.ZodEnum<{
+                TASK_STATE_SUBMITTED: "TASK_STATE_SUBMITTED";
+                TASK_STATE_WORKING: "TASK_STATE_WORKING";
+                TASK_STATE_COMPLETED: "TASK_STATE_COMPLETED";
+                TASK_STATE_FAILED: "TASK_STATE_FAILED";
+                TASK_STATE_CANCELED: "TASK_STATE_CANCELED";
+                TASK_STATE_INPUT_REQUIRED: "TASK_STATE_INPUT_REQUIRED";
+                TASK_STATE_REJECTED: "TASK_STATE_REJECTED";
+                TASK_STATE_AUTH_REQUIRED: "TASK_STATE_AUTH_REQUIRED";
+            }>;
+            message: z.ZodOptional<z.ZodObject<{
+                messageId: z.ZodString;
+                contextId: z.ZodOptional<z.ZodString>;
+                taskId: z.ZodOptional<z.ZodString>;
+                role: z.ZodEnum<{
+                    ROLE_USER: "ROLE_USER";
+                    ROLE_AGENT: "ROLE_AGENT";
+                }>;
+                parts: z.ZodArray<z.ZodObject<{
+                    text: z.ZodOptional<z.ZodString>;
+                    raw: z.ZodOptional<z.ZodString>;
+                    url: z.ZodOptional<z.ZodString>;
+                    data: z.ZodOptional<z.ZodUnknown>;
+                    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                    filename: z.ZodOptional<z.ZodString>;
+                    mediaType: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                referenceTaskIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
+            timestamp: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>;
+    readonly "task.artifact": z.ZodObject<{
+        taskId: z.ZodString;
+        contextId: z.ZodString;
+        artifact: z.ZodObject<{
+            artifactId: z.ZodString;
+            name: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            parts: z.ZodArray<z.ZodObject<{
+                text: z.ZodOptional<z.ZodString>;
+                raw: z.ZodOptional<z.ZodString>;
+                url: z.ZodOptional<z.ZodString>;
+                data: z.ZodOptional<z.ZodUnknown>;
+                metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                filename: z.ZodOptional<z.ZodString>;
+                mediaType: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+        append: z.ZodOptional<z.ZodBoolean>;
+        lastChunk: z.ZodOptional<z.ZodBoolean>;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>;
+    readonly "task.cancel": z.ZodObject<{
+        taskId: z.ZodString;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    readonly receipt: z.ZodObject<{
+        ref: z.ZodString;
+        stage: z.ZodEnum<{
+            delivered: "delivered";
+            held: "held";
+            handed_to_agent: "handed_to_agent";
+            read: "read";
+            rejected: "rejected";
+        }>;
+        code: z.ZodOptional<z.ZodEnum<{
+            expired: "expired";
+            invalid_request: "invalid_request";
+            not_member: "not_member";
+            bad_signature: "bad_signature";
+            unknown_session: "unknown_session";
+            ambiguous_address: "ambiguous_address";
+            no_recipients: "no_recipients";
+            unknown_address: "unknown_address";
+            refused: "refused";
+            declined: "declined";
+            request_required: "request_required";
+            rate_limited: "rate_limited";
+            loop_guard: "loop_guard";
+            too_large: "too_large";
+            secret_refused: "secret_refused";
+            duplicate: "duplicate";
+            relay_unavailable: "relay_unavailable";
+            not_found: "not_found";
+            invalid_state: "invalid_state";
+            forbidden: "forbidden";
+            guarded_turn: "guarded_turn";
+            roster_conflict: "roster_conflict";
+            invite_invalid: "invite_invalid";
+            no_identity: "no_identity";
+            binding_invalid: "binding_invalid";
+            jelly_unavailable: "jelly_unavailable";
+            log_conflict: "log_conflict";
+            device_limit: "device_limit";
+            admission_required: "admission_required";
+            admission_invalid: "admission_invalid";
+            directory_inconsistent: "directory_inconsistent";
+            unknown_device: "unknown_device";
+            directory_unavailable: "directory_unavailable";
+            login_unsupported: "login_unsupported";
+            login_denied: "login_denied";
+            grant_required: "grant_required";
+            grant_invalid: "grant_invalid";
+            ticket_required: "ticket_required";
+            ticket_invalid: "ticket_invalid";
+            daemon_unavailable: "daemon_unavailable";
+            daemon_mismatch: "daemon_mismatch";
+            internal: "internal";
+        }>>;
+        note: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    readonly presence: z.ZodObject<{
+        seq: z.ZodNumber;
+        label: z.ZodString;
+        sessions: z.ZodArray<z.ZodObject<{
+            session: z.ZodString;
+            agent: z.ZodString;
+            repo: z.ZodOptional<z.ZodString>;
+            branch: z.ZodOptional<z.ZodString>;
+            state: z.ZodEnum<{
+                idle: "idle";
+                busy: "busy";
+            }>;
+            doing: z.ZodOptional<z.ZodString>;
+            tier: z.ZodEnum<{
+                push: "push";
+                pull: "pull";
+            }>;
+            since: z.ZodNumber;
+            kept: z.ZodOptional<z.ZodLiteral<true>>;
+            wake: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strip>>;
+        features: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        away: z.ZodOptional<z.ZodLiteral<true>>;
+    }, z.core.$strip>;
+};
+export type PayloadByType = {
+    message: MessagePayload;
+    "task.status": TaskStatusPayload;
+    "task.artifact": TaskArtifactPayload;
+    "task.cancel": TaskCancelPayload;
+    receipt: ReceiptPayload;
+    presence: PresencePayload;
+};
+/**
+ * Provenance the receiving daemon attaches at `Message.metadata[URI.provenance]` before
+ * handing a message to any client. Clients show it; peers can never set it (the daemon overwrites it).
+ */
+export declare const Provenance: z.ZodObject<{
+    envelopeId: z.ZodString;
+    from: z.ZodString;
+    person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    agent: z.ZodOptional<z.ZodString>;
+    device: z.ZodString;
+    label: z.ZodString;
+    verified: z.ZodLiteral<"signature">;
+    receivedAt: z.ZodNumber;
+}, z.core.$strip>;
+export type Provenance = z.infer<typeof Provenance>;