tryharness 0.7.26 → 0.7.29

package/lib/store.mjs

@@ -861,11 +861,15 @@ export function openStore(file) {
       if (status)
         execute(
           "run",
-          "update board_tasks set status = ?, result = coalesce(?, result), reported_at = case when ? in ('done', 'failed') then ? else reported_at end, updated_at = ?, version = version + 1 where id = ?",
+          // An open goal belongs to no one: a claim left from before goals refused claims is cleared when it opens.
+          "update board_tasks set status = ?, result = coalesce(?, result), reported_at = case when ? in ('done', 'failed') then ? else reported_at end, claimed_by = case when ? = 'open' then null else claimed_by end, holder = case when ? = 'open' then null else holder end, lease_until = case when ? = 'open' then null else lease_until end, updated_at = ?, version = version + 1 where id = ?",
           status,
           result ?? null,
           status,
           now,
+          status,
+          status,
+          status,
           now,
           id
         );
@@ -1031,6 +1035,25 @@ export function openStore(file) {
         ).n
       );
     },
+    /** The room's held posts, oldest first, without their words (what held them may be a secret). */
+    heldPosts(goalId) {
+      return execute(
+        "all",
+        "select id, seq, author, created_at from board_contributions where task_id = ? and kind = 'held' order by seq asc",
+        goalId
+      );
+    },
+    /** The room's contribution just before a post, held ones included. */
+    lastContribution(goalId, beforeSeq) {
+      return (
+        execute(
+          "get",
+          "select id, seq, kind, author from board_contributions where task_id = ? and seq < ? order by seq desc limit 1",
+          goalId,
+          beforeSeq
+        ) ?? null
+      );
+    },
     roomCount(goalId) {
       return Number(
         execute(
@@ -1153,6 +1176,36 @@ export function openStore(file) {
         progress: JSON.parse(row.progress),
       }));
     },
+    /**
+     * How the coordinator held up, a day at a time, newest first: rounds Harness decided, rounds a backup on this
+     * computer decided after Harness could not, rounds decided here on the privacy setting, and rounds no one decided.
+     */
+    roundHealth(goalId = null, days = 14) {
+      const since = new Date(
+        Date.now() - Math.max(1, Number(days) || 14) * 86_400_000
+      ).toISOString();
+      return execute(
+        "all",
+        `select substr(at, 1, 10) as day,
+          count(*) as rounds,
+          sum(case when action is not null and coordinator = 'harness' then 1 else 0 end) as harness,
+          sum(case when action is not null and coordinator != 'harness' and error is not null then 1 else 0 end) as backup,
+          sum(case when action is not null and coordinator != 'harness' and error is null then 1 else 0 end) as local,
+          sum(case when action is null then 1 else 0 end) as undecided
+        from swarm_rounds where at >= ? and (? is null or goal_id = ?)
+        group by day order by day desc`,
+        since,
+        goalId,
+        goalId
+      ).map((row) => ({
+        day: row.day,
+        rounds: Number(row.rounds),
+        harness: Number(row.harness),
+        backup: Number(row.backup),
+        local: Number(row.local),
+        undecided: Number(row.undecided),
+      }));
+    },
     // A thread's runs (wakes and jobs), oldest first, for its transcript.
     threadRuns(goalId) {
       return execute(
@@ -1307,6 +1360,17 @@ export function openStore(file) {
         usage: row.usage ? JSON.parse(row.usage) : null,
       }));
     },
+    /** The run working in an agent's session right now, if any: a session a running task holds. */
+    runHoldingSession(agent, sessionId) {
+      return (
+        execute(
+          "get",
+          "select id, parent_id from board_tasks where target_agent = ? and status in ('claimed', 'running') and session_id is not null and instr(session_id, ?) > 0 order by updated_at desc limit 1",
+          agent,
+          String(sessionId)
+        ) ?? null
+      );
+    },
     setRunSession(id, sessionId) {
       execute(
         "run",
@@ -1606,6 +1670,12 @@ export function openStore(file) {
         String(id)
       );
     },
+    presentFiles() {
+      return execute(
+        "all",
+        "select id from board_files where present = 1 order by created_at asc"
+      ).map((row) => this.file(row.id));
+    },
     taskFiles(taskId) {
       return execute(
         "all",
@@ -2250,6 +2320,14 @@ export function openStore(file) {
           error:
             "a task for several agents is worked through its parts; claim the part posted for you",
         };
+      // A goal is a room the team works in, not a task to take: a claimed goal turned away the claimer's own posts and
+      // could not be released (October 14, Codex in the keeper thread).
+      if (this.getTask(id)?.kind === "goal")
+        return {
+          ok: false,
+          error:
+            "a goal is a room, not a task: read it with read_room and post with post_to_room; claim only a task posted for you",
+        };
       const now = new Date().toISOString();
       const leaseUntil =
         leaseMinutes == null

package/lib/swarm.mjs

@@ -34,6 +34,8 @@ export const PROCESS_NAMES = {
   opencode: "opencode",
 };
 const SAY_LIMIT = 4_000;
+// `@swarm` in the person's message: written to their whole swarm, not to one agent.
+const SWARM = /(^|\s)@swarm\b/;
 const UUID = /[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}/i;
 
 // The id an agent resumes a session by: the index keys sessions by their file name.
@@ -102,7 +104,27 @@ export function createSwarm({
   runsIn,
   threadFiles = () => ({ files: [], rendering: [] }),
   whyWaiting = () => null,
+  goals = null,
+  reofferHarness = () => {},
 }) {
+  // What the person let a thread spend of their Harness credits, in dollars, or null for no limit of its own.
+  const ceilingOf = (threadId) => {
+    const limit = Number(store.meta(`spend-ceiling:${threadId}`));
+    return store.meta(`spend-ceiling:${threadId}`) && Number.isFinite(limit)
+      ? limit
+      : null;
+  };
+  const setCeiling = (threadId, usd) =>
+    store.meta(
+      `spend-ceiling:${threadId}`,
+      usd === null ? "" : String(Math.round(usd * 100) / 100)
+    );
+  // A limit as the person gave it: dollars, at least zero; "off" or nothing for none.
+  const ceilingFrom = (value) => {
+    if (value === undefined || value === null || value === "off") return null;
+    const usd = Number(value);
+    return Number.isFinite(usd) && usd >= 0 ? usd : undefined;
+  };
   const awaitingStart = (run) =>
     run.status === "open" &&
     Boolean(run.run_workspace) &&
@@ -114,12 +136,30 @@ export function createSwarm({
   const agentsOf = (thread) =>
     thread.goal.team.filter((agent) => agent !== thread.goal.facilitator);
 
-  // Who a message is for: the agents it names, else the only agent in the thread, else whoever coordinates.
+  // Who a message is for: the agents it names, else whoever coordinates, which brings in every agent with a part in it.
+  // Where the coordinator cannot assemble (the privacy setting, a Harness without it) the thread's only agent takes it.
+  // `@swarm` is for the whole swarm (the agents it names hear it from the post itself).
   const addressed = (thread, text) => {
+    if (SWARM.test(text)) return [thread.goal.facilitator];
     const named = mentionsIn(text, thread.goal.team);
     if (named.length) return named;
     const agents = agentsOf(thread);
-    return agents.length === 1 ? agents : [thread.goal.facilitator];
+    return agents.length === 1 && !coordinator.assembles()
+      ? agents
+      : [thread.goal.facilitator];
+  };
+  // The person's post is for the swarm when it says `@swarm`, or when it falls to the coordinator: then the coordinator
+  // brings in every agent with a part in it at once (coordinator.mjs heard). A message to one agent is that agent's.
+  const heardBy = (thread, post, text) => {
+    if (!post?.seq || post.kind !== "post") return;
+    const swarm = SWARM.test(text);
+    if (!swarm && addressed(thread, text)[0] !== thread.goal.facilitator)
+      return;
+    coordinator.heard(thread.id, {
+      seq: post.seq,
+      swarm,
+      named: mentionsIn(text, roomAgents),
+    });
   };
 
   // What the thread waits on the person for, if anything: a pause, an agent's question, a run's question.
@@ -217,7 +257,20 @@ export function createSwarm({
       coordination: {
         mode: coordinator.mode(),
         rounds: coordinator.state(thread.id).rounds,
+        // Who decided this thread's rounds: Harness, a backup here after Harness could not, this computer, no one.
+        decided: store.roundHealth(thread.id, 3650).reduce(
+          (sum, day) => ({
+            harness: sum.harness + day.harness,
+            backup: sum.backup + day.backup,
+            local: sum.local + day.local,
+            undecided: sum.undecided + day.undecided,
+          }),
+          { harness: 0, backup: 0, local: 0, undecided: 0 }
+        ),
       },
+      // The goal as the swarm keeps it (goals.mjs): what the person wants, its checks, where it stands, every version.
+      goal: goals?.record(thread.id) ?? null,
+      ceilingUsd: ceilingOf(thread.id),
       changes: worktrees.summary(thread.id),
     };
   };
@@ -312,6 +365,15 @@ export function createSwarm({
       thread: summary(thread),
       posts: store.roomPosts(thread.id, 0, 500),
       runs,
+      // Posts held for the person (who wrote one, when, never its words), and the post that replaced each one an agent
+      // posted again.
+      held: store.heldPosts(thread.id).map((post) => ({
+        id: post.id,
+        seq: post.seq,
+        author: post.author,
+        at: post.created_at,
+        replacedBy: store.meta(`held-replaced:${post.id}`) || null,
+      })),
       ...threadFiles(thread, hostedCaller),
     };
   };
@@ -328,6 +390,7 @@ export function createSwarm({
       store.setGoalTeam(thread.id, [...thread.goal.team, ...joining]);
     if (thread.status !== "open") {
       store.setGoalState(thread.id, { status: "open" });
+      goals?.reopen(thread.id);
       store.roomPost({
         goalId: thread.id,
         author: "user",
@@ -336,7 +399,7 @@ export function createSwarm({
       });
     }
     const current = store.getTask(thread.id);
-    return goalCommand(
+    const posted = goalCommand(
       {
         command: "board.room.post",
         id: thread.id,
@@ -345,6 +408,9 @@ export function createSwarm({
       },
       "user"
     );
+    if (!to && posted?.ok && !posted.paused)
+      heardBy(current, posted.post, text);
+    return posted;
   };
 
   return function swarmCommand(request, agent) {
@@ -576,6 +642,14 @@ export function createSwarm({
           request.limit
         ),
       };
+    if (command === "board.swarm.health")
+      return {
+        ok: true,
+        days: store.roundHealth(
+          request.id ? String(request.id) : null,
+          request.days
+        ),
+      };
     if (command === "board.swarm.coordinator") {
       if (request.mode === "harness" || request.mode === "local")
         coordinator.setMode(request.mode);
@@ -596,6 +670,10 @@ export function createSwarm({
         .trim()
         .slice(0, 20_000);
       if (!text) return { ok: false, error: "a thread starts with a message" };
+      // What it may spend of the person's Harness credits, set once as it starts (owner, October 15).
+      const ceiling = ceilingFrom(request.ceilingUsd);
+      if (ceiling === undefined)
+        return { ok: false, error: "a limit is a number of dollars, or off" };
       const from =
         request.continueSession && typeof request.continueSession === "object"
           ? request.continueSession
@@ -662,6 +740,7 @@ export function createSwarm({
           maxPosts: defaults.maxPosts,
           maxWakes: defaults.maxWakes,
         });
+        if (ceiling !== null) setCeiling(thread.id, ceiling);
         if (from) {
           store.setGoalSession(
             thread.id,
@@ -679,6 +758,7 @@ export function createSwarm({
           mentions: addressed(opened, text),
         });
         wakeFor(thread.id, first, "user");
+        if (!to) heardBy(opened, first, text);
         notifyBoard(store.getTask(thread.id));
         return { ok: true, thread: summary(store.getTask(thread.id)) };
       };
@@ -772,6 +852,51 @@ export function createSwarm({
       stopThreadRuns(thread.id);
       return { ok: true, thread: summary(store.getTask(thread.id)) };
     }
+    // What the thread may spend of the person's Harness credits, set or cleared by the person; a task waiting on the old
+    // limit is offered again.
+    if (command === "board.swarm.ceiling") {
+      if (agent !== "user")
+        return { ok: false, error: "only you set what a thread may spend" };
+      const usd = ceilingFrom(request.usd);
+      if (usd === undefined)
+        return { ok: false, error: "a limit is a number of dollars, or off" };
+      setCeiling(thread.id, usd);
+      store.roomPost({
+        goalId: thread.id,
+        author: "user",
+        kind: "note",
+        text:
+          usd === null
+            ? "You took this thread's own spending limit off."
+            : `You set what this thread may spend of your Harness credits to $${usd.toFixed(2)}.`,
+      });
+      reofferHarness();
+      notifyBoard(store.getTask(thread.id));
+      return { ok: true, thread: summary(store.getTask(thread.id)) };
+    }
+    // The goal in the person's own words, or the lead's (the thread's coordinator): a new version, kept with the rest.
+    if (command === "board.swarm.goal") {
+      if (agent !== "user" && agent !== thread.goal.facilitator)
+        return {
+          ok: false,
+          error: `only you or ${thread.goal.facilitator} set this thread's goal`,
+        };
+      if (!goals) return { ok: false, error: "this daemon keeps no goals" };
+      const set = goals.set(
+        thread.id,
+        { statement: request.statement, criteria: request.criteria },
+        {
+          by: agent,
+          seq: store.roomPosts(thread.id, 0, 500).at(-1)?.seq ?? null,
+        }
+      );
+      if (!set)
+        return {
+          ok: false,
+          error: "a goal needs a statement and at least one check",
+        };
+      return { ok: true, thread: summary(store.getTask(thread.id)) };
+    }
     if (command === "board.swarm.resume") {
       if (thread.status !== "paused")
         return { ok: false, error: `the thread is ${thread.status}` };

package/lib/t3.mjs

@@ -447,12 +447,19 @@ export function runInT3(run, emit, observe) {
     stopped = true;
     if (threadId) void interrupt();
   });
-  const finish = (kind, text) => {
+  const letGo = () => {
     clearTimeout(timer);
     handed.delete(run.runId);
     steerable.delete(run.runId);
     release();
-    emit(kind, text.slice(0, 20_000), { usage: null });
+  };
+  // What the turn used, as T3 recorded it, so a turn there counts toward its thread's spend like one run here.
+  const finish = (kind, text) => {
+    letGo();
+    emit(kind, text.slice(0, 20_000), {
+      usage:
+        threadId && runId ? (run.usageOf?.(threadId, runId) ?? null) : null,
+    });
   };
   const read = async () => {
     try {
@@ -582,6 +589,13 @@ export function runInT3(run, emit, observe) {
       if (stopped) await interrupt();
       void read();
     } catch (error) {
+      // T3 Code did not answer before the turn began, though it was there a moment before (October 14 and 15: twice
+      // a turn failed this way while T3 was running): where the caller can run the agent itself, it does.
+      if (error.code === "not_running" && !runId && run.fallback && !stopped) {
+        letGo();
+        run.fallback(error.message);
+        return;
+      }
       finish("failed", `T3 Code did not take it: ${error.message}`);
     }
   })();