@volter/supercode-orchestrator 0.5.145 → 0.5.147

package/board/dispatch.mjs

@@ -2626,6 +2626,12 @@ function sessionRecord(db) {
   return { held, latest };
 }
 
+/**
+ * Whether the board's own record says the session at `address` has ended: the latest run that names it closed or
+ * released it, and no unended or current run works in it. An agent's address, or a session no run names, is never one.
+ */
+const recordedEnded = ({ held, latest }, address) => Boolean(sessionAt(address)) && !held.has(address) && Boolean(latest.get(address)?.session.close_confirmed_at);
+
 /**
  * The worker subscriptions of sessions that have ended, removed in one transaction, with one notice_unsubscribed event
  * per session naming its cards. A session has ended when no unended or current run works in it, the fleet does not list
@@ -2669,10 +2675,13 @@ async function endWorkerSubscriptions(board, fleet, report) {
  * Each subscriber's notices, filed in its mailbox (D138 step 6, D140): the dispatcher's job ends at the filing, a local
  * write under the notice's fixed key; the mailbox delivers it to the session, on this machine or through Teams on
  * another. Each subscription's notices go in order, and its cursor moves past a notice once it is filed (or passed
- * over); a filing that failed here leaves the cursor before it, and the next pass files it.
+ * over); a filing that failed here leaves the cursor before it, and the next pass files it. A session the board's own
+ * record says has ended (recordedEnded) is filed nothing, in any role, until it is read running again: its cursor
+ * stays, so a session resumed later is told what it missed. A pass with no fleet reading files it nothing either.
  */
 async function notify(board, fleet, report, entry) {
   await endWorkerSubscriptions(board, fleet, report);
+  const record = view(board, (db) => sessionRecord(db));
   for (const sub of subscriptions(board.db).filter((s) => s.platform === 'supercode')) {
     if (stopping) break;
     if (sub.delivery_metadata?.dependent_card && sub.delivery_metadata.waiting_recipient) continue;
@@ -2680,12 +2689,13 @@ async function notify(board, fleet, report, entry) {
     // a session the fleet does not list this pass is told next pass: one reading is not a loss (a loaded box drops
     // sessions from a read, and a dropped subscription never came back), and a session that is replaced on its card
     // has its subscription moved when the new one starts
-    if (role !== 'creator' && fleet.ok) {
+    const ended = recordedEnded(record, sub.chat_id);
+    if ((role !== 'creator' || ended) && fleet.ok) {
       const alive = await subscriberAlive(fleet, sub.chat_id);
       if (alive === false) continue;
       // unknown is not absent: its notices wait, and the wait is said, until its liveness can be read
       if (alive === null) { report.undelivered.push([sub.task_id, sub.chat_id, 'its liveness could not be read; its notices wait until it can be']); continue; }
-    }
+    } else if (ended) continue; // no fleet reading: nothing is filed unread to a session recorded as ended
     const kinds = heardBy(entry, role);
     if (!kinds.length) continue;
     const events = board.db.prepare(`SELECT id, kind, payload, created_at, run_id FROM task_events WHERE task_id = ? AND id > ? AND kind IN (${kinds.map(() => '?').join(', ')}) ORDER BY id`)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@volter/supercode-orchestrator",
-  "version": "0.5.145",
+  "version": "0.5.147",
   "type": "module",
   "description": "The orchestrator runtime over the Volter Harness ontology: one typed operational model whose folder is its serialization, read and written through the harness orchestration doors (docs/ORCHESTRATOR-IR.md)",
   "exports": {
@@ -25,7 +25,7 @@
   },
   "dependencies": {
     "@volter/supercode-harness-sdk": "^0.3.91",
-    "@volter/teams": "0.2.59",
+    "@volter/teams": "0.2.60",
     "@volter/ztrack": "^2.4.23",
     "yaml": "^2.9.0"
   },