@staix/agent-hub 0.6.4 → 0.7.0

package/src/hub/bus.ts

@@ -1,5 +1,12 @@
 import { DIGEST, HUB, MAX_HOP, newEnvelope, parseMarker, replyAudience, type Envelope, type EnvelopeOpts, type PeerId, type PeerState, type Priority } from "./envelope.ts";
 import type { PeerAdapter } from "./peers.ts";
+import { DeliveryJournal, type JournalDelivery, type JournalDeliveryState } from "./delivery-journal.ts";
+
+export interface DeliveryReceipt {
+  id: string;
+  state: "accepted" | "completed" | "failed_safe" | "needs_review";
+  reason?: string;
+}
 
 export type BusEvent =
   | { t: "envelope"; env: Envelope; dropped?: "hop" | "fyi" }
@@ -16,6 +23,7 @@ export interface BusOptions {
   queueCap: number;
   /** Optional: rewrite a delivery before it goes out (M6 digest condensation). Must return its input on any failure. */
   condense?: (envs: Envelope[]) => Promise<Envelope[]>;
+  journal?: DeliveryJournal;
 }
 
 /** Serializable delivery state used by the controlled restart coordinator. Bodies stay in the private daemon file. */
@@ -26,6 +34,8 @@ export interface BusSnapshot {
   seen: Envelope[];
   attempts: Record<string, number>;
   withdrawn: string[];
+  manualPaused?: string[];
+  journal?: ReturnType<DeliveryJournal["snapshot"]>;
 }
 
 export const DEFAULT_BUS: BusOptions = { retryMs: 1000, batchMax: 3, batchMs: 15_000, queueCap: 200 };
@@ -63,9 +73,11 @@ const DIGEST_MAX = 10;
 export class Bus {
   readonly peers = new Map<PeerId, PeerAdapter>();
   private readonly opts: BusOptions;
+  private readonly journal?: DeliveryJournal;
   private readonly queues = new Map<PeerId, Envelope[]>();
   private readonly prefaces = new Map<PeerId, Envelope>();
   private readonly paused = new Set<PeerId>();
+  private readonly manualPaused = new Set<PeerId>();
   private readonly timers = new Map<PeerId, ReturnType<typeof setTimeout>>();
   private readonly draining = new Set<PeerId>();
   private readonly seen = new Map<string, Envelope>();
@@ -74,6 +86,11 @@ export class Bus {
   /** What each peer was last handed, next to what it stands for: an adapter that reports a failure later hands back the former. */
   private readonly lastDelivery = new Map<PeerId, { out: Envelope[]; originals: Envelope[] }>();
   private readonly attempts = new Map<string, number>(); // `${peer}:${envelope id}` -> failed deliveries
+  /** Correlates each native receipt independently; a peer can have a steer and a delivery in flight. */
+  private readonly activeDeliveries = new Map<string, PeerId>();
+  private readonly pendingOutcomes: Omit<JournalDelivery, "revision" | "updatedAt">[] = [];
+  private suppressDrain = false;
+  private readonly recoveryHeldPeers = new Set<PeerId>();
   /**
    * The queue lengths changed. `publish` emits its envelope event *before* it enqueues, and a delivery emits
    * nothing at all, so anything that renders `queued` off a bus event records the count from before the change
@@ -83,14 +100,27 @@ export class Bus {
   private recoveryHeld = false;
   private steering = 0;
   private condensing = 0;
+  private closed = false;
+  storageError?: string;
 
   constructor(opts: Partial<BusOptions> = {}) {
     this.opts = { ...DEFAULT_BUS, ...opts };
+    this.journal = opts.journal;
+    if (this.journal) {
+      const state = this.journal.snapshot();
+      const bus = state.bus as BusSnapshot;
+      if (state.revision > 0 && bus && bus.schemaVersion === 1) this.loadSnapshot(bus);
+      for (const id of state.manualPaused) { this.manualPaused.add(id); this.paused.add(id); }
+      for (const row of this.journal.list()) {
+        if (row.state === "needs_review" || row.state === "dispatching" || row.state === "accepted") this.recoveryHeldPeers.add(row.peer);
+      }
+    }
   }
 
   add(peer: PeerAdapter): void {
     this.peers.set(peer.id, peer);
     if (!this.queues.has(peer.id)) this.queues.set(peer.id, []);
+    peer.onDelivery = (receipt) => this.deliveryReceipt(peer.id, receipt);
     peer.onMessage = (text, opts) => {
       const { priority, body } = parseMarker(text);
       if (!body) return;
@@ -109,14 +139,51 @@ export class Bus {
       // The adapter got the condensed list; what has to come back is what that list replaced.
       const last = this.lastDelivery.get(peer.id);
       const same = !!last && envs.length === last.out.length && envs.every((e, i) => e.id === last.out[i]!.id);
-      this.failed(peer.id, same ? last.originals : envs);
+      if (this.journal) {
+        for (const [deliveryId, owner] of this.activeDeliveries) {
+          if (owner !== peer.id) continue;
+          const row = this.journal.get(deliveryId);
+          if (row && row.originals.some((e) => envs.some((incoming) => incoming.id === e.id))) {
+            this.journal.transition(deliveryId, "needs_review", "adapter reported delivery failure without safe-failure evidence");
+            this.activeDeliveries.delete(deliveryId);
+          }
+        }
+      } else this.failed(peer.id, same ? last.originals : envs);
     };
     peer.onState = () => {
+      if (this.closed) return;
+      if (this.peers.get(peer.id) !== peer) return;
+      if (peer.state === "offline" && this.journal) {
+        for (const [id, owner] of [...this.activeDeliveries]) if (owner === peer.id) this.uncertain(peer.id, id, "peer disconnected before delivery settlement");
+      }
       this.emit({ t: "state", peer: peer.id, state: this.stateOf(peer.id) });
       void this.drain(peer.id);
     };
   }
 
+  private persist(): void {
+    if (!this.journal) return;
+    try {
+      this.journal.transaction(() => {
+        for (const outcome of this.pendingOutcomes) this.journal!.createDelivery(outcome);
+        this.journal!.persistBus(this.snapshotWithoutJournal(), [...this.manualPaused]);
+      });
+      this.pendingOutcomes.length = 0;
+      this.storageError = undefined;
+    }
+    catch { this.storageError = "delivery journal unavailable"; throw new Error("delivery journal unavailable"); }
+  }
+
+  private durableHandoff(peer: PeerId, deliveryId: string, originals: Envelope[], out: Envelope[]): void {
+    if (!this.journal) return;
+    const delivery = { id: deliveryId, peer, state: "dispatching" as const, createdAt: Date.now(), originals, out };
+    this.journal.checkpointDelivery(this.snapshotWithoutJournal(), delivery);
+  }
+
+  private snapshotWithoutJournal(): BusSnapshot {
+    return this.snapshot(false);
+  }
+
   /** Stop new deliveries while a coordinator takes a stable snapshot. Existing adapter turns are left alone. */
   setRecoveryHold(held: boolean): void {
     this.recoveryHeld = held;
@@ -134,20 +201,35 @@ export class Bus {
   }
 
   /** A bounded, JSON-safe representation of queued work and retry/dedupe state. */
-  snapshot(): BusSnapshot {
-    return {
+  snapshot(includeJournal = true): BusSnapshot {
+    const out: BusSnapshot = {
       schemaVersion: 1,
       queues: Object.fromEntries([...this.queues].map(([id, queue]) => [id, queue.map((e) => ({ ...e, ...(e.to ? { to: [...e.to] } : {}) }))])),
       prefaces: Object.fromEntries([...this.prefaces].map(([id, e]) => [id, { ...e, ...(e.to ? { to: [...e.to] } : {}) }])),
       seen: [...this.seen.values()].map((e) => ({ ...e, ...(e.to ? { to: [...e.to] } : {}) })),
       attempts: Object.fromEntries(this.attempts),
       withdrawn: [...this.withdrawn],
+      manualPaused: [...this.manualPaused],
     };
+    if (includeJournal && this.journal) out.journal = this.journal.snapshot();
+    return out;
   }
 
   /** Restore state before peers attach. Queues remain held until the coordinator calls setRecoveryHold(false). */
-  restore(snapshot: BusSnapshot): void {
+  restore(snapshot: BusSnapshot, _operationId?: string): void {
     if (snapshot.schemaVersion !== 1) throw new Error("unsupported bus recovery snapshot");
+    if (_operationId && this.journal) {
+      const current = this.journal.snapshot();
+      if (current.revision === 0) {
+        this.journal.importSnapshot(snapshot.journal ?? { schemaVersion: 1, revision: 1, instanceId: this.journal.instanceId, bus: snapshot, deliveries: [], manualPaused: snapshot.manualPaused ?? [] }, _operationId);
+      }
+      snapshot = this.journal.snapshot().bus;
+    }
+    this.loadSnapshot(snapshot);
+    this.persist();
+  }
+
+  private loadSnapshot(snapshot: BusSnapshot): void {
     this.queues.clear();
     for (const [id, queue] of Object.entries(snapshot.queues ?? {})) this.queues.set(id, queue.map((e) => ({ ...e, ...(e.to ? { to: [...e.to] } : {}) })));
     this.prefaces.clear();
@@ -158,6 +240,122 @@ export class Bus {
     for (const [key, n] of Object.entries(snapshot.attempts ?? {})) if (Number.isInteger(n) && n > 0) this.attempts.set(key, n);
     this.withdrawn.clear();
     for (const id of snapshot.withdrawn ?? []) this.withdrawn.add(id);
+    if (snapshot.manualPaused) { this.manualPaused.clear(); this.paused.clear(); for (const id of snapshot.manualPaused) { this.manualPaused.add(id); this.paused.add(id); } }
+  }
+
+  knownPeers(): string[] {
+    const pending = this.storageError ? [] : this.journal?.list().filter((row) => ["queued", "dispatching", "accepted", "needs_review"].includes(row.state)).map((row) => row.peer) ?? [];
+    return [...new Set([...this.peers.keys(), ...[...this.queues].filter(([, queue]) => queue.length).map(([id]) => id), ...pending])].sort();
+  }
+
+  queueList(peer?: string): JournalDelivery[] {
+    if (this.journal) {
+      const rows = this.journal.list(peer).filter((row) => !row.reason?.startsWith("grouped into delivery "));
+      const revision = this.journal.snapshot().revision;
+      const recorded = new Set(rows.filter((r) => ["queued", "dispatching", "accepted", "needs_review"].includes(r.state)).flatMap((r) => (r.originals as Envelope[]).map((e) => `${r.peer}:${e.id}`)));
+      const ids = peer ? [peer] : [...this.queues.keys()];
+      for (const p of ids) for (const e of this.queues.get(p) ?? []) if (!recorded.has(`${p}:${e.id}`)) rows.push({ id: `q:${p}:${e.id}`, peer: p, state: "queued", revision, createdAt: e.ts, updatedAt: e.ts, originals: [e], out: [e] });
+      return rows.sort((a, b) => a.createdAt - b.createdAt || a.id.localeCompare(b.id));
+    }
+    const ids = peer ? [peer] : [...this.queues.keys()];
+    return ids.flatMap((p) => (this.queues.get(p) ?? []).map((e) => ({ id: e.id, peer: p, state: "queued" as const, revision: 0, createdAt: e.ts, updatedAt: e.ts, originals: [e], out: [e] })));
+  }
+
+  queueShow(id: string): JournalDelivery | undefined { return this.journal?.get(id) ?? this.queueList().find((d) => d.id === id); }
+
+  resolveDelivery(id: string, revision: number, action: "completed" | "retry" | "discard", reason: string): void {
+    if (!this.journal || this.storageError) throw new Error("delivery journal unavailable");
+    const record = this.queueShow(id);
+    if (!record) throw new Error("unknown delivery");
+    const previous = this.journal.resolution(id);
+    if (previous) {
+      this.journal.resolve(id, revision, action, reason); // verifies identical request; no second enqueue
+      return;
+    }
+    if (["dispatching", "accepted"].includes(record.state) || this.peers.get(record.peer)?.state === "busy") throw new Error("active delivery cannot be resolved");
+    if (record.revision !== revision) throw new Error("stale delivery revision");
+    if (record.state === "queued" && action === "retry") throw new Error("queued delivery is already scheduled");
+    if (action === "retry" && (this.queues.get(record.peer)?.length ?? 0) + record.originals.length > this.opts.queueCap) throw new Error("recipient queue is full");
+    const before = this.snapshotWithoutJournal();
+    try {
+      this.journal.transaction(() => {
+        if (!this.journal!.get(id)) this.journal!.createDelivery({ ...record });
+        const current = this.journal!.get(id)!;
+        this.journal!.resolve(id, current.revision, action, reason, revision);
+        if (record.state === "queued") {
+          const ids = new Set(record.originals.map((env) => env.id));
+          this.queues.set(record.peer, (this.queues.get(record.peer) ?? []).filter((env) => !ids.has(env.id)));
+        }
+        if (action === "retry") {
+          const queue = this.queues.get(record.peer) ?? [];
+          for (const env of record.originals) {
+            if (env.from === HUB && env.kind === "presence") this.prefaces.set(record.peer, env);
+            else if (!queue.some((old) => old.id === env.id)) queue.push(env);
+          }
+          this.queues.set(record.peer, queue);
+        }
+        this.persist();
+      });
+    } catch (error) { this.loadSnapshot(before); throw error; }
+    this.refreshRecoveryHold(record.peer);
+    this.onQueues?.();
+    void this.drain(record.peer);
+  }
+
+  queueSummary(peer: string): { needsReview: number; oldestQueuedAt?: number } {
+    const rows = this.storageError ? [] : this.queueList(peer);
+    const queued = this.queues.get(peer) ?? [];
+    const needsReview = rows.filter((r) => r.state === "needs_review").length;
+    const oldest = queued.reduce<number | undefined>((a, r) => a === undefined ? r.ts : Math.min(a, r.ts), undefined);
+    return oldest === undefined ? { needsReview } : { needsReview, oldestQueuedAt: oldest };
+  }
+
+  manualPausedPeers(): string[] { return [...this.manualPaused].sort(); }
+  setManualPaused(ids: string[]): void { this.manualPaused.clear(); for (const id of ids) this.manualPaused.add(id); this.persist(); }
+  closeJournal(): void {
+    this.closed = true;
+    this.recoveryHeld = true;
+    for (const timer of this.timers.values()) clearTimeout(timer);
+    this.journal?.close();
+  }
+
+  deliveryReceipt(peer: PeerId, receipt: DeliveryReceipt): void {
+    if (this.closed) return;
+    const owner = this.activeDeliveries.get(receipt.id);
+    if (!owner || owner !== peer || !this.journal) return;
+    const id = receipt.id;
+    const before = this.journal.get(id);
+    const state: JournalDeliveryState = receipt.state === "accepted" ? "accepted" : receipt.state === "completed" ? "completed" : receipt.state === "failed_safe" ? "failed" : "needs_review";
+    this.journal.transition(id, state, receipt.reason);
+    if (state === "failed") {
+      if (before) this.failed(peer, before.originals);
+    }
+    if (state === "completed" || state === "failed" || state === "needs_review") this.activeDeliveries.delete(id);
+    if (state === "completed" || state === "failed") { this.refreshRecoveryHold(peer); void this.drain(peer); }
+    if (state === "needs_review") this.recoveryHeldPeers.add(peer);
+    this.onQueues?.();
+  }
+
+  private refreshRecoveryHold(peer: PeerId): void {
+    if (!this.journal) return;
+    const blocked = this.journal.list(peer).some((r) => r.state === "needs_review" || r.state === "dispatching" || r.state === "accepted");
+    if (blocked) this.recoveryHeldPeers.add(peer); else this.recoveryHeldPeers.delete(peer);
+  }
+
+  completeReply(peer: PeerId, envelopeId: string): void {
+    if (!this.journal) return;
+    for (const [id, owner] of this.activeDeliveries) {
+      if (owner !== peer) continue;
+      const row = this.journal.get(id);
+      if (row?.out.some((e) => e.id === envelopeId)) {
+        this.journal.transition(id, "completed", "correlated reply");
+        this.activeDeliveries.delete(id);
+        this.refreshRecoveryHold(peer);
+        this.onQueues?.();
+        void this.drain(peer);
+        break;
+      }
+    }
   }
 
   queueIds(id: PeerId): string[] {
@@ -181,11 +379,13 @@ export class Bus {
 
   pause(id: PeerId): void {
     this.paused.add(id);
+    this.persist();
     this.emit({ t: "state", peer: id, state: this.stateOf(id) });
   }
 
   resume(id: PeerId): void {
     if (!this.paused.delete(id)) return;
+    this.persist();
     this.emit({ t: "state", peer: id, state: this.stateOf(id) });
     void this.drain(id);
   }
@@ -197,13 +397,16 @@ export class Bus {
       // Recovery and session recall may both contribute context. Keep the original id/hop so a queued
       // preface remains deduplicated and append the new, separately generated context.
       this.prefaces.set(id, { ...existing, body: `${existing.body}\n\n${body}` });
+      this.persist();
       return;
     }
     this.prefaces.set(id, newEnvelope(HUB, body, { to: [id], kind: "presence" }));
+    this.persist();
   }
 
   /** Returns the peers the envelope was queued for. */
   publish(env: Envelope): PeerId[] {
+    if (this.storageError) throw new Error("delivery journal unavailable");
     if (this.seen.has(env.id)) return [];
     this.seen.set(env.id, env);
     if (this.seen.size > SEEN_CAP) this.seen.delete(this.seen.keys().next().value as string);
@@ -211,16 +414,36 @@ export class Bus {
     // fyi is for the record (console now, task board from M4), never worth an agent's turn.
     const dropped = env.hop > MAX_HOP ? "hop" : env.priority === "fyi" ? "fyi" : undefined;
     this.emit({ t: "envelope", env, ...(dropped ? { dropped } : {}) });
-    if (dropped) return [];
-
-    const targets = (env.to ?? [...this.peers.keys()]).filter((id) => id !== env.from && this.peers.has(id));
-    for (const id of targets) {
-      const peer = this.peers.get(id)!;
-      if (!this.recoveryHeld && env.priority === "important" && peer.steer && this.stateOf(id) === "busy") {
+    if (dropped) { this.persist(); return []; }
+
+    const known = new Set([...this.peers.keys(), ...this.queues.keys(), ...(this.journal?.list().map((d) => d.peer) ?? [])]);
+    const targets = (env.to ?? [...this.peers.keys()]).filter((id) => id !== env.from && known.has(id));
+    this.suppressDrain = !!this.journal;
+    try { for (const id of targets) {
+      const peer = this.peers.get(id);
+      if (!peer) { this.enqueue(id, env); continue; }
+      if (!this.journal && !this.recoveryHeld && !this.recoveryHeldPeers.has(id) && env.priority === "important" && peer.steer && this.stateOf(id) === "busy") {
         // Not queued while the steer is in flight, or an idle transition would deliver it a second time.
         this.steering++;
-        peer.steer([env]).catch(() => this.enqueue(id, env, true)).finally(() => { this.steering--; });
+        const deliveryId = crypto.randomUUID();
+        this.activeDeliveries.set(deliveryId, id);
+        if (this.journal) this.durableHandoff(id, deliveryId, [env], [env]);
+        const steerResult = this.journal ? peer.steer([env], deliveryId) : peer.steer([env]);
+        steerResult.then(() => {}).catch(() => {
+          if (this.journal) this.journal.transition(deliveryId, "needs_review", "adapter steering outcome is uncertain");
+          this.activeDeliveries.delete(deliveryId);
+          if (!this.journal) this.enqueue(id, env, true);
+        }).finally(() => { this.steering--; });
       } else this.enqueue(id, env);
+    } } finally { this.suppressDrain = false; }
+    if (this.journal) {
+      this.persist();
+      this.onQueues?.();
+      for (const id of targets) {
+        const peer = this.peers.get(id);
+        if (!this.recoveryHeld && !this.recoveryHeldPeers.has(id) && env.priority === "important" && peer?.steer && this.stateOf(id) === "busy") void this.steerQueued(id, env);
+        else void this.drain(id);
+      }
     }
     return targets;
   }
@@ -244,6 +467,7 @@ export class Bus {
       if (i !== -1) removed = queue.splice(i, 1).length > 0;
     }
     if (removed) this.onQueues?.();
+    this.persist();
     return removed;
   }
 
@@ -262,16 +486,19 @@ export class Bus {
 
   private enqueue(id: PeerId, env: Envelope, front = false): void {
     if (this.withdrawn.has(env.id)) return;
-    const queue = this.queues.get(id)!;
+    const queue = this.queues.get(id) ?? [];
+    this.queues.set(id, queue);
     if (front) queue.unshift(env);
     else queue.push(env);
     if (queue.length > this.opts.queueCap) {
       const victim = queue.findIndex((e) => e.priority !== "important");
       const [lost] = queue.splice(victim === -1 ? 0 : victim, 1);
+      if (this.journal) this.pendingOutcomes.push({ id: crypto.randomUUID(), peer: id, state: "failed", createdAt: Date.now(), originals: [lost!], out: [], reason: "queue capacity exceeded" });
       this.emit({ t: "overflow", env: lost!, peer: id });
     }
     this.onQueues?.();
-    void this.drain(id);
+    if (!this.suppressDrain) this.persist();
+    if (!this.suppressDrain) void this.drain(id);
   }
 
   /** 0 = deliver now; otherwise how long the oldest envelope still has to wait for company. */
@@ -280,56 +507,80 @@ export class Bus {
     return Math.max(0, queue[0]!.ts + this.opts.batchMs - Date.now());
   }
 
+  private uncertain(peer: PeerId, deliveryId: string, reason: string): void {
+    const row = this.journal?.get(deliveryId);
+    if (row && ["dispatching", "accepted"].includes(row.state)) this.deliveryReceipt(peer, { id: deliveryId, state: "needs_review", reason });
+  }
+
+  private async steerQueued(id: PeerId, env: Envelope): Promise<void> {
+    const peer = this.peers.get(id);
+    const queue = this.queues.get(id);
+    if (!this.journal || !peer?.steer || !queue || this.storageError) return;
+    const index = queue.findIndex((item) => item.id === env.id);
+    if (index < 0) return;
+    this.steering++;
+    const deliveryId = crypto.randomUUID();
+    try {
+      queue.splice(index, 1);
+      this.durableHandoff(id, deliveryId, [env], [env]);
+      this.activeDeliveries.set(deliveryId, id);
+      try { await peer.steer([env], deliveryId); }
+      catch { this.uncertain(id, deliveryId, "steering outcome is uncertain"); }
+    } catch { this.storageError = "delivery journal unavailable"; }
+    finally { this.steering--; this.onQueues?.(); }
+  }
+
   private async drain(id: PeerId): Promise<void> {
-    if (this.draining.has(id)) return;
+    if (this.storageError || this.draining.has(id) || !this.peers.has(id)) return;
     this.draining.add(id);
     try {
       const peer = this.peers.get(id)!;
       const queue = this.queues.get(id)!;
-      while (!this.recoveryHeld && queue.length && this.stateOf(id) === "idle") {
-        const wait = this.wait(queue);
-        if (wait > 0) {
-          this.arm(id, wait);
-          break;
-        }
+      while (!this.storageError && !this.recoveryHeld && !this.recoveryHeldPeers.has(id) && queue.length && this.stateOf(id) === "idle") {
+        const delay = this.wait(queue);
+        if (delay > 0) { this.arm(id, delay); break; }
         const preface = this.prefaces.get(id);
-        this.prefaces.delete(id);
-        const batch = this.take(id, queue);
+        // Durable queues retain the batch while asynchronous condensation runs. Another publish
+        // may checkpoint during that wait; it must not checkpoint the batch out of existence.
+        if (!this.journal) this.prefaces.delete(id);
+        const batch = this.take(id, queue, !this.journal);
         const delivery = preface ? [preface, ...batch] : batch;
-        // What goes out may be condensed; what comes back on failure is always the originals. An important envelope
-        // is why the queue became ready, so it never waits on a model call.
         const mayCondense = this.opts.condense && !delivery.some((e) => e.priority === "important");
         this.condensing += mayCondense ? 1 : 0;
         const out = mayCondense ? await this.opts.condense!(delivery).catch(() => delivery) : delivery;
         this.condensing -= mayCondense ? 1 : 0;
-        if (this.recoveryHeld || (mayCondense && this.stateOf(id) !== "idle")) {
-          // The peer got busy while the delivery was prepared. Nothing was attempted: back to the head of the queue,
-          // without counting against the envelopes.
-          if (preface) this.prefaces.set(id, preface);
-          queue.unshift(...batch.filter((e) => !this.withdrawn.has(e.id)));
+        if (this.recoveryHeld || this.recoveryHeldPeers.has(id) || this.stateOf(id) !== "idle") {
+          if (!this.journal) { if (preface) this.prefaces.set(id, preface); queue.unshift(...batch.filter((e) => !this.withdrawn.has(e.id))); }
           break;
         }
-        // A reply may name any item of `out` as its parent (Claude's reply_to): the digest has to be resolvable too.
+        if (this.journal) {
+          if (this.prefaces.get(id) !== preface || batch.some((e) => !queue.some((item) => item.id === e.id))) continue;
+          for (const env of batch) queue.splice(queue.findIndex((item) => item.id === env.id), 1);
+          this.prefaces.delete(id);
+        }
         for (const e of out) if (!this.seen.has(e.id)) this.seen.set(e.id, e);
+        while (this.seen.size > SEEN_CAP) this.seen.delete(this.seen.keys().next().value as string);
         this.lastDelivery.set(id, { out, originals: delivery });
+        const deliveryId = crypto.randomUUID();
+        if (this.journal) { this.durableHandoff(id, deliveryId, delivery, out); this.activeDeliveries.set(deliveryId, id); }
         try {
-          await peer.deliver(out);
+          if (this.journal) await peer.deliver(out, deliveryId);
+          else await peer.deliver(out);
         } catch {
-          this.failed(id, delivery);
+          if (this.journal) this.uncertain(id, deliveryId, "adapter delivery outcome is uncertain");
+          else this.failed(id, delivery);
           break;
         }
       }
-    } finally {
-      this.draining.delete(id);
-      this.onQueues?.();
-    }
+    } catch { this.storageError = "delivery journal unavailable"; }
+    finally { this.draining.delete(id); this.onQueues?.(); }
   }
 
   /**
    * The next delivery: important envelopes first (they are why the queue is ready), then the rest in order.
    * An envelope that already failed once goes alone, so a poison one cannot take a digest down with it.
    */
-  private take(id: PeerId, queue: Envelope[]): Envelope[] {
+  private take(id: PeerId, queue: Envelope[], remove = true): Envelope[] {
     const ordered = [...queue.filter((e) => e.priority === "important"), ...queue.filter((e) => e.priority !== "important")];
     const batch: Envelope[] = [];
     for (const env of ordered) {
@@ -338,7 +589,7 @@ export class Bus {
       batch.push(env);
       if (failedBefore || batch.length === DIGEST_MAX) break;
     }
-    for (const env of batch) queue.splice(queue.indexOf(env), 1);
+    if (remove) for (const env of batch) queue.splice(queue.indexOf(env), 1);
     return batch;
   }
 
@@ -365,6 +616,7 @@ export class Bus {
       return false;
     });
     this.queues.get(id)!.unshift(...keep);
+    this.persist();
     // The idle transition caused by the failure itself may have been swallowed by the `draining` guard.
     this.arm(id, this.opts.retryMs);
   }

package/src/hub/control-client.ts

@@ -6,8 +6,10 @@ export function stateDirFor(cwd: string): string {
   return projectContext(cwd).stateDir;
 }
 
-/** Control WS wire version. 2 = `deliver` carries `envs` (digests); 3 = `tools` role and task messages; 4 = budget messages and `hub_checkpoint`; 5 = `ask`; 6 = console-only `ui` session bootstrap; 8 = controlled recovery; 9 = Pi bridge metadata. The plugin is installed apart from the daemon, so they can drift. */
-export const PROTOCOL = 9; // controlled restart/recovery plus the Pi bridge contract
+/** Control WS wire version. 2 = `deliver` carries `envs` (digests); 3 = `tools` role and task messages; 4 = budget messages and `hub_checkpoint`; 5 = `ask`; 6 = console-only `ui` session bootstrap; 8 = controlled recovery; 9 = Pi bridge metadata; 10 = durable delivery receipts. The plugin is installed apart from the daemon, so they can drift. */
+export const PROTOCOL = 10;
+/** Protocols a current coordinator may authenticate while upgrading a running source. */
+export const RECOVERY_SOURCE_PROTOCOLS = [9, PROTOCOL] as const;
 
 export interface Hello {
   /** `tools`: acts for `peer` (task tools, hub_send) without being a delivery target: the MCP server Kimi and Codex run. */
@@ -53,7 +55,7 @@ export class ControlClient {
 
   /** `protocol` is used only by the upgrade coordinator for an authenticated, explicitly supported source contract. */
   static connect(stateDir: string, hello: Hello, timeoutMs = 3000, protocol = PROTOCOL): Promise<ControlClient> {
-    if (protocol !== 8 && protocol !== PROTOCOL) return Promise.reject(new Error(`unsupported recovery source protocol ${protocol}`));
+    if (!RECOVERY_SOURCE_PROTOCOLS.includes(protocol as (typeof RECOVERY_SOURCE_PROTOCOLS)[number])) return Promise.reject(new Error(`unsupported recovery source protocol ${protocol}`));
     const control = readControl(stateDir);
     if (!control) return Promise.reject(new Error(`no hub running for ${stateDir} (run: ahub up)`));
     if (control.protocol !== undefined && control.protocol !== protocol) {