@volter/supercode-orchestrator 0.4.85 → 0.4.87

package/board/cli.mjs

@@ -327,7 +327,6 @@ export async function runWorkflow(argv) {
     case 'list': case 'ls': {
       const assignee = args.assignee ?? (args.mine ? callerName() : null);
       const cards = withBoard((b) => {
-        engine.recomputeReady(b);
         let rows = engine.listCards(b.db, { status: args.status, assignee, machine: args.machine, includeArchived: args.archived || args.all });
         if (args.tenant) rows = rows.filter((t) => t.tenant === args.tenant);
         if (args.session) rows = rows.filter((t) => t.session_id === args.session);

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/board/ztrack.mjs

@@ -39,7 +39,7 @@ class ZtrackBoard {
     this.codec = require('@volter/ztrack/board-document');
     this.preset = require('@volter/ztrack/kanban-preset');
     this.runtime = new DatabaseSync(`${marker}.runtime.db`);
-    this.runtime.exec('PRAGMA busy_timeout = 10000; CREATE TABLE IF NOT EXISTS state (key TEXT PRIMARY KEY, value TEXT NOT NULL)');
+    if (!this.runtime.prepare("SELECT 1 FROM sqlite_master WHERE type='table' AND name='state'").get()) this.runtime.exec('CREATE TABLE state (key TEXT PRIMARY KEY, value TEXT NOT NULL)');
     this.mem = null; this.active = false;
     mkdirSync(dirname(this.path), { recursive: true });
     const self = this;
@@ -48,7 +48,8 @@ class ZtrackBoard {
       exec(sql) { return self.access(() => self.mem.exec(sql)); },
       close() { self.close(); },
     };
-    this.tx(() => {});
+    if (seed) this.tx(() => {});
+    else { this.load(); this.loadedStamp = this.stamp(); }
   }
   get(key, fallback = null) { return this.computing && this.pendingValues.has(key) ? this.pendingValues.get(key) : json(this.runtime.prepare('SELECT value FROM state WHERE key = ?').get(key)?.value, fallback); }
   put(key, value) { if (this.computing) { this.pendingValues.set(key, value); return; } this.runtime.prepare('INSERT INTO state VALUES (?, ?) ON CONFLICT(key) DO UPDATE SET value = excluded.value').run(key, JSON.stringify(value)); }
@@ -58,6 +59,7 @@ class ZtrackBoard {
   }
   access(fn, reading = false) {
     if (this.active || (reading && this.mem && this.loadedStamp === this.stamp())) return fn();
+    if (reading) { this.load(); this.loadedStamp = this.stamp(); return fn(); }
     return this.tx(fn);
   }
   close() { this.mem?.close(); this.runtime.close(); }
@@ -92,7 +94,7 @@ class ZtrackBoard {
         this.runtime.exec('COMMIT');
         // Parsing, rules and rendering run against a snapshot, without a runtime writer transaction.
         this.pendingValues = new Map(); this.computing = true;
-        this.load();
+        this.load({ observe: true });
         if (this.seed) this.seedIntoMemory();
         else this.lift();
         const result = fn(this.db);
@@ -178,7 +180,7 @@ class ZtrackBoard {
     if (!keys.length) return;
     this.mem.prepare(`INSERT OR REPLACE INTO ${quote(table)} (${keys.map(quote).join(',')}) VALUES (${keys.map(() => '?').join(',')})`).run(...keys.map((k) => row[k] ?? null));
   }
-  load() {
+  load({ observe = false } = {}) {
     this.text = read(this.path); this.archiveText = read(this.archive);
     this.mem?.close(); this.mem = new DatabaseSync(':memory:'); this.init(this.mem, { fresh: true });
     this.saved = this.get('snapshot', { tables: {}, runtime: {}, clocks: {}, fingerprints: {} });
@@ -214,7 +216,7 @@ class ZtrackBoard {
       this.mem.prepare('UPDATE supercode_cards SET blocked_by = ? WHERE task_id = ?').run(JSON.stringify(blocks), row.task_id);
       for (const b of blocks.filter((b) => b.kind === 'card')) this.insert('task_links', { parent_id: b.id, child_id: row.task_id });
     }
-    this.documentEvents();
+    if (observe) this.documentEvents();
   }
   loadCard(id, card, parent = null) {
     const meta = card.metadata ?? {};

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.85",
+  "version": "0.4.87",
   "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": {