@mquan/portal 0.0.1

package/dist/src/network/protocol.d.ts

@@ -0,0 +1,1352 @@
+import { z } from "zod";
+export declare const PROTOCOL_VERSION: 1;
+export declare const PROTOCOL_LIMITS: Readonly<{
+    encodedMessageBytes: number;
+    idCharacters: 128;
+    agentNameCharacters: 64;
+    descriptionCharacters: 280;
+    discoveryQueryCharacters: 256;
+    objectiveCharacters: number;
+    contextCharacters: number;
+    expectedResultCharacters: number;
+    eventBodyCharacters: number;
+    errorCharacters: number;
+    artifactReferenceCharacters: number;
+    artifactReferences: 16;
+    capabilities: 16;
+    presenceResults: 100;
+    minimumHeartbeatSeconds: 5;
+    maximumHeartbeatSeconds: 60;
+    minimumLeaseSeconds: 15;
+    maximumLeaseSeconds: 120;
+    maximumTaskTtlMilliseconds: number;
+}>;
+export type ProtocolErrorCode = "protocol_mismatch" | "malformed_message" | "message_too_large" | "handshake_required" | "invalid_state" | "not_connected" | "route_not_found" | "route_not_owned" | "envelope_expired" | "envelope_conflict" | "internal_error";
+export declare class NetworkProtocolError extends Error {
+    readonly code: ProtocolErrorCode;
+    readonly details?: unknown;
+    constructor(code: ProtocolErrorCode, message: string, details?: unknown);
+}
+export declare const providerSchema: z.ZodEnum<{
+    claude: "claude";
+    codex: "codex";
+}>;
+export declare const capabilitySchema: z.ZodEnum<{
+    message: "message";
+    task: "task";
+}>;
+export declare const presenceStateSchema: z.ZodEnum<{
+    available: "available";
+    busy: "busy";
+}>;
+export declare const taskEventKindSchema: z.ZodEnum<{
+    accepted: "accepted";
+    answer: "answer";
+    completed: "completed";
+    declined: "declined";
+    failed: "failed";
+    offer: "offer";
+    progress: "progress";
+    question: "question";
+    running: "running";
+}>;
+export declare const taskStateSchema: z.ZodEnum<{
+    accepted: "accepted";
+    completed: "completed";
+    declined: "declined";
+    failed: "failed";
+    offered: "offered";
+    running: "running";
+}>;
+export declare const agentPresenceSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    agentName: z.ZodString;
+    provider: z.ZodEnum<{
+        claude: "claude";
+        codex: "codex";
+    }>;
+    description: z.ZodString;
+    capabilities: z.ZodArray<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    state: z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>;
+    routeId: z.ZodString;
+    expiresAt: z.ZodString;
+}, z.core.$strict>;
+export declare const clientHelloSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"client.hello">;
+    clientId: z.ZodString;
+    installationId: z.ZodString;
+    sentAt: z.ZodString;
+}, z.core.$strict>;
+export declare const serverHelloSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"server.hello">;
+    connectionId: z.ZodString;
+    heartbeatIntervalSeconds: z.ZodNumber;
+    sentAt: z.ZodString;
+}, z.core.$strict>;
+export declare const agentRegisterSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    sessionId: z.ZodString;
+    agentName: z.ZodString;
+    provider: z.ZodEnum<{
+        claude: "claude";
+        codex: "codex";
+    }>;
+    description: z.ZodString;
+    capabilities: z.ZodArray<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    state: z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>;
+    type: z.ZodLiteral<"agent.register">;
+    requestId: z.ZodString;
+    leaseSeconds: z.ZodNumber;
+}, z.core.$strict>;
+export declare const agentRegisteredSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.registered">;
+    requestId: z.ZodString;
+    agent: z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const agentRenewSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.renew">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+    state: z.ZodOptional<z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>>;
+    leaseSeconds: z.ZodNumber;
+}, z.core.$strict>;
+export declare const agentRenewedSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.renewed">;
+    requestId: z.ZodString;
+    agent: z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const agentUnregisterSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.unregister">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+}, z.core.$strict>;
+export declare const agentUnregisteredSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.unregistered">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+}, z.core.$strict>;
+export declare const agentDiscoverSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.discover">;
+    requestId: z.ZodString;
+    query: z.ZodOptional<z.ZodString>;
+    capability: z.ZodOptional<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    limit: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>;
+export declare const agentPresenceResultSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.presence">;
+    requestId: z.ZodString;
+    agents: z.ZodArray<z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const taskOfferEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"offer">;
+    state: z.ZodLiteral<"offered">;
+    objective: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+    expectedResult: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const taskAcceptedEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"accepted">;
+    state: z.ZodLiteral<"accepted">;
+    message: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const taskDeclinedEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"declined">;
+    state: z.ZodLiteral<"declined">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const taskRunningEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"running">;
+    state: z.ZodLiteral<"running">;
+    message: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const taskProgressEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"progress">;
+    state: z.ZodLiteral<"running">;
+    message: z.ZodString;
+}, z.core.$strict>;
+export declare const taskQuestionEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"question">;
+    state: z.ZodLiteral<"running">;
+    question: z.ZodString;
+}, z.core.$strict>;
+export declare const taskAnswerEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"answer">;
+    state: z.ZodLiteral<"running">;
+    answer: z.ZodString;
+}, z.core.$strict>;
+export declare const taskCompletedEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"completed">;
+    state: z.ZodLiteral<"completed">;
+    result: z.ZodString;
+    artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export declare const taskFailedEventSchema: z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"failed">;
+    state: z.ZodLiteral<"failed">;
+    error: z.ZodString;
+}, z.core.$strict>;
+export declare const taskEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"offer">;
+    state: z.ZodLiteral<"offered">;
+    objective: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+    expectedResult: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"accepted">;
+    state: z.ZodLiteral<"accepted">;
+    message: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"declined">;
+    state: z.ZodLiteral<"declined">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"running">;
+    state: z.ZodLiteral<"running">;
+    message: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"progress">;
+    state: z.ZodLiteral<"running">;
+    message: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"question">;
+    state: z.ZodLiteral<"running">;
+    question: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"answer">;
+    state: z.ZodLiteral<"running">;
+    answer: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"completed">;
+    state: z.ZodLiteral<"completed">;
+    result: z.ZodString;
+    artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>, z.ZodObject<{
+    eventId: z.ZodString;
+    taskId: z.ZodString;
+    createdAt: z.ZodString;
+    kind: z.ZodLiteral<"failed">;
+    state: z.ZodLiteral<"failed">;
+    error: z.ZodString;
+}, z.core.$strict>], "kind">;
+export declare const envelopeSchema: z.ZodObject<{
+    envelopeId: z.ZodString;
+    senderRouteId: z.ZodString;
+    targetRouteId: z.ZodString;
+    sentAt: z.ZodString;
+    expiresAt: z.ZodString;
+    event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"offer">;
+        state: z.ZodLiteral<"offered">;
+        objective: z.ZodString;
+        context: z.ZodOptional<z.ZodString>;
+        expectedResult: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"accepted">;
+        state: z.ZodLiteral<"accepted">;
+        message: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"declined">;
+        state: z.ZodLiteral<"declined">;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"running">;
+        state: z.ZodLiteral<"running">;
+        message: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"progress">;
+        state: z.ZodLiteral<"running">;
+        message: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"question">;
+        state: z.ZodLiteral<"running">;
+        question: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"answer">;
+        state: z.ZodLiteral<"running">;
+        answer: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"completed">;
+        state: z.ZodLiteral<"completed">;
+        result: z.ZodString;
+        artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>, z.ZodObject<{
+        eventId: z.ZodString;
+        taskId: z.ZodString;
+        createdAt: z.ZodString;
+        kind: z.ZodLiteral<"failed">;
+        state: z.ZodLiteral<"failed">;
+        error: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+export declare const envelopeSendSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.send">;
+    requestId: z.ZodString;
+    envelope: z.ZodObject<{
+        envelopeId: z.ZodString;
+        senderRouteId: z.ZodString;
+        targetRouteId: z.ZodString;
+        sentAt: z.ZodString;
+        expiresAt: z.ZodString;
+        event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"offer">;
+            state: z.ZodLiteral<"offered">;
+            objective: z.ZodString;
+            context: z.ZodOptional<z.ZodString>;
+            expectedResult: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"accepted">;
+            state: z.ZodLiteral<"accepted">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"declined">;
+            state: z.ZodLiteral<"declined">;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"running">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"progress">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"question">;
+            state: z.ZodLiteral<"running">;
+            question: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"answer">;
+            state: z.ZodLiteral<"running">;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"completed">;
+            state: z.ZodLiteral<"completed">;
+            result: z.ZodString;
+            artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"failed">;
+            state: z.ZodLiteral<"failed">;
+            error: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const envelopeDeliverySchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.delivery">;
+    envelope: z.ZodObject<{
+        envelopeId: z.ZodString;
+        senderRouteId: z.ZodString;
+        targetRouteId: z.ZodString;
+        sentAt: z.ZodString;
+        expiresAt: z.ZodString;
+        event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"offer">;
+            state: z.ZodLiteral<"offered">;
+            objective: z.ZodString;
+            context: z.ZodOptional<z.ZodString>;
+            expectedResult: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"accepted">;
+            state: z.ZodLiteral<"accepted">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"declined">;
+            state: z.ZodLiteral<"declined">;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"running">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"progress">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"question">;
+            state: z.ZodLiteral<"running">;
+            question: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"answer">;
+            state: z.ZodLiteral<"running">;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"completed">;
+            state: z.ZodLiteral<"completed">;
+            result: z.ZodString;
+            artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"failed">;
+            state: z.ZodLiteral<"failed">;
+            error: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const envelopeAcknowledgeSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledge">;
+    requestId: z.ZodString;
+    targetRouteId: z.ZodString;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+    status: z.ZodEnum<{
+        received: "received";
+        rejected: "rejected";
+    }>;
+    receivedAt: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const envelopeAcknowledgeAcceptedSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledge.accepted">;
+    requestId: z.ZodString;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+}, z.core.$strict>;
+export declare const envelopeAcknowledgedSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledged">;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+    status: z.ZodEnum<{
+        received: "received";
+        rejected: "rejected";
+    }>;
+    receivedAt: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const protocolErrorSchema: z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"protocol.error">;
+    requestId: z.ZodOptional<z.ZodString>;
+    code: z.ZodEnum<{
+        envelope_conflict: "envelope_conflict";
+        envelope_expired: "envelope_expired";
+        handshake_required: "handshake_required";
+        internal_error: "internal_error";
+        invalid_state: "invalid_state";
+        malformed_message: "malformed_message";
+        message_too_large: "message_too_large";
+        not_connected: "not_connected";
+        protocol_mismatch: "protocol_mismatch";
+        route_not_found: "route_not_found";
+        route_not_owned: "route_not_owned";
+    }>;
+    message: z.ZodString;
+    supportedVersion: z.ZodOptional<z.ZodLiteral<1>>;
+}, z.core.$strict>;
+export declare const clientMessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"client.hello">;
+    clientId: z.ZodString;
+    installationId: z.ZodString;
+    sentAt: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    sessionId: z.ZodString;
+    agentName: z.ZodString;
+    provider: z.ZodEnum<{
+        claude: "claude";
+        codex: "codex";
+    }>;
+    description: z.ZodString;
+    capabilities: z.ZodArray<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    state: z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>;
+    type: z.ZodLiteral<"agent.register">;
+    requestId: z.ZodString;
+    leaseSeconds: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.renew">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+    state: z.ZodOptional<z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>>;
+    leaseSeconds: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.unregister">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.discover">;
+    requestId: z.ZodString;
+    query: z.ZodOptional<z.ZodString>;
+    capability: z.ZodOptional<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    limit: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.send">;
+    requestId: z.ZodString;
+    envelope: z.ZodObject<{
+        envelopeId: z.ZodString;
+        senderRouteId: z.ZodString;
+        targetRouteId: z.ZodString;
+        sentAt: z.ZodString;
+        expiresAt: z.ZodString;
+        event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"offer">;
+            state: z.ZodLiteral<"offered">;
+            objective: z.ZodString;
+            context: z.ZodOptional<z.ZodString>;
+            expectedResult: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"accepted">;
+            state: z.ZodLiteral<"accepted">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"declined">;
+            state: z.ZodLiteral<"declined">;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"running">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"progress">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"question">;
+            state: z.ZodLiteral<"running">;
+            question: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"answer">;
+            state: z.ZodLiteral<"running">;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"completed">;
+            state: z.ZodLiteral<"completed">;
+            result: z.ZodString;
+            artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"failed">;
+            state: z.ZodLiteral<"failed">;
+            error: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledge">;
+    requestId: z.ZodString;
+    targetRouteId: z.ZodString;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+    status: z.ZodEnum<{
+        received: "received";
+        rejected: "rejected";
+    }>;
+    receivedAt: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>], "type">;
+export declare const serverMessageSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"server.hello">;
+    connectionId: z.ZodString;
+    heartbeatIntervalSeconds: z.ZodNumber;
+    sentAt: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.registered">;
+    requestId: z.ZodString;
+    agent: z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.renewed">;
+    requestId: z.ZodString;
+    agent: z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.unregistered">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.presence">;
+    requestId: z.ZodString;
+    agents: z.ZodArray<z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.delivery">;
+    envelope: z.ZodObject<{
+        envelopeId: z.ZodString;
+        senderRouteId: z.ZodString;
+        targetRouteId: z.ZodString;
+        sentAt: z.ZodString;
+        expiresAt: z.ZodString;
+        event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"offer">;
+            state: z.ZodLiteral<"offered">;
+            objective: z.ZodString;
+            context: z.ZodOptional<z.ZodString>;
+            expectedResult: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"accepted">;
+            state: z.ZodLiteral<"accepted">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"declined">;
+            state: z.ZodLiteral<"declined">;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"running">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"progress">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"question">;
+            state: z.ZodLiteral<"running">;
+            question: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"answer">;
+            state: z.ZodLiteral<"running">;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"completed">;
+            state: z.ZodLiteral<"completed">;
+            result: z.ZodString;
+            artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"failed">;
+            state: z.ZodLiteral<"failed">;
+            error: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledge.accepted">;
+    requestId: z.ZodString;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledged">;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+    status: z.ZodEnum<{
+        received: "received";
+        rejected: "rejected";
+    }>;
+    receivedAt: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"protocol.error">;
+    requestId: z.ZodOptional<z.ZodString>;
+    code: z.ZodEnum<{
+        envelope_conflict: "envelope_conflict";
+        envelope_expired: "envelope_expired";
+        handshake_required: "handshake_required";
+        internal_error: "internal_error";
+        invalid_state: "invalid_state";
+        malformed_message: "malformed_message";
+        message_too_large: "message_too_large";
+        not_connected: "not_connected";
+        protocol_mismatch: "protocol_mismatch";
+        route_not_found: "route_not_found";
+        route_not_owned: "route_not_owned";
+    }>;
+    message: z.ZodString;
+    supportedVersion: z.ZodOptional<z.ZodLiteral<1>>;
+}, z.core.$strict>], "type">;
+export declare const networkMessageSchema: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"client.hello">;
+    clientId: z.ZodString;
+    installationId: z.ZodString;
+    sentAt: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    sessionId: z.ZodString;
+    agentName: z.ZodString;
+    provider: z.ZodEnum<{
+        claude: "claude";
+        codex: "codex";
+    }>;
+    description: z.ZodString;
+    capabilities: z.ZodArray<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    state: z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>;
+    type: z.ZodLiteral<"agent.register">;
+    requestId: z.ZodString;
+    leaseSeconds: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.renew">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+    state: z.ZodOptional<z.ZodEnum<{
+        available: "available";
+        busy: "busy";
+    }>>;
+    leaseSeconds: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.unregister">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.discover">;
+    requestId: z.ZodString;
+    query: z.ZodOptional<z.ZodString>;
+    capability: z.ZodOptional<z.ZodEnum<{
+        message: "message";
+        task: "task";
+    }>>;
+    limit: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.send">;
+    requestId: z.ZodString;
+    envelope: z.ZodObject<{
+        envelopeId: z.ZodString;
+        senderRouteId: z.ZodString;
+        targetRouteId: z.ZodString;
+        sentAt: z.ZodString;
+        expiresAt: z.ZodString;
+        event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"offer">;
+            state: z.ZodLiteral<"offered">;
+            objective: z.ZodString;
+            context: z.ZodOptional<z.ZodString>;
+            expectedResult: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"accepted">;
+            state: z.ZodLiteral<"accepted">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"declined">;
+            state: z.ZodLiteral<"declined">;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"running">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"progress">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"question">;
+            state: z.ZodLiteral<"running">;
+            question: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"answer">;
+            state: z.ZodLiteral<"running">;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"completed">;
+            state: z.ZodLiteral<"completed">;
+            result: z.ZodString;
+            artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"failed">;
+            state: z.ZodLiteral<"failed">;
+            error: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledge">;
+    requestId: z.ZodString;
+    targetRouteId: z.ZodString;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+    status: z.ZodEnum<{
+        received: "received";
+        rejected: "rejected";
+    }>;
+    receivedAt: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"server.hello">;
+    connectionId: z.ZodString;
+    heartbeatIntervalSeconds: z.ZodNumber;
+    sentAt: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.registered">;
+    requestId: z.ZodString;
+    agent: z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.renewed">;
+    requestId: z.ZodString;
+    agent: z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.unregistered">;
+    requestId: z.ZodString;
+    routeId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"agent.presence">;
+    requestId: z.ZodString;
+    agents: z.ZodArray<z.ZodObject<{
+        sessionId: z.ZodString;
+        agentName: z.ZodString;
+        provider: z.ZodEnum<{
+            claude: "claude";
+            codex: "codex";
+        }>;
+        description: z.ZodString;
+        capabilities: z.ZodArray<z.ZodEnum<{
+            message: "message";
+            task: "task";
+        }>>;
+        state: z.ZodEnum<{
+            available: "available";
+            busy: "busy";
+        }>;
+        routeId: z.ZodString;
+        expiresAt: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.delivery">;
+    envelope: z.ZodObject<{
+        envelopeId: z.ZodString;
+        senderRouteId: z.ZodString;
+        targetRouteId: z.ZodString;
+        sentAt: z.ZodString;
+        expiresAt: z.ZodString;
+        event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"offer">;
+            state: z.ZodLiteral<"offered">;
+            objective: z.ZodString;
+            context: z.ZodOptional<z.ZodString>;
+            expectedResult: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"accepted">;
+            state: z.ZodLiteral<"accepted">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"declined">;
+            state: z.ZodLiteral<"declined">;
+            reason: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"running">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"progress">;
+            state: z.ZodLiteral<"running">;
+            message: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"question">;
+            state: z.ZodLiteral<"running">;
+            question: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"answer">;
+            state: z.ZodLiteral<"running">;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"completed">;
+            state: z.ZodLiteral<"completed">;
+            result: z.ZodString;
+            artifactReferences: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            eventId: z.ZodString;
+            taskId: z.ZodString;
+            createdAt: z.ZodString;
+            kind: z.ZodLiteral<"failed">;
+            state: z.ZodLiteral<"failed">;
+            error: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledge.accepted">;
+    requestId: z.ZodString;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"envelope.acknowledged">;
+    envelopeId: z.ZodString;
+    eventId: z.ZodString;
+    status: z.ZodEnum<{
+        received: "received";
+        rejected: "rejected";
+    }>;
+    receivedAt: z.ZodString;
+    error: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    protocolVersion: z.ZodLiteral<1>;
+    type: z.ZodLiteral<"protocol.error">;
+    requestId: z.ZodOptional<z.ZodString>;
+    code: z.ZodEnum<{
+        envelope_conflict: "envelope_conflict";
+        envelope_expired: "envelope_expired";
+        handshake_required: "handshake_required";
+        internal_error: "internal_error";
+        invalid_state: "invalid_state";
+        malformed_message: "malformed_message";
+        message_too_large: "message_too_large";
+        not_connected: "not_connected";
+        protocol_mismatch: "protocol_mismatch";
+        route_not_found: "route_not_found";
+        route_not_owned: "route_not_owned";
+    }>;
+    message: z.ZodString;
+    supportedVersion: z.ZodOptional<z.ZodLiteral<1>>;
+}, z.core.$strict>], "type">]>;
+export type AgentPresence = z.infer<typeof agentPresenceSchema>;
+export type ClientHello = z.infer<typeof clientHelloSchema>;
+export type ServerHello = z.infer<typeof serverHelloSchema>;
+export type AgentRegister = z.infer<typeof agentRegisterSchema>;
+export type AgentRegistered = z.infer<typeof agentRegisteredSchema>;
+export type AgentRenew = z.infer<typeof agentRenewSchema>;
+export type AgentRenewed = z.infer<typeof agentRenewedSchema>;
+export type AgentUnregister = z.infer<typeof agentUnregisterSchema>;
+export type AgentUnregistered = z.infer<typeof agentUnregisteredSchema>;
+export type AgentDiscover = z.infer<typeof agentDiscoverSchema>;
+export type AgentPresenceResult = z.infer<typeof agentPresenceResultSchema>;
+export type TaskEventKind = z.infer<typeof taskEventKindSchema>;
+export type TaskState = z.infer<typeof taskStateSchema>;
+export type TaskEvent = z.infer<typeof taskEventSchema>;
+export type Envelope = z.infer<typeof envelopeSchema>;
+export type EnvelopeSend = z.infer<typeof envelopeSendSchema>;
+export type EnvelopeDelivery = z.infer<typeof envelopeDeliverySchema>;
+export type EnvelopeAcknowledge = z.infer<typeof envelopeAcknowledgeSchema>;
+export type EnvelopeAcknowledgeAccepted = z.infer<typeof envelopeAcknowledgeAcceptedSchema>;
+export type EnvelopeAcknowledged = z.infer<typeof envelopeAcknowledgedSchema>;
+export type ProtocolError = z.infer<typeof protocolErrorSchema>;
+export type ClientMessage = z.infer<typeof clientMessageSchema>;
+export type ServerMessage = z.infer<typeof serverMessageSchema>;
+export type NetworkMessage = z.infer<typeof networkMessageSchema>;
+/** M0 compatibility rule: peers communicate only when protocol versions are exactly equal. */
+export declare function isProtocolVersionCompatible(peerVersion: number): peerVersion is typeof PROTOCOL_VERSION;
+/** Parse a decoded object or a UTF-8 JSON WebSocket frame with uniform wire errors. */
+export declare function parseNetworkMessage(input: string | unknown): NetworkMessage;
+export interface NetworkTransport {
+    send(message: ClientMessage): Promise<void>;
+    onMessage(handler: (message: ServerMessage) => void | Promise<void>): () => void;
+    close(): Promise<void>;
+}