@joe-broadhead/messaging 0.7.0 → 0.8.0

package/dist/types/core/schema/ipc/device.d.ts

@@ -116,6 +116,7 @@ export declare const DeviceListEntry: z.ZodObject<{
     }>>;
     current: z.ZodBoolean;
     self: z.ZodBoolean;
+    away: z.ZodOptional<z.ZodLiteral<true>>;
     since: z.ZodOptional<z.ZodNumber>;
     unbound: z.ZodOptional<z.ZodObject<{
         at: z.ZodNumber;
@@ -220,6 +221,7 @@ export declare const LoginState: z.ZodDiscriminatedUnion<[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";
@@ -236,6 +238,8 @@ export declare const LoginState: z.ZodDiscriminatedUnion<[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";
@@ -250,6 +254,7 @@ export declare const LoginState: z.ZodDiscriminatedUnion<[z.ZodObject<{
         ticket_invalid: "ticket_invalid";
         daemon_unavailable: "daemon_unavailable";
         daemon_mismatch: "daemon_mismatch";
+        store_refused: "store_refused";
         internal: "internal";
     }>;
     message: z.ZodString;
@@ -366,6 +371,7 @@ export declare const DEVICE_METHODS: {
                 }>>;
                 current: z.ZodBoolean;
                 self: z.ZodBoolean;
+                away: z.ZodOptional<z.ZodLiteral<true>>;
                 since: z.ZodOptional<z.ZodNumber>;
                 unbound: z.ZodOptional<z.ZodObject<{
                     at: z.ZodNumber;
@@ -507,6 +513,7 @@ export declare const DEVICE_METHODS: {
                 refused: "refused";
                 declined: "declined";
                 request_required: "request_required";
+                peer_outdated: "peer_outdated";
                 rate_limited: "rate_limited";
                 loop_guard: "loop_guard";
                 too_large: "too_large";
@@ -523,6 +530,8 @@ export declare const DEVICE_METHODS: {
                 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";
@@ -537,6 +546,7 @@ export declare const DEVICE_METHODS: {
                 ticket_invalid: "ticket_invalid";
                 daemon_unavailable: "daemon_unavailable";
                 daemon_mismatch: "daemon_mismatch";
+                store_refused: "store_refused";
                 internal: "internal";
             }>;
             message: z.ZodString;

package/dist/types/core/schema/ipc/jelly.d.ts

@@ -2,8 +2,7 @@
  * The IPC methods a Jelly host needs (spec §8.2, §8.11; design §13.6, §13.10-§13.12), served in every deployment:
  *
  * - Agent tier: `daemon.health`, a cheap status with no secrets and no counts.
- * - Human tier: `agents.list` and `agents.read` (the person's view of their own agents' traffic on this device),
- *   `notice.subscribe`, `notice.list` and `notice.ack` (notices in fixed categories), and the read-only preview
+ * - Human tier: `notice.subscribe`, `notice.list` and `notice.ack` (notices in fixed categories), and the read-only preview
  *   `device.remove.preview`.
  *
  * Spread into `IPC_METHODS`; `HOST_SCOPE_METHODS` (in `ipc.ts`) is what a host-scope action grant allows.
@@ -77,7 +76,6 @@ export declare const Notice: z.ZodObject<{
         request: "request";
         alert: "alert";
     }>;
-    conversation: z.ZodOptional<z.ZodString>;
     from: z.ZodOptional<z.ZodObject<{
         name: z.ZodString;
         email: z.ZodOptional<z.ZodString>;
@@ -128,9 +126,8 @@ export declare const Notice: z.ZodObject<{
     at: z.ZodNumber;
 }, z.core.$strip>;
 export type Notice = z.infer<typeof Notice>;
-/** What the person's badges count: unread lines in their conversations, and requests held for them. */
+/** What the person's badges count: requests held for them. Conversation read state remains staged. */
 export declare const NoticeCounts: z.ZodObject<{
-    unread: z.ZodNumber;
     requests: z.ZodNumber;
 }, z.core.$strip>;
 /** `daemon.health` (spec §8.2): the daemon's state, with no secrets and no counts. */
@@ -160,18 +157,6 @@ export declare const DaemonHealth: z.ZodObject<{
     storeSchema: z.ZodNumber;
 }, z.core.$strip>;
 export type DaemonHealth = z.infer<typeof DaemonHealth>;
-/** One local agent (a registered or kept session) and its traffic on this device. */
-export declare const AgentSummary: z.ZodObject<{
-    agent: z.ZodString;
-    conversations: z.ZodNumber;
-    unread: z.ZodNumber;
-    lastAt: z.ZodOptional<z.ZodNumber>;
-    state: z.ZodEnum<{
-        idle: "idle";
-        busy: "busy";
-        kept: "kept";
-    }>;
-}, z.core.$strip>;
 export declare const JELLY_METHODS: {
     /**
      * Agent tier. A cheap status for a host that polls: the daemon's state, the relay, the directory, an alarm, and
@@ -205,92 +190,6 @@ export declare const JELLY_METHODS: {
             storeSchema: z.ZodNumber;
         }, z.core.$strip>;
     };
-    /** Human tier. This person's local agents on this device, most recent first. Read-only. */
-    readonly "agents.list": {
-        readonly params: z.ZodObject<{}, z.core.$strict>;
-        readonly result: z.ZodObject<{
-            agents: z.ZodArray<z.ZodObject<{
-                agent: z.ZodString;
-                conversations: z.ZodNumber;
-                unread: z.ZodNumber;
-                lastAt: z.ZodOptional<z.ZodNumber>;
-                state: z.ZodEnum<{
-                    idle: "idle";
-                    busy: "busy";
-                    kept: "kept";
-                }>;
-            }, z.core.$strip>>;
-        }, z.core.$strip>;
-    };
-    /**
-     * Human tier. One local agent's traffic: without `conversation`, the other agents it has mail or tasks with, most
-     * recent first; with `conversation` (`agent:<person>/<agent>`), a page of its entries, as `conv.read` gives them to
-     * the agent, latest first unless `before` names an entry. Changes no stage and sends no receipt. Peer text is
-     * untrusted: a client cleans it for display.
-     */
-    readonly "agents.read": {
-        readonly params: z.ZodObject<{
-            agent: z.ZodString;
-            conversation: z.ZodOptional<z.ZodString>;
-            before: z.ZodOptional<z.ZodObject<{
-                at: z.ZodNumber;
-                id: z.ZodString;
-            }, z.core.$strict>>;
-            limit: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>;
-        readonly result: z.ZodDiscriminatedUnion<[z.ZodObject<{
-            kind: z.ZodLiteral<"conversations">;
-            conversations: z.ZodArray<z.ZodObject<{
-                conversation: z.ZodString;
-                unread: z.ZodNumber;
-                lastAt: z.ZodNumber;
-            }, z.core.$strip>>;
-        }, z.core.$strip>, z.ZodObject<{
-            kind: z.ZodLiteral<"entries">;
-            conversation: z.ZodString;
-            entries: z.ZodArray<z.ZodObject<{
-                id: z.ZodString;
-                kind: z.ZodEnum<{
-                    task: "task";
-                    mail: "mail";
-                }>;
-                direction: z.ZodEnum<{
-                    out: "out";
-                    in: "in";
-                }>;
-                peer: z.ZodString;
-                at: z.ZodNumber;
-                text: z.ZodOptional<z.ZodString>;
-                taskId: z.ZodOptional<z.ZodString>;
-                stage: z.ZodOptional<z.ZodEnum<{
-                    accepted: "accepted";
-                    relayed: "relayed";
-                    delivered: "delivered";
-                    held: "held";
-                    handed_to_agent: "handed_to_agent";
-                    read: "read";
-                    replied: "replied";
-                    rejected: "rejected";
-                    expired: "expired";
-                }>>;
-                role: z.ZodOptional<z.ZodEnum<{
-                    requester: "requester";
-                    executor: "executor";
-                }>>;
-                state: z.ZodOptional<z.ZodEnum<{
-                    TASK_STATE_SUBMITTED: "TASK_STATE_SUBMITTED";
-                    TASK_STATE_WORKING: "TASK_STATE_WORKING";
-                    TASK_STATE_COMPLETED: "TASK_STATE_COMPLETED";
-                    TASK_STATE_FAILED: "TASK_STATE_FAILED";
-                    TASK_STATE_CANCELED: "TASK_STATE_CANCELED";
-                    TASK_STATE_INPUT_REQUIRED: "TASK_STATE_INPUT_REQUIRED";
-                    TASK_STATE_REJECTED: "TASK_STATE_REJECTED";
-                    TASK_STATE_AUTH_REQUIRED: "TASK_STATE_AUTH_REQUIRED";
-                }>>;
-            }, z.core.$strip>>;
-            more: z.ZodBoolean;
-        }, z.core.$strip>], "kind">;
-    };
     /**
      * Human tier; host scope in `deployment: "jelly"`. Replays the unacknowledged notices after `after` (all of them
      * without it), oldest first, as `notice` events on this connection, then sends each new one. With `lines`, a
@@ -319,7 +218,6 @@ export declare const JELLY_METHODS: {
                     request: "request";
                     alert: "alert";
                 }>;
-                conversation: z.ZodOptional<z.ZodString>;
                 from: z.ZodOptional<z.ZodObject<{
                     name: z.ZodString;
                     email: z.ZodOptional<z.ZodString>;
@@ -370,7 +268,6 @@ export declare const JELLY_METHODS: {
                 at: z.ZodNumber;
             }, z.core.$strip>>;
             counts: z.ZodObject<{
-                unread: z.ZodNumber;
                 requests: z.ZodNumber;
             }, z.core.$strip>;
         }, z.core.$strip>;

package/dist/types/core/schema/ipc/shapes.d.ts

@@ -21,8 +21,8 @@ export type SessionKey = z.infer<typeof SessionKey>;
  */
 export declare const SendExpect: z.ZodEnum<{
     kept: "kept";
-    next_turn: "next_turn";
     wake: "wake";
+    next_turn: "next_turn";
     next_prompt: "next_prompt";
     on_read: "on_read";
     offline: "offline";
@@ -52,45 +52,14 @@ export declare const DirectoryEntry: z.ZodObject<{
     self: z.ZodBoolean;
     expect: z.ZodOptional<z.ZodEnum<{
         kept: "kept";
-        next_turn: "next_turn";
         wake: "wake";
+        next_turn: "next_turn";
         next_prompt: "next_prompt";
         on_read: "on_read";
         offline: "offline";
     }>>;
 }, z.core.$strip>;
 export type DirectoryEntry = z.infer<typeof DirectoryEntry>;
-/** Chat text, at most `LIMITS.chatChars` UTF-16 code units (`max` would count code points). */
-export declare const ChatText: z.ZodString;
-/**
- * A position in this machine's chat order (spec §6.8): every filed line and every chat change takes
- * the next one. Local: another machine numbers the same line differently. 0 is before the first.
- */
-export declare const ChatSeq: z.ZodNumber;
-export type ChatSeq = z.infer<typeof ChatSeq>;
-/** One transcript line (spec §6.8). `id` is the line's `messageId`, the same on every machine. */
-export declare const ChatLine: z.ZodObject<{
-    id: z.ZodString;
-    seq: z.ZodNumber;
-    at: z.ZodNumber;
-    person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
-    agent: z.ZodOptional<z.ZodString>;
-    direction: z.ZodEnum<{
-        out: "out";
-        in: "in";
-    }>;
-    body: z.ZodString;
-    thread: z.ZodOptional<z.ZodString>;
-    state: z.ZodOptional<z.ZodEnum<{
-        delivered: "delivered";
-        held: "held";
-        refused: "refused";
-        sent: "sent";
-    }>>;
-    refused: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodString]>>>;
-    notice: z.ZodOptional<z.ZodLiteral<true>>;
-}, z.core.$strip>;
-export type ChatLine = z.infer<typeof ChatLine>;
 /** The other end of an item or a task: a person's device and, when an agent wrote it, the agent. */
 export declare const PeerRef: z.ZodObject<{
     address: z.ZodString;
@@ -104,12 +73,14 @@ export declare const InboxItem: z.ZodObject<{
     id: z.ZodString;
     key: z.ZodString;
     from: z.ZodObject<{
-        address: z.ZodString;
         person: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
         agent: z.ZodOptional<z.ZodString>;
-        device: z.ZodString;
-        label: z.ZodString;
+        address: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
+        device: z.ZodOptional<z.ZodString>;
+        label: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
+    cid: z.ZodOptional<z.ZodString>;
+    eventId: z.ZodOptional<z.ZodString>;
     kind: z.ZodEnum<{
         message: "message";
         task: "task";
@@ -142,8 +113,7 @@ export declare const InboxItem: z.ZodObject<{
 }, z.core.$strip>;
 export type InboxItem = z.infer<typeof InboxItem>;
 /**
- * A message this side sent to continue a task it requested (`msg.send` with `kind: "message"`
- * and the `taskId`), and how far it got, from this daemon's own delivery records (spec §6.3).
+ * A task continuation and its stage from this daemon's own delivery records (spec §6.3).
  */
 export declare const TaskFollowUp: z.ZodObject<{
     envelopeId: z.ZodString;
@@ -281,13 +251,12 @@ export declare const TaskRecord: z.ZodObject<{
 }, z.core.$strip>;
 export type TaskRecord = z.infer<typeof TaskRecord>;
 /**
- * Where a send went (`msg.send`, spec §8.2): an agent session `person/agent@label`, a person (a line
- * from an agent to them) or `#<channel>` (a post).
+ * Where a retained task envelope went: an agent session `person/agent@label`.
  */
-export declare const SendTarget: z.ZodUnion<readonly [z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodString]>, z.ZodString]>;
+export declare const SendTarget: z.ZodString;
 export type SendTarget = z.infer<typeof SendTarget>;
 export declare const SendResult: z.ZodObject<{
-    to: z.ZodUnion<readonly [z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodString]>, z.ZodString]>;
+    to: z.ZodString;
     envelopeId: z.ZodString;
     messageId: z.ZodString;
     taskId: z.ZodOptional<z.ZodString>;
@@ -315,6 +284,7 @@ export declare const SendResult: 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";
@@ -331,6 +301,8 @@ export declare const SendResult: 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";
@@ -345,67 +317,16 @@ export declare const SendResult: z.ZodObject<{
         ticket_invalid: "ticket_invalid";
         daemon_unavailable: "daemon_unavailable";
         daemon_mismatch: "daemon_mismatch";
+        store_refused: "store_refused";
         internal: "internal";
     }>>;
     expect: z.ZodOptional<z.ZodEnum<{
         kept: "kept";
-        next_turn: "next_turn";
         wake: "wake";
+        next_turn: "next_turn";
         next_prompt: "next_prompt";
         on_read: "on_read";
         offline: "offline";
     }>>;
 }, z.core.$strip>;
 export type SendResult = z.infer<typeof SendResult>;
-/** A place in a conversation page (`conv.read`): an entry's time and id. */
-export declare const ConvCursor: z.ZodObject<{
-    at: z.ZodNumber;
-    id: z.ZodString;
-}, z.core.$strict>;
-export type ConvCursor = z.infer<typeof ConvCursor>;
-/**
- * One entry of a conversation between a local session and one other session (spec §8.2
- * `conv.read`): mail either way, or a task either way. `text` is untrusted peer text for incoming
- * mail and for a task the other side asked for; clients frame it as data.
- */
-export declare const ConvEntry: z.ZodObject<{
-    id: z.ZodString;
-    kind: z.ZodEnum<{
-        task: "task";
-        mail: "mail";
-    }>;
-    direction: z.ZodEnum<{
-        out: "out";
-        in: "in";
-    }>;
-    peer: z.ZodString;
-    at: z.ZodNumber;
-    text: z.ZodOptional<z.ZodString>;
-    taskId: z.ZodOptional<z.ZodString>;
-    stage: z.ZodOptional<z.ZodEnum<{
-        accepted: "accepted";
-        relayed: "relayed";
-        delivered: "delivered";
-        held: "held";
-        handed_to_agent: "handed_to_agent";
-        read: "read";
-        replied: "replied";
-        rejected: "rejected";
-        expired: "expired";
-    }>>;
-    role: z.ZodOptional<z.ZodEnum<{
-        requester: "requester";
-        executor: "executor";
-    }>>;
-    state: z.ZodOptional<z.ZodEnum<{
-        TASK_STATE_SUBMITTED: "TASK_STATE_SUBMITTED";
-        TASK_STATE_WORKING: "TASK_STATE_WORKING";
-        TASK_STATE_COMPLETED: "TASK_STATE_COMPLETED";
-        TASK_STATE_FAILED: "TASK_STATE_FAILED";
-        TASK_STATE_CANCELED: "TASK_STATE_CANCELED";
-        TASK_STATE_INPUT_REQUIRED: "TASK_STATE_INPUT_REQUIRED";
-        TASK_STATE_REJECTED: "TASK_STATE_REJECTED";
-        TASK_STATE_AUTH_REQUIRED: "TASK_STATE_AUTH_REQUIRED";
-    }>>;
-}, z.core.$strip>;
-export type ConvEntry = z.infer<typeof ConvEntry>;