@volter/supercode-orchestrator 0.4.86 → 0.4.88

package/board/cli.mjs

@@ -449,8 +449,8 @@ export async function runWorkflow(argv) {
     case 'reassign': {
       need(2, 'a card id and a profile');
       await withBoardAsync(async (b) => {
-        const task = tx(b, (db) => engine.getTask(db, id));
-        if (task?.status === 'running' && args.reclaim) await engine.reclaim(b, id, args.reason ?? 'reassign');
+        const task = engine.getTask(b.db, id);
+        if (task?.current_run_id != null && args.reclaim) await engine.reclaim(b, id, args.reason ?? 'reassign');
         await engine.assign(b, id, rest[1] === 'none' ? null : rest[1]);
       });
       say(args, `Reassigned ${id} to ${rest[1]}`, { ok: true }); return 0;
@@ -1102,9 +1102,10 @@ function authorize(db, verb, rest, args, own) {
 
 /** Close the live sessions of a card that is not running (its worker's and its reviewers'), freeing its machine's place. */
 function closeSession(board, id) {
-  const { task, rows } = tx(board, (db) => ({ task: engine.getTask(db, id), rows: db.prepare('SELECT id, metadata FROM task_runs WHERE task_id = ? AND metadata IS NOT NULL ORDER BY id DESC').all(id) }));
+  const task = engine.getTask(board.db, id);
+  const rows = board.db.prepare('SELECT id, metadata FROM task_runs WHERE task_id = ? AND metadata IS NOT NULL ORDER BY id DESC').all(id);
   if (!task) throw new Error(`no card ${id}`);
-  if (task.status === 'running') throw new Error(`${id} is running; block, complete or reclaim it before closing its session`);
+  if (task.current_run_id != null) throw new Error(`${id} has an active run; pause, block or reclaim it before closing its session`);
   const closed = [];
   const seen = new Set();
   for (const row of rows) {

package/board/dispatch.mjs

@@ -22,7 +22,7 @@ import { basename, dirname, join } from 'node:path';
 import { randomUUID } from 'node:crypto';
 import { fileURLToPath } from 'node:url';
 import { boardPath, claimer, event, json, listBoards, logsDir, now, openBoard, setActor, tx } from './store.mjs';
-import { doors, fire, loadWorkflow, resumeOf, runSpec, transitionsFor, scopeOf, statusOf, templateValue, workflowFor } from './workflow.mjs';
+import { doors, fire, loadWorkflow, resumeOf, runSpec, refreshRelationAnswers, transitionsFor, scopeOf, statusOf, templateValue, workflowFor } from './workflow.mjs';
 import { evaluate, holds, render } from './expr.mjs';
 import {
   cardContext, claimTtl, currentRun, DEFAULT_FAILURE_LIMIT, extendClaim, getTask, lastSession,
@@ -1240,6 +1240,7 @@ export async function tick({ root, lanes, settings, only = null, slugs = null, d
       let mark = Date.now();
       const phase = (name) => { const t = Date.now(); report.ms[name] = t - mark; mark = t; };
       readMailbox(board, boardAddress(board.label), report); phase('mailbox');
+      await refreshRelationAnswers(board); phase('answers');
       const effects = [];
       supervise(board, fleet, settings, report, entry, effects); closeRequested(board, report); phase('supervise');
       report.unsettled = [];

package/board/store.mjs

@@ -214,7 +214,7 @@ export function event(db, taskId, kind, payload = null, runId = null) {
     const row = db.prepare('SELECT metadata FROM task_runs WHERE id = ?').get(runId);
     const meta = json(row?.metadata, {}) ?? {};
     if (meta.supercode?.state) {
-      meta.events = [...(meta.events ?? []), { kind, payload, by: actor, at: now() }];
+      appendRunObservation(meta, { kind, payload, by: actor, at: now() });
       db.prepare('UPDATE task_runs SET metadata = ? WHERE id = ?').run(JSON.stringify(meta), runId);
       return 0;
     }
@@ -224,3 +224,12 @@ export function event(db, taskId, kind, payload = null, runId = null) {
     .run(taskId, runId, kind, said ? JSON.stringify(said) : null, now());
   return Number(r.lastInsertRowid);
 }
+
+/** Bounded run observations; the latest value of each kind remains available to guards. */
+export function appendRunObservation(meta, observation) {
+  const latest = { ...(meta.last_events ?? {}) };
+  for (const event of meta.events ?? []) latest[event.kind] = event;
+  latest[observation.kind] = observation;
+  meta.last_events = Object.fromEntries(Object.entries(latest).sort((a, b) => b[1].at - a[1].at).slice(0, 128));
+  meta.events = [...(meta.events ?? []), observation].slice(-64);
+}

package/board/workflow.mjs

@@ -4,11 +4,12 @@
 // must hold and what happens; this module applies it to the board file and keeps no rule of its own. Its actions are
 // the engine's primitives (the rows Hermes's tables hold); the I/O an action asks for (stopping a worker, closing a
 // pane, sending a session a message, cleaning a workspace) is answered as effects the caller runs after commit.
-import { spawnSync } from 'node:child_process';
+import { spawnSync, execFile } from 'node:child_process';
+import { promisify } from 'node:util';
 import { existsSync, readFileSync, readdirSync } from 'node:fs';
 import { resolve, relative, isAbsolute } from 'node:path';
 import { randomBytes } from 'node:crypto';
-import { actorOf, event as record, json, now } from './store.mjs';
+import { actorOf, appendRunObservation, event as record, json, now } from './store.mjs';
 import { evaluate, holds, render } from './expr.mjs';
 
 const loaded = new Map();
@@ -107,15 +108,30 @@ function lastCommitAt(path, id) {
   return value;
 }
 
-/** The first answer to message `id` in its sender's mailbox (`supercode message show --replies`), as its id; or null. */
+// Mailbox I/O is prefetched by the dispatcher, outside every board write.
+const mailboxAnswers = new Map();
+const execFileAsync = promisify(execFile);
+export async function refreshRelationAnswers(board) {
+  const ids = new Set();
+  for (const row of board.db.prepare('SELECT blocked_by FROM supercode_cards').all())
+    for (const block of json(row.blocked_by, []) ?? []) if (block.kind === 'message') ids.add(block.id);
+  for (const row of board.db.prepare("SELECT e.payload FROM task_events e JOIN (SELECT task_id, MAX(id) id FROM task_events WHERE kind IN ('blocked','unblocked') GROUP BY task_id) last ON e.id=last.id JOIN tasks t ON t.id=e.task_id WHERE e.kind='blocked' AND t.status='blocked'").all()) {
+    const id = json(row.payload, {})?.waiting_on; if (id) ids.add(id);
+  }
+  const list = [...ids];
+  for (let at = 0; at < list.length; at += 4) await Promise.all(list.slice(at, at + 4).map(async (id) => {
+    try {
+      const { stdout } = await execFileAsync(process.env.SUPERCODE_BIN || 'supercode', ['message', 'show', '--replies', id, '--json'], { encoding: 'utf8', timeout: 20_000, maxBuffer: 1024 * 1024 });
+      const rows = JSON.parse(stdout);
+      if (!Array.isArray(rows)) throw new Error('message door returned no message list');
+      mailboxAnswers.set(id, { answer: rows[0]?.replies?.[0]?.id ?? null });
+    } catch (error) { mailboxAnswers.set(id, { error: `the answer to ${id} could not be read: ${error.message.slice(0, 200)}` }); }
+  }));
+}
 function answerTo(id) {
-  if (!id) return null;
-  const r = spawnSync(process.env.SUPERCODE_BIN || 'supercode', ['message', 'show', '--replies', id, '--json'], { encoding: 'utf8', timeout: 20_000 });
-  let rows = null;
-  try { rows = JSON.parse(r.stdout); } catch { /* read below */ }
-  // a door that cannot answer is said, never read as "no answer yet": a wait would silently never end
-  if (!Array.isArray(rows)) throw new Error(`the answer to ${id} could not be read (supercode message show --replies): ${(r.stderr || r.stdout || r.error?.message || `exit ${r.status}`).trim().slice(-200)}`);
-  return rows[0]?.replies?.[0]?.id ?? null;
+  const observed = mailboxAnswers.get(id);
+  if (observed?.error) throw new Error(observed.error);
+  return observed?.answer ?? null;
 }
 
 const OPEN_OUTCOME = /^(\s*[-*] )\[ \] (.+)$/;
@@ -245,7 +261,7 @@ export function scopeOf(db, board, task, { params, event = {}, extra = {} } = {}
     },
   };
   const runMeta = json(currentRun?.metadata, {}) ?? {};
-  for (const e of runMeta.events ?? []) card.last_events[e.kind] = { created_at: e.at, payload: e.payload ?? {} };
+  for (const e of [...Object.values(runMeta.last_events ?? {}), ...(runMeta.events ?? [])]) card.last_events[e.kind] = { created_at: e.at, payload: e.payload ?? {} };
   for (const [key, expr] of Object.entries(loaded.get(board.root)?.workflow?.derived ?? {})) card[key] = evaluate(expr, { card, event, params, now: now() });
   return {
     card,
@@ -744,7 +760,7 @@ export function runEvent(db, id, kind, payload) {
   if (!id) return;
   const row = one(db, 'SELECT metadata FROM task_runs WHERE id = ?', id);
   const meta = json(row?.metadata, {}) ?? {};
-  meta.events = [...(meta.events ?? []), { kind, payload, by: actorOf(), at: now() }];
+  appendRunObservation(meta, { kind, payload, by: actorOf(), at: now() });
   run(db, 'UPDATE task_runs SET metadata = ? WHERE id = ?', JSON.stringify(meta), id);
 }
 

package/ontology.d.ts

@@ -745,6 +745,8 @@ export interface WorkerSpec {
   harness: HarnessId;
   /** Model, where the harness's door accepts one. */
   model?: string | null;
+  /** Reasoning effort, passed explicitly to harnesses that support it. */
+  reasoning_effort?: string | null;
   /** supercode preset name. */
   preset?: string | null;
   /** Relative to the profile dir; `.` by default. */

package/package.json

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