@joe-broadhead/messaging 0.7.0 → 0.8.0

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

@@ -6,9 +6,9 @@
 import { z } from "zod";
 export declare const EnvelopeType: z.ZodEnum<{
     message: "message";
-    "task.cancel": "task.cancel";
     receipt: "receipt";
     presence: "presence";
+    "task.cancel": "task.cancel";
     "task.status": "task.status";
     "task.artifact": "task.artifact";
 }>;
@@ -66,9 +66,9 @@ export declare const Envelope: z.ZodObject<{
     realm: z.ZodString;
     type: z.ZodEnum<{
         message: "message";
-        "task.cancel": "task.cancel";
         receipt: "receipt";
         presence: "presence";
+        "task.cancel": "task.cancel";
         "task.status": "task.status";
         "task.artifact": "task.artifact";
     }>;
@@ -111,44 +111,6 @@ export declare const Envelope: z.ZodObject<{
     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
@@ -168,6 +130,25 @@ export type SelfConv = z.infer<typeof SelfConv>;
  */
 export declare const RequestConv: z.ZodObject<{
     kind: z.ZodLiteral<"request">;
+    proof: z.ZodOptional<z.ZodObject<{
+        descriptor: z.ZodObject<{
+            id: z.ZodString;
+            issuedAt: z.ZodNumber;
+            expiresAt: z.ZodNumber;
+            commitment: z.ZodString;
+            by: z.ZodString;
+            sig: z.ZodString;
+            v: z.ZodLiteral<"messaging/1">;
+            realm: z.ZodString;
+            cid: z.ZodString;
+            from: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+            to: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        }, z.core.$strict>;
+        opening: z.ZodObject<{
+            salt: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
 }, z.core.$strip>;
 export type RequestConv = z.infer<typeof RequestConv>;
 /**
@@ -183,36 +164,7 @@ export declare const CardConv: z.ZodObject<{
 }, 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<{
+export declare const Conv: z.ZodDiscriminatedUnion<[z.ZodObject<{
     kind: z.ZodLiteral<"self">;
     what: z.ZodEnum<{
         grant: "grant";
@@ -220,6 +172,25 @@ export declare const Conv: z.ZodDiscriminatedUnion<[z.ZodDiscriminatedUnion<[z.Z
     }>;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"request">;
+    proof: z.ZodOptional<z.ZodObject<{
+        descriptor: z.ZodObject<{
+            id: z.ZodString;
+            issuedAt: z.ZodNumber;
+            expiresAt: z.ZodNumber;
+            commitment: z.ZodString;
+            by: z.ZodString;
+            sig: z.ZodString;
+            v: z.ZodLiteral<"messaging/1">;
+            realm: z.ZodString;
+            cid: z.ZodString;
+            from: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+            to: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        }, z.core.$strict>;
+        opening: z.ZodObject<{
+            salt: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"card">;
     what: z.ZodEnum<{
@@ -273,36 +244,7 @@ export declare const MessagePayload: z.ZodObject<{
         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<{
+    conv: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
         kind: z.ZodLiteral<"self">;
         what: z.ZodEnum<{
             grant: "grant";
@@ -310,6 +252,25 @@ export declare const MessagePayload: z.ZodObject<{
         }>;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"request">;
+        proof: z.ZodOptional<z.ZodObject<{
+            descriptor: z.ZodObject<{
+                id: z.ZodString;
+                issuedAt: z.ZodNumber;
+                expiresAt: z.ZodNumber;
+                commitment: z.ZodString;
+                by: z.ZodString;
+                sig: z.ZodString;
+                v: z.ZodLiteral<"messaging/1">;
+                realm: z.ZodString;
+                cid: z.ZodString;
+                from: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+                to: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+            }, z.core.$strict>;
+            opening: z.ZodObject<{
+                salt: z.ZodString;
+                text: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"card">;
         what: z.ZodEnum<{
@@ -413,6 +374,7 @@ export declare const ReceiptPayload: z.ZodObject<{
         refused: "refused";
         declined: "declined";
         request_required: "request_required";
+        peer_outdated: "peer_outdated";
         rate_limited: "rate_limited";
         loop_guard: "loop_guard";
         too_large: "too_large";
@@ -429,6 +391,8 @@ export declare const ReceiptPayload: z.ZodObject<{
         binding_invalid: "binding_invalid";
         jelly_unavailable: "jelly_unavailable";
         log_conflict: "log_conflict";
+        conv_conflict: "conv_conflict";
+        stale_epoch: "stale_epoch";
         device_limit: "device_limit";
         admission_required: "admission_required";
         admission_invalid: "admission_invalid";
@@ -443,6 +407,7 @@ export declare const ReceiptPayload: z.ZodObject<{
         ticket_invalid: "ticket_invalid";
         daemon_unavailable: "daemon_unavailable";
         daemon_mismatch: "daemon_mismatch";
+        store_refused: "store_refused";
         internal: "internal";
     }>>;
     note: z.ZodOptional<z.ZodString>;
@@ -534,36 +499,7 @@ export declare const PAYLOAD_BY_TYPE: {
             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<{
+        conv: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodLiteral<"self">;
             what: z.ZodEnum<{
                 grant: "grant";
@@ -571,6 +507,25 @@ export declare const PAYLOAD_BY_TYPE: {
             }>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"request">;
+            proof: z.ZodOptional<z.ZodObject<{
+                descriptor: z.ZodObject<{
+                    id: z.ZodString;
+                    issuedAt: z.ZodNumber;
+                    expiresAt: z.ZodNumber;
+                    commitment: z.ZodString;
+                    by: z.ZodString;
+                    sig: z.ZodString;
+                    v: z.ZodLiteral<"messaging/1">;
+                    realm: z.ZodString;
+                    cid: z.ZodString;
+                    from: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+                    to: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+                }, z.core.$strict>;
+                opening: z.ZodObject<{
+                    salt: z.ZodString;
+                    text: z.ZodString;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"card">;
             what: z.ZodEnum<{
@@ -666,6 +621,7 @@ export declare const PAYLOAD_BY_TYPE: {
             refused: "refused";
             declined: "declined";
             request_required: "request_required";
+            peer_outdated: "peer_outdated";
             rate_limited: "rate_limited";
             loop_guard: "loop_guard";
             too_large: "too_large";
@@ -682,6 +638,8 @@ export declare const PAYLOAD_BY_TYPE: {
             binding_invalid: "binding_invalid";
             jelly_unavailable: "jelly_unavailable";
             log_conflict: "log_conflict";
+            conv_conflict: "conv_conflict";
+            stale_epoch: "stale_epoch";
             device_limit: "device_limit";
             admission_required: "admission_required";
             admission_invalid: "admission_invalid";
@@ -696,6 +654,7 @@ export declare const PAYLOAD_BY_TYPE: {
             ticket_invalid: "ticket_invalid";
             daemon_unavailable: "daemon_unavailable";
             daemon_mismatch: "daemon_mismatch";
+            store_refused: "store_refused";
             internal: "internal";
         }>>;
         note: z.ZodOptional<z.ZodString>;

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

@@ -12,6 +12,7 @@ export declare const ErrorCode: z.ZodEnum<{
     refused: "refused";
     declined: "declined";
     request_required: "request_required";
+    peer_outdated: "peer_outdated";
     rate_limited: "rate_limited";
     loop_guard: "loop_guard";
     too_large: "too_large";
@@ -28,6 +29,8 @@ export declare const ErrorCode: z.ZodEnum<{
     binding_invalid: "binding_invalid";
     jelly_unavailable: "jelly_unavailable";
     log_conflict: "log_conflict";
+    conv_conflict: "conv_conflict";
+    stale_epoch: "stale_epoch";
     device_limit: "device_limit";
     admission_required: "admission_required";
     admission_invalid: "admission_invalid";
@@ -42,9 +45,28 @@ export declare const ErrorCode: z.ZodEnum<{
     ticket_invalid: "ticket_invalid";
     daemon_unavailable: "daemon_unavailable";
     daemon_mismatch: "daemon_mismatch";
+    store_refused: "store_refused";
     internal: "internal";
 }>;
 export type ErrorCode = z.infer<typeof ErrorCode>;
+/**
+ * The exit status of a messagingd or messaging-relay that refuses its store and changes nothing (spec §8.8): `EX_CONFIG`
+ * of sysexits(3), for either reason. messagingd also prints one stderr line,
+ * `messagingd: store_refused: <reason>: <why and the remedy>`. A client matches this status, the code and the
+ * reason, never the wording.
+ */
+export declare const STORE_REFUSED_EXIT = 78;
+/**
+ * Why a store is refused (spec §8.8):
+ * - `pre-reset`: it records no store generation, or another one. Starting over (moving the home aside) is the remedy.
+ * - `newer`: its `min_reader` is above this reader's schema: a newer messagingd wrote it. Upgrading is the remedy;
+ *   moving the home aside would set a newer home aside.
+ */
+export declare const StoreRefusedReason: z.ZodEnum<{
+    "pre-reset": "pre-reset";
+    newer: "newer";
+}>;
+export type StoreRefusedReason = z.infer<typeof StoreRefusedReason>;
 export declare const ErrorBody: z.ZodObject<{
     code: z.ZodEnum<{
         expired: "expired";
@@ -58,6 +80,7 @@ export declare const ErrorBody: z.ZodObject<{
         refused: "refused";
         declined: "declined";
         request_required: "request_required";
+        peer_outdated: "peer_outdated";
         rate_limited: "rate_limited";
         loop_guard: "loop_guard";
         too_large: "too_large";
@@ -74,6 +97,8 @@ export declare const ErrorBody: z.ZodObject<{
         binding_invalid: "binding_invalid";
         jelly_unavailable: "jelly_unavailable";
         log_conflict: "log_conflict";
+        conv_conflict: "conv_conflict";
+        stale_epoch: "stale_epoch";
         device_limit: "device_limit";
         admission_required: "admission_required";
         admission_invalid: "admission_invalid";
@@ -88,6 +113,7 @@ export declare const ErrorBody: z.ZodObject<{
         ticket_invalid: "ticket_invalid";
         daemon_unavailable: "daemon_unavailable";
         daemon_mismatch: "daemon_mismatch";
+        store_refused: "store_refused";
         internal: "internal";
     }>;
     message: z.ZodString;
@@ -101,4 +127,18 @@ export declare class MessagingError extends Error {
     });
     toBody(): ErrorBody;
 }
+/** `store_refused`, with its reason as a field: clients branch on `reason`, never on the message. */
+export declare class StoreRefusedError extends MessagingError {
+    readonly reason: StoreRefusedReason;
+    constructor(reason: StoreRefusedReason, message: string, options?: {
+        cause?: unknown;
+    });
+}
+/** The stderr line of a messagingd that refuses its store: `messagingd: store_refused: <reason>: <text>`. */
+export declare function storeRefusedLine(reason: StoreRefusedReason, text: string): string;
+/**
+ * The reason on a messagingd refusal line, or undefined for any other line. Reads the tokens only; the text after
+ * them may change between releases.
+ */
+export declare function storeRefusedReason(line: string): StoreRefusedReason | undefined;
 export declare function isMessagingError(value: unknown): value is MessagingError;

package/dist/types/core/schema/guest-invitation.d.ts

@@ -0,0 +1,51 @@
+/** A bounded, sealed preview. Its signature is portable; the guest accepts exactly this op head and exposure. */
+import { z } from "zod";
+export declare const GuestInvitation: z.ZodObject<{
+    v: z.ZodLiteral<"messaging/1">;
+    realm: z.ZodString;
+    cid: z.ZodString;
+    id: z.ZodString;
+    to: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    inviter: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+    by: z.ZodString;
+    head: z.ZodObject<{
+        seq: z.ZodNumber;
+        hash: z.ZodString;
+    }, z.core.$strict>;
+    issuedAt: z.ZodNumber;
+    expiresAt: z.ZodNumber;
+    kind: z.ZodEnum<{
+        channel: "channel";
+        group: "group";
+    }>;
+    history: z.ZodEnum<{
+        none: "none";
+        shared: "shared";
+    }>;
+    agentContext: z.ZodEnum<{
+        none: "none";
+        members: "members";
+        seats: "seats";
+    }>;
+    bridges: z.ZodEnum<{
+        none: "none";
+        members: "members";
+        admins: "admins";
+    }>;
+    audience: z.ZodArray<z.ZodObject<{
+        p: z.ZodString;
+        person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        role: z.ZodEnum<{
+            admin: "admin";
+            member: "member";
+            owner: "owner";
+            guest: "guest";
+        }>;
+        state: z.ZodEnum<{
+            member: "member";
+            invited: "invited";
+        }>;
+    }, z.core.$strict>>;
+    sig: z.ZodString;
+}, z.core.$strict>;
+export type GuestInvitation = z.infer<typeof GuestInvitation>;

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

@@ -13,3 +13,9 @@ export * from "./directory-frames.js";
 export * from "./ipc.js";
 export * from "./ipc/device.js";
 export * from "./ipc/consent.js";
+export * from "./conversation.js";
+export * from "./conv-frames.js";
+export * from "./contact-request.js";
+export * from "./guest-invitation.js";
+export * from "./ipc/conversation-views.js";
+export * from "./ipc/conversations.js";