@volter/supercode-orchestrator 0.5.108 → 0.5.109

package/board/dispatch.mjs

@@ -1010,9 +1010,15 @@ export async function closeRequested(board, report, { taskId = null, caller = nu
       (report.closed ??= []).push({ task_id: row.task_id, ...session, released: true });
       continue;
     }
-    // A close that failed for a reason another attempt cannot change is tried once and raised as an incident, not tried
-    // every round (each attempt is a process). A deferred close (an offline machine, a run that still owns the pane) waits.
-    if (session.close_failed_at && session.close_error && !/^close deferred/.test(session.close_error)) continue;
+    // A final refusal stops further close attempts. Only an authorized observation of this exact pane may establish
+    // absence: panes.list can be filtered or carry missing context keys. Unknown/invisible keeps the original failure.
+    const finalFailure = Boolean(session.close_failed_at && session.close_error && !/^close deferred/.test(session.close_error));
+    if (finalFailure) {
+      if (!session.pane) continue;
+      const r = await doorOn(session.machine ?? localMachine(), 'harness.v1.panes.presence', { pane: session.pane }, { timeout: 10_000, as: boardAddress(board.label) });
+      const observed = r.code === 0 ? json(r.stdout.trim(), null) : null;
+      if (observed?.pane !== session.pane || observed.present !== false) continue;
+    }
     const active = view(board, (db) => db.prepare(`SELECT r.id, r.metadata FROM task_runs r WHERE r.ended_at IS NULL OR EXISTS (SELECT 1 FROM tasks t WHERE t.current_run_id = r.id)`).all());
     // Persist retries even for historical ends that did not have a close_session action. The close is claimed in the
     // same transaction, before the pane or process is touched: of two rounds (or a round and a verb) that read one close,
@@ -1039,7 +1045,7 @@ export async function closeRequested(board, report, { taskId = null, caller = nu
           if (row.ended_at) { const inTurn = await turnAtClose(session); if (inTurn) throw new Error(`close deferred: ${inTurn}`); }
           await stopSession(board, session);
         }
-      } else {
+      } else if (!finalFailure) {
       if (!panes.has(machine)) {
         const r = await doorOn(machine, 'harness.v1.panes.list',{}, { timeout: 60_000, as: boardAddress(board.label) });
         const list = r.code === 0 ? json(r.stdout.trim(), null) : null;
@@ -1088,7 +1094,8 @@ export async function closeRequested(board, report, { taskId = null, caller = nu
         const subscribed = db.prepare('SELECT r.id, r.metadata FROM task_runs r WHERE r.ended_at IS NULL OR EXISTS (SELECT 1 FROM tasks t WHERE t.current_run_id = r.id)').all()
           .some((r) => addressOf(json(r.metadata, {})?.supercode) === address && r.id !== row.id);
         const unsubscribed = subscribed ? 0 : db.prepare("DELETE FROM kanban_notify_subs WHERE platform = 'supercode' AND chat_id = ? AND (task_id = ? OR json_extract(delivery_metadata, '$.role') = 'worker')").run(address, row.task_id).changes;
-        event(db, row.task_id, 'session_closed', { session_id: session.session_id, pane: session.pane, machine: session.machine, unsubscribed }, row.id);
+        event(db, row.task_id, 'session_closed', { session_id: session.session_id, pane: session.pane, machine: session.machine, unsubscribed,
+          ...(finalFailure ? { reason: 'authorized pane presence observed absence after an earlier close refusal' } : {}) }, row.id);
       }
     });
     if (error) report.undelivered.push([row.task_id, addressOf(session), error, 'close']);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@volter/supercode-orchestrator",
-  "version": "0.5.108",
+  "version": "0.5.109",
   "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": {