cloving 1.1.0 → 1.2.0

package/dist/src/cli/render.js

@@ -1,5 +1,6 @@
 import { priceText, usageText, totalsSuffix } from "./usage-render.js";
 import { record } from "../protocol.js";
+import { workflowRefusals } from "../workflow-refusals.js";
 function show(value) {
     return typeof value === "string" ? value : JSON.stringify(value);
 }
@@ -57,7 +58,15 @@ function admitted(result) {
     ];
 }
 function runLine(run) {
-    return `  ${show(part(run, "runId"))}  ${show(part(run, "workflowId"))}  ${show(part(run, "condition"))}  revision ${show(part(run, "revision"))}  latest at ${show(part(run, "latestAt") ?? "none")}`;
+    const line = `  ${show(part(run, "runId"))}  ${show(part(run, "workflowId"))}  ${show(part(run, "condition"))}  revision ${show(part(run, "revision"))}  latest at ${show(part(run, "latestAt") ?? "none")}`;
+    return [line, ...chainLines(run).map((link) => `    ${link}`)].join("\n");
+}
+function chainLines(run) {
+    return [
+        `Parent run: ${visible(part(run, "parentRunId") ?? "none")}`,
+        `Chain: ${visible(part(run, "chainId") ?? part(run, "runId") ?? "none")}`,
+        `Child runs: ${visible(listing(part(run, "childRunIds")))}`,
+    ];
 }
 function ended(run) {
     return ["completed", "failed", "cancelled"].includes(show(run["state"]));
@@ -82,8 +91,16 @@ function runList(result) {
     const runs = result["runs"];
     const lines = Array.isArray(runs) ? runs.map(runLine) : [];
     const hiddenRuns = result["hiddenRuns"];
+    const refusals = workflowRefusals(result["workflowRefusals"]);
     return [
         `Workflows: ${visible(listing(result["workflows"]))}`,
+        ...queueLines(result["queue"]),
+        ...(refusals.length === 0
+            ? []
+            : [
+                "Refused workflows:",
+                ...refusals.map((entry) => `  ${entry.scope} ${entry.label}: ${entry.codes.join(", ")}`),
+            ]),
         "Runs:",
         ...(lines.length === 0 ? ["  none"] : lines),
         ...(typeof hiddenRuns === "number" && hiddenRuns > 0
@@ -93,6 +110,24 @@ function runList(result) {
             : []),
     ];
 }
+export function queueLines(value) {
+    const queue = record(value);
+    if (queue === undefined)
+        return [];
+    const skipped = queue["skipped"];
+    return [
+        `Queue: ${visible(queue["busy"])} of ${visible(queue["lanes"])} lanes busy`,
+        ...(Array.isArray(skipped)
+            ? skipped.map((item) => {
+                const dependencies = part(item, "dependencies");
+                const needs = Array.isArray(dependencies)
+                    ? `; needs ${dependencies.map(visible).join(", ")}`
+                    : "";
+                return `Skipped ticket ${visible(part(item, "ticketId"))}: ${visible(part(item, "reason"))}${needs}`;
+            })
+            : []),
+    ];
+}
 function observation(value) {
     if (record(value) === undefined)
         return "none";
@@ -101,12 +136,23 @@ function observation(value) {
 function feedbackLines(value) {
     return (Array.isArray(value) ? value : []).map((item) => `Feedback of ${show(part(item, "decisionId"))}: ${visible(part(item, "text"))}`);
 }
-function outcome(value) {
+function outcomeLines(value) {
     if (record(value) === undefined)
-        return "none";
+        return ["Outcome: none"];
     const reason = part(value, "reason");
     const kind = visible(part(value, "kind"));
-    return typeof reason === "string" ? `${kind}: ${visible(reason)}` : kind;
+    return [
+        `Outcome: ${typeof reason === "string" ? `${kind}: ${visible(reason)}` : kind}`,
+        ...(typeof part(value, "promotionId") === "string"
+            ? [`Promotion: ${visible(part(value, "promotionId"))}`]
+            : []),
+        ...(typeof part(value, "ticketStatus") === "string"
+            ? [`Ticket status: ${visible(part(value, "ticketStatus"))}`]
+            : []),
+        ...(part(value, "issueUpdate") === "failed"
+            ? ["Issue status update failed; check the GitHub operation."]
+            : []),
+    ];
 }
 function workerLines(value) {
     return (Array.isArray(value) ? value : []).flatMap((turn) => [
@@ -140,6 +186,13 @@ export function statusJson(result) {
         },
     };
 }
+function inputText(value) {
+    const text = visible(record(value) ?? null);
+    const characters = Array.from(text);
+    return characters.length > 200
+        ? `${characters.slice(0, 200).join("")}…`
+        : text;
+}
 export function runStatus(result) {
     const run = result["run"];
     const reason = part(run, "reason");
@@ -150,17 +203,10 @@ export function runStatus(result) {
         `Run ${show(part(run, "runId"))} (${show(part(run, "workflowId"))})`,
         `Title: ${visible(part(run, "title") ?? "none")}`,
         `State: ${show(part(run, "state"))}`,
-        `Outcome: ${outcome(part(run, "outcome"))}`,
-        ...(typeof part(part(run, "outcome"), "ticketStatus") === "string"
-            ? [
-                `Ticket status: ${visible(part(part(run, "outcome"), "ticketStatus"))}`,
-            ]
-            : []),
-        ...(part(part(run, "outcome"), "issueUpdate") === "failed"
-            ? ["Issue status update failed; check the GitHub operation."]
-            : []),
+        ...outcomeLines(part(run, "outcome")),
         `Condition: ${show(part(run, "condition"))}`,
         `Reason: ${show(part(reason, "code"))}: ${show(part(reason, "detail"))}`,
+        `Input: ${inputText(part(run, "input"))}`,
         `Revision: ${show(part(run, "revision"))}, latest sequence ${show(part(run, "latestSequence"))}`,
         `Latest at: ${show(part(run, "latestAt") ?? "none")}`,
         `Pending decisions: ${listing(part(run, "pendingDecisions"))}`,
@@ -173,6 +219,7 @@ export function runStatus(result) {
         `Next action: ${show(part(run, "nextAction") ?? "none")}${at === null ? "" : ` at ${show(at)}`}`,
         `Human input can help: ${part(run, "humanInputCanHelp") === true ? "yes" : "no"}`,
         ...feedbackLines(part(run, "feedback")),
+        ...chainLines(run),
     ];
 }
 function binding(decision) {

package/dist/src/cli/usage.js

@@ -65,13 +65,15 @@ The command reads these settings from the environment:
   CLOVING_RUNTIME_DIR              The path of the runtime directory. The default is ~/.local/state/cloving/run, if XDG_RUNTIME_DIR and XDG_STATE_HOME are not set.
   CLOVING_TICKET_COMMAND           A JSON list of a command and its arguments. The command gets a ticket ID as its last argument and prints the ticket. The setting has no default, and a run with --ticket needs it.
   CLOVING_NOTIFY_COMMAND           A JSON list of a command and its arguments. Every 15 seconds, new decisions, blocked runs and failed runs send JSON on standard input with no added argument. The setting has no default.
-  CLOVING_NEXT_COMMAND             A JSON list of a command and its arguments. The command runs with no added argument and prints one ready ticket ID for --next. The setting has no default.
-  CLOVING_QUEUE_SECONDS            A whole number from 10 to 3600 seconds between develop-issue queue checks; requires CLOVING_NEXT_COMMAND and CLOVING_TICKET_COMMAND. Unset means no queue. The queue stops after three runs in a row without a successful handoff; manual develop-issue submissions are refused with workflow-active while an issue run is active.
+  CLOVING_NEXT_COMMAND             A JSON list of a command and its arguments. The command runs with no added argument and prints one ready ticket ID for --next. It must exclude the space-separated ticket IDs in CLOVING_SKIP_TICKETS. The setting has no default.
+  CLOVING_QUEUE_SECONDS            A whole number from 10 to 3600 seconds between develop-issue queue checks; requires CLOVING_NEXT_COMMAND and CLOVING_TICKET_COMMAND. Unset means no queue. The queue stops after three runs in a row without a successful handoff; manual develop-issue submissions are refused with workflow-active when all lanes are busy.
+  CLOVING_QUEUE_LANES              A whole number from 1 to 4; the default is 1. Requires CLOVING_QUEUE_SECONDS. Active tickets are refused with ticket-active. Needs #N sentences in the ticket's ## Dependencies section refuse admission with ticket-dependency-open while issue #N is open.
   CLOVING_SELF_UPDATE_SECONDS      A whole number from 30 to 3600 seconds between checks of the own checkout; unset means no update. An update stops the daemon and restarts with new code. A change of package-lock.json needs the operator to update and install by hand.
   CLOVING_ANALYSIS_TOKEN_COMMAND   A JSON list of a program and its nonempty string arguments, run without a shell just before analysis. It has limits of 10 seconds and 4096 combined stdout/stderr bytes; stdout must be one printable ASCII token without spaces, at most 512 bytes after one final line break. Only analysis receives CLAUDE_CODE_OAUTH_TOKEN; API keys are excluded. There is no default.
   CLOVING_CLAUDE_COMMAND           A JSON list of a command and its arguments for the Claude worker. The default is the claude command with a limit of 5 USD for each turn.
   CLOVING_PROFILES                 The path of a JSON file of operator-defined Claude turn profiles, read once at start. The setting has no default.
   CLOVING_TOKEN_PRICES             A JSON object from model names to input, cachedInput and output USD prices per million tokens for estimates; entries override matching built-in prices.
+  CLOVING_FALLBACK_MODELS          A JSON array of at most three nonempty model names; the default is no fallback. After capacity refusals the first retry keeps the main model and the third attempt uses the first fallback, with the same waits and attempt limit. Requires an explicit -m, --model or --model= argument; does not change analyze-chats analysis. A fallback can have a higher price.
   CLOVING_WORKER                   The worker for each turn: claude or codex. The default is claude. Other values stop the start with invalid-worker.
   CLOVING_CODEX_COMMAND            A JSON list of a command and its arguments, used only when CLOVING_WORKER is codex; CLOVING_CLAUDE_COMMAND is then ignored. The default is codex exec --json --dangerously-bypass-approvals-and-sandbox --skip-git-repo-check -, with no sandbox and no approval prompts.
   CLOVING_WATCH_REPOSITORY         The service repository context for the watch board, set by start from --repository. Its local origin supplies the GitHub identity. There is no current-directory default.
@@ -81,6 +83,7 @@ The command reads these settings from the environment:
   CLOVING_HOST_BOUND               The largest number of queue messages that the workflow host handles at one time, from 1 to 64. The default is 8.
   CLOVING_GH_COMMAND               A JSON list of a command and its arguments for the GitHub CLI, which the workflow develop-issue uses for pull requests and develop-prd uses for issues. The watch board also uses it to read pull request status. The default is gh.
   CLOVING_CHECK_COMMAND            A JSON list of a command and its arguments that the workflow develop-issue runs in the work tree before a merge. A merge does not occur if the command fails. The setting has no default, and with no setting the merge occurs with no check.
+  CLOVING_REQUIRED_CHECKS          A JSON list of required check run names before a develop-issue merge. Unset requires all GitHub Actions checks; a repository with no CI can merge after 60 seconds. The latest run of each name decides. The CI wait limit is 90 minutes.
   CLOVING_PRIVATE_TEXTS            A JSON list of texts that the workflow develop-issue does not push in a file or in a commit message. The workflow develop-prd requires the list before posting an issue. The list adds to the path of the home folder, and the case of the letters does not matter. The setting has no default.
 `,
 };

package/dist/src/cli/watch-board-view.d.ts

@@ -21,11 +21,20 @@ export declare function CardReview(props: {
     readonly card: WatchCard;
     readonly workflowId: string;
 }): Shown;
-export declare function completionMark(card: WatchCard, workflowId: string): Shown;
+export declare function staleObservation(card: WatchCard, now: string): Shown;
+export declare function observationText(card: WatchCard, fallback: string): string;
+export declare function completionMark(card: WatchCard, context: {
+    readonly workflowId: string;
+    readonly now: string;
+}): Shown;
 export declare function Card(props: {
     readonly card: WatchCard;
     readonly workflowId: string;
     readonly now: string;
+    readonly observationNow?: string | undefined;
+}): Shown;
+export declare function HandoffLinks(props: {
+    readonly run: Pick<WatchCard, "parentRunId" | "childRunIds">;
 }): Shown;
 export declare function WorkflowList(props: {
     readonly workflows: readonly WatchWorkflow[];
@@ -43,6 +52,7 @@ export declare function Column(props: {
     readonly addCard?: Shown;
     readonly workflowId: string;
     readonly now: string;
+    readonly observationNow?: string | undefined;
     readonly controls?: ColumnControls | undefined;
 }): Shown;
 export declare function Board(props: {
@@ -50,5 +60,6 @@ export declare function Board(props: {
     readonly cardForm?: CardForm | undefined;
     readonly cards?: CardControls | undefined;
     readonly now: string;
+    readonly observationNow?: string | undefined;
     readonly controls?: ColumnControls | undefined;
 }): Shown;

package/dist/src/cli/watch-board-view.js

@@ -55,21 +55,45 @@ export function CardReview(props) {
         ]),
     });
 }
-export function completionMark(card, workflowId) {
+export function staleObservation(card, now) {
+    const observation = card.pullRequestObservation;
+    const lastSuccess = observation?.lastSuccess;
+    if (observation?.status === "merged" ||
+        lastSuccess?.status !== "unmerged" ||
+        !(Date.parse(now) - lastSuccess.readAt > 120000))
+        return null;
+    return [
+        " ",
+        element("span", { class: "completion-stale", children: "Stale" }),
+    ];
+}
+export function observationText(card, fallback) {
+    if (fallback !== "Needs attention")
+        return fallback;
+    const status = card.pullRequestObservation?.status;
+    if (status === "merged")
+        return `PR merged · #${String(card.pullRequestNumber)}`;
+    if (status === "pending")
+        return "Checking PR";
+    if (status === "unavailable")
+        return "PR status unavailable";
+    return fallback;
+}
+export function completionMark(card, context) {
     const mark = card.completionMark;
     if (mark === null)
         return null;
-    let text = mark.text;
-    const status = card.pullRequestObservation?.status;
-    if (text === "Needs attention" && status === "merged")
-        text = `PR merged #${String(card.pullRequestNumber)}`;
-    if (text === "Needs attention" && status === "unavailable")
-        text = "PR status unavailable";
+    const text = observationText(card, mark.text);
     if (mark.laterRunId === null)
-        return element("span", { class: "completion-mark", children: text });
+        return [
+            element("span", { class: "completion-mark", children: text }),
+            mark.text === "Needs attention"
+                ? staleObservation(card, context.now)
+                : null,
+        ];
     return element("a", {
         class: "completion-mark",
-        href: watchHash({ workflowId, runId: mark.laterRunId }),
+        href: watchHash({ workflowId: context.workflowId, runId: mark.laterRunId }),
         children: mark.text,
     });
 }
@@ -106,10 +130,25 @@ export function Card(props) {
                     element("small", { children: card.runId.slice(0, 12) }),
                 ],
             }),
-            completionMark(card, workflowId),
+            completionMark(card, { workflowId, now: props.observationNow ?? now }),
+            component(HandoffLinks, { run: card }),
         ],
     });
 }
+export function HandoffLinks(props) {
+    const { parentRunId, childRunIds } = props.run;
+    const links = [
+        ...(parentRunId == null
+            ? []
+            : [{ label: "Parent run", runId: parentRunId }]),
+        ...(childRunIds ?? []).map((runId) => ({ label: "Child run", runId })),
+    ];
+    return links.map(({ label, runId }) => element("a", {
+        class: "meta",
+        href: watchHash({ workflowId: null, runId }),
+        children: `${label}: ${runId}`,
+    }));
+}
 export function WorkflowList(props) {
     return element("nav", {
         class: "workflows",
@@ -167,7 +206,13 @@ export function Column(props) {
                 : element("div", {
                     class: "column-cards",
                     children: [
-                        column.cards.map((card) => component(Card, { key: card.runId, card, workflowId, now })),
+                        column.cards.map((card) => component(Card, {
+                            key: card.runId,
+                            card,
+                            workflowId,
+                            now,
+                            observationNow: props.observationNow,
+                        })),
                         props.addCard,
                     ],
                 }),
@@ -187,6 +232,7 @@ export function Board(props) {
                     column,
                     workflowId: workflow.workflowId,
                     now,
+                    observationNow: props.observationNow,
                     controls: props.controls,
                     addCard: index === 0
                         ? component(AddCard, {

package/dist/src/cli/watch-board.d.ts

@@ -1,11 +1,17 @@
+import type { WorkflowStage, WorkflowStages } from "../workflow-declaration.ts";
 import type { WatchCompletionMark, WatchRun, WatchStep, WatchWorkflow } from "./watch-render.ts";
 export declare function completionMarkOf(run: WatchRun, candidates: readonly WatchRun[]): WatchCompletionMark | null;
 export declare function activeRun(state: string): boolean;
 export declare function recentRun(latestAt: string | null, now: string): boolean;
-export declare function currentStepOf(events: readonly unknown[], workflowId: string): WatchStep;
+export declare function stagesFor(metadata: WorkflowStages | undefined, workflowId: string): readonly WorkflowStage[] | undefined;
+export declare function currentStepOf(events: readonly unknown[], workflow: {
+    readonly workflowId: string;
+    readonly stages: readonly WorkflowStage[] | undefined;
+}): WatchStep;
 export declare function roundOf(events: readonly unknown[]): number;
 interface BoardInputs {
     readonly workflows: readonly string[];
+    readonly workflowStages?: WorkflowStages;
     readonly updatedAt: string;
     readonly summaries?: readonly unknown[];
     readonly completionCandidates?: readonly WatchRun[];

package/dist/src/cli/watch-board.js

@@ -1,6 +1,8 @@
+import { linksOf } from "../authority/handoff-chain.js";
 import { record } from "../protocol.js";
 import { isInstant } from "../authority/instants.js";
 import { issueSteps } from "./watch-phases.js";
+import { sameIssue } from "./watch-pr-identity.js";
 const weekMilliseconds = 7 * 24 * 60 * 60 * 1000;
 const terminalStates = ["completed", "failed", "cancelled"];
 function eventTime(run, type) {
@@ -12,11 +14,15 @@ export function completionMarkOf(run, candidates) {
         run.state !== "completed" ||
         run.outcome !== "blocked")
         return null;
+    if (run.mergeProof != null)
+        return {
+            text: `PR merged · #${String(run.mergeProof.number)}`,
+            laterRunId: null,
+        };
     const completedAt = eventTime(run, "run.completed");
     const later = candidates
-        .filter((candidate) => typeof run.ticketId === "string" &&
-        run.ticketId !== "" &&
-        candidate.ticketId === run.ticketId &&
+        .filter((candidate) => sameIssue(run.issueIdentity, candidate.issueIdentity) &&
+        candidate.mergeProof != null &&
         candidate.runId !== run.runId &&
         candidate.workflowId === "develop-issue" &&
         candidate.state === "completed" &&
@@ -32,7 +38,7 @@ export function completionMarkOf(run, candidates) {
         (first.runId < second.runId ? -1 : 1))[0];
     return later === undefined
         ? { text: "Needs attention", laterRunId: null }
-        : { text: "Done in a later run", laterRunId: later.runId };
+        : { text: "Ticket completed by later run", laterRunId: later.runId };
 }
 export function activeRun(state) {
     return !terminalStates.includes(state);
@@ -41,10 +47,17 @@ export function recentRun(latestAt, now) {
     const age = Date.parse(now) - Date.parse(latestAt ?? "");
     return age >= 0 && age <= weekMilliseconds;
 }
-function stepNames(workflowId) {
+export function stagesFor(metadata, workflowId) {
+    return metadata !== undefined && Object.hasOwn(metadata, workflowId)
+        ? metadata[workflowId]
+        : undefined;
+}
+function stepNames(workflowId, stages) {
+    if (workflowId !== "develop-issue" && stages !== undefined)
+        return [...stages.map((stage) => stage.label), "Other"];
     return workflowId === "develop-issue"
         ? issueSteps.map((step) => step.name)
-        : ["Claude turn", "Your review"];
+        : ["Agent turn", "Your review"];
 }
 function operationOf(event) {
     const payload = record(record(event)?.["payload"]);
@@ -63,7 +76,7 @@ function stepName(event, workflowId) {
     if (type !== "effect.requested")
         return undefined;
     if (workflowId !== "develop-issue")
-        return "Claude turn";
+        return "Agent turn";
     return issueSteps.find((step) => step.operation === operationOf(event)[4])
         ?.name;
 }
@@ -74,10 +87,24 @@ function startedAt(event) {
 function chronological(events) {
     return events.toSorted((first, second) => Date.parse(startedAt(first) ?? "") - Date.parse(startedAt(second) ?? ""));
 }
-export function currentStepOf(events, workflowId) {
+function declaredStep(events, stages) {
+    const event = events
+        .filter((item) => ["effect.requested", "gate.opened"].includes(String(record(item)?.["type"])))
+        .toSorted((first, second) => Number(record(second)?.["sequence"]) -
+        Number(record(first)?.["sequence"]))[0];
+    const payload = record(record(event)?.["payload"]);
+    const selector = record(event)?.["type"] === "effect.requested" ? "operations" : "gateKinds";
+    const value = selector === "operations" ? operationOf(event)[4] : payload?.["gateKind"];
+    const stage = stages.find((item) => item[selector]?.some((name) => name === value));
+    return { name: stage?.label ?? "Other", startedAt: startedAt(event) };
+}
+export function currentStepOf(events, workflow) {
+    const { workflowId, stages } = workflow;
+    if (workflowId !== "develop-issue" && stages !== undefined)
+        return declaredStep(events, stages);
     const event = chronological(events).findLast((item) => stepName(item, workflowId) !== undefined);
     return {
-        name: stepName(event, workflowId) ?? stepNames(workflowId)[0] ?? "Claude turn",
+        name: stepName(event, workflowId) ?? stepNames(workflowId)[0] ?? "Agent turn",
         startedAt: startedAt(event),
     };
 }
@@ -101,6 +128,7 @@ function cardOf(run, runs) {
     return {
         runId: run.runId,
         title: run.title,
+        ...linksOf(run),
         completionMark: completionMarkOf(run, runs),
         pullRequestObservation: null,
         claudeCostUsd: run.claudeCostUsd,
@@ -149,7 +177,11 @@ export function boardsOf(inputs, runs) {
             : inputs.summaries
                 .filter((value) => record(value)?.["workflowId"] === workflowId)
                 .map(summaryOf);
-        const columns = [...stepNames(workflowId), "Done", "Stopped"].map((name) => {
+        const columns = [
+            ...stepNames(workflowId, stagesFor(inputs.workflowStages, workflowId)),
+            "Done",
+            "Stopped",
+        ].map((name) => {
             const cards = own
                 .filter((run) => columnOf(run, inputs.updatedAt) === name)
                 .map((run) => cardOf(run, inputs.completionCandidates ?? runs));

package/dist/src/cli/watch-client.d.ts

@@ -1 +1 @@
-export declare const watchClient = "\nconst state = { model: null, stale: false, copied: \"\", label: \"\", run: \"\", loading: false, again: false, columns: {}, cards: {}, start: null, hovered: null, focused: null };\nfunction readPreference(key) {\n  try { return JSON.parse(localStorage.getItem(key)); }\n  catch { return null; }\n}\nfunction readColumnChoices(key) {\n  const value = readPreference(key);\n  if (typeof value !== \"object\" || value === null || Array.isArray(value)) return null;\n  return Object.fromEntries(Object.entries(value).filter(([, choice]) => typeof choice === \"boolean\"));\n}\nfunction savePreference(key, value) {\n  try { localStorage.setItem(key, JSON.stringify(value)); }\n  catch {}\n}\nfunction startControls() {\n  if (state.start === null) state.start = readPreference(\"cloving.watch.start\") === true;\n  return { shown: state.start, onToggle() {\n    state.start = !state.start;\n    savePreference(\"cloving.watch.start\", state.start);\n    draw();\n  } };\n}\nfunction columnControls(model, selected) {\n  const workflowId = model === null ? null : boardWorkflow(model, watchLocation(selected).workflowId);\n  if (workflowId === null) return undefined;\n  const key = \"cloving.watch.columns:\" + workflowId;\n  if (!Object.hasOwn(state.columns, workflowId))\n    state.columns = { ...state.columns, [workflowId]: readColumnChoices(key) };\n  const choices = state.columns[workflowId];\n  return { choices, onHover(name) { state.hovered = name; }, onFocus(name) { state.focused = name; }, onToggle(name) {\n    const changed = { ...choices, [name]: !columnCollapsed(choices, name) };\n    state.columns = { ...state.columns, [workflowId]: changed };\n    savePreference(key, changed);\n    draw();\n  } };\n}\nfunction moved(next, followed) {\n  const arrived = next === \"waiting_gate\" && next !== state.run;\n  state.run = next;\n  if (arrived) scrollTo(0, 0);\n  else if (followed && next === \"running\") scrollTo(0, document.body.scrollHeight);\n}\nfunction copy(command) {\n  const shown = (label) => {\n    state.copied = command;\n    state.label = label;\n    draw();\n  };\n  navigator.clipboard.writeText(command).then(\n    () => { shown(\"Copied\"); },\n    () => { shown(\"Copy failed\"); },\n  );\n}\nfunction draw() {\n  const { model, stale } = state;\n  const selected = location.hash.slice(1);\n  const followed = innerHeight + scrollY >= document.body.scrollHeight - 80;\n  const copying = { command: state.copied, label: state.label, onCopy: copy };\n  const now = new Date().toISOString();\n  const columns = columnControls(model, selected);\n  const start = model === null ? undefined : startControls();\n  const cards = cardControls(model, model === null ? null : boardWorkflow(model, watchLocation(selected).workflowId));\n  const page = component(Page, { model, selected, now, stale, copying, columns, start, cards });\n  render(page, document.getElementById(\"app\"));\n  if (model === null) return;\n  document.title = watchTitle(model, selected);\n  const { runId } = watchLocation(selected);\n  moved(model.runs.find((run) => run.runId === runId)?.state ?? \"\", followed);\n}\nasync function withSelectedRun(model) {\n  const { runId } = watchLocation(location.hash);\n  if (runId === null || model.runs.some((run) => run.runId === runId)) return model;\n  const detail = await fetch(\"data.json?runId=\" + encodeURIComponent(runId), { cache: \"no-store\" });\n  if (detail.status === 404) return model;\n  if (!detail.ok) throw new Error(\"watch-run-not-available\");\n  const { run } = await detail.json();\n  if (run?.runId !== runId) throw new Error(\"watch-run-mismatch\");\n  return { ...model, runs: [...model.runs, run] };\n}\nasync function load() {\n  state.again = state.loading;\n  if (state.loading) return;\n  state.loading = true;\n  try {\n    const reply = await fetch(\"data.json\", { cache: \"no-store\" });\n    if (!reply.ok) throw new Error(\"watch-not-available\");\n    state.model = await withSelectedRun(await reply.json());\n    state.stale = false;\n  } catch {\n    state.stale = true;\n  }\n  state.loading = false;\n  draw();\n  if (state.again) load();\n}\nfunction listen() {\n  const source = new EventSource(\"events\");\n  source.onmessage = () => { load(); };\n  source.onerror = () => { state.stale = true; draw(); };\n}\naddEventListener(\"keydown\", (event) => {\n  if (event.key !== String.fromCharCode(92) || event.defaultPrevented || event.repeat || event.isComposing) return;\n  if (event.ctrlKey || event.altKey || event.metaKey || event.shiftKey) return;\n  if (event.target?.closest?.(\"input, textarea, select, [contenteditable]\")) return;\n  const target = state.hovered ?? state.focused;\n  if (target === null || watchLocation(location.hash).runId !== null) return;\n  const controls = columnControls(state.model, location.hash);\n  if (controls === undefined) return;\n  event.preventDefault();\n  controls.onToggle(target);\n});\naddEventListener(\"hashchange\", () => { state.run = \"\"; state.hovered = null; state.focused = null; draw(); load(); });\ndraw();\nlisten();\nsetInterval(draw, 1000);\nsetInterval(load, 15000);\n";
+export declare const watchClient = "\nconst state = { model: null, receivedAt: 0, stale: false, copied: \"\", label: \"\", run: \"\", loading: false, again: false, columns: {}, cards: {}, start: null, hovered: null, focused: null };\nfunction readPreference(key) {\n  try { return JSON.parse(localStorage.getItem(key)); }\n  catch { return null; }\n}\nfunction readColumnChoices(key) {\n  const value = readPreference(key);\n  if (typeof value !== \"object\" || value === null || Array.isArray(value)) return null;\n  return Object.fromEntries(Object.entries(value).filter(([, choice]) => typeof choice === \"boolean\"));\n}\nfunction savePreference(key, value) {\n  try { localStorage.setItem(key, JSON.stringify(value)); }\n  catch {}\n}\nfunction startControls() {\n  if (state.start === null) state.start = readPreference(\"cloving.watch.start\") === true;\n  return { shown: state.start, onToggle() {\n    state.start = !state.start;\n    savePreference(\"cloving.watch.start\", state.start);\n    draw();\n  } };\n}\nfunction columnControls(model, selected) {\n  const workflowId = model === null ? null : boardWorkflow(model, watchLocation(selected).workflowId);\n  if (workflowId === null) return undefined;\n  const key = \"cloving.watch.columns:\" + workflowId;\n  if (!Object.hasOwn(state.columns, workflowId))\n    state.columns = { ...state.columns, [workflowId]: readColumnChoices(key) };\n  const choices = state.columns[workflowId];\n  return { choices, onHover(name) { state.hovered = name; }, onFocus(name) { state.focused = name; }, onToggle(name) {\n    const changed = { ...choices, [name]: !columnCollapsed(choices, name) };\n    state.columns = { ...state.columns, [workflowId]: changed };\n    savePreference(key, changed);\n    draw();\n  } };\n}\nfunction moved(next, followed) {\n  const arrived = next === \"waiting_gate\" && next !== state.run;\n  state.run = next;\n  if (arrived) scrollTo(0, 0);\n  else if (followed && next === \"running\") scrollTo(0, document.body.scrollHeight);\n}\nfunction copy(command) {\n  const shown = (label) => {\n    state.copied = command;\n    state.label = label;\n    draw();\n  };\n  navigator.clipboard.writeText(command).then(\n    () => { shown(\"Copied\"); },\n    () => { shown(\"Copy failed\"); },\n  );\n}\nfunction draw() {\n  const { model, stale } = state;\n  const selected = location.hash.slice(1);\n  const followed = innerHeight + scrollY >= document.body.scrollHeight - 80;\n  const copying = { command: state.copied, label: state.label, onCopy: copy };\n  const now = new Date().toISOString();\n  const observationNow = model === null ? now : new Date(Date.parse(model.updatedAt) + performance.now() - state.receivedAt).toISOString();\n  const columns = columnControls(model, selected);\n  const start = model === null ? undefined : startControls();\n  const cards = cardControls(model, model === null ? null : boardWorkflow(model, watchLocation(selected).workflowId));\n  const page = component(Page, { model, selected, now, observationNow, stale, copying, columns, start, cards });\n  render(page, document.getElementById(\"app\"));\n  if (model === null) return;\n  document.title = watchTitle(model, selected);\n  const { runId } = watchLocation(selected);\n  moved(model.runs.find((run) => run.runId === runId)?.state ?? \"\", followed);\n}\nasync function withSelectedRun(model) {\n  const { runId } = watchLocation(location.hash);\n  if (runId === null || model.runs.some((run) => run.runId === runId)) return model;\n  const detail = await fetch(\"data.json?runId=\" + encodeURIComponent(runId), { cache: \"no-store\" });\n  if (detail.status === 404) return model;\n  if (!detail.ok) throw new Error(\"watch-run-not-available\");\n  const { run } = await detail.json();\n  if (run?.runId !== runId) throw new Error(\"watch-run-mismatch\");\n  return { ...model, runs: [...model.runs, run] };\n}\nasync function load() {\n  state.again = state.loading;\n  if (state.loading) return;\n  state.loading = true;\n  try {\n    const reply = await fetch(\"data.json\", { cache: \"no-store\" });\n    if (!reply.ok) throw new Error(\"watch-not-available\");\n    const model = await reply.json();\n    const receivedAt = performance.now();\n    state.model = await withSelectedRun(model);\n    state.receivedAt = receivedAt;\n    state.stale = false;\n  } catch {\n    state.stale = true;\n  }\n  state.loading = false;\n  draw();\n  if (state.again) load();\n}\nfunction listen() {\n  const source = new EventSource(\"events\");\n  source.onmessage = () => { load(); };\n  source.onerror = () => { state.stale = true; draw(); };\n}\naddEventListener(\"keydown\", (event) => {\n  if (event.key !== String.fromCharCode(92) || event.defaultPrevented || event.repeat || event.isComposing) return;\n  if (event.ctrlKey || event.altKey || event.metaKey || event.shiftKey) return;\n  if (event.target?.closest?.(\"input, textarea, select, [contenteditable]\")) return;\n  const target = state.hovered ?? state.focused;\n  if (target === null || watchLocation(location.hash).runId !== null) return;\n  const controls = columnControls(state.model, location.hash);\n  if (controls === undefined) return;\n  event.preventDefault();\n  controls.onToggle(target);\n});\naddEventListener(\"hashchange\", () => { state.run = \"\"; state.hovered = null; state.focused = null; draw(); load(); });\ndraw();\nlisten();\nsetInterval(draw, 1000);\nsetInterval(load, 15000);\n";

package/dist/src/cli/watch-client.js

@@ -1,5 +1,5 @@
 export const watchClient = `
-const state = { model: null, stale: false, copied: "", label: "", run: "", loading: false, again: false, columns: {}, cards: {}, start: null, hovered: null, focused: null };
+const state = { model: null, receivedAt: 0, stale: false, copied: "", label: "", run: "", loading: false, again: false, columns: {}, cards: {}, start: null, hovered: null, focused: null };
 function readPreference(key) {
   try { return JSON.parse(localStorage.getItem(key)); }
   catch { return null; }
@@ -58,10 +58,11 @@ function draw() {
   const followed = innerHeight + scrollY >= document.body.scrollHeight - 80;
   const copying = { command: state.copied, label: state.label, onCopy: copy };
   const now = new Date().toISOString();
+  const observationNow = model === null ? now : new Date(Date.parse(model.updatedAt) + performance.now() - state.receivedAt).toISOString();
   const columns = columnControls(model, selected);
   const start = model === null ? undefined : startControls();
   const cards = cardControls(model, model === null ? null : boardWorkflow(model, watchLocation(selected).workflowId));
-  const page = component(Page, { model, selected, now, stale, copying, columns, start, cards });
+  const page = component(Page, { model, selected, now, observationNow, stale, copying, columns, start, cards });
   render(page, document.getElementById("app"));
   if (model === null) return;
   document.title = watchTitle(model, selected);
@@ -85,7 +86,10 @@ async function load() {
   try {
     const reply = await fetch("data.json", { cache: "no-store" });
     if (!reply.ok) throw new Error("watch-not-available");
-    state.model = await withSelectedRun(await reply.json());
+    const model = await reply.json();
+    const receivedAt = performance.now();
+    state.model = await withSelectedRun(model);
+    state.receivedAt = receivedAt;
     state.stale = false;
   } catch {
     state.stale = true;

package/dist/src/cli/watch-model.d.ts

@@ -1,4 +1,10 @@
+import type { WorkflowStages } from "../workflow-declaration.ts";
+import { type WorkflowRefusal } from "../workflow-refusals.ts";
 import type { WatchDecision, WatchItem, WatchModel, WatchTurn } from "./watch-render.ts";
+import { type GithubRecords } from "./watch-pull-request.ts";
+export type { GithubRecords } from "./watch-pull-request.ts";
+import { type PrRepository } from "./watch-pr-identity.ts";
+type Fields = Readonly<Record<string, unknown>>;
 export declare function activityOf(line: string): WatchItem[];
 export interface TurnRecords {
     readonly key: string;
@@ -10,7 +16,11 @@ export interface TurnRecords {
 export declare function turnOf(records: TurnRecords): WatchTurn;
 export declare function decisionCommands(decision: unknown, client: string): WatchDecision;
 export interface WatchInputs {
+    readonly queue?: Fields;
+    readonly repository?: PrRepository | null;
     readonly workflows: readonly string[];
+    readonly workflowRefusals?: readonly WorkflowRefusal[];
+    readonly workflowStages?: WorkflowStages;
     readonly summaries?: readonly unknown[];
     readonly home: string;
     readonly client: string;
@@ -22,8 +32,4 @@ export interface WatchInputs {
     readonly turns: readonly WatchTurn[];
     readonly githubRecords: readonly GithubRecords[];
 }
-export interface GithubRecords {
-    readonly started: unknown;
-    readonly result: unknown;
-}
 export declare function watchModel(inputs: WatchInputs): WatchModel;