@feigi/fleet-ctl 3.95.3 → 3.96.0

package/agents/fleet-implementer-slow-high.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-slow-medium.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-smol-high.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-task-high.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-task-max.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@feigi/fleet-ctl",
-  "version": "3.95.3",
+  "version": "3.96.0",
   "description": "Agent fleet: run-team controller, merge bot, PR reviewer, and the ticket pipeline they share",
   "license": "Apache-2.0",
   "repository": {

package/scripts/ledger.mjs

@@ -2507,7 +2507,9 @@ function recordFiled(id, subject) {
 //                             reads OPEN and its closingIssuesReferences in its
 //                             own repository name N;
 //                             the Check-step record (below) holds for <head>
-//   impl-N=bailed             bailCause is not null; the receipt names it
+//   impl-N=bailed             bailCause is not null; the receipt names it.
+//                             report-schema.mjs already refuses a bail that
+//                             names a pr or a head
 //   impl-N=blocked            nothing to check: report-schema.mjs already
 //                             refuses a block that names a bailCause, a pr or
 //                             a head, or gives no reason in bailDetail

package/scripts/member-outcomes.mjs

@@ -1,7 +1,9 @@
-// Scraper for per-member model/effort facts. Pure over omp's own subagent
-// transcripts: no clock, no network, no gh. The one column that looks beside
-// them is `report`, which asks whether the member's report file is in the
-// scratch root (`--scratch <dir>`, default the root scratch-root.mjs prints).
+// Scraper for per-member model/effort facts. Pure over omp's own transcripts:
+// no clock, no network, no gh. Two columns look beside the subagent ones:
+// `work_s` also reads the controller's own `<session>.jsonl` next to the
+// session directory, and `report` asks whether the member's report file is in
+// the scratch root (`--scratch <dir>`, default the root scratch-root.mjs
+// prints).
 //
 // The transcript parsing (fold, model/effort extraction, ticket/pr naming,
 // and the `gh pr create` result an implementer's `pr` comes from)
@@ -10,7 +12,7 @@
 // them from this file needs to change.
 
 import { readdirSync, readFileSync, statSync } from "node:fs";
-import { join, basename } from "node:path";
+import { join, basename, dirname } from "node:path";
 
 import { readOmpSession, normalizeModel, parseMemberName, isOmpSessionDirName } from "./member-record.mjs";
 import { stripLevel } from "./tier-roles.mjs";
@@ -75,7 +77,13 @@ export function rowsForSession(sessionDir, stats = {}, { verifyMain = verifyMain
   for (const f of jsonlNames) {
     try { newest = Math.max(newest, statSync(join(sessionDir, f)).mtimeMs); } catch { /* raced away */ }
   }
-  const recs = readOmpSession(sessionDir); // may throw — a wrong-root refusal, not a per-file fault
+  const activity = { stamps: [], unread: 0 };
+  const recs = readOmpSession(sessionDir, activity); // may throw — a wrong-root refusal, not a per-file fault
+  const controller = controllerStamps(sessionDir);
+  const workUnknown = typeof controller === "string" ? controller
+    : activity.unread ? `${activity.unread} unreadable transcript${activity.unread === 1 ? "" : "s"}` : null;
+  const halts = workUnknown ? [] : haltsOf(activity.stamps.concat(controller));
+  stats.workSUnknown = workUnknown;
   stats.seen = jsonlNames.length;
   stats.dropped = jsonlNames.length - recs.length;
   stats.torn = 0;
@@ -93,9 +101,78 @@ export function rowsForSession(sessionDir, stats = {}, { verifyMain = verifyMain
     tokensCacheWrite1h: r.tokens_cache_write_1h ?? "", cost: r.cost == null ? "" : Number(r.cost.toFixed(6)),
     ending: endings[i],
     dispatchModel: dispatchModel(r.resolvedModelIdentity),
+    workS: workUnknown ? null : r.transcript.timed ? workSeconds(r.transcript.workParts, halts) : "",
   }));
 }
 
+// The `work_s` column: a member's working time in whole seconds. Its parts
+// are the fold's (member-record.mjs): each run of entries between two
+// `session_exit` entries, from its first entry to its last, so omp's idle
+// wait before each exit and the wait until a wake are in no part. Every halt
+// is then subtracted where it falls inside a part. `wall_s` stays the raw
+// span, teardown included.
+//
+// A halt is a stretch over HALT_MS in which no transcript of the run records
+// an entry: every transcript in the session directory, nested ones and those
+// that book no row included, and the controller's own `<session>.jsonl` beside
+// the directory, the one that keeps writing while no member runs. Halts are
+// the gaps between consecutive instants of that one sorted list, so no two
+// overlap, and a part never shares time with another part of the same member:
+// no overlap is subtracted twice.
+//
+// Without the controller transcript no halt can be told from a member's own
+// quiet stretch, and with any transcript of the run unreadable, or a line of
+// the controller's lost, entries are missing from the instants, so a stretch
+// they wrote through reads as a halt. Each way every row's `work_s` is `null`:
+// unknown, written blank, and never written over a recorded value
+// (mergeRows); `stats.workSUnknown` names the cause. A transcript with no
+// timestamped entry reads `""`, blank because there is nothing to time.
+export const HALT_MS = 60 * 60 * 1000;
+
+// The controller transcript's entry instants, in epoch ms, or a string naming
+// why they cannot be had. It is not a member transcript, so a line is read for
+// its timestamp alone. An unparseable LAST line is a write in progress and is
+// skipped, as the member fold skips it; an unparseable line before it is lost
+// data that may have been the entry breaking a stretch, so a halt there could
+// not be told from the run writing, and the instants are unknown.
+function controllerStamps(sessionDir) {
+  let text;
+  try { text = readFileSync(join(dirname(sessionDir), `${basename(sessionDir)}.jsonl`), "utf8"); }
+  catch (e) { return e?.code === "ENOENT" ? "no controller transcript" : `unreadable controller transcript: ${e?.code ?? e}`; }
+  const stamps = [];
+  const lines = text.split("\n");
+  for (let i = 0; i < lines.length; i++) {
+    if (!lines[i].trim()) continue;
+    let d;
+    try { d = JSON.parse(lines[i]); }
+    catch { if (i !== lines.length - 1) return "an unparseable controller transcript line"; continue; }
+    const ms = typeof d?.timestamp === "string" ? Date.parse(d.timestamp) : NaN;
+    if (Number.isFinite(ms)) stamps.push(ms);
+  }
+  return stamps;
+}
+
+// Every gap over HALT_MS between consecutive instants, as [from, to].
+export function haltsOf(stamps) {
+  const sorted = [...stamps].sort((a, b) => a - b);
+  const halts = [];
+  for (let i = 1; i < sorted.length; i++) {
+    if (sorted[i] - sorted[i - 1] > HALT_MS) halts.push([sorted[i - 1], sorted[i]]);
+  }
+  return halts;
+}
+
+// The parts' summed length less each halt's share inside them, in whole seconds.
+export function workSeconds(parts, halts) {
+  let ms = 0;
+  for (const [from, to] of parts) {
+    if (!(to > from)) continue;
+    ms += to - from;
+    for (const [h0, h1] of halts) ms -= Math.max(0, Math.min(to, h1) - Math.max(from, h0));
+  }
+  return Math.round(ms / 1000);
+}
+
 // The `dispatch_model` column: the model fixed at dispatch, `session_init`'s
 // own model (the record's `resolvedModelIdentity`), with its provider prefix
 // and `:<level>` suffix stripped. `model` is the member's last turn, which a
@@ -120,7 +197,7 @@ export const COLUMNS = [
   "session", "run_date", "role", "member", "model", "effort", "ticket", "pr",
   "tokens_cache_create", "tokens_out", "wall_s", "turns", "agent", "harness",
   "subagent_type", "report", "tokens_in", "tokens_cache_read", "tokens_cache_write_1h", "cost",
-  "ending", "dispatch_model",
+  "ending", "dispatch_model", "work_s",
 ];
 
 // `report`: what reportStatus() says of the row's member under `scratch` — a
@@ -235,7 +312,7 @@ function verifyMainWithGit(sha) {
 const FIELD = {
   tokens_cache_create: "tokensCacheCreate", tokens_out: "tokensOut", wall_s: "wallS",
   subagent_type: "subagentType", tokens_in: "tokensIn", tokens_cache_read: "tokensCacheRead",
-  tokens_cache_write_1h: "tokensCacheWrite1h", dispatch_model: "dispatchModel",
+  tokens_cache_write_1h: "tokensCacheWrite1h", dispatch_model: "dispatchModel", work_s: "workS",
 };
 const field = (c) => FIELD[c] ?? c;
 // Keyed on the transcript's path-relative stem, not the member name: `member`
@@ -249,20 +326,30 @@ const key = (r) => `${r.session}\0${r.agent}`;
 // regeneration both safe, and it is the reason no backfill-only code path is
 // needed: the idempotency backfill wants is the idempotency a re-run wants.
 //
-// One cell is the exception: an incoming `unknown` ending keeps the ending the
-// replaced row recorded. `unknown` is this scrape failing to say (a verifier
-// that is offline, a transcript gone unreadable), not a reading, so it never
+// Two cells are the exception, each keeping what the replaced row recorded
+// where this scrape could not say. An incoming `unknown` ending keeps the
+// recorded ending: `unknown` is this scrape failing to say (a verifier that is
+// offline, a transcript gone unreadable), not a reading, so it never
 // overwrites one: a recorded `bail:fixed` would otherwise flip to `unknown`
-// on any re-scrape run without network. `stats.endingsKept` counts them.
+// on any re-scrape run without network. `stats.endingsKept` counts them. An
+// incoming `null` work_s (halts that could not be found) keeps a
+// recorded `work_s` the same way; `stats.workSKept` counts those.
 export function mergeRows(existing, incoming, stats = {}) {
   const by = new Map((existing ?? []).map((r) => [key(r), r]));
   stats.endingsKept = 0;
+  stats.workSKept = 0;
   for (const r of incoming ?? []) {
     const old = by.get(key(r));
+    let row = r;
     if (r.ending === "unknown" && old?.ending && old.ending !== "unknown") {
-      by.set(key(r), { ...r, ending: old.ending });
+      row = { ...row, ending: old.ending };
       stats.endingsKept++;
-    } else by.set(key(r), r);
+    }
+    if (r.workS === null && (old?.workS ?? "") !== "") {
+      row = { ...row, workS: old.workS };
+      stats.workSKept++;
+    }
+    by.set(key(r), row);
   }
   return [...by.values()].sort((a, b) => key(a) < key(b) ? -1 : key(a) > key(b) ? 1 : 0);
 }
@@ -406,8 +493,12 @@ if (isCLI(import.meta.url)) {
   // a healthy one — 0-of-2 was indistinguishable from full success.
   const torn = stats.torn ? `, ${stats.torn} torn mid-write` : "";
   const kept = stats.endingsKept ? `, ${stats.endingsKept} read unknown and kept the ending already recorded` : "";
+  // Whatever left every row's `work_s` unknown, and how many rows kept the
+  // value already recorded, after the yield rather than inside it.
+  const workKept = stats.workSKept ? `, ${stats.workSKept} kept the work_s already recorded` : "";
+  const work = stats.workSUnknown ? `; work_s unknown (${stats.workSUnknown})${workKept}` : "";
   process.stderr.write(
     `${NAME}: scraped ${stats.seen - stats.dropped} of ${stats.seen} members ` +
-    `(${stats.dropped} dropped${torn}${kept}); ${file} now holds ${merged.length} rows\n`,
+    `(${stats.dropped} dropped${torn}${kept}); ${file} now holds ${merged.length} rows${work}\n`,
   );
 }

package/scripts/member-record.mjs

@@ -358,6 +358,13 @@ function createdPrNumbers(text) {
 export function foldOmpTranscript(jsonlText, filePath) {
   let model = null, thinking = null, task = null, resolvedModelIdentity = null, agent = null;
   let firstTs = null, lastTs = null;
+  // For the `work_s` column (member-outcomes.mjs): every timestamped entry's
+  // instant, and the member's working parts — each run of timestamped entries
+  // between two `session_exit` entries, as [first, last] in epoch ms. The
+  // `session_exit` entry itself closes a part and never extends one, so the
+  // idle wait before it and the wait until the next entry are in no part.
+  const stamps = [], workParts = [];
+  let partFirst = null, partLast = null;
   let input = 0, cacheWrite = 0, cacheWrite1h = 0, cacheRead = 0, output = 0, cost = 0, turns = 0;
   let sawCost = false, unsplit = false, unpriced = false;
   let malformedNonLastLines = 0;
@@ -383,10 +390,16 @@ export function foldOmpTranscript(jsonlText, filePath) {
     try { d = JSON.parse(raw); }
     catch { if (i !== lines.length - 1) malformedNonLastLines++; continue; }
     assertOmpShaped(d, filePath);
-    if (typeof d.timestamp === "string") { firstTs ??= d.timestamp; lastTs = d.timestamp; }
+    let ms = NaN;
+    if (typeof d.timestamp === "string") { firstTs ??= d.timestamp; lastTs = d.timestamp; ms = Date.parse(d.timestamp); }
+    if (Number.isFinite(ms)) stamps.push(ms);
+    if (d.type === "custom" && d.customType === "session_exit") {
+      sessionExit = true;
+      if (partFirst !== null) workParts.push([partFirst, partLast]);
+      partFirst = partLast = null;
+    } else if (Number.isFinite(ms)) { partFirst ??= ms; partLast = ms; }
     if (d.type === "thinking_level_change" && typeof d.thinkingLevel === "string") thinking = d.thinkingLevel;
     if (d.type === "model_change" && d.resolvedModelIsFallback === true) providerFallback = true;
-    if (d.type === "custom" && d.customType === "session_exit") sessionExit = true;
     if (d.type === "session_init") {
       if (typeof d.task === "string") task = d.task;
       if (typeof d.resolvedModelIdentity === "string") resolvedModelIdentity = d.resolvedModelIdentity;
@@ -433,6 +446,7 @@ export function foldOmpTranscript(jsonlText, filePath) {
     }
     if (d.type === "message" && m?.role === "user" && messageText(m).trimStart().startsWith("[budget notice]")) budgetNotice = true;
   }
+  if (partFirst !== null) workParts.push([partFirst, partLast]);
   const span = firstTs && lastTs ? (Date.parse(lastTs) - Date.parse(firstTs)) / 1000 : 0;
   return {
     model, thinking, task, resolvedModelIdentity, agent,
@@ -453,6 +467,7 @@ export function foldOmpTranscript(jsonlText, filePath) {
     malformedNonLastLines,
     openedPrs: [...openedPrs],
     startedAt: firstTs,
+    stamps, workParts,
     reportWrites,
     lastStopReason, providerFallback, sessionExit, budgetNotice,
   };
@@ -867,7 +882,13 @@ export function ompSessionTranscripts(sessionDir) {
 // wrong-shape refusal (assertOmpShaped, inside foldOmpTranscript) must
 // propagate all the way out of readMembers, uncaught. Only the directory
 // listing and the raw file read are given the ordinary per-member tolerance.
-export function readOmpSession(sessionDir) {
+//
+// `activity`, when given, is `{ stamps: [], unread: 0 }`: `stamps` collects the
+// entry instants of EVERY transcript read here, including one that yields no
+// record, and `unread` counts the transcripts that could not be read at all,
+// whose instants are missing from `stamps`. It is the session-wide view
+// member-outcomes.mjs reads halts off.
+export function readOmpSession(sessionDir, activity = null) {
   let transcripts;
   try { transcripts = ompSessionTranscripts(sessionDir); }
   catch { return []; }
@@ -876,19 +897,21 @@ export function readOmpSession(sessionDir) {
   for (const { file, agent, spawnDepth } of transcripts) {
     let text;
     try { text = readFileSync(file, "utf8"); }
-    catch { continue; }
+    catch { if (activity) activity.unread++; continue; }
     const folded = foldOmpTranscript(text, file); // may throw — see comment above
+    if (activity) for (const ms of folded.stamps) activity.stamps.push(ms);
     const rec = ompMemberRecord(folded, agent, spawnDepth);
     if (!rec) continue;
     // How the transcript ENDED, for the `ending` column (member-outcomes.mjs):
     // the fold's end-of-transcript signals, and whether the member wrote its
-    // yield sidecar beside the transcript.
+    // yield sidecar beside the transcript; and its working parts, for `work_s`.
     rows.push({ ...rec, session, agent, transcript: {
       startedAt: folded.startedAt, reportWrites: folded.reportWrites, openedPrs: folded.openedPrs,
       lastStopReason: folded.lastStopReason, providerFallback: folded.providerFallback,
       sessionExit: folded.sessionExit, budgetNotice: folded.budgetNotice,
       malformedNonLastLines: folded.malformedNonLastLines,
       hasYield: existsSync(file.replace(/\.jsonl$/, ".md")),
+      timed: folded.stamps.length > 0, workParts: folded.workParts,
     } });
   }
   return rows;

package/scripts/report-schema.mjs

@@ -25,7 +25,8 @@
 //      `$.bailCause: "<cause>" is not null, with outcome "blocked" — a block
 //      is no bail`, gives no reason in `bailDetail`, or names a `pr` or a
 //      `head`, as `$.pr: <pr> is not null, with outcome "blocked" — a block
-//      reports no PR`
+//      reports no PR`, or whose `bailed` outcome names a `pr` or a `head`, as
+//      `$.pr: <pr> is not null, with outcome "bailed" — a bail reports no PR`
 //   2  usage: no or unknown subcommand, a wrong argument count, an unknown
 //      family, any flag; or <file> could not be read; or print could not
 //      write the schema to stdout. Refused on stderr, nothing on stdout
@@ -185,10 +186,11 @@ export function mergeBotVerdicts(report) {
 // no schema keyword states. For an impl report: a `blocked` outcome names no
 // `bailCause`, since a block is no bail, gives its reason in `bailDetail`,
 // text that is not only whitespace, and names no `pr` or `head`, since a block
-// reports no PR — a PR it opened is outcome `pr`, which settle checks. For a
-// merge-bot report: each PR gets one verdict — merged, held, conflict-held or
-// refused — the last it reached in the pass, so a PR named twice, in one list
-// or in two, is a violation at its second entry.
+// reports no PR; a `bailed` outcome names no `pr` or `head` either, since a
+// bail is the pre-code outcome — a PR the member opened is outcome `pr`, which
+// settle checks. For a merge-bot report: each PR gets one verdict — merged,
+// held, conflict-held or refused — the last it reached in the pass, so a PR
+// named twice, in one list or in two, is a violation at its second entry.
 export function reportViolation(family, value) {
   const found = validate(SCHEMAS[family], value);
   if (found !== null) return found;
@@ -199,6 +201,11 @@ export function reportViolation(family, value) {
       if (value[field] !== null) return `$.${field}: ${show(value[field])} is not null, with outcome "blocked" — a block reports no PR`;
     }
   }
+  if (family === "impl" && value.outcome === "bailed") {
+    for (const field of ["pr", "head"]) {
+      if (value[field] !== null) return `$.${field}: ${show(value[field])} is not null, with outcome "bailed" — a bail reports no PR`;
+    }
+  }
   if (family !== "merge-bot") return null;
   const first = new Map();
   for (const { pr, path } of mergeBotVerdicts(value)) {