gsd-pi 2.64.0 → 2.65.0

package/dist/headless.js

@@ -184,7 +184,9 @@ async function runHeadlessOnce(options, restartCount) {
     // per-unit timeout via auto-supervisor. Disable the overall timeout unless the
     // user explicitly set --timeout.
     const isAutoMode = options.command === 'auto';
-    const isMultiTurnCommand = options.command === 'auto' || options.command === 'next';
+    // discuss and plan are multi-turn: they involve multiple question rounds,
+    // codebase scanning, and artifact writing before the workflow completes (#3547).
+    const isMultiTurnCommand = options.command === 'auto' || options.command === 'next' || options.command === 'discuss' || options.command === 'plan';
     if (isAutoMode && options.timeout === 300_000) {
         options.timeout = 0;
     }

package/dist/resources/extensions/bg-shell/bg-shell-lifecycle.js

@@ -3,7 +3,7 @@
  * context injection, process discovery, footer widget, and periodic maintenance.
  */
 import { truncateToWidth, visibleWidth, } from "@gsd/pi-tui";
-import { processes, pendingAlerts, cleanupAll, cleanupSessionProcesses, persistManifest, loadManifest, pruneDeadProcesses, } from "./process-manager.js";
+import { processes, pendingAlerts, pushAlert, cleanupAll, cleanupSessionProcesses, persistManifest, loadManifest, pruneDeadProcesses, } from "./process-manager.js";
 import { formatUptime, getBgShellLiveCwd, resolveBgShellPersistenceCwd } from "./utilities.js";
 import { formatTokenCount } from "../shared/format-utils.js";
 export function registerBgShellLifecycle(pi, state) {
@@ -15,17 +15,32 @@ export function registerBgShellLifecycle(pi, state) {
             state.latestCtx = { ...state.latestCtx, cwd: syncedCwd };
         }
     }
-    // Clean up on session shutdown
-    pi.on("session_shutdown", async () => {
-        cleanupAll();
-    });
     // Register signal handlers to clean up bg processes on unexpected exit (fixes #428)
     const signalCleanup = () => {
         cleanupAll();
+        // Also kill bash-tool spawned children that bg-shell doesn't track
+        try {
+            const { listDescendants } = require("@gsd/native");
+            const descendants = listDescendants(process.pid);
+            for (const childPid of descendants) {
+                try {
+                    process.kill(childPid, "SIGKILL");
+                }
+                catch { }
+            }
+        }
+        catch { }
     };
     process.on("SIGTERM", signalCleanup);
     process.on("SIGINT", signalCleanup);
     process.on("beforeExit", signalCleanup);
+    // Clean up on session shutdown — remove signal handlers to prevent accumulation
+    pi.on("session_shutdown", async () => {
+        process.off("SIGTERM", signalCleanup);
+        process.off("SIGINT", signalCleanup);
+        process.off("beforeExit", signalCleanup);
+        cleanupAll();
+    });
     // ── Compaction Awareness: Survive Context Resets ───────────────
     /** Build a compact state summary of all alive processes for context re-injection */
     function buildProcessStateAlert(reason) {
@@ -39,7 +54,7 @@ export function registerBgShellLifecycle(pi, state) {
             const groupInfo = p.group ? ` [${p.group}]` : "";
             return `  - id:${p.id} "${p.label}" [${p.processType}] status:${p.status} uptime:${formatUptime(Date.now() - p.startedAt)}${portInfo}${urlInfo}${errInfo}${groupInfo}`;
         }).join("\n");
-        pendingAlerts.push(`${reason} ${alive.length} background process(es) are still running:\n${processSummaries}\nUse bg_shell digest/output/kill with these IDs.`);
+        pushAlert(null, `${reason} ${alive.length} background process(es) are still running:\n${processSummaries}\nUse bg_shell digest/output/kill with these IDs.`);
     }
     // After compaction, the LLM loses all memory of running processes.
     // Queue a detailed alert so the next before_agent_start injects full state.
@@ -108,7 +123,7 @@ export function registerBgShellLifecycle(pi, state) {
             }
             if (surviving.length > 0) {
                 const summary = surviving.map(s => `  - ${s.id}: ${s.label} (pid ${s.pid}, type: ${s.processType}${s.group ? `, group: ${s.group}` : ""})`).join("\n");
-                pendingAlerts.push(`${surviving.length} background process(es) from previous session still running:\n${summary}\n  Note: These processes are outside bg_shell's control. Kill them manually if needed.`);
+                pushAlert(null, `${surviving.length} background process(es) from previous session still running:\n${summary}\n  Note: These processes are outside bg_shell's control. Kill them manually if needed.`);
             }
         }
     });

package/dist/resources/extensions/bg-shell/process-manager.js

@@ -16,6 +16,7 @@ import { startPortProbing, transitionToReady } from "./readiness-detector.js";
 export const processes = new Map();
 /** Pending alerts to inject into the next agent context */
 export let pendingAlerts = [];
+const MAX_PENDING_ALERTS = 50;
 /** Replace the pendingAlerts array (used by the extension entry point) */
 export function setPendingAlerts(alerts) {
     pendingAlerts = alerts;
@@ -41,7 +42,11 @@ export function addEvent(bg, event) {
     }
 }
 export function pushAlert(bg, message) {
-    pendingAlerts.push(`[bg:${bg.id} ${bg.label}] ${message}`);
+    const prefix = bg ? `[bg:${bg.id} ${bg.label}] ` : "";
+    pendingAlerts.push(`${prefix}${message}`);
+    if (pendingAlerts.length > MAX_PENDING_ALERTS) {
+        pendingAlerts.splice(0, pendingAlerts.length - MAX_PENDING_ALERTS);
+    }
 }
 export function getInfo(p) {
     return {

package/dist/resources/extensions/gsd/auto-dashboard.js

@@ -472,11 +472,11 @@ export function updateProgressWidget(ctx, unitType, unitId, state, accessors, ti
                     : "";
                 lines.push(rightAlign(headerLeft, headerRight, width));
                 // Worktree/branch right-aligned below header
-                if (worktreeName && cachedBranch) {
-                    lines.push(rightAlign("", theme.fg("dim", `${worktreeName} (${cachedBranch})`), width));
-                }
-                else if (cachedBranch) {
-                    lines.push(rightAlign("", theme.fg("dim", cachedBranch), width));
+                const branchLabel = worktreeName && cachedBranch
+                    ? `${worktreeName} (${cachedBranch})`
+                    : cachedBranch ?? "";
+                if (branchLabel) {
+                    lines.push(rightAlign("", theme.fg("dim", branchLabel), width));
                 }
                 // Show health signal details when degraded (yellow/red)
                 if (score.level !== "green" && score.signals.length > 0 && widgetMode !== "min") {

package/dist/resources/extensions/gsd/auto-post-unit.js

@@ -14,7 +14,7 @@ import { deriveState } from "./state.js";
 import { logWarning, logError } from "./workflow-logger.js";
 import { loadFile, parseSummary, resolveAllOverrides } from "./files.js";
 import { loadPrompt } from "./prompt-loader.js";
-import { resolveSliceFile, resolveTaskFile, resolveMilestoneFile, resolveTasksDir, buildTaskFileName, } from "./paths.js";
+import { resolveSliceFile, resolveSlicePath, resolveTaskFile, resolveMilestoneFile, resolveTasksDir, buildTaskFileName, } from "./paths.js";
 import { invalidateAllCaches } from "./cache.js";
 import { parseUnitId } from "./unit-id.js";
 import { closeoutUnit } from "./auto-unit-closeout.js";
@@ -36,6 +36,10 @@ import { validateFileChanges } from "./safety/file-change-validator.js";
 import { validateContent } from "./safety/content-validator.js";
 import { resolveSafetyHarnessConfig } from "./safety/safety-harness.js";
 import { resolveExpectedArtifactPath as resolveArtifactForContent } from "./auto-artifact-paths.js";
+import { loadEffectiveGSDPreferences } from "./preferences.js";
+import { getSliceTasks } from "./gsd-db.js";
+import { runPreExecutionChecks } from "./pre-execution-checks.js";
+import { writePreExecutionEvidence } from "./verification-evidence.js";
 /** Maximum verification retry attempts before escalating to blocker placeholder (#2653). */
 const MAX_VERIFICATION_RETRIES = 3;
 /** Enqueue a sidecar item (hook, triage, or quick-task) for the main loop to
@@ -634,6 +638,99 @@ export async function postUnitPostVerification(pctx) {
             debugLog("postUnit", { phase: "capture-protection-error", error: String(e) });
         }
     }
+    // ── Pre-execution checks (after plan-slice completes) ──
+    if (s.currentUnit &&
+        s.currentUnit.type === "plan-slice") {
+        let preExecPauseNeeded = false;
+        await runSafely("postUnitPostVerification", "pre-execution-checks", async () => {
+            try {
+                // Check preferences — respect enhanced_verification and enhanced_verification_pre
+                const prefs = loadEffectiveGSDPreferences()?.preferences;
+                const enhancedEnabled = prefs?.enhanced_verification !== false; // default true
+                const preEnabled = prefs?.enhanced_verification_pre !== false; // default true
+                if (!enhancedEnabled || !preEnabled) {
+                    debugLog("postUnitPostVerification", {
+                        phase: "pre-execution-checks",
+                        skipped: true,
+                        reason: "disabled by preferences",
+                    });
+                    return;
+                }
+                // Parse the unit ID to get milestone/slice IDs
+                const { milestone: mid, slice: sid } = parseUnitId(s.currentUnit.id);
+                if (!mid || !sid) {
+                    debugLog("postUnitPostVerification", {
+                        phase: "pre-execution-checks",
+                        skipped: true,
+                        reason: "could not parse milestone/slice from unit ID",
+                    });
+                    return;
+                }
+                // Get tasks for this slice from DB
+                const tasks = getSliceTasks(mid, sid);
+                if (tasks.length === 0) {
+                    debugLog("postUnitPostVerification", {
+                        phase: "pre-execution-checks",
+                        skipped: true,
+                        reason: "no tasks found for slice",
+                    });
+                    return;
+                }
+                // Run pre-execution checks
+                const result = await runPreExecutionChecks(tasks, s.basePath);
+                // Log summary to stderr in existing verification output format
+                const emoji = result.status === "pass" ? "✅" : result.status === "warn" ? "⚠️" : "❌";
+                process.stderr.write(`gsd-pre-exec: ${emoji} Pre-execution checks ${result.status} for ${mid}/${sid} (${result.durationMs}ms)\n`);
+                // Log individual check results
+                for (const check of result.checks) {
+                    const checkEmoji = check.passed ? "✓" : check.blocking ? "✗" : "⚠";
+                    process.stderr.write(`gsd-pre-exec:   ${checkEmoji} [${check.category}] ${check.target}: ${check.message}\n`);
+                }
+                // Write evidence JSON to slice artifacts directory
+                const slicePath = resolveSlicePath(s.basePath, mid, sid);
+                if (slicePath) {
+                    writePreExecutionEvidence(result, slicePath, mid, sid);
+                }
+                // Notify UI
+                if (result.status === "fail") {
+                    const blockingCount = result.checks.filter(c => !c.passed && c.blocking).length;
+                    ctx.ui.notify(`Pre-execution checks failed: ${blockingCount} blocking issue${blockingCount === 1 ? "" : "s"} found`, "error");
+                    preExecPauseNeeded = true;
+                }
+                else if (result.status === "warn") {
+                    ctx.ui.notify(`Pre-execution checks passed with warnings`, "warning");
+                    // Strict mode: treat warnings as blocking
+                    if (prefs?.enhanced_verification_strict === true) {
+                        preExecPauseNeeded = true;
+                    }
+                }
+                debugLog("postUnitPostVerification", {
+                    phase: "pre-execution-checks",
+                    status: result.status,
+                    checkCount: result.checks.length,
+                    durationMs: result.durationMs,
+                });
+            }
+            catch (preExecError) {
+                // Fail-closed: if runPreExecutionChecks throws, pause auto-mode instead of silently continuing
+                const errorMessage = preExecError instanceof Error ? preExecError.message : String(preExecError);
+                debugLog("postUnitPostVerification", {
+                    phase: "pre-execution-checks",
+                    error: errorMessage,
+                    failClosed: true,
+                });
+                logError("engine", `gsd-pre-exec: Pre-execution checks threw an error: ${errorMessage}`);
+                ctx.ui.notify(`Pre-execution checks error: ${errorMessage} — pausing for human review`, "error");
+                preExecPauseNeeded = true;
+            }
+        });
+        // Check for blocking failures after runSafely completes
+        if (preExecPauseNeeded) {
+            debugLog("postUnitPostVerification", { phase: "pre-execution-checks", pausing: true, reason: "blocking failures detected" });
+            await pauseAuto(ctx, pi);
+            return "stopped";
+        }
+    }
     // ── Triage check ──
     if (!s.stepMode &&
         s.currentUnit &&

package/dist/resources/extensions/gsd/auto-verification.js

@@ -9,13 +9,15 @@
  * value instead of calling return/pauseAuto directly — the caller
  * checks the result and handles control flow.
  */
+import { mkdirSync, writeFileSync } from "node:fs";
 import { resolveSlicePath } from "./paths.js";
 import { parseUnitId } from "./unit-id.js";
-import { isDbAvailable, getTask } from "./gsd-db.js";
+import { isDbAvailable, getTask, getSliceTasks } from "./gsd-db.js";
 import { loadEffectiveGSDPreferences } from "./preferences.js";
 import { runVerificationGate, formatFailureContext, captureRuntimeErrors, runDependencyAudit, } from "./verification-gate.js";
 import { writeVerificationJSON } from "./verification-evidence.js";
 import { logWarning } from "./workflow-logger.js";
+import { runPostExecutionChecks } from "./post-execution-checks.js";
 import { join } from "node:path";
 function isInfraVerificationFailure(stderr) {
     return /\b(ENOENT|ENOTFOUND|ETIMEDOUT|ECONNRESET|EAI_AGAIN|spawn\s+\S+\s+ENOENT|command not found)\b/i.test(stderr);
@@ -128,12 +130,104 @@ export async function runPostUnitVerification(vctx, pauseAuto) {
                 : "Verification failed due to infrastructure/runtime environment issues — treating as advisory.", "warning");
             return "continue";
         }
+        // ── Post-execution checks (run after main verification passes for execute-task units) ──
+        let postExecChecks;
+        let postExecBlockingFailure = false;
+        if (result.passed && mid && sid && tid) {
+            // Check preferences — respect enhanced_verification and enhanced_verification_post
+            const enhancedEnabled = prefs?.enhanced_verification !== false; // default true
+            const postEnabled = prefs?.enhanced_verification_post !== false; // default true
+            if (enhancedEnabled && postEnabled && isDbAvailable()) {
+                try {
+                    // Get the completed task from DB
+                    const taskRow = getTask(mid, sid, tid);
+                    if (taskRow && taskRow.key_files && taskRow.key_files.length > 0) {
+                        // Get all tasks in the slice
+                        const allTasks = getSliceTasks(mid, sid);
+                        // Filter to prior completed tasks (status = 'complete' or 'done', before current task)
+                        const priorTasks = allTasks.filter((t) => (t.status === "complete" || t.status === "done") &&
+                            t.id !== tid &&
+                            t.sequence < taskRow.sequence);
+                        // Run post-execution checks
+                        const postExecResult = runPostExecutionChecks(taskRow, priorTasks, s.basePath);
+                        // Store checks for evidence JSON
+                        postExecChecks = postExecResult.checks;
+                        // Log summary to stderr with gsd-post-exec: prefix
+                        const emoji = postExecResult.status === "pass"
+                            ? "✅"
+                            : postExecResult.status === "warn"
+                                ? "⚠️"
+                                : "❌";
+                        process.stderr.write(`gsd-post-exec: ${emoji} Post-execution checks ${postExecResult.status} for ${mid}/${sid}/${tid} (${postExecResult.durationMs}ms)\n`);
+                        // Log individual check results
+                        for (const check of postExecResult.checks) {
+                            const checkEmoji = check.passed
+                                ? "✓"
+                                : check.blocking
+                                    ? "✗"
+                                    : "⚠";
+                            process.stderr.write(`gsd-post-exec:   ${checkEmoji} [${check.category}] ${check.target}: ${check.message}\n`);
+                        }
+                        // Check for blocking failures
+                        if (postExecResult.status === "fail") {
+                            postExecBlockingFailure = true;
+                            const blockingCount = postExecResult.checks.filter((c) => !c.passed && c.blocking).length;
+                            ctx.ui.notify(`Post-execution checks failed: ${blockingCount} blocking issue${blockingCount === 1 ? "" : "s"} found`, "error");
+                        }
+                        else if (postExecResult.status === "warn") {
+                            ctx.ui.notify(`Post-execution checks passed with warnings`, "warning");
+                            // Strict mode: treat warnings as blocking
+                            if (prefs?.enhanced_verification_strict === true) {
+                                postExecBlockingFailure = true;
+                            }
+                        }
+                    }
+                }
+                catch (postExecErr) {
+                    // Post-execution check errors are non-fatal — log and continue
+                    logWarning("engine", `gsd-post-exec: error — ${postExecErr.message}`);
+                }
+            }
+        }
+        // Re-write verification evidence JSON with post-execution checks
+        if (postExecChecks && postExecChecks.length > 0 && mid && sid && tid) {
+            try {
+                const sDir = resolveSlicePath(s.basePath, mid, sid);
+                if (sDir) {
+                    const tasksDir = join(sDir, "tasks");
+                    // Add postExecutionChecks to the result for the JSON write
+                    const resultWithPostExec = {
+                        ...result,
+                        // Mark as failed if there was a blocking post-exec failure
+                        passed: result.passed && !postExecBlockingFailure,
+                    };
+                    // Manually write with postExecutionChecks field
+                    writeVerificationJSONWithPostExec(resultWithPostExec, tasksDir, tid, s.currentUnit.id, postExecChecks, postExecBlockingFailure ? attempt + 1 : undefined, postExecBlockingFailure ? maxRetries : undefined);
+                }
+            }
+            catch (evidenceErr) {
+                logWarning("engine", `verification-evidence: post-exec write error — ${evidenceErr.message}`);
+            }
+        }
+        // Update result.passed based on post-execution checks
+        if (postExecBlockingFailure) {
+            result.passed = false;
+        }
         // ── Auto-fix retry logic ──
         if (result.passed) {
             s.verificationRetryCount.delete(s.currentUnit.id);
             s.pendingVerificationRetry = null;
             return "continue";
         }
+        else if (postExecBlockingFailure) {
+            // Post-execution failures are cross-task consistency issues — retrying the same task won't fix them.
+            // Skip retry and pause immediately for human review.
+            s.verificationRetryCount.delete(s.currentUnit.id);
+            s.pendingVerificationRetry = null;
+            ctx.ui.notify(`Post-execution checks failed — cross-task consistency issue detected, pausing for human review`, "error");
+            await pauseAuto(ctx, pi);
+            return "pause";
+        }
         else if (autoFixEnabled && attempt + 1 <= maxRetries) {
             const nextAttempt = attempt + 1;
             s.verificationRetryCount.set(s.currentUnit.id, nextAttempt);
@@ -173,3 +267,46 @@ export async function runPostUnitVerification(vctx, pauseAuto) {
         return "continue";
     }
 }
+/**
+ * Write verification evidence JSON with post-execution checks included.
+ * This is a variant of writeVerificationJSON that adds the postExecutionChecks field.
+ */
+function writeVerificationJSONWithPostExec(result, tasksDir, taskId, unitId, postExecutionChecks, retryAttempt, maxRetries) {
+    mkdirSync(tasksDir, { recursive: true });
+    const evidence = {
+        schemaVersion: 1,
+        taskId,
+        unitId: unitId ?? taskId,
+        timestamp: result.timestamp,
+        passed: result.passed,
+        discoverySource: result.discoverySource,
+        checks: result.checks.map((check) => ({
+            command: check.command,
+            exitCode: check.exitCode,
+            durationMs: check.durationMs,
+            verdict: check.exitCode === 0 ? "pass" : "fail",
+        })),
+        ...(retryAttempt !== undefined ? { retryAttempt } : {}),
+        ...(maxRetries !== undefined ? { maxRetries } : {}),
+        postExecutionChecks,
+    };
+    if (result.runtimeErrors && result.runtimeErrors.length > 0) {
+        evidence.runtimeErrors = result.runtimeErrors.map(e => ({
+            source: e.source,
+            severity: e.severity,
+            message: e.message,
+            blocking: e.blocking,
+        }));
+    }
+    if (result.auditWarnings && result.auditWarnings.length > 0) {
+        evidence.auditWarnings = result.auditWarnings.map(w => ({
+            name: w.name,
+            severity: w.severity,
+            title: w.title,
+            url: w.url,
+            fixAvailable: w.fixAvailable,
+        }));
+    }
+    const filePath = join(tasksDir, `${taskId}-VERIFY.json`);
+    writeFileSync(filePath, JSON.stringify(evidence, null, 2) + "\n", "utf-8");
+}

package/dist/resources/extensions/gsd/auto.js

@@ -643,6 +643,7 @@ export async function pauseAuto(ctx, _pi, _errorContext) {
             sessionFile: s.pausedSessionFile,
             activeEngineId: s.activeEngineId,
             activeRunDir: s.activeRunDir,
+            autoStartTime: s.autoStartTime,
         };
         const runtimeDir = join(gsdRoot(s.originalBasePath || s.basePath), "runtime");
         mkdirSync(runtimeDir, { recursive: true });
@@ -842,6 +843,7 @@ export async function startAuto(ctx, pi, base, verboseMode, options) {
                     s.activeRunDir = meta.activeRunDir ?? null;
                     s.originalBasePath = meta.originalBasePath || base;
                     s.stepMode = meta.stepMode ?? requestedStepMode;
+                    s.autoStartTime = meta.autoStartTime || Date.now();
                     s.paused = true;
                     try {
                         unlinkSync(pausedPath);
@@ -869,6 +871,7 @@ export async function startAuto(ctx, pi, base, verboseMode, options) {
                         s.currentMilestoneId = meta.milestoneId;
                         s.originalBasePath = meta.originalBasePath || base;
                         s.stepMode = meta.stepMode ?? requestedStepMode;
+                        s.autoStartTime = meta.autoStartTime || Date.now();
                         s.paused = true;
                         // Clean up the persisted file — we're consuming it
                         try {
@@ -900,6 +903,8 @@ export async function startAuto(ctx, pi, base, verboseMode, options) {
         s.cmdCtx = ctx;
         s.basePath = base;
         setLogBasePath(base);
+        if (!s.autoStartTime || s.autoStartTime <= 0)
+            s.autoStartTime = Date.now();
         s.unitDispatchCount.clear();
         s.unitLifetimeDispatches.clear();
         if (!getLedger())

package/dist/resources/extensions/gsd/bootstrap/db-tools.js

@@ -768,31 +768,42 @@ export function registerDbTools(pi) {
                 return m ? [m[1].trim(), m[2].trim()] : [s.trim(), ""];
             };
             const coerced = { ...params };
-            coerced.filesModified = (params.filesModified ?? []).map((f) => {
+            // Coerce simple string-array fields: LLMs sometimes pass a plain string
+            // instead of a single-element array (#3585).
+            const wrapArray = (v) => v == null ? [] : Array.isArray(v) ? v : [v];
+            coerced.provides = wrapArray(params.provides);
+            coerced.keyFiles = wrapArray(params.keyFiles);
+            coerced.keyDecisions = wrapArray(params.keyDecisions);
+            coerced.patternsEstablished = wrapArray(params.patternsEstablished);
+            coerced.observabilitySurfaces = wrapArray(params.observabilitySurfaces);
+            coerced.requirementsSurfaced = wrapArray(params.requirementsSurfaced);
+            coerced.drillDownPaths = wrapArray(params.drillDownPaths);
+            coerced.affects = wrapArray(params.affects);
+            coerced.filesModified = wrapArray(params.filesModified).map((f) => {
                 if (typeof f !== "string")
                     return f;
                 const [path, description] = splitPair(f);
                 return { path, description };
             });
-            coerced.requires = (params.requires ?? []).map((r) => {
+            coerced.requires = wrapArray(params.requires).map((r) => {
                 if (typeof r !== "string")
                     return r;
                 const [slice, provides] = splitPair(r);
                 return { slice, provides };
             });
-            coerced.requirementsAdvanced = (params.requirementsAdvanced ?? []).map((r) => {
+            coerced.requirementsAdvanced = wrapArray(params.requirementsAdvanced).map((r) => {
                 if (typeof r !== "string")
                     return r;
                 const [id, how] = splitPair(r);
                 return { id, how };
             });
-            coerced.requirementsValidated = (params.requirementsValidated ?? []).map((r) => {
+            coerced.requirementsValidated = wrapArray(params.requirementsValidated).map((r) => {
                 if (typeof r !== "string")
                     return r;
                 const [id, proof] = splitPair(r);
                 return { id, proof };
             });
-            coerced.requirementsInvalidated = (params.requirementsInvalidated ?? []).map((r) => {
+            coerced.requirementsInvalidated = wrapArray(params.requirementsInvalidated).map((r) => {
                 if (typeof r !== "string")
                     return r;
                 const [id, what] = splitPair(r);
@@ -851,14 +862,14 @@ export function registerDbTools(pi) {
             deviations: Type.Optional(Type.String({ description: "Deviations from the slice plan, or 'None.'" })),
             knownLimitations: Type.Optional(Type.String({ description: "Known limitations or gaps, or 'None.'" })),
             followUps: Type.Optional(Type.String({ description: "Follow-up work discovered during execution, or 'None.'" })),
-            keyFiles: Type.Optional(Type.Array(Type.String(), { description: "Key files created or modified" })),
-            keyDecisions: Type.Optional(Type.Array(Type.String(), { description: "Key decisions made during this slice" })),
-            patternsEstablished: Type.Optional(Type.Array(Type.String(), { description: "Patterns established by this slice" })),
-            observabilitySurfaces: Type.Optional(Type.Array(Type.String(), { description: "Observability surfaces added" })),
-            provides: Type.Optional(Type.Array(Type.String(), { description: "What this slice provides to downstream slices" })),
-            requirementsSurfaced: Type.Optional(Type.Array(Type.String(), { description: "New requirements surfaced" })),
-            drillDownPaths: Type.Optional(Type.Array(Type.String(), { description: "Paths to task summaries for drill-down" })),
-            affects: Type.Optional(Type.Array(Type.String(), { description: "Downstream slices affected" })),
+            keyFiles: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "Key files created or modified" })),
+            keyDecisions: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "Key decisions made during this slice" })),
+            patternsEstablished: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "Patterns established by this slice" })),
+            observabilitySurfaces: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "Observability surfaces added" })),
+            provides: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "What this slice provides to downstream slices" })),
+            requirementsSurfaced: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "New requirements surfaced" })),
+            drillDownPaths: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "Paths to task summaries for drill-down" })),
+            affects: Type.Optional(Type.Union([Type.Array(Type.String()), Type.String()], { description: "Downstream slices affected" })),
             requirementsAdvanced: Type.Optional(Type.Array(Type.Union([
                 Type.Object({
                     id: Type.String({ description: "Requirement ID" }),

package/dist/resources/extensions/gsd/bootstrap/notify-interceptor.js

@@ -0,0 +1,28 @@
+// GSD Extension — Notify Interceptor
+// Wraps ctx.ui.notify() in-place to persist every notification through the
+// notification store. Uses a WeakSet to prevent double-wrapping and handle
+// UI context replacement on /reload gracefully.
+import { appendNotification } from "../notification-store.js";
+// Track which ui context objects have been wrapped to prevent double-install.
+// WeakSet allows GC to collect replaced uiContext instances after /reload.
+const _wrappedContexts = new WeakSet();
+/**
+ * Install the notify interceptor on a context's UI object.
+ * Mutates ctx.ui.notify in place — the original is called after persistence.
+ * Safe to call multiple times; no-ops if already installed on the same ui object.
+ */
+export function installNotifyInterceptor(ctx) {
+    if (_wrappedContexts.has(ctx.ui))
+        return;
+    const originalNotify = ctx.ui.notify.bind(ctx.ui);
+    ctx.ui.notify = (message, type) => {
+        try {
+            appendNotification(message, (type ?? "info"), "notify");
+        }
+        catch {
+            // Non-fatal — never let persistence break the UI
+        }
+        originalNotify(message, type);
+    };
+    _wrappedContexts.add(ctx.ui);
+}

package/dist/resources/extensions/gsd/bootstrap/register-hooks.js

@@ -18,6 +18,9 @@ import { resetAskUserQuestionsCache } from "../../ask-user-questions.js";
 import { recordToolCall as safetyRecordToolCall, recordToolResult as safetyRecordToolResult } from "../safety/evidence-collector.js";
 import { classifyCommand } from "../safety/destructive-guard.js";
 import { logWarning as safetyLogWarning } from "../workflow-logger.js";
+import { installNotifyInterceptor } from "./notify-interceptor.js";
+import { initNotificationStore } from "../notification-store.js";
+import { initNotificationWidget } from "../notification-widget.js";
 // Skip the welcome screen on the very first session_start — cli.ts already
 // printed it before the TUI launched. Only re-print on /clear (subsequent sessions).
 let isFirstSession = true;
@@ -27,6 +30,9 @@ async function syncServiceTierStatus(ctx) {
 }
 export function registerHooks(pi) {
     pi.on("session_start", async (_event, ctx) => {
+        initNotificationStore(process.cwd());
+        installNotifyInterceptor(ctx);
+        initNotificationWidget(ctx);
         resetWriteGateState();
         resetToolCallLoopGuard();
         resetAskUserQuestionsCache();
@@ -63,6 +69,8 @@ export function registerHooks(pi) {
         loadToolApiKeys();
     });
     pi.on("session_switch", async (_event, ctx) => {
+        initNotificationStore(process.cwd());
+        installNotifyInterceptor(ctx);
         resetWriteGateState();
         resetToolCallLoopGuard();
         resetAskUserQuestionsCache();

package/dist/resources/extensions/gsd/bootstrap/register-shortcuts.js

@@ -2,6 +2,7 @@ import { existsSync } from "node:fs";
 import { join } from "node:path";
 import { Key } from "@gsd/pi-tui";
 import { GSDDashboardOverlay } from "../dashboard-overlay.js";
+import { GSDNotificationOverlay } from "../notification-overlay.js";
 import { ParallelMonitorOverlay } from "../parallel-monitor-overlay.js";
 import { shortcutDesc } from "../../shared/mod.js";
 export function registerShortcuts(pi) {
@@ -23,6 +24,21 @@ export function registerShortcuts(pi) {
             });
         },
     });
+    pi.registerShortcut(Key.ctrlAlt("n"), {
+        description: shortcutDesc("Open notification history", "/gsd notifications"),
+        handler: async (ctx) => {
+            await ctx.ui.custom((tui, theme, _kb, done) => new GSDNotificationOverlay(tui, theme, () => done()), {
+                overlay: true,
+                overlayOptions: {
+                    width: "80%",
+                    minWidth: 60,
+                    maxHeight: "88%",
+                    anchor: "center",
+                    backdrop: true,
+                },
+            });
+        },
+    });
     pi.registerShortcut(Key.ctrlAlt("p"), {
         description: shortcutDesc("Open parallel worker monitor", "/gsd parallel watch"),
         handler: async (ctx) => {

package/dist/resources/extensions/gsd/bootstrap/system-context.js

@@ -229,6 +229,12 @@ function buildWorktreeContextBlock() {
     }
     return "";
 }
+/**
+ * Low-entropy resume intent patterns — short phrases a user types to
+ * continue work after a pause, rate limit, or context reset (#3615).
+ * Tested against the trimmed, lowercased prompt with trailing punctuation stripped.
+ */
+const RESUME_INTENT_PATTERNS = /^(continue|resume|ok|go|go ahead|proceed|keep going|carry on|next|yes|yeah|yep|sure|do it|let's go|pick up where you left off)$/;
 async function buildGuidedExecuteContextInjection(prompt, basePath) {
     const executeMatch = prompt.match(/Execute the next task:\s+(T\d+)\s+\("([^"]+)"\)\s+in slice\s+(S\d+)\s+of milestone\s+(M\d+(?:-[a-z0-9]{6})?)/i);
     if (executeMatch) {
@@ -243,6 +249,20 @@ async function buildGuidedExecuteContextInjection(prompt, basePath) {
             return buildTaskExecutionContextInjection(basePath, milestoneId, sliceId, state.activeTask.id, state.activeTask.title);
         }
     }
+    // Fallback: low-entropy resume prompt (e.g., "continue", "ok", "go ahead")
+    // during an active executing task — inject task context so the agent
+    // doesn't rebuild from scratch (#3615).
+    // Intent-gated: only fire for short, resume-like prompts to avoid hijacking
+    // control/help/diagnostic prompts with unrelated execution context.
+    // Phase-gated: only fire during "executing" to avoid misrouting during
+    // replanning, gate evaluation, or other non-execution phases.
+    const trimmed = prompt.trim().toLowerCase().replace(/[.!?,]+$/g, "");
+    if (RESUME_INTENT_PATTERNS.test(trimmed)) {
+        const state = await deriveState(basePath);
+        if (state.phase === "executing" && state.activeTask && state.activeMilestone && state.activeSlice) {
+            return buildTaskExecutionContextInjection(basePath, state.activeMilestone.id, state.activeSlice.id, state.activeTask.id, state.activeTask.title);
+        }
+    }
     return null;
 }
 async function buildTaskExecutionContextInjection(basePath, milestoneId, sliceId, taskId, taskTitle) {