@adastracomputing/ink 0.1.0-alpha.3 → 0.1.0-alpha.5

package/dist/models/ink-handshake.js

@@ -0,0 +1,89 @@
+import { z } from "zod";
+// ── Transport identifiers (INK Containment §7) ──
+export const InkTransportSchema = z.enum([
+    "ink_http",
+    "ink_ws",
+    "extension_api",
+    "voice",
+    "line_phone",
+    "human_review_queue",
+]);
+// ── Backoff hints (INK Containment §5.2) ──
+export const InkBackoffHintSchema = z.object({
+    retryAfterSeconds: z.number().int().positive().optional(),
+    cooldownUntil: z.string().datetime().optional(),
+    backoffClass: z.enum(["sender", "intent_ref", "counterparty"]).optional(),
+});
+// ── Agent Card visibility (INK Containment §6) ──
+export const AgentCardVisibilitySchema = z.enum([
+    "public",
+    "network_only",
+    "capability_gated",
+    "private",
+]);
+// ── Challenge (network.tulpa.challenge) — Stage 2a ──
+export const ChallengeTypeSchema = z.enum([
+    "mutual_connection_proof",
+    "identity_verification",
+    "availability_query",
+    "context_request",
+    "none",
+]);
+export const InkChallengeSchema = z.object({
+    protocol: z.literal("ink/0.1"),
+    type: z.literal("network.tulpa.challenge"),
+    intentRef: z.string(),
+    challengeType: ChallengeTypeSchema,
+    fields: z.array(z.string()).optional(),
+    availableWindows: z.array(z.string()).optional(),
+    contextFields: z.array(z.string()).optional(),
+    nonce: z.string(),
+    timestamp: z.string().datetime(),
+});
+// ── Rejection (network.tulpa.rejection) — Stage 2b ──
+export const RejectionReasonSchema = z.enum([
+    "policy_violation",
+    "trust_threshold",
+    "capacity",
+    "unsupported_intent",
+    "rate_limited",
+    "expired",
+    // Containment extension (Phase 1)
+    "handshake_budget_exhausted",
+    "counterparty_cooldown",
+    "sender_rate_limited",
+    "delegation_budget_exhausted",
+    "transport_scope_violation",
+]);
+export const InkRejectionSchema = z.object({
+    protocol: z.literal("ink/0.1"),
+    type: z.literal("network.tulpa.rejection"),
+    intentRef: z.string(),
+    reason: RejectionReasonSchema,
+    detail: z.string().max(500).optional(),
+    retryAfter: z.string().optional(),
+    backoffHint: InkBackoffHintSchema.optional(),
+    nonce: z.string(),
+    timestamp: z.string().datetime(),
+});
+// ── Resolution (network.tulpa.resolution) — Stage 3 ──
+export const ResolutionOutcomeSchema = z.enum([
+    "accepted",
+    "declined",
+    "escalated_to_human",
+    "expired",
+]);
+export const ResolutionDetailsSchema = z.object({
+    scheduledAt: z.string().optional(),
+    duration: z.string().optional(),
+}).passthrough();
+export const InkResolutionSchema = z.object({
+    protocol: z.literal("ink/0.1"),
+    type: z.literal("network.tulpa.resolution"),
+    intentRef: z.string(),
+    outcome: ResolutionOutcomeSchema,
+    details: ResolutionDetailsSchema.optional(),
+    counterpartyDid: z.string().optional(),
+    nonce: z.string(),
+    timestamp: z.string().datetime(),
+});

package/dist/models/intent.d.ts

@@ -0,0 +1,437 @@
+import { z } from "zod";
+export declare const IntentTypeSchema: z.ZodEnum<{
+    schedule_meeting: "schedule_meeting";
+    schedule_meeting_response: "schedule_meeting_response";
+    intro_request: "intro_request";
+    intro_response: "intro_response";
+    opportunity: "opportunity";
+    opportunity_response: "opportunity_response";
+    follow_up: "follow_up";
+    ask: "ask";
+    ask_response: "ask_response";
+    connection_request: "connection_request";
+    connection_response: "connection_response";
+    context_share: "context_share";
+    ping: "ping";
+    retract: "retract";
+    multi_party_sync: "multi_party_sync";
+}>;
+export type IntentType = z.infer<typeof IntentTypeSchema>;
+export declare const ScheduleMeetingPayloadSchema: z.ZodObject<{
+    proposedTimes: z.ZodArray<z.ZodString>;
+    topic: z.ZodString;
+    format: z.ZodEnum<{
+        video: "video";
+        phone: "phone";
+        in_person: "in_person";
+        async: "async";
+    }>;
+    urgency: z.ZodEnum<{
+        low: "low";
+        normal: "normal";
+        urgent: "urgent";
+    }>;
+    context: z.ZodOptional<z.ZodString>;
+    location: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const ScheduleMeetingResponsePayloadSchema: z.ZodObject<{
+    status: z.ZodEnum<{
+        accepted: "accepted";
+        declined: "declined";
+        countered: "countered";
+    }>;
+    confirmedTime: z.ZodOptional<z.ZodString>;
+    counterTimes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    meetingLink: z.ZodOptional<z.ZodString>;
+    note: z.ZodOptional<z.ZodString>;
+    declineReason: z.ZodOptional<z.ZodEnum<{
+        unavailable: "unavailable";
+        not_interested: "not_interested";
+        too_busy: "too_busy";
+        deferred: "deferred";
+    }>>;
+}, z.core.$strip>;
+export declare const IntroRequestPayloadSchema: z.ZodObject<{
+    target: z.ZodString;
+    reason: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+    urgency: z.ZodEnum<{
+        low: "low";
+        normal: "normal";
+    }>;
+}, z.core.$strip>;
+export declare const IntroResponsePayloadSchema: z.ZodObject<{
+    status: z.ZodEnum<{
+        declined: "declined";
+        forwarded: "forwarded";
+        pending_target: "pending_target";
+    }>;
+    note: z.ZodOptional<z.ZodString>;
+    targetResponse: z.ZodOptional<z.ZodEnum<{
+        accepted: "accepted";
+        declined: "declined";
+        pending: "pending";
+    }>>;
+}, z.core.$strip>;
+export declare const OpportunityPayloadSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        role: "role";
+        investment: "investment";
+        collaboration: "collaboration";
+        advisory: "advisory";
+        event: "event";
+        other: "other";
+    }>;
+    title: z.ZodString;
+    org: z.ZodOptional<z.ZodString>;
+    description: z.ZodString;
+    matchReason: z.ZodString;
+    expiresAt: z.ZodOptional<z.ZodString>;
+    url: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const OpportunityResponsePayloadSchema: z.ZodObject<{
+    status: z.ZodEnum<{
+        not_interested: "not_interested";
+        interested: "interested";
+        maybe_later: "maybe_later";
+    }>;
+    note: z.ZodOptional<z.ZodString>;
+    followUpIntent: z.ZodOptional<z.ZodEnum<{
+        schedule_meeting: "schedule_meeting";
+        schedule_meeting_response: "schedule_meeting_response";
+        intro_request: "intro_request";
+        intro_response: "intro_response";
+        opportunity: "opportunity";
+        opportunity_response: "opportunity_response";
+        follow_up: "follow_up";
+        ask: "ask";
+        ask_response: "ask_response";
+        connection_request: "connection_request";
+        connection_response: "connection_response";
+        context_share: "context_share";
+        ping: "ping";
+        retract: "retract";
+        multi_party_sync: "multi_party_sync";
+    }>>;
+}, z.core.$strip>;
+export declare const ConnectionRequestPayloadSchema: z.ZodObject<{
+    method: z.ZodEnum<{
+        qr: "qr";
+        intro: "intro";
+        discovery: "discovery";
+        import: "import";
+    }>;
+    introducedBy: z.ZodOptional<z.ZodString>;
+    context: z.ZodString;
+    profileSnapshot: z.ZodObject<{
+        headline: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        interests: z.ZodArray<z.ZodString>;
+        availability: z.ZodOptional<z.ZodObject<{
+            timezone: z.ZodString;
+            meetingHours: z.ZodOptional<z.ZodString>;
+            responseSla: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        openTo: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const ConnectionResponsePayloadSchema: z.ZodObject<{
+    status: z.ZodEnum<{
+        accepted: "accepted";
+        declined: "declined";
+        pending: "pending";
+    }>;
+    profileSnapshot: z.ZodOptional<z.ZodObject<{
+        headline: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        interests: z.ZodArray<z.ZodString>;
+        availability: z.ZodOptional<z.ZodObject<{
+            timezone: z.ZodString;
+            meetingHours: z.ZodOptional<z.ZodString>;
+            responseSla: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        openTo: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+    note: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const FollowUpPayloadSchema: z.ZodObject<{
+    referenceId: z.ZodString;
+    message: z.ZodString;
+    actionRequested: z.ZodOptional<z.ZodEnum<{
+        reply: "reply";
+        schedule: "schedule";
+        review: "review";
+        none: "none";
+    }>>;
+}, z.core.$strip>;
+export declare const AskPayloadSchema: z.ZodObject<{
+    question: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+    responseFormat: z.ZodOptional<z.ZodEnum<{
+        text: "text";
+        choice: "choice";
+    }>>;
+    choices: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    deadline: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const AskResponsePayloadSchema: z.ZodObject<{
+    answer: z.ZodString;
+    choiceIndex: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const PingPayloadSchema: z.ZodObject<{
+    note: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const RetractPayloadSchema: z.ZodObject<{
+    targetMessageId: z.ZodString;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const ContextSharePayloadSchema: z.ZodObject<{
+    context: z.ZodString;
+    category: z.ZodEnum<{
+        availability: "availability";
+        professional_background: "professional_background";
+        project_update: "project_update";
+        expertise: "expertise";
+        general: "general";
+    }>;
+    referenceId: z.ZodOptional<z.ZodString>;
+    expiresAt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const MultiPartySyncPayloadSchema: z.ZodObject<{
+    enclaveType: z.ZodEnum<{
+        meeting_sync: "meeting_sync";
+    }>;
+    purpose: z.ZodString;
+    participants: z.ZodArray<z.ZodString>;
+    expiresAt: z.ZodString;
+}, z.core.$strip>;
+export declare const MessageProvenanceSchema: z.ZodOptional<z.ZodObject<{
+    origin: z.ZodEnum<{
+        human: "human";
+        agent_approved: "agent_approved";
+        agent_autonomous: "agent_autonomous";
+    }>;
+    extensionId: z.ZodString;
+    installationId: z.ZodString;
+}, z.core.$strip>>;
+export declare const MessageEnvelopeSchema: z.ZodObject<{
+    protocol: z.ZodLiteral<"ink/0.1">;
+    id: z.ZodString;
+    correlationId: z.ZodString;
+    createdAt: z.ZodString;
+    expiresAt: z.ZodOptional<z.ZodString>;
+    from: z.ZodString;
+    to: z.ZodString;
+    intent: z.ZodEnum<{
+        schedule_meeting: "schedule_meeting";
+        schedule_meeting_response: "schedule_meeting_response";
+        intro_request: "intro_request";
+        intro_response: "intro_response";
+        opportunity: "opportunity";
+        opportunity_response: "opportunity_response";
+        follow_up: "follow_up";
+        ask: "ask";
+        ask_response: "ask_response";
+        connection_request: "connection_request";
+        connection_response: "connection_response";
+        context_share: "context_share";
+        ping: "ping";
+        retract: "retract";
+        multi_party_sync: "multi_party_sync";
+    }>;
+    payload: z.ZodUnknown;
+    signature: z.ZodString;
+    signingKeyId: z.ZodOptional<z.ZodString>;
+    provenance: z.ZodOptional<z.ZodObject<{
+        origin: z.ZodEnum<{
+            human: "human";
+            agent_approved: "agent_approved";
+            agent_autonomous: "agent_autonomous";
+        }>;
+        extensionId: z.ZodString;
+        installationId: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type MessageEnvelope = z.infer<typeof MessageEnvelopeSchema>;
+/**
+ * Validate a message envelope AND its payload based on the intent type.
+ * Returns the validated message or throws a ZodError.
+ */
+export declare function validateMessage(raw: unknown): MessageEnvelope;
+/**
+ * Get the payload schema for a given intent type.
+ */
+export declare function getPayloadSchema(intent: IntentType): z.ZodObject<{
+    proposedTimes: z.ZodArray<z.ZodString>;
+    topic: z.ZodString;
+    format: z.ZodEnum<{
+        video: "video";
+        phone: "phone";
+        in_person: "in_person";
+        async: "async";
+    }>;
+    urgency: z.ZodEnum<{
+        low: "low";
+        normal: "normal";
+        urgent: "urgent";
+    }>;
+    context: z.ZodOptional<z.ZodString>;
+    location: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    status: z.ZodEnum<{
+        accepted: "accepted";
+        declined: "declined";
+        countered: "countered";
+    }>;
+    confirmedTime: z.ZodOptional<z.ZodString>;
+    counterTimes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    meetingLink: z.ZodOptional<z.ZodString>;
+    note: z.ZodOptional<z.ZodString>;
+    declineReason: z.ZodOptional<z.ZodEnum<{
+        unavailable: "unavailable";
+        not_interested: "not_interested";
+        too_busy: "too_busy";
+        deferred: "deferred";
+    }>>;
+}, z.core.$strip> | z.ZodObject<{
+    target: z.ZodString;
+    reason: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+    urgency: z.ZodEnum<{
+        low: "low";
+        normal: "normal";
+    }>;
+}, z.core.$strip> | z.ZodObject<{
+    status: z.ZodEnum<{
+        declined: "declined";
+        forwarded: "forwarded";
+        pending_target: "pending_target";
+    }>;
+    note: z.ZodOptional<z.ZodString>;
+    targetResponse: z.ZodOptional<z.ZodEnum<{
+        accepted: "accepted";
+        declined: "declined";
+        pending: "pending";
+    }>>;
+}, z.core.$strip> | z.ZodObject<{
+    type: z.ZodEnum<{
+        role: "role";
+        investment: "investment";
+        collaboration: "collaboration";
+        advisory: "advisory";
+        event: "event";
+        other: "other";
+    }>;
+    title: z.ZodString;
+    org: z.ZodOptional<z.ZodString>;
+    description: z.ZodString;
+    matchReason: z.ZodString;
+    expiresAt: z.ZodOptional<z.ZodString>;
+    url: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    status: z.ZodEnum<{
+        not_interested: "not_interested";
+        interested: "interested";
+        maybe_later: "maybe_later";
+    }>;
+    note: z.ZodOptional<z.ZodString>;
+    followUpIntent: z.ZodOptional<z.ZodEnum<{
+        schedule_meeting: "schedule_meeting";
+        schedule_meeting_response: "schedule_meeting_response";
+        intro_request: "intro_request";
+        intro_response: "intro_response";
+        opportunity: "opportunity";
+        opportunity_response: "opportunity_response";
+        follow_up: "follow_up";
+        ask: "ask";
+        ask_response: "ask_response";
+        connection_request: "connection_request";
+        connection_response: "connection_response";
+        context_share: "context_share";
+        ping: "ping";
+        retract: "retract";
+        multi_party_sync: "multi_party_sync";
+    }>>;
+}, z.core.$strip> | z.ZodObject<{
+    method: z.ZodEnum<{
+        qr: "qr";
+        intro: "intro";
+        discovery: "discovery";
+        import: "import";
+    }>;
+    introducedBy: z.ZodOptional<z.ZodString>;
+    context: z.ZodString;
+    profileSnapshot: z.ZodObject<{
+        headline: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        interests: z.ZodArray<z.ZodString>;
+        availability: z.ZodOptional<z.ZodObject<{
+            timezone: z.ZodString;
+            meetingHours: z.ZodOptional<z.ZodString>;
+            responseSla: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        openTo: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip> | z.ZodObject<{
+    status: z.ZodEnum<{
+        accepted: "accepted";
+        declined: "declined";
+        pending: "pending";
+    }>;
+    profileSnapshot: z.ZodOptional<z.ZodObject<{
+        headline: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        interests: z.ZodArray<z.ZodString>;
+        availability: z.ZodOptional<z.ZodObject<{
+            timezone: z.ZodString;
+            meetingHours: z.ZodOptional<z.ZodString>;
+            responseSla: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        openTo: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+    note: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    referenceId: z.ZodString;
+    message: z.ZodString;
+    actionRequested: z.ZodOptional<z.ZodEnum<{
+        reply: "reply";
+        schedule: "schedule";
+        review: "review";
+        none: "none";
+    }>>;
+}, z.core.$strip> | z.ZodObject<{
+    question: z.ZodString;
+    context: z.ZodOptional<z.ZodString>;
+    responseFormat: z.ZodOptional<z.ZodEnum<{
+        text: "text";
+        choice: "choice";
+    }>>;
+    choices: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    deadline: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    answer: z.ZodString;
+    choiceIndex: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip> | z.ZodObject<{
+    note: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    targetMessageId: z.ZodString;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    context: z.ZodString;
+    category: z.ZodEnum<{
+        availability: "availability";
+        professional_background: "professional_background";
+        project_update: "project_update";
+        expertise: "expertise";
+        general: "general";
+    }>;
+    referenceId: z.ZodOptional<z.ZodString>;
+    expiresAt: z.ZodOptional<z.ZodString>;
+}, z.core.$strip> | z.ZodObject<{
+    enclaveType: z.ZodEnum<{
+        meeting_sync: "meeting_sync";
+    }>;
+    purpose: z.ZodString;
+    participants: z.ZodArray<z.ZodString>;
+    expiresAt: z.ZodString;
+}, z.core.$strip>;

package/dist/models/intent.js

@@ -0,0 +1,172 @@
+import { z } from "zod";
+import { ProfileSnapshotSchema } from "./profile.js";
+// --- Intent Types ---
+export const IntentTypeSchema = z.enum([
+    "schedule_meeting",
+    "schedule_meeting_response",
+    "intro_request",
+    "intro_response",
+    "opportunity",
+    "opportunity_response",
+    "follow_up",
+    "ask",
+    "ask_response",
+    "connection_request",
+    "connection_response",
+    "context_share",
+    "ping",
+    "retract",
+    "multi_party_sync",
+]);
+// --- Intent Payloads ---
+export const ScheduleMeetingPayloadSchema = z.object({
+    proposedTimes: z.array(z.string()).min(1).max(10),
+    topic: z.string().max(500),
+    format: z.enum(["video", "phone", "in_person", "async"]),
+    urgency: z.enum(["low", "normal", "urgent"]),
+    context: z.string().max(2000).optional(),
+    location: z.string().max(500).optional(),
+});
+export const ScheduleMeetingResponsePayloadSchema = z.object({
+    status: z.enum(["accepted", "declined", "countered"]),
+    confirmedTime: z.string().optional(),
+    counterTimes: z.array(z.string()).max(10).optional(),
+    meetingLink: z.string().url().optional(),
+    note: z.string().max(1000).optional(),
+    declineReason: z
+        .enum(["unavailable", "not_interested", "too_busy", "deferred"])
+        .optional(),
+});
+export const IntroRequestPayloadSchema = z.object({
+    target: z.string(),
+    reason: z.string().max(2000),
+    context: z.string().max(2000).optional(),
+    urgency: z.enum(["low", "normal"]),
+});
+export const IntroResponsePayloadSchema = z.object({
+    status: z.enum(["forwarded", "declined", "pending_target"]),
+    note: z.string().max(1000).optional(),
+    targetResponse: z.enum(["accepted", "declined", "pending"]).optional(),
+});
+export const OpportunityPayloadSchema = z.object({
+    type: z.enum([
+        "role",
+        "investment",
+        "collaboration",
+        "advisory",
+        "event",
+        "other",
+    ]),
+    title: z.string().max(500),
+    org: z.string().max(200).optional(),
+    description: z.string().max(5000),
+    matchReason: z.string().max(2000),
+    expiresAt: z.string().optional(),
+    url: z.string().url().optional(),
+});
+export const OpportunityResponsePayloadSchema = z.object({
+    status: z.enum(["interested", "not_interested", "maybe_later"]),
+    note: z.string().max(1000).optional(),
+    followUpIntent: IntentTypeSchema.optional(),
+});
+export const ConnectionRequestPayloadSchema = z.object({
+    method: z.enum(["qr", "intro", "discovery", "import"]),
+    introducedBy: z.string().optional(),
+    context: z.string().max(2000),
+    profileSnapshot: ProfileSnapshotSchema,
+});
+export const ConnectionResponsePayloadSchema = z.object({
+    status: z.enum(["accepted", "declined", "pending"]),
+    profileSnapshot: ProfileSnapshotSchema.optional(),
+    note: z.string().max(1000).optional(),
+});
+export const FollowUpPayloadSchema = z.object({
+    referenceId: z.string(),
+    message: z.string().max(5000),
+    actionRequested: z.enum(["reply", "schedule", "review", "none"]).optional(),
+});
+export const AskPayloadSchema = z.object({
+    question: z.string().max(5000),
+    context: z.string().max(2000).optional(),
+    responseFormat: z.enum(["text", "choice"]).optional(),
+    choices: z.array(z.string().max(500)).max(10).optional(),
+    deadline: z.string().optional(),
+});
+export const AskResponsePayloadSchema = z.object({
+    answer: z.string().max(5000),
+    choiceIndex: z.number().int().min(0).optional(),
+});
+export const PingPayloadSchema = z.object({
+    note: z.string().max(1000).optional(),
+});
+export const RetractPayloadSchema = z.object({
+    targetMessageId: z.string(),
+    reason: z.string().max(1000).optional(),
+});
+export const ContextSharePayloadSchema = z.object({
+    context: z.string().max(5000),
+    category: z.enum(["professional_background", "project_update", "expertise", "availability", "general"]),
+    referenceId: z.string().optional(),
+    expiresAt: z.string().optional(),
+});
+export const MultiPartySyncPayloadSchema = z.object({
+    enclaveType: z.enum(["meeting_sync"]),
+    purpose: z.string().max(500),
+    participants: z.array(z.string()).min(2).max(20),
+    expiresAt: z.string(),
+});
+// --- Payload discriminated union ---
+const payloadSchemas = {
+    schedule_meeting: ScheduleMeetingPayloadSchema,
+    schedule_meeting_response: ScheduleMeetingResponsePayloadSchema,
+    intro_request: IntroRequestPayloadSchema,
+    intro_response: IntroResponsePayloadSchema,
+    opportunity: OpportunityPayloadSchema,
+    opportunity_response: OpportunityResponsePayloadSchema,
+    follow_up: FollowUpPayloadSchema,
+    ask: AskPayloadSchema,
+    ask_response: AskResponsePayloadSchema,
+    connection_request: ConnectionRequestPayloadSchema,
+    connection_response: ConnectionResponsePayloadSchema,
+    context_share: ContextSharePayloadSchema,
+    ping: PingPayloadSchema,
+    retract: RetractPayloadSchema,
+    multi_party_sync: MultiPartySyncPayloadSchema,
+};
+// --- Message Envelope ---
+export const MessageProvenanceSchema = z.object({
+    origin: z.enum(["human", "agent_approved", "agent_autonomous"]),
+    extensionId: z.string(),
+    installationId: z.string().uuid(),
+}).optional();
+export const MessageEnvelopeSchema = z.object({
+    protocol: z.literal("ink/0.1"),
+    id: z.string(),
+    correlationId: z.string(),
+    createdAt: z.string(),
+    expiresAt: z.string().optional(),
+    from: z.string(),
+    to: z.string(),
+    intent: IntentTypeSchema,
+    payload: z.unknown(),
+    signature: z.string(),
+    signingKeyId: z.string().optional(),
+    provenance: MessageProvenanceSchema,
+});
+/**
+ * Validate a message envelope AND its payload based on the intent type.
+ * Returns the validated message or throws a ZodError.
+ */
+export function validateMessage(raw) {
+    const envelope = MessageEnvelopeSchema.parse(raw);
+    const payloadSchema = payloadSchemas[envelope.intent];
+    // Validate payload strictly — reject unknown fields
+    payloadSchema.strict().parse(envelope.payload);
+    return envelope;
+}
+/**
+ * Get the payload schema for a given intent type.
+ */
+export function getPayloadSchema(intent) {
+    return payloadSchemas[intent];
+}