toolroll 0.9.55 → 0.9.57

package/dist/work-index.js

@@ -8,8 +8,12 @@ import { join } from 'node:path';
 import { readProjectAccess } from './project-access.js';
 import { pauseOnTaskProviders, providerName, signInReason } from './provider-auth.js';
 import { scopeTermsProblem, stopFactOf } from './store.js';
-import { leadOnIt, plainReasonOf, replacedWords, stageOfCode, taskStatusOf, workToneOf } from './task-status.js';
-import { isCheckLevel } from './check-levels.js';
+import { assignmentChecksForRun } from './assignment.js';
+import { checkBackingOf, completionBlockersOf, leadOnIt, plainReasonOf, replacedWords, requirementsOf, stageOfCode, taskStatusOf, unverifiedWhenRefuted, workToneOf } from './task-status.js';
+import { releaseCoverageOf } from './release-coverage.js';
+import { buildReviewOf } from './review-switch.js';
+import { shownVerdictOf } from './proof.js';
+import { isCheckLevel, requiredCheckCommandFor } from './check-levels.js';
 import { MARKER } from './worktree.js';
 import { withFollowUps } from './result-follow-ups.js';
 import { ASKS, NEED_ASK, NEEDS, askChipOf, failedAttemptSentence, processNeedOf, resultHoldUpSentence } from './needs-you.js';
