@gobing-ai/spur 0.4.2 → 0.4.4

package/plugins/sp/lib/residual-scan.generated.d.mts

@@ -2,7 +2,12 @@
  * GENERATED by scripts/commands/bundle-plugin-lib.ts — do not edit.
  * Source of truth: packages/app/src/services/residual-scan.ts (task 1003 R5).
  */
-export declare type ResidualCategory = 'review-finding' | 'diff-marker' | 'unchecked-box' | 'staging-residue';
+export declare type ResidualCategory =
+    | 'review-finding'
+    | 'diff-marker'
+    | 'unchecked-box'
+    | 'staging-residue'
+    | 'review-contract';
 export declare type ResidualClass = 'blocking' | 'deferrable' | 'advisory' | 'housekeeping';
 export declare interface ResidualItem {
     id: string;
@@ -42,6 +47,8 @@ export declare interface ParsedScanArgs {
     spurBin?: string;
     root: string;
     tmpDir: string;
+    /** The --review-answer <path> flag: the review answer the review-gate mode grades (task 1204). */
+    reviewAnswer?: string;
 }
 export declare const ALLOW_PRAGMA: 'residual-scan:allow';
 export declare function recordedVerdictPath(runDir: string, wbs: string, fs: Pick<typeof import('node:fs'), 'lstatSync' | 'existsSync'>): string;
@@ -62,10 +69,22 @@ export declare function classify(
 export declare function scanResiduals(inputs: ResidualScanInputs): ResidualArtifact;
 export declare function parseDeferralEntries(raw: unknown): Deferral[];
 export declare function blockingReviewFindings(taskContent: string, deferrals: Deferral[]): ResidualItem[];
+export declare function reviewContractViolations(taskContent: string): Array<{ location: string; text: string }>;
+export declare function reviewConfidenceViolation(
+    reviewAnswer: string,
+    ackLowConfidence: string | undefined,
+): { location: string; text: string } | null;
+export declare function reviewGradingInput(
+    root: string,
+    reviewAnswer: string | undefined,
+    ackLowConfidence: string | undefined,
+    fs: Pick<typeof import('node:fs'), 'readFileSync' | 'statSync'>,
+): { answer: string; ackLowConfidence: string | undefined } | undefined;
 export declare function buildReviewGateArtifact(
     wbs: string,
     taskContent: string,
     deferrals: Deferral[],
+    review?: { answer: string; ackLowConfidence: string | undefined },
 ): { artifact: ResidualArtifact; note: string };
 export declare function parseScanArgs(
     argv: readonly (string | undefined)[],

package/plugins/sp/lib/residual-scan.generated.mjs

@@ -1,6 +1,36 @@
 // packages/app/src/services/residual-scan.ts
 import { join } from "node:path";
 import { createHash } from "node:crypto";
+
+// packages/app/src/services/verify-answer-lint.ts
+var CLAIM_MARKERS = [
+  /@[a-z0-9._-]+\/[a-z0-9._-]+/i,
+  /\bnode_modules\//,
+  /\b\d+\.\d+\.\d+\b/,
+  /`[A-Za-z_$][\w.$]*\s*\([^`]*\)`/
+];
+var CITATION_FORMS = [
+  /`[^`\s]+:\d+(?:-\d+)?`/,
+  /`[^`]+`\s+lines?\s+\d+/i,
+  /\b[\w./-]+\.[A-Za-z0-9]+:\d+(?:-\d+)?\b/,
+  /https?:\/\/\S+/i
+];
+function hasClaimMarker(evidence) {
+  return CLAIM_MARKERS.some((re) => re.test(evidence));
+}
+function hasCitationForm(evidence) {
+  return CITATION_FORMS.some((re) => re.test(evidence));
+}
+var CONFIDENCE_LEVELS = ["HIGH", "MEDIUM", "LOW"];
+function extractAnswerConfidence(text) {
+  const matches = [...text.matchAll(/^\s*Confidence:\s*(\S+)\s*$/gim)];
+  if (matches.length !== 1)
+    return;
+  const value = (matches[0]?.[1] ?? "").toUpperCase();
+  return CONFIDENCE_LEVELS.includes(value) ? value : undefined;
+}
+
+// packages/app/src/services/residual-scan.ts
 var MARKER_PATTERN = /TODO|FIXME|XXX|HACK/;
 var PRIORITY_PATTERN = /^P[1-4]/;
 var RANGE_PRIORITY = /^P[1-4]\s*[\u2013\u2014-]\s*P?[1-4]/;
@@ -27,11 +57,15 @@ function locationOf(locationCell, finding) {
   const backtick = finding.match(/`([^`]+)`/)?.[1];
   return backtick === undefined ? "" : normalizeAnchor(backtick);
 }
-function parseReviewFindings(taskContent) {
+function reviewBody(taskContent) {
   const section = taskContent.split(/^### Review\b/m)[1];
-  if (section === undefined)
+  return section === undefined ? null : section.split(/^### /m)[0] ?? "";
+}
+function parseReviewFindings(taskContent) {
+  const section = reviewBody(taskContent);
+  if (section === null)
     return [];
-  const body = section.split(/^### /m)[0] ?? "";
+  const body = section;
   const out = [];
   const lines = body.split(`
 `);
@@ -144,7 +178,8 @@ function scanResiduals(inputs) {
       "review-finding": true,
       "diff-marker": base !== null,
       "unchecked-box": true,
-      "staging-residue": true
+      "staging-residue": true,
+      "review-contract": false
     },
     items,
     counts
@@ -165,8 +200,61 @@ function blockingReviewFindings(taskContent, deferrals) {
   }));
   return classify(items, [...tableDeferrals, ...deferrals]);
 }
-function buildReviewGateArtifact(wbs, taskContent, deferrals) {
-  const items = blockingReviewFindings(taskContent, deferrals);
+function reviewContractViolations(taskContent) {
+  const violations = [];
+  const body = reviewBody(taskContent);
+  if (body !== null && extractAnswerConfidence(body.replace(/\*\*/g, "")) === undefined) {
+    violations.push({
+      location: "task-file:Review",
+      text: "Review report carries no single valid `**Confidence:** HIGH | MEDIUM | LOW` line — " + "state the level the report can defend (HIGH: every requirement row MET, every finding " + "dispositioned, evidence cited; MEDIUM/LOW: name the gap)."
+    });
+  }
+  for (const row of parseReviewFindings(taskContent)) {
+    if (hasClaimMarker(row.text) && !hasCitationForm(row.text)) {
+      violations.push({
+        location: row.location.length > 0 ? row.location : "task-file:Review",
+        text: `${row.priority} finding asserts an external API/library/version claim without a ` + "same-cell citation (add a repo `path:line`, an external named-origin form, or a URL " + `to the Finding cell): ${row.text.slice(0, 80)}`
+      });
+    }
+  }
+  return violations;
+}
+function reviewConfidenceViolation(reviewAnswer, ackLowConfidence) {
+  if (ackLowConfidence === "true")
+    return null;
+  const level = extractAnswerConfidence(reviewAnswer.replace(/\*\*/g, ""));
+  if (level === "HIGH" || level === "MEDIUM")
+    return null;
+  return {
+    location: "review-answer:Confidence",
+    text: level === undefined ? "The review answer carries no valid `**Confidence:** HIGH | MEDIUM | LOW` line — a " + "PASS must be graded, or the operator must set ackLowConfidence" : `The review answer graded its PASS ${level} — HIGH/MEDIUM cross unadorned, ` + "LOW/absent needs the operator’s ackLowConfidence"
+  };
+}
+function reviewGradingInput(root, reviewAnswer, ackLowConfidence, fs) {
+  if (reviewAnswer === undefined)
+    return;
+  const path = join(root, reviewAnswer);
+  let isFile = false;
+  try {
+    isFile = fs.statSync(path).isFile();
+  } catch {
+    isFile = false;
+  }
+  return { answer: isFile ? fs.readFileSync(path, "utf8") : "", ackLowConfidence };
+}
+function buildReviewGateArtifact(wbs, taskContent, deferrals, review) {
+  const confidence = review === undefined ? null : reviewConfidenceViolation(review.answer, review.ackLowConfidence);
+  const contractViolations = [...reviewContractViolations(taskContent), ...confidence === null ? [] : [confidence]];
+  const items = [
+    ...blockingReviewFindings(taskContent, deferrals),
+    ...contractViolations.map((v) => ({
+      id: makeItemId("review-contract", v.location, v.text),
+      category: "review-contract",
+      class: "blocking",
+      location: v.location,
+      text: v.text
+    }))
+  ];
   const blocking = items.filter((i) => i.class === "blocking");
   const counts = { blocking: 0, deferrable: 0, advisory: 0, housekeeping: 0 };
   for (const item of items)
@@ -178,7 +266,8 @@ function buildReviewGateArtifact(wbs, taskContent, deferrals) {
       "review-finding": true,
       "diff-marker": false,
       "unchecked-box": false,
-      "staging-residue": false
+      "staging-residue": false,
+      "review-contract": true
     },
     items,
     counts
@@ -291,6 +380,7 @@ function parseScanArgs(argv, cwd, defaultTmpDir) {
   let spurBin;
   let root = cwd;
   let tmpDir = defaultTmpDir;
+  let reviewAnswer;
   for (let i = 0;i < argv.length; i++) {
     const a = argv[i];
     if (a === undefined)
@@ -301,6 +391,8 @@ function parseScanArgs(argv, cwd, defaultTmpDir) {
       root = argv[++i] ?? root;
     else if (a === "--tmp-dir")
       tmpDir = argv[++i] ?? tmpDir;
+    else if (a === "--review-answer")
+      reviewAnswer = argv[++i];
     else if (a === "--help" || a === "-h")
       return null;
     else if (mode === "")
@@ -308,25 +400,28 @@ function parseScanArgs(argv, cwd, defaultTmpDir) {
     else if (wbs === "")
       wbs = a;
   }
-  return mode === "" || wbs === "" ? null : { mode, wbs, spurBin, root, tmpDir };
+  return mode === "" || wbs === "" ? null : { mode, wbs, spurBin, root, tmpDir, reviewAnswer };
 }
 export {
-  verdictDisagreementNote,
-  scanResiduals,
-  renderReport,
-  recordedVerdictPath,
-  parseScanArgs,
-  parseReviewFindings,
-  parseDiffMarkers,
-  parseDeferralEntries,
-  normalizeAnchor,
-  makeItemId,
-  locationOf,
-  foldVerdict,
-  findUncheckedBoxes,
-  classify,
-  buildReviewGateArtifact,
-  blockingReviewFindings,
+  ALLOW_PRAGMA,
   blockingAnchors,
-  ALLOW_PRAGMA
+  blockingReviewFindings,
+  buildReviewGateArtifact,
+  classify,
+  findUncheckedBoxes,
+  foldVerdict,
+  locationOf,
+  makeItemId,
+  normalizeAnchor,
+  parseDeferralEntries,
+  parseDiffMarkers,
+  parseReviewFindings,
+  parseScanArgs,
+  recordedVerdictPath,
+  renderReport,
+  reviewConfidenceViolation,
+  reviewContractViolations,
+  reviewGradingInput,
+  scanResiduals,
+  verdictDisagreementNote
 };

package/plugins/sp/lib/run-summary-core.ts

@@ -1,377 +1,43 @@
 /**
- * run-summary core — the measurement and rendering behind the `run-summary` CLI (task 1146).
+ * run-summary core — the rendering and host IO behind the `run-summary` CLI (task 1146; task 1178 R2).
  *
  * Split out of `plugins/sp/scripts/run-summary.ts` when the actor split and the batch roll-up pushed
- * that script past the ADR-130 glue budget: the script keeps argv parsing and dispatch, this module
- * keeps the logic. `plugins/sp/lib/transcript.ts` is the same shape of shared plugin-side module.
- * Node builtins plus relative imports only; `import type` for the app projection it is handed.
+ * that script past the ADR-130 glue budget. The PURE aggregation and its types now live in
+ * `packages/app/src/workflow/run-summary.ts`, reached through the generated pure plan-projection
+ * entry; this module keeps only what belongs to the host: the close-step callback, the receipt read,
+ * Markdown rendering and durable/scratch report writing. Node builtins plus relative imports only;
+ * `import type` for the app projection it is handed.
  */
 import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
 import { join } from 'node:path';
 import type { WorkflowProgressProjection } from '@gobing-ai/spur-app';
+import { getEnvVars } from './env';
 import {
-    accumulate,
-    type Block,
+    type ActorSplit,
+    buildRunSummary,
     formatDuration,
     formatTokenSplit,
-    isCompaction,
-    newAcc,
-    parseRows,
-    promptText,
-    resolveTranscript,
-    type Row,
-    type Span,
-    sumSpans,
+    type GateTime,
+    type Progress,
+    type RunSummary,
+    type SummaryRow,
     sumTokens,
-    type Tokens,
     zeroTokens,
-} from './transcript';
-import { getEnvVars } from './env';
-
-interface ProgressAttempt {
-    startedAt?: string;
-    completedAt?: string;
-}
-
-/**
- * The subset of the progress projection the summary windows over. The close path hands over the
- * full `WorkflowProgressProjection`; the extra fields are ignored here, so the reader stays a
- * narrow structural view of it rather than a second copy of the contract.
- */
-export interface Progress {
-    runId: string;
-    workflow?: string;
-    status?: string;
-    states?: { state: string; visit?: number; status?: string; actions?: { attempts?: ProgressAttempt[] }[] }[];
-}
-
-/** A stage row; `toolCalls`/`tokens` are null when the window holds no host transcript record. */
-export interface SummaryRow {
-    stage: string;
-    status: string;
-    workMs: number;
-    waitMs: number;
-    toolCalls: number | null;
-    tokens: Tokens | null;
-    time: string;
-    wait: string;
-    token: string;
-}
-
-/** 1146 R4: how the total window is spent, by actor. Rows sum exactly to the window. */
-export interface ActorSplit {
-    operatorMs: number;
-    /** The longest single operator wait, so a total is not read as one stall. */
-    longestOperatorWaitMs: number;
-    modelMs: number;
-    shellMs: number;
-    subagentMs: number;
-    otherToolMs: number;
-    idleMs: number;
-    compactions: number;
-    subagentErrors: number;
-}
-
-/** A gate-receipt measurement, or the reason there is none (1146 R4: never a fabricated 0). */
-export type GateTime = { ms: number } | { ms: null; reason: string };
-
-export interface RunSummary {
-    available: true;
-    transcript?: string;
-    rows: SummaryRow[];
-    total: SummaryRow;
-    actors: ActorSplit;
-    gate: GateTime;
-    skippedLines: number;
-}
-
-/** A gap at or above this is idle, not work (1146 R4, closed decision: fixed, no flag). */
-const IDLE_GAP_MS = 300_000;
-const SHELL_TOOLS = new Set(['bash', 'shell', 'exec', 'exec_command', 'run_command', 'command']);
-const SUBAGENT_TOOLS = new Set(['agent', 'task', 'invoke_subagent', 'subagent', 'dispatch_agent']);
-const OPERATOR_TOOLS = new Set(['askuserquestion', 'ask_user_question']);
-
-type Actor = 'operator' | 'subagent' | 'shell' | 'other';
-/** Overlap is counted once, and subagent outranks shell outranks other tools (1146 AC4). */
-const ACTOR_PRECEDENCE: Actor[] = ['operator', 'subagent', 'shell', 'other'];
-
-function actorOf(tool: string): Actor {
-    const t = tool.toLowerCase().replace(/[^a-z_]/g, '');
-    if (OPERATOR_TOOLS.has(t)) return 'operator';
-    if (SUBAGENT_TOOLS.has(t)) return 'subagent';
-    if (SHELL_TOOLS.has(t)) return 'shell';
-    return 'other';
-}
-
-interface Call {
-    id: string;
-    actor: Actor;
-    ts: number;
-}
-
-/** One resolved tool span: [start, end] attributed to one actor. */
-interface Resolved extends Call {
-    end: number;
-}
-
-/** Union length of a set of intervals, clipped to [start, end]. */
-function unionMs(spans: Array<[number, number]>, start: number, end: number): number {
-    const clipped = spans
-        .map(([a, b]) => [Math.max(a, start), Math.min(b, end)] as [number, number])
-        .filter(([a, b]) => b > a)
-        .sort((x, y) => x[0] - y[0]);
-    let total = 0;
-    let cursor = Number.NaN;
-    let openUntil = Number.NaN;
-    for (const [a, b] of clipped) {
-        if (!Number.isFinite(cursor)) {
-            cursor = a;
-            openUntil = b;
-            continue;
-        }
-        if (a > openUntil) {
-            total += openUntil - cursor;
-            cursor = a;
-            openUntil = b;
-        } else {
-            openUntil = Math.max(openUntil, b);
-        }
-    }
-    if (Number.isFinite(cursor)) total += openUntil - cursor;
-    return total;
-}
-
-/** Subtract already-claimed intervals from a candidate set, returning the still-free part. */
-function subtract(spans: Array<[number, number]>, claimed: Array<[number, number]>): Array<[number, number]> {
-    let free = spans;
-    for (const [ca, cb] of claimed) {
-        const next: Array<[number, number]> = [];
-        for (const [a, b] of free) {
-            if (cb <= a || ca >= b) {
-                next.push([a, b]);
-                continue;
-            }
-            if (ca > a) next.push([a, ca]);
-            if (cb < b) next.push([cb, b]);
-        }
-        free = next;
-    }
-    return free;
-}
-
-/**
- * 1146 R4: partition the window [start, end] by actor. Tool calls are paired with their results
- * (either host shape); overlaps resolve by `ACTOR_PRECEDENCE`, counted once; unclaimed gaps at or
- * above IDLE_GAP_MS are idle; the remainder is model time, so the rows always sum to the window.
- */
-export function actorSplit(rows: [Row, number][], start: number, end: number): ActorSplit {
-    const empty: ActorSplit = {
-        operatorMs: 0,
-        longestOperatorWaitMs: 0,
-        modelMs: 0,
-        shellMs: 0,
-        subagentMs: 0,
-        otherToolMs: 0,
-        idleMs: 0,
-        compactions: 0,
-        subagentErrors: 0,
-    };
-    const window = end - start;
-    if (window <= 0) return empty;
-
-    const calls = new Map<string, Call>();
-    const results = new Map<string, { ts: number; isError: boolean }>();
-    const eventTs: number[] = [];
-    let compactions = 0;
-
-    for (const [row, ts] of rows) {
-        if (ts < start || ts > end) continue;
-        eventTs.push(ts);
-        if (isCompaction(row)) compactions++;
-        const blocks = Array.isArray(row.message?.content) ? (row.message?.content as Block[]) : [];
-        if (row.message?.role === 'toolResult' && row.message.toolCallId !== undefined) {
-            results.set(row.message.toolCallId, { ts, isError: row.message.isError === true });
-        }
-        for (const b of blocks) {
-            if ((b.type === 'tool_use' || b.type === 'toolCall') && b.id !== undefined && b.name !== undefined) {
-                calls.set(b.id, { id: b.id, actor: actorOf(b.name), ts });
-            } else if (b.type === 'tool_result' && b.tool_use_id !== undefined) {
-                results.set(b.tool_use_id, { ts, isError: b.is_error === true });
-            }
-        }
-    }
-
-    let subagentErrors = 0;
-    const resolved: Resolved[] = [];
-    for (const call of calls.values()) {
-        const result = results.get(call.id);
-        if (result?.isError === true && call.actor === 'subagent') subagentErrors++;
-        resolved.push({ ...call, end: Math.min(result?.ts ?? end, end) });
-    }
-
-    const claimed: Array<[number, number]> = [];
-    const byActor = new Map<Actor, number>();
-    for (const actor of ACTOR_PRECEDENCE) {
-        const mine = resolved.filter((r) => r.actor === actor).map((r) => [r.ts, r.end] as [number, number]);
-        const free = subtract(mine, claimed);
-        for (const span of free) claimed.push(span);
-        const ms = unionMs(free, start, end);
-        byActor.set(actor, ms);
-        if (actor === 'operator') {
-            empty.longestOperatorWaitMs = Math.max(0, ...mine.map(([a, b]) => b - a));
-        }
-    }
-
-    // Idle: unclaimed gaps between consecutive event boundaries, at or above the threshold.
-    const boundaries = [...new Set([start, end, ...eventTs, ...claimed.flat()])].sort((a, b) => a - b);
-    const claimedSorted = [...claimed].sort((a, b) => a[0] - b[0]);
-    let idleMs = 0;
-    for (let i = 0; i < boundaries.length - 1; i++) {
-        const a = boundaries[i] as number;
-        const b = boundaries[i + 1] as number;
-        if (b - a < IDLE_GAP_MS) continue;
-        if (claimedSorted.some(([ca, cb]) => ca < b && cb > a)) continue;
-        idleMs += b - a;
-    }
-
-    const accounted =
-        (byActor.get('operator') ?? 0) +
-        (byActor.get('subagent') ?? 0) +
-        (byActor.get('shell') ?? 0) +
-        (byActor.get('other') ?? 0) +
-        idleMs;
-    return {
-        ...empty,
-        operatorMs: byActor.get('operator') ?? 0,
-        subagentMs: byActor.get('subagent') ?? 0,
-        shellMs: byActor.get('shell') ?? 0,
-        otherToolMs: byActor.get('other') ?? 0,
-        idleMs,
-        modelMs: Math.max(0, window - accounted),
-        compactions,
-        subagentErrors,
-    };
-}
-
-interface Window {
-    stage: string;
-    status: string;
-    start: number;
-    end: number;
-}
-
-function attemptWindow(attempts: ProgressAttempt[]): [number, number] | undefined {
-    const starts = attempts.map((a) => Date.parse(a.startedAt ?? '')).filter((n) => !Number.isNaN(n));
-    const ends = attempts.map((a) => Date.parse(a.completedAt ?? '')).filter((n) => !Number.isNaN(n));
-    return starts.length && ends.length ? [Math.min(...starts), Math.max(...ends)] : undefined;
-}
-
-function summaryRow(stage: string, status: string, span: Span, measured: boolean): SummaryRow {
-    return {
-        stage,
-        status,
-        workMs: span.workMs,
-        waitMs: span.waitMs,
-        toolCalls: measured ? span.toolCalls : null,
-        tokens: measured ? span.tokens : null,
-        time: formatDuration(span.workMs),
-        wait: formatDuration(span.waitMs),
-        token: formatTokenSplit(measured ? span.tokens : null),
-    };
-}
-
-/**
- * dev-run / dev-runall execution summary. One progress file → one row per state visit; several →
- * one row per run. Each window spans its first attempt start → last completion (inclusive) and
- * slices the host transcript; work = window − AskUserQuestion answer time.
- */
-export function buildRunSummary(
-    lines: string[],
-    inputs: { label?: string; progress: Progress }[],
-    since?: string,
-    until?: string,
-): RunSummary {
-    const windows: Window[] = [];
-    for (const { label, progress } of inputs) {
-        const states = (progress.states ?? []).flatMap((s) => {
-            const w = attemptWindow((s.actions ?? []).flatMap((a) => a.attempts ?? []));
-            return w ? [{ s, w }] : [];
-        });
-        if (!states.length) throw new Error(`progress for run ${progress.runId} has no timed attempts`);
-        if (inputs.length === 1) {
-            for (const { s, w } of states) {
-                const stage = (s.visit ?? 1) > 1 ? `${s.state} (visit ${s.visit})` : s.state;
-                windows.push({ stage, status: s.status ?? '', start: w[0], end: w[1] });
-            }
-        } else {
-            const stage = label ?? `${progress.workflow ?? 'run'} ${progress.runId.slice(0, 8)}`;
-            const start = Math.min(...states.map(({ w }) => w[0]));
-            windows.push({
-                stage,
-                status: progress.status ?? '',
-                start,
-                end: Math.max(...states.map(({ w }) => w[1])),
-            });
-        }
-    }
-    windows.sort((a, b) => a.start - b.start);
-
-    const { rows, skippedLines } = parseRows(lines);
-    const measure = (start: number, end: number): { span: Span; measured: boolean } => {
-        const acc = newAcc(start);
-        for (const [row, ts] of rows)
-            if (ts >= start && ts <= end && promptText(row) === undefined) accumulate(acc, row, ts);
-        const span = {
-            workMs: end - start - acc.askMs,
-            waitMs: acc.askMs,
-            toolCalls: acc.toolIds.size,
-            tokens: sumTokens([...acc.messages.values()]),
-        };
-        return { span, measured: acc.toolIds.size > 0 || acc.messages.size > 0 };
-    };
-
-    const sinceMs = since ? Date.parse(since) : Number.NaN;
-    const totalStart = Number.isNaN(sinceMs) ? Math.min(...windows.map((w) => w.start)) : sinceMs;
-    let totalEnd = Math.max(...windows.map((w) => w.end));
-    // With --since the total runs to the latest host activity, so setup/close work lands in overhead.
-    if (!Number.isNaN(sinceMs)) for (const [, ts] of rows) if (ts >= sinceMs) totalEnd = Math.max(totalEnd, ts);
-    // 1146 R1: the close passes its own completion instant, which caps the window exactly.
-    const untilMs = until ? Date.parse(until) : Number.NaN;
-    if (!Number.isNaN(untilMs) && untilMs > totalStart) totalEnd = untilMs;
-
-    const stageRows = windows.map((w) => {
-        const { span, measured } = measure(w.start, w.end);
-        return summaryRow(w.stage, w.status, span, measured);
-    });
-    const totalMeasure = measure(totalStart, totalEnd);
-    const statuses = [...new Set(inputs.map((i) => i.progress.status ?? ''))].join('/');
-    const total = summaryRow('Total', statuses, totalMeasure.span, totalMeasure.measured);
-
-    // Parallel runs overlap, so their rows cannot partition the total: no overhead row then.
-    const overlaps = windows.some((w, i) => i > 0 && w.start < (windows[i - 1]?.end ?? 0));
-    const sum = sumSpans(
-        stageRows.map((r) => ({ ...r, toolCalls: r.toolCalls ?? 0, tokens: r.tokens ?? zeroTokens() })),
-    );
-    const overhead: Span = {
-        workMs: total.workMs - sum.workMs,
-        waitMs: total.waitMs - sum.waitMs,
-        toolCalls: (total.toolCalls ?? 0) - sum.toolCalls,
-        tokens: Object.fromEntries(
-            (Object.keys(sum.tokens) as (keyof Tokens)[]).map((k) => [k, (total.tokens?.[k] ?? 0) - sum.tokens[k]]),
-        ) as Tokens,
-    };
-    if (!overlaps && overhead.workMs > 0)
-        stageRows.push(summaryRow('driver overhead', '', overhead, totalMeasure.measured));
-
-    return {
-        available: true,
-        rows: stageRows,
-        total,
-        actors: actorSplit(rows, totalStart, totalEnd),
-        gate: { ms: null, reason: 'no matching check receipt' },
-        skippedLines,
-    };
-}
+} from './plan-projection.generated.mjs';
+import { parseRows, resolveTranscript } from './transcript';
+
+// Task 1178 R2: the pure aggregation moved to `packages/app/src/workflow/run-summary.ts`. Re-export
+// it from here so the adapter's existing surface (the `run-summary` script and its tests) keeps one
+// import path; the implementation is delegated, never duplicated.
+export {
+    type ActorSplit,
+    actorSplit,
+    buildRunSummary,
+    type GateTime,
+    type Progress,
+    type RunSummary,
+    type SummaryRow,
+} from './plan-projection.generated.mjs';
 
 export function renderSummaryMarkdown(summary: RunSummary): string {
     const line = (r: SummaryRow, bold = false) => {
@@ -516,13 +182,12 @@ export function writeCloseSummary(
         if (run.startedAt === undefined) return na('run row has no started_at');
         const resolved = resolveTranscript(opts.env ?? getEnvVars(), opts.projectsRoot);
         if (!resolved.ok) return na(resolved.reason);
-        const lines = readFileSync(resolved.path, 'utf8').split('\n');
-        const summary = buildRunSummary(
-            lines,
-            [{ progress: run.progress as unknown as Progress }],
-            run.startedAt,
-            run.completedAt,
-        );
+        const { rows, skippedLines } = parseRows(readFileSync(resolved.path, 'utf8').split('\n'));
+        const summary = buildRunSummary(rows, [{ progress: run.progress as unknown as Progress }], {
+            since: run.startedAt,
+            until: run.completedAt,
+            skippedLines,
+        });
         if (summary.rows.length === 0) return na('no timed attempts');
         mkdirSync(runDir, { recursive: true });
         writeFileSync(abs, `${renderSummaryMarkdown(summary)}\n`);
@@ -558,4 +223,3 @@ export function gateFromReceipt(cwd: string, runId: string): GateTime {
         return { ms: null, reason: 'check receipt is unreadable' };
     }
 }
-