@@ -359,6 +363,14 @@ function readCursor(value, scope) {
  * Project counters share the page's admitted project/state filter.
  * Cursors bind the admitted scope, project and view, never broaden access. */
 export function workIndexPage(store, now, access, options = {}) {
+    return readWorkIndexPage(store, now, access, options);
+}
+/** An exact family lookup through the list's saved-fact projection. It remains
+ * permission-bound and bypasses pagination, never action-time verification. */
+export function workIndexTask(store, taskId, now, access, root) {
+    return readWorkIndexPage(store, now, access, { limit: 1, ...(root === undefined ? {} : { root }) }, taskId).items[0] ?? null;
+}
+function readWorkIndexPage(store, now, access, options, taskId = null) {
     const projection = registerValidators(store);
     const custody = custodyReadings(store);
     const view = VIEWS.includes(options.view ?? 'all') ? options.view ?? 'all' : 'all';
@@ -366,7 +378,7 @@ export function workIndexPage(store, now, access, options = {}) {
     const scope = cursorScope(access, options, view), cursor = readCursor(options.cursor, scope);
     const filter = view === 'needs-you' ? 'needs=1' : view === 'running' ? 'family_running=1' : view === 'completed' ? "code='complete'" : '1';
     const rows = prepared(store, `${projection}, selected_page AS MATERIALIZED (
-    SELECT * FROM ranked WHERE ${filter} AND ($cursorRoot=0 OR
+    SELECT * FROM ranked WHERE ${filter} AND ($taskId IS NULL OR root_ref IN (SELECT root_ref FROM members WHERE id=$taskId)) AND ($cursorRoot=0 OR
       ${ORDER}>$cursorRank OR (${ORDER}=$cursorRank AND (sort_at<$cursorAt OR (sort_at=$cursorAt AND root_ref<$cursorRoot))))
     ORDER BY ${ORDER},sort_at DESC,root_ref DESC LIMIT $limit
   ), page AS (SELECT p.*,COALESCE(p.result_id,(SELECT id FROM run WHERE task_ref=p.ref_id AND finished_at IS NOT NULL AND role IN ('builder','scout') ORDER BY id DESC LIMIT 1)) page_result_id FROM selected_page p), totals AS (SELECT ${TOTALS},${GROUP_TOTALS} FROM ranked), project_totals AS (
@@ -379,7 +391,7 @@ export function workIndexPage(store, now, access, options = {}) {
     'state',state,'created_at',created_at,'family_updated',family_updated,'version_count',version_count,'earlier_active',earlier_active,
     'earlier_id',earlier_id,'broken',broken,'live_run',live_run,'result_id',page_result_id,'result_outcome',(SELECT outcome FROM run WHERE id=page_result_id),'attempt_reason',(SELECT substr(reason,1,1000) FROM run WHERE task_ref IN (SELECT ref_id FROM members WHERE root_ref=page.root_ref) AND (finished_at IS NOT NULL OR outcome IS NOT NULL) AND role NOT IN ('planner','reviewer') ORDER BY id DESC LIMIT 1),
     'publication_url',(SELECT pr_url FROM publication WHERE run=page_result_id),
-    'result_role',(SELECT role FROM run WHERE id=page_result_id),'live_role',(SELECT role FROM run WHERE id=page.live_run),
+    'result_role',(SELECT role FROM run WHERE id=page_result_id),'result_head',(SELECT head_revision FROM run WHERE id=page_result_id),'live_role',(SELECT role FROM run WHERE id=page.live_run),
     'check_status',(SELECT status FROM run_check WHERE run=page_result_id),
     'check_level',(SELECT outcome FROM action_ledger WHERE repo IS page.repo AND run_id=page_result_id AND action='checks used' ORDER BY id DESC LIMIT 1),
     'check_follows',(SELECT json_group_array(q.outcome||' '||COALESCE((SELECT substr(f.outcome,instr(f.outcome,':')+1) FROM action_ledger f WHERE f.repo IS page.repo AND f.run_id=page_result_id
@@ -392,7 +404,7 @@ export function workIndexPage(store, now, access, options = {}) {
     'question_run',(SELECT run FROM decision WHERE id=page.question_id),'replaced_by',(SELECT successor FROM task_replacement WHERE task_ref=page.ref_id),
     'completed_by_lead',(SELECT lead FROM task_act WHERE task_ref=page.root_ref AND act='completed' ORDER BY id DESC LIMIT 1),
     'question_task',(SELECT r.external_id FROM decision d JOIN run ON run.id=d.run JOIN task_ref r ON r.id=run.task_ref WHERE d.id=page.question_id)) FROM page`)
-        .all({ ...parameters(now, access, options, custody), $cursorRoot: cursor?.root ?? 0, $cursorRank: cursor?.rank ?? 0, $cursorAt: cursor?.at ?? '', $limit: limit + 1, $recent: new Date(now.getTime() - 86_400_000).toISOString() });
+        .all({ ...parameters(now, access, options, custody), $taskId: taskId, $cursorRoot: cursor?.root ?? 0, $cursorRank: cursor?.rank ?? 0, $cursorAt: cursor?.at ?? '', $limit: limit + 1, $recent: new Date(now.getTime() - 86_400_000).toISOString() });
     const selected = rows.slice(1).map(row => JSON.parse(String(row['row_json'])));
     const page = selected.slice(0, limit), last = page.at(-1);
     const nextCursor = selected.length > limit && last !== undefined ? Buffer.from(JSON.stringify({ version: 2, scope,
@@ -405,7 +417,11 @@ export function workIndexPage(store, now, access, options = {}) {
     };
     // A claimed row says the viewer's own name for their lead.
     const leadName = page.some(row => n(row, 'lead_claim') !== 0) && access.principal === 'operator' && access.viewer != null ? leadNameOf(store, access.viewer) : undefined;
-    return { items: page.map(row => itemOf(row, access.principal, probe, leadName)), projects, totals: rows[0] === undefined ? { ...EMPTY } : counts(rows[0]),
+    // A finished result reads the same readiness the task page does (task-status.ts): its requirements, acceptance,
+    // automatic review and, with checks Off, the release check that covers it.
+    const memo = new Map();
+    const readiness = (row, checks) => resultReadinessFacts(store, now, options.root, row, checks, memo);
+    return { items: page.map(row => itemOf(row, access.principal, probe, leadName, readiness)), projects, totals: rows[0] === undefined ? { ...EMPTY } : counts(rows[0]),
         groups: rows[0] === undefined ? { ...NO_GROUPS } : groupCounts(rows[0]), nextCursor, limit, view };
 }
 export function workCountsByProject(store, now, access) {
@@ -451,7 +467,30 @@ function listChecksOf(own, level, follows) {
         return null;
     return { status: read.status, exitCode: null, head: null, level: read.level, running: read.running };
 }
-function itemOf(row, principal, probe, leadName) {
+/** A ready result's requirements, acceptance and completion blockers from its saved records, as assignmentOf reads them. */
+function resultReadinessFacts(store, now, root, row, recorded, memo) {
+    const run = n(row, 'result_id'), repo = s(row, 'repo');
+    if (!run)
+        return { checks: recorded };
+    const report = s(row, 'result_role') === 'scout';
+    // No recorded check result (a build from before results were recorded, or none ran): read its saved receipt, as the page does.
+    const saved = root !== undefined && (recorded === null || recorded.status === 'not-run') ? assignmentChecksForRun(store, root, run, now) : null;
+    const listed = saved === null ? recorded : { status: saved.status, exitCode: saved.exitCode, head: s(row, 'result_head'),
+        ...(saved.level == null ? {} : { level: saved.level }), ...(saved.running == null ? {} : { running: saved.running }), ...(saved.batch == null ? {} : { batch: saved.batch }) };
+    const checks = listed?.level === 'off' && listed.status !== 'passed' && listed.status !== 'failed'
+        ? { ...listed, release: releaseCoverageOf(store, root, repo, s(row, 'result_head'), { memo }) } : listed;
+    const proof = store.proofVerdictFor(run), accepted = store.proofAcceptance(run) !== null;
+    const review = buildReviewOf(store, run);
+    const high = review === null || review.sentBackAs !== null || review.state !== 'reviewed' ? 0 : review.high.length;
+    const checkRequired = requiredCheckCommandFor(store, repo, String(row['id']), checks?.level) !== null;
+    const backing = checkBackingOf(checks);
+    const requirements = requirementsOf(proof?.matrix, backing);
+    const verdict = shownVerdictOf(proof?.verdict ?? null, { checkFailed: !report && checks?.status === 'failed', highFindings: high, reviewPending: review?.state === 'pending',
+        criteriaPassed: requirements === null || requirements.met === requirements.total });
+    const blockers = completionBlockersOf({ report, checks, checkRequired, matrix: proof?.matrix, verdict: proof?.verdict ?? null, accepted, high });
+    return { checks, requirements: unverifiedWhenRefuted(requirements, verdict), ...(accepted ? { accepted } : {}), ...(blockers.length === 0 ? {} : { blockers }) };
+}
+function itemOf(row, principal, probe, leadName, readiness) {
     const code = String(row['code']), id = String(row['id']);
     const custody = code === 'process-needs-attention' || (code === 'result-needs-attention' && n(row, 'custody_unresolved') === 1);
     const process = custody && probe !== undefined ? processNeedOf(probe(id)) : null;
@@ -564,10 +603,13 @@ function itemOf(row, principal, probe, leadName) {
     const checkStatus = s(row, 'check_status'), verdict = s(row, 'proof_verdict');
     const finished = reading.stage === 'finished' || reading.stage === 'complete';
     const own = checkStatus === 'failed' || n(row, 'proof_failed_check') === 1 ? 'failed' : checkStatus === 'passed' || verdict === 'verified' ? 'passed' : null;
+    const listedChecks = !finished ? null : listChecksOf(own, s(row, 'check_level'), row['check_follows']);
+    const ready = reading.stage === 'finished' && readiness !== undefined ? readiness(row, listedChecks) : null;
     const shared = taskStatusOf({ stage: reading.stage, ...(reading.need === undefined ? {} : { need: reading.need }), ...(reading.wait === undefined ? {} : { wait: reading.wait }),
         ...(process === null ? {} : { needContext: { build: process.build } }),
         reason: finished ? null : plainReasonOf(reading.stage, code, detail || null), report: s(row, 'result_role') === 'scout',
-        checks: !finished ? null : listChecksOf(own, s(row, 'check_level'), row['check_follows']),
+        checks: ready?.checks ?? listedChecks,
+        ...(ready === null ? {} : { requirements: ready.requirements ?? null, ...(ready.accepted ? { accepted: true } : {}), ...(ready.blockers === undefined ? {} : { blockers: ready.blockers }) }),
         completedBy: code !== 'complete' ? null : n(row, 'completed_by_lead') === 1 ? 'the lead' : String(row['checked_actor']).replace(/^(?:operator|coordinator|lead):/, ''),
         ...(lead === null ? {} : { lead, ...(leadName === undefined ? {} : { leadName }) }) });
     label = shared.headline;

package/dist/workspace-ui.js

@@ -395,7 +395,8 @@ export function acceptWordsOf(facts) {
     const plural = (n, one, many) => `${n} ${n === 1 ? one : many}`;
     const parts = [
         ...(facts.proof ? [] : ["nothing on record says what was met"]),
-        ...(facts.checks === "passed" ? [] : [facts.checks === "failed" ? "checks failed" : facts.checks === "off" ? "checks are off for this project"
+        // Checks deliberately Off are checked at release (task-status.ts): not a gap here.
+        ...(facts.checks === "passed" || facts.checks === "off" ? [] : [facts.checks === "failed" ? "checks failed"
                 : facts.checks === "running" ? "checks are still running" : facts.checks === "unavailable" ? "saved checks can't be read" : "checks didn't run"]),
         ...(facts.unmet > 0 ? [`${plural(facts.unmet, "requirement isn't", "requirements aren't")} met`] : []),
     ];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "toolroll",
-  "version": "0.9.55",
+  "version": "0.9.57",
   "description": "A control plane for unattended coding agents — queue tasks, walk away, come back to pull requests. Agents build in leased worktrees, never touch your default branch, and interrupt you only for decisions that need a human.",
   "directories": {
     "doc": "docs"
@@ -17,7 +17,6 @@
     "prepublishOnly": "npm run typecheck && npm run build",
     "nul-scan": "node scripts/nul-scan.mjs",
     "proof-preflight": "node scripts/proof-preflight.mjs",
-    "fixture:v47": "node scripts/derive-v47-fixture.mjs",
     "build:desktop": "node scripts/build-desktop.mjs",
     "certify:restart": "npm run build && node scripts/restart-certification.mjs",
     "certify:launchd": "npm run build && node scripts/launchd-certification.mjs",

package/dist/teammate-admin.d.ts

@@ -1,53 +0,0 @@
-/**
- * Looking after AI teammates (v92): making one from a template or a soul
- * file, editing its soul (a new version each time), pausing or removing it,
- * telling it something, and the daily summary it sends its manager.
- *
- * Shared by the Teammates pages and the lead chat, so both do the same thing.
- */
-import type { Store, TeammateRow } from "./store.js";
-export type Done = {
-    ok: true;
-    said: string;
-    id?: number;
-} | {
-    ok: false;
-    said: string;
-};
-export declare const TEAMMATE_MODELS: readonly ["default", "sonnet", "opus", "haiku"];
-/** A soul file with a different name: the template's, renamed. */
-export declare function renamedSoul(soul: string, name: string): string;
-/** A new teammate in a project, from a template (optionally renamed) or a whole soul file. */
-export declare function createTeammateFrom(store: Store, input: {
-    repo: string;
-    template?: string | null;
-    name?: string | null;
-    soul?: string | null;
-    by: string;
-}, now: Date): Done;
-/** Save a new version of a teammate's soul file. Its name stays: zones name it by handle. */
-export declare function saveSoul(store: Store, mate: TeammateRow, soul: string, by: string, now: Date): Done;
-/** Pause, resume or remove. Paused, its decisions go to people and the zones it handles wait. */
-export declare function setTeammateState(store: Store, mate: TeammateRow, state: "active" | "paused" | "removed", by: string, now: Date): Done;
-export declare function teammateSettings(store: Store, mate: TeammateRow, change: {
-    model?: string;
-    dailyTurns?: number;
-    manager?: string;
-}, by: string, now: Date): Done;
-export declare const nameOf: (mate: TeammateRow) => string;
-export declare const labelOf: (mate: TeammateRow) => string;
-/** Every zone a teammate works, in every flow of its project. */
-export declare function zonesOf(store: Store, mate: TeammateRow): {
-    flow: number;
-    flowName: string;
-    zone: string;
-    title: string;
-    kind: "decides" | "handles";
-}[];
-/** What a teammate did since a time, in words its manager reads at a glance. */
-export declare function summaryOf(store: Store, mate: TeammateRow, since: string | null): {
-    said: string;
-    quiet: boolean;
-};
-/** The daily summary, to each teammate's manager, once a day after 5 pm (this computer's time), or now when asked. */
-export declare function sendTeammateSummaries(store: Store, repo: string, now: Date, only?: number | null): number;

package/dist/teammates-ui.d.ts

@@ -1,21 +0,0 @@
-/**
- * The Teammates pages (v92): who is on the team, and one page per teammate —
- * what it asks you, its soul file, what it did and why, what you told it,
- * and its settings. Server-rendered forms, like the other settings pages.
- */
-import type { Store, TeammateRow } from "./store.js";
-import { type Html } from "./html.js";
-/** v94: the Tools section's rule rows; a limit's fields show only while "Up to a limit" is chosen. */
-export declare const TEAMMATE_CSS = ".teammate-tools .tool-grant{border-top:1px solid var(--so-line);padding-top:12px;margin-top:12px}.teammate-tools .tool-grant:first-of-type{border-top:0;margin-top:0;padding-top:0}.teammate-tools h3{font-size:1rem;margin:0 0 4px}.teammate-tools .tool-rule{display:grid;gap:6px;padding:10px 0;border-bottom:1px solid var(--so-line)}.teammate-tools .tool-rule:last-of-type{border-bottom:0}.teammate-tools .tool-rule .meta{display:block}.teammate-tools select,.teammate-tools input{max-width:100%;box-sizing:border-box}.teammate-tools .tool-limit{display:none;flex-wrap:wrap;align-items:center;gap:6px}.teammate-tools .tool-rule:has(option[value=\"limit\"]:checked) .tool-limit{display:flex}.teammate-tools .tool-rule>select{width:auto;min-width:16em}.teammate-tools .tool-limit select{width:auto}.teammate-tools .tool-limit input{width:7em}.teammate-tools .tool-buttons{display:flex;flex-wrap:wrap;gap:8px;margin-top:8px}.teammate-tools button{min-height:44px}.teammate-activity li{overflow-wrap:anywhere}.teammate-memory .memory-tell,.teammate-memory .memory-search{display:flex;flex-wrap:wrap;gap:8px;align-items:flex-end;margin:0 0 12px}.teammate-memory .memory-tell textarea{flex:1 1 280px}.teammate-memory .memory-search input{flex:1 1 220px}.teammate-memory button{min-height:44px}.teammate-memories{list-style:none;padding:0;margin:0}.teammate-memories li{padding:10px 0;border-top:1px solid var(--so-line);overflow-wrap:anywhere}.teammate-memories li:first-child{border-top:0}.teammate-memories .meta{display:block;font-size:.85rem}.teammate-memories details.memory-edit{border:0;padding:0;margin:2px 0 0;background:transparent;box-shadow:none}.memory-edit summary{cursor:pointer;min-height:32px;display:inline-flex;align-items:center;font-size:.85rem;font-weight:400;color:var(--so-muted)}.tool-undo{border:0;padding:0;margin:8px 0;background:transparent;box-shadow:none}.tool-undo summary{cursor:pointer;min-height:36px;display:inline-flex;align-items:center;font-size:.9rem}.tool-undo-row{display:flex;flex-wrap:wrap;gap:6px;align-items:center;margin:6px 0}.tool-undo-row select{width:auto}.teammate-overrides,.teammate-undo{padding-left:18px}.teammate-undo li{margin:6px 0}.teammate-undo form{display:inline}.teammate-week h3{font-size:1rem;margin:14px 0 4px}.teammate-week button{min-height:44px}.teammate-routines{list-style:none;padding:0;margin:8px 0}.teammate-routines li{display:grid;gap:4px;padding:10px 0;border-top:1px solid var(--so-line)}.teammate-routines li:first-child{border-top:0}.routine-buttons{display:flex;flex-wrap:wrap;gap:8px}.routine-buttons button,.routine-add button{min-height:44px}.routine-add{display:flex;flex-wrap:wrap;gap:8px;align-items:flex-end;margin:8px 0}.routine-add label{display:grid;gap:4px;flex:1 1 200px}.routine-add label:first-of-type{flex:0 1 180px}.teammate-actions,.question-options{display:flex;flex-wrap:wrap;gap:8px;margin:8px 0}.teammate-actions form,.question-options form{margin:0}.memory-edit form{display:grid;gap:8px;margin-top:6px}.memory-buttons{display:flex;flex-wrap:wrap;gap:8px}@media(max-width:600px){.teammate-tools select,.teammate-tools input{font-size:16px}}";
-/** A blank soul file: the sections a teammate reads, to fill in. */
-export declare const BLANK_SOUL = "---\nname: \nrole: \n---\n\n## Who you are\n\n\n## How you write\n\n\n## What you know\n\n\n## Decide on your own\n- \n\n## Ask first\n- \n\n## Never\n- \n";
-export declare function teammatesListHtml(store: Store, mates: readonly TeammateRow[], projects: readonly string[], projectName: (repo: string) => string, canCreate: boolean, notice: {
-    said?: string | null;
-    problem?: string | null;
-}): Html;
-export declare function teammatePageHtml(store: Store, mate: TeammateRow, viewer: string, projectName: (repo: string) => string, canManage: boolean, approvers: readonly string[], notice: {
-    said?: string | null;
-    problem?: string | null;
-    soulDraft?: string | null;
-    query?: string | null;
-}): Html;