gsd-pi 2.82.0-dev.c22380fc3 → 2.82.0-dev.e7a7f1ed5

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

@@ -7,8 +7,8 @@
  *
  * Split into two functions called sequentially by auto-loop with
  * the verification gate between them:
- *   1. postUnitPreVerification() — commit, doctor, state rebuild, worktree sync, artifact verification
- *   2. postUnitPostVerification() — DB dual-write, hooks, triage, quick-tasks
+ *   1. postUnitPreVerification() — closeout git for non-task units, doctor, state rebuild, worktree sync, artifact verification
+ *   2. postUnitPostVerification() — post-verified task git, DB dual-write, hooks, triage, quick-tasks
  *
  * Extracted from the pre-loop agent_end handler in auto.ts.
  */
@@ -23,7 +23,7 @@ import { rebuildState } from "./doctor.js";
 import { parseUnitId } from "./unit-id.js";
 import { closeoutUnit } from "./auto-unit-closeout.js";
 import { runTurnGitAction, } from "./git-service.js";
-import { verifyExpectedArtifact, resolveExpectedArtifactPath, writeBlockerPlaceholder, diagnoseExpectedArtifact, } from "./auto-recovery.js";
+import { verifyExpectedArtifact, resolveExpectedArtifactPath, writeBlockerPlaceholder, diagnoseExpectedArtifact, diagnoseWorktreeIntegrityFailure, } from "./auto-recovery.js";
 import { regenerateIfMissing } from "./workflow-projections.js";
 import { WorktreeStateProjection } from "./worktree-state-projection.js";
 import { createWorkspace, scopeMilestone } from "./workspace.js";
@@ -37,8 +37,7 @@ import { debugLog } from "./debug-logger.js";
 import { runSafely } from "./auto-utils.js";
 import { getEvidence, clearEvidenceFromDisk } from "./safety/evidence-collector.js";
 import { validateFileChanges } from "./safety/file-change-validator.js";
-// crossReferenceEvidence available for future use when verification_evidence is stored in DB
-// import { crossReferenceEvidence, type ClaimedEvidence } from "./safety/evidence-cross-ref.js";
+import { crossReferenceEvidence } from "./safety/evidence-cross-ref.js";
 import { validateContent } from "./safety/content-validator.js";
 import { resolveSafetyHarnessConfig } from "./safety/safety-harness.js";
 import { resolveExpectedArtifactPath as resolveArtifactForContent } from "./auto-artifact-paths.js";
@@ -126,7 +125,7 @@ async function buildTaskCommitContextForUnit(basePath, unitId) {
         sliceId: sid,
         sliceTitle: stripKnownIdPrefix(slice?.title, sid),
         oneLiner: summary?.oneLiner || task?.one_liner || undefined,
-        keyFiles: summary?.frontmatter.key_files?.filter(f => !f.includes("{{")) ??
+        keyFiles: summary?.frontmatter.key_files?.filter(f => !f.includes("{{") && f.trim() !== "(none)") ??
             task?.key_files ??
             undefined,
         issueNumber: ghIssueNumber,
@@ -171,6 +170,9 @@ export function _shouldDispatchQuickTaskForTest(state) {
         !!state.currentUnit &&
         state.currentUnit.type !== "quick-task";
 }
+export function shouldDeferCloseoutGitAction(unitType) {
+    return unitType === "execute-task";
+}
 /** Unit types that only touch `.gsd/` internal state files (no code changes).
  *  Auto-commit is skipped for these — their state files are picked up by the
  *  next actual task commit via `smartStage()`. */
@@ -301,6 +303,19 @@ export function buildStepCompleteMessage(nextState) {
     return `Step complete. Next: ${next.label}\n`
         + `Run /clear, then /gsd to continue (or /gsd auto to run continuously).`;
 }
+/**
+ * Decide whether step mode should stop at the step wizard after a unit finishes.
+ *
+ * @param currentUnitType The just-finished unit type, such as "execute-task" or
+ *   "complete-milestone"; may be null/undefined when no current unit is known.
+ * @param phaseAfterUnit The freshly derived next phase, such as "executing" or
+ *   "complete"; may be null/undefined if state derivation failed.
+ * @returns true to show the step wizard; false to keep the loop running so
+ *   terminal milestone completion can reach the merge/finalization path.
+ */
+export function shouldReturnStepWizardAfterUnit(currentUnitType, phaseAfterUnit) {
+    return currentUnitType !== "complete-milestone" && phaseAfterUnit !== "complete";
+}
 export const USER_DRIVEN_DEEP_UNITS = new Set([
     "discuss-project",
     "discuss-requirements",
@@ -316,6 +331,10 @@ function artifactValidationKind(unitType) {
     return null;
 }
 function describeArtifactVerificationFailure(unitType, unitId, basePath) {
+    const worktreeFailure = diagnoseWorktreeIntegrityFailure(basePath);
+    if (worktreeFailure) {
+        return `${worktreeFailure} Unit: ${unitType} ${unitId}.`;
+    }
     const artifactPath = resolveExpectedArtifactPath(unitType, unitId, basePath);
     if (!artifactPath) {
         return `Artifact verification failed: ${unitType} "${unitId}" has no resolvable artifact path.`;
@@ -360,6 +379,148 @@ export async function autoCommitUnit(basePath, unitType, unitId, ctx) {
         return null;
     }
 }
+/**
+ * Execute the turn-level git action (commit, snapshot, or status-only).
+ *
+ * @param opts.softFailure - Defaults to false. When true, retry git failures,
+ * warn, and continue without pausing auto-mode; use for best-effort deferred
+ * closeout work where a git failure should not block the run.
+ */
+async function runCloseoutGitAction(pctx, unit, opts) {
+    const { s, ctx, pi, pauseAuto } = pctx;
+    const prefs = loadEffectiveGSDPreferences()?.preferences;
+    const uokFlags = resolveUokFlags(prefs);
+    const turnAction = uokFlags.gitops ? uokFlags.gitopsTurnAction : "commit";
+    const traceId = s.currentTraceId ?? `turn:${unit.startedAt}`;
+    const turnId = s.currentTurnId ?? `${unit.type}/${unit.id}/${unit.startedAt}`;
+    s.lastGitActionFailure = null;
+    s.lastGitActionStatus = null;
+    try {
+        let taskContext;
+        if (turnAction === "commit" && unit.type === "execute-task") {
+            taskContext = await buildTaskCommitContextForUnit(s.basePath, unit.id);
+        }
+        // Invalidate the nativeHasChanges cache before auto-commit (#1853).
+        // The cache has a 10-second TTL and is keyed by basePath. A stale
+        // `false` result causes autoCommit to skip staging entirely.
+        _resetHasChangesCache();
+        const skipLifecycleCommit = turnAction === "commit" && LIFECYCLE_ONLY_UNITS.has(unit.type);
+        if (skipLifecycleCommit) {
+            debugLog("postUnit", {
+                phase: "git-action-skipped",
+                reason: "lifecycle-only-unit",
+                unitType: unit.type,
+                unitId: unit.id,
+            });
+        }
+        else {
+            const maxAttempts = opts?.softFailure ? 3 : 1;
+            let gitResult = runTurnGitAction({
+                basePath: s.basePath,
+                action: turnAction,
+                unitType: unit.type,
+                unitId: unit.id,
+                taskContext,
+            });
+            for (let attempt = 1; gitResult.status === "failed" && attempt < maxAttempts; attempt++) {
+                await new Promise((resolve) => setTimeout(resolve, 250 * attempt));
+                gitResult = runTurnGitAction({
+                    basePath: s.basePath,
+                    action: turnAction,
+                    unitType: unit.type,
+                    unitId: unit.id,
+                    taskContext,
+                });
+            }
+            if (uokFlags.gitops) {
+                writeTurnGitTransaction({
+                    basePath: s.basePath,
+                    traceId,
+                    turnId,
+                    unitType: unit.type,
+                    unitId: unit.id,
+                    stage: "publish",
+                    action: turnAction,
+                    push: uokFlags.gitopsTurnPush,
+                    status: gitResult.status,
+                    error: gitResult.error,
+                    metadata: {
+                        dirty: gitResult.dirty,
+                        commitMessage: gitResult.commitMessage,
+                        snapshotLabel: gitResult.snapshotLabel,
+                    },
+                });
+            }
+            if (gitResult.status === "failed") {
+                s.lastGitActionFailure = gitResult.error ?? `git ${turnAction} failed`;
+                s.lastGitActionStatus = "failed";
+                if (uokFlags.gitops && uokFlags.gates) {
+                    const parsed = parseUnitId(unit.id);
+                    const gateRunner = new UokGateRunner();
+                    gateRunner.register({
+                        id: "closeout-git-action",
+                        type: "closeout",
+                        execute: async () => ({
+                            outcome: "fail",
+                            failureClass: "git",
+                            rationale: `turn git action "${turnAction}" failed`,
+                            findings: gitResult.error ?? "unknown git failure",
+                        }),
+                    });
+                    await gateRunner.run("closeout-git-action", {
+                        basePath: s.basePath,
+                        traceId,
+                        turnId,
+                        milestoneId: parsed.milestone ?? undefined,
+                        sliceId: parsed.slice ?? undefined,
+                        taskId: parsed.task ?? undefined,
+                        unitType: unit.type,
+                        unitId: unit.id,
+                    });
+                }
+                const failureMsg = `Git ${turnAction} failed: ${(gitResult.error ?? "unknown error").split("\n")[0]}`;
+                ctx.ui.notify(failureMsg, opts?.softFailure ? "warning" : "error");
+                debugLog("postUnit", {
+                    phase: opts?.softFailure ? "git-action-failed-soft" : "git-action-failed-blocking",
+                    action: turnAction,
+                    error: gitResult.error ?? "unknown error",
+                });
+                if (opts?.softFailure) {
+                    return "continue";
+                }
+                await pauseAuto(ctx, pi);
+                return "dispatched";
+            }
+            s.lastGitActionStatus = "ok";
+            if (turnAction === "commit" && gitResult.commitMessage) {
+                ctx.ui.notify(`Committed: ${gitResult.commitMessage.split("\n")[0]}`, "info");
+            }
+            else if (turnAction === "snapshot" && gitResult.snapshotLabel) {
+                ctx.ui.notify(`Snapshot recorded: ${gitResult.snapshotLabel}`, "info");
+            }
+        }
+    }
+    catch (e) {
+        const message = e instanceof Error ? e.message : String(e);
+        s.lastGitActionFailure = message;
+        s.lastGitActionStatus = "failed";
+        debugLog("postUnit", { phase: "git-action", error: message, action: turnAction });
+        ctx.ui.notify(`Git ${turnAction} failed: ${message.split("\n")[0]}`, opts?.softFailure ? "warning" : "error");
+        if (opts?.softFailure) {
+            return "continue";
+        }
+        if (uokFlags.gitops) {
+            await pauseAuto(ctx, pi);
+            return "dispatched";
+        }
+    }
+    // GitHub sync (non-blocking, opt-in)
+    await runSafely("postUnit", "github-sync", async () => {
+        const { runGitHubSync } = await import("../github-sync/sync.js");
+        await runGitHubSync(s.basePath, unit.type, unit.id);
+    });
+    return "continue";
+}
 /**
  * Pre-verification processing: parallel worker signal check, cache invalidation,
  * auto-commit, doctor run, state rebuild, worktree sync, artifact verification.
@@ -370,7 +531,7 @@ export async function autoCommitUnit(basePath, unitType, unitId, ctx) {
  * - "retry" — artifact verification failed, s.pendingVerificationRetry set for loop re-iteration
  */
 export async function postUnitPreVerification(pctx, opts) {
-    const { s, ctx, pi, buildSnapshotOpts, stopAuto, pauseAuto } = pctx;
+    const { s, ctx, pi, stopAuto, pauseAuto } = pctx;
     // ── Parallel worker signal check ──
     const milestoneLock = process.env.GSD_MILESTONE_LOCK;
     if (milestoneLock) {
@@ -392,125 +553,22 @@ export async function postUnitPreVerification(pctx, opts) {
     if (!opts?.skipSettleDelay) {
         await new Promise(r => setTimeout(r, 100));
     }
-    const prefs = loadEffectiveGSDPreferences()?.preferences;
-    const uokFlags = resolveUokFlags(prefs);
     // Turn-level git action (commit | snapshot | status-only)
     if (s.currentUnit) {
         const unit = s.currentUnit;
-        const turnAction = uokFlags.gitops ? uokFlags.gitopsTurnAction : "commit";
-        const traceId = s.currentTraceId ?? `turn:${unit.startedAt}`;
-        const turnId = s.currentTurnId ?? `${unit.type}/${unit.id}/${unit.startedAt}`;
-        s.lastGitActionFailure = null;
-        s.lastGitActionStatus = null;
-        try {
-            let taskContext;
-            if (turnAction === "commit" && s.currentUnit.type === "execute-task") {
-                taskContext = await buildTaskCommitContextForUnit(s.basePath, s.currentUnit.id);
-            }
-            // Invalidate the nativeHasChanges cache before auto-commit (#1853).
-            // The cache has a 10-second TTL and is keyed by basePath.  A stale
-            // `false` result causes autoCommit to skip staging entirely, leaving
-            // code files only in the working tree where they are destroyed by
-            // `git worktree remove --force` during teardown.
-            _resetHasChangesCache();
-            const skipLifecycleCommit = turnAction === "commit" && LIFECYCLE_ONLY_UNITS.has(s.currentUnit.type);
-            if (skipLifecycleCommit) {
-                debugLog("postUnit", {
-                    phase: "git-action-skipped",
-                    reason: "lifecycle-only-unit",
-                    unitType: s.currentUnit.type,
-                    unitId: s.currentUnit.id,
-                });
-            }
-            else {
-                const gitResult = runTurnGitAction({
-                    basePath: s.basePath,
-                    action: turnAction,
-                    unitType: s.currentUnit.type,
-                    unitId: s.currentUnit.id,
-                    taskContext,
-                });
-                if (uokFlags.gitops) {
-                    writeTurnGitTransaction({
-                        basePath: s.basePath,
-                        traceId,
-                        turnId,
-                        unitType: unit.type,
-                        unitId: unit.id,
-                        stage: "publish",
-                        action: turnAction,
-                        push: uokFlags.gitopsTurnPush,
-                        status: gitResult.status,
-                        error: gitResult.error,
-                        metadata: {
-                            dirty: gitResult.dirty,
-                            commitMessage: gitResult.commitMessage,
-                            snapshotLabel: gitResult.snapshotLabel,
-                        },
-                    });
-                }
-                if (gitResult.status === "failed") {
-                    s.lastGitActionFailure = gitResult.error ?? `git ${turnAction} failed`;
-                    s.lastGitActionStatus = "failed";
-                    if (uokFlags.gitops && uokFlags.gates) {
-                        const parsed = parseUnitId(unit.id);
-                        const gateRunner = new UokGateRunner();
-                        gateRunner.register({
-                            id: "closeout-git-action",
-                            type: "closeout",
-                            execute: async () => ({
-                                outcome: "fail",
-                                failureClass: "git",
-                                rationale: `turn git action "${turnAction}" failed`,
-                                findings: gitResult.error ?? "unknown git failure",
-                            }),
-                        });
-                        await gateRunner.run("closeout-git-action", {
-                            basePath: s.basePath,
-                            traceId,
-                            turnId,
-                            milestoneId: parsed.milestone ?? undefined,
-                            sliceId: parsed.slice ?? undefined,
-                            taskId: parsed.task ?? undefined,
-                            unitType: unit.type,
-                            unitId: unit.id,
-                        });
-                    }
-                    const failureMsg = `Git ${turnAction} failed: ${(gitResult.error ?? "unknown error").split("\n")[0]}`;
-                    ctx.ui.notify(failureMsg, "error");
-                    debugLog("postUnit", {
-                        phase: "git-action-failed-blocking",
-                        action: turnAction,
-                        error: gitResult.error ?? "unknown error",
-                    });
-                    await pauseAuto(ctx, pi);
-                    return "dispatched";
-                }
-                s.lastGitActionStatus = "ok";
-                if (turnAction === "commit" && gitResult.commitMessage) {
-                    ctx.ui.notify(`Committed: ${gitResult.commitMessage.split("\n")[0]}`, "info");
-                }
-                else if (turnAction === "snapshot" && gitResult.snapshotLabel) {
-                    ctx.ui.notify(`Snapshot recorded: ${gitResult.snapshotLabel}`, "info");
-                }
-            }
+        if (shouldDeferCloseoutGitAction(unit.type)) {
+            debugLog("postUnit", {
+                phase: "git-action-deferred-until-verification",
+                unitType: unit.type,
+                unitId: unit.id,
+            });
         }
-        catch (e) {
-            const message = e instanceof Error ? e.message : String(e);
-            s.lastGitActionFailure = message;
-            s.lastGitActionStatus = "failed";
-            debugLog("postUnit", { phase: "git-action", error: message, action: turnAction });
-            ctx.ui.notify(`Git ${turnAction} failed: ${message.split("\n")[0]}`, uokFlags.gitops ? "error" : "warning");
-            if (uokFlags.gitops) {
-                await pauseAuto(ctx, pi);
+        else {
+            const gitActionResult = await runCloseoutGitAction(pctx, unit);
+            if (gitActionResult === "dispatched") {
                 return "dispatched";
             }
         }
-        // GitHub sync (non-blocking, opt-in)
-        await runSafely("postUnit", "github-sync", async () => {
-            const { runGitHubSync } = await import("../github-sync/sync.js");
-            await runGitHubSync(s.basePath, unit.type, unit.id);
-        });
         // Prune dead bg-shell processes
         await runSafely("postUnit", "prune-bg-shell", async () => {
             const { pruneDeadProcesses } = await import("../bg-shell/process-manager.js");
@@ -723,7 +781,7 @@ export async function postUnitPreVerification(pctx, opts) {
             const safetyConfig = resolveSafetyHarnessConfig(prefs?.safety_harness);
             if (safetyConfig.enabled) {
                 const { milestone: sMid, slice: sSid, task: sTid } = parseUnitId(s.currentUnit.id);
-                // File change validation (execute-task only, after auto-commit)
+                // File change validation (execute-task only, after unit execution)
                 if (safetyConfig.file_change_validation && s.currentUnit.type === "execute-task" && sMid && sSid && sTid && isDbAvailable()) {
                     try {
                         const taskRow = getTask(sMid, sSid, sTid);
@@ -756,12 +814,34 @@ export async function postUnitPreVerification(pctx, opts) {
                         const bashCalls = actual.filter(e => e.kind === "bash");
                         if (sMid && sSid && sTid && isDbAvailable()) {
                             const taskRow = getTask(sMid, sSid, sTid);
-                            const claimedCommands = getVerificationEvidence(sMid, sSid, sTid)
-                                .map((row) => row.command)
-                                .filter((command) => typeof command === "string" && command.trim().length > 0);
-                            if (taskRow?.status === "complete" && claimedCommands.length > 0 && bashCalls.length === 0) {
-                                logWarning("safety", "task claimed verification command evidence but no execution tool calls were recorded");
-                                ctx.ui.notify(`Safety: task ${sTid} claimed command evidence but no execution tool calls were recorded`, "warning");
+                            if (taskRow?.status === "complete") {
+                                const claimedEvidence = getVerificationEvidence(sMid, sSid, sTid)
+                                    .map((row) => ({
+                                    command: row.command,
+                                    exitCode: row.exit_code,
+                                    verdict: row.verdict,
+                                }))
+                                    .filter((row) => typeof row.command === "string" && row.command.trim().length > 0);
+                                const mismatches = crossReferenceEvidence(claimedEvidence, actual);
+                                for (const mismatch of mismatches) {
+                                    const logMessage = `evidence-xref: ${mismatch.reason}`;
+                                    if (mismatch.severity === "error") {
+                                        logError("safety", logMessage);
+                                    }
+                                    else {
+                                        logWarning("safety", logMessage);
+                                    }
+                                }
+                                if (claimedEvidence.length > 0 && bashCalls.length === 0) {
+                                    logWarning("safety", "task claimed verification command evidence but no execution tool calls were recorded");
+                                    ctx.ui.notify(`Safety: task ${sTid} claimed command evidence but no execution tool calls were recorded`, "warning");
+                                }
+                                const blockingMismatch = mismatches.find((mismatch) => mismatch.severity === "error");
+                                if (blockingMismatch) {
+                                    ctx.ui.notify(`Safety: task ${sTid} claimed passing verification that failed in recorded execution`, "error");
+                                    await pauseAuto(ctx, pi);
+                                    return "dispatched";
+                                }
                             }
                         }
                     }
@@ -922,6 +1002,22 @@ export async function postUnitPreVerification(pctx, opts) {
                 ctx.ui.notify(`${s.currentUnit.type} ${s.currentUnit.id} — deterministic policy rejection, wrote blocker placeholder (no retries) (#4973)`, "warning");
                 // Fall through to "continue" — do NOT enter the retry or db-unavailable paths.
             }
+            else if (!triggerArtifactVerified && diagnoseWorktreeIntegrityFailure(s.basePath)) {
+                const retryKey = `${s.currentUnit.type}:${s.currentUnit.id}`;
+                const worktreeFailure = diagnoseWorktreeIntegrityFailure(s.basePath);
+                s.pendingVerificationRetry = null;
+                s.verificationRetryCount.delete(retryKey);
+                s.verificationRetryFailureHashes.delete(retryKey);
+                debugLog("postUnit", {
+                    phase: "worktree-integrity-failure",
+                    unitType: s.currentUnit.type,
+                    unitId: s.currentUnit.id,
+                    basePath: s.basePath,
+                });
+                ctx.ui.notify(`${worktreeFailure} Retry ${s.currentUnit.id} after repair.`, "error");
+                await pauseAuto(ctx, pi);
+                return "dispatched";
+            }
             else if (!triggerArtifactVerified && !isDbAvailable()) {
                 debugLog("postUnit", { phase: "artifact-verify-skip-db-unavailable", unitType: s.currentUnit.type, unitId: s.currentUnit.id });
                 const dbSkipDiag = diagnoseExpectedArtifact(s.currentUnit.type, s.currentUnit.id, s.basePath);
@@ -992,6 +1088,12 @@ export async function postUnitPreVerification(pctx, opts) {
 export async function postUnitPostVerification(pctx) {
     const { s, ctx, pi, buildSnapshotOpts, lockBase, stopAuto, pauseAuto, updateProgressWidget } = pctx;
     if (s.currentUnit) {
+        if (shouldDeferCloseoutGitAction(s.currentUnit.type)) {
+            const gitActionResult = await runCloseoutGitAction(pctx, s.currentUnit, { softFailure: true });
+            if (gitActionResult === "dispatched") {
+                return "stopped";
+            }
+        }
         try {
             const codebasePrefs = loadEffectiveGSDPreferences()?.preferences?.codebase;
             const refresh = ensureCodebaseMapFresh(s.basePath, codebasePrefs
@@ -1359,15 +1461,19 @@ export async function postUnitPostVerification(pctx) {
     // Without this notify(), /gsd in step mode finishes a unit and silently
     // exits the loop, leaving the user with no hint to /clear and /gsd again.
     if (s.stepMode) {
+        let phaseAfterUnit = null;
         try {
             const nextState = await deriveState(s.canonicalProjectRoot);
+            phaseAfterUnit = nextState.phase;
             ctx.ui.notify(buildStepCompleteMessage(nextState), "info");
         }
         catch (e) {
             debugLog("postUnit", { phase: "step-wizard-notify", error: String(e) });
             ctx.ui.notify(STEP_COMPLETE_FALLBACK_MESSAGE, "info");
         }
-        return "step-wizard";
+        return shouldReturnStepWizardAfterUnit(s.currentUnit?.type, phaseAfterUnit)
+            ? "step-wizard"
+            : "continue";
     }
     return "continue";
 }

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

@@ -2777,7 +2777,7 @@ export async function buildParallelResearchSlicesPrompt(mid, midTitle, slices, b
         subagentSections.push([
             `### ${slice.id}: ${slice.title}`,
             "",
-            `Use this as the prompt for a \`subagent\` call${modelSuffix} (agent: \`gsd-executor\` or the default agent):`,
+            `Use this as the prompt for a \`subagent\` call${modelSuffix} (agent: \`scout\`):`,
             "",
             "```",
             slicePrompt,
@@ -2846,7 +2846,7 @@ export async function buildGateEvaluatePrompt(mid, midTitle, sid, sTitle, base,
         subagentSections.push([
             `### ${def.id}: ${def.question}`,
             "",
-            `Use this as the prompt for a \`subagent\` call${modelSuffix}:`,
+            `Use this as the prompt for a \`subagent\` call${modelSuffix} (agent: \`tester\`):`,
             "",
             "```",
             subPrompt,

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

@@ -14,7 +14,8 @@ import { clearParseCache } from "./files.js";
 import { parseRoadmap as parseLegacyRoadmap, parsePlan as parseLegacyPlan } from "./parsers-legacy.js";
 import { isDbAvailable, getTask, getSlice, getSliceTasks, getPendingGates, updateTaskStatus, updateSliceStatus, insertSlice, getMilestone, refreshOpenDatabaseFromDisk, getCompletedMilestoneTaskFileHints, getMilestoneCommitAttributionShas, recordMilestoneCommitAttribution } from "./gsd-db.js";
 import { isValidationTerminal } from "./state.js";
-import { logWarning } from "./workflow-logger.js";
+import { getErrorMessage } from "./error-utils.js";
+import { logWarning, logError } from "./workflow-logger.js";
 import { readIntegrationBranch } from "./git-service.js";
 import { isClosedStatus } from "./status-guards.js";
 import { resolveSlicePath, resolveSliceFile, resolveTasksDir, resolveTaskFiles, relMilestoneFile, relSliceFile, buildSliceFileName, resolveMilestoneFile, clearPathCache, resolveGsdRootFile, } from "./paths.js";
@@ -25,9 +26,33 @@ import { resolveExpectedArtifactPath, diagnoseExpectedArtifact, } from "./auto-a
 import { classifyMilestoneSummaryContent } from "./milestone-summary-classifier.js";
 import { validateArtifact } from "./schemas/validate.js";
 import { getProjectResearchStatus } from "./project-research-policy.js";
+import { isGsdWorktreePath } from "./worktree-root.js";
 // Re-export so existing consumers of auto-recovery.ts keep working.
 export { resolveExpectedArtifactPath, diagnoseExpectedArtifact };
 export { classifyMilestoneSummaryContent, } from "./milestone-summary-classifier.js";
+// ─── Artifact Resolution & Verification ───────────────────────────────────────
+export function diagnoseWorktreeIntegrityFailure(basePath) {
+    if (!isGsdWorktreePath(basePath))
+        return null;
+    if (!existsSync(basePath)) {
+        return `Worktree integrity failure: ${basePath} does not exist. Repair or recreate the worktree before retrying.`;
+    }
+    const gitPath = join(basePath, ".git");
+    if (!existsSync(gitPath)) {
+        return `Worktree integrity failure: ${basePath} is not a valid git worktree (.git missing). Repair or recreate the worktree before retrying.`;
+    }
+    try {
+        execFileSync("git", ["rev-parse", "--git-dir"], {
+            cwd: basePath,
+            stdio: ["ignore", "pipe", "pipe"],
+            encoding: "utf-8",
+        });
+        return null;
+    }
+    catch (err) {
+        return `Worktree integrity failure: ${basePath} is not a valid git worktree (git rev-parse failed: ${getErrorMessage(err).split("\n")[0]}). Repair or recreate the worktree before retrying.`;
+    }
+}
 export function refreshRecoveryDbForArtifact(unitType, unitId) {
     if (unitType !== "plan-slice" && unitType !== "execute-task")
         return { ok: true };
@@ -137,9 +162,16 @@ export function hasImplementationArtifacts(basePath, milestoneId) {
         // Strategy: check `git diff --name-only` against the merge-base with the
         // main branch. This captures ALL files changed during the milestone's
         // lifetime while running on a milestone branch.
-        const integrationBranch = milestoneId
-            ? readIntegrationBranch(basePath, milestoneId) ?? detectMainBranch(basePath)
-            : detectMainBranch(basePath);
+        const recordedIntegrationBranch = milestoneId
+            ? readIntegrationBranch(basePath, milestoneId)
+            : null;
+        let integrationBranch;
+        if (recordedIntegrationBranch?.startsWith("milestone/")) {
+            integrationBranch = detectMainBranch(basePath);
+        }
+        else {
+            integrationBranch = recordedIntegrationBranch ?? detectMainBranch(basePath);
+        }
         const currentBranch = getCurrentBranch(basePath);
         const branchDiff = getChangedFilesSinceBranch(basePath, integrationBranch);
         if (!branchDiff.ok)
@@ -471,29 +503,49 @@ function commitMatchesMilestone(basePath, message, milestoneId, files) {
     // rather than Mxx/Sxx/Tyy. Bind those commits back to the milestone when
     // either the commit touched this milestone's artifacts, or — for projects
     // where .gsd/ is gitignored/external (#5033) — the message explicitly
-    // names the milestone or local GSD state proves the task belongs here.
+    // names the milestone, local GSD state proves the task belongs here, or the
+    // commit is implementation-bearing evidence itself (#5100).
     if (/^GSD-Task:\s*S[^/\s]+\/T\S+/m.test(message)) {
         if (files.some((file) => isMilestoneArtifactPath(file, milestoneId)))
             return true;
         if (commitMessageMentionsMilestone(message, milestoneId))
             return true;
-        if (commitTaskTrailerBelongsToMilestone(basePath, message, milestoneId))
+        const taskTrailerOwnership = getTaskOwnershipStatus(basePath, message, milestoneId);
+        if (taskTrailerOwnership === true)
+            return true;
+        if (taskTrailerOwnership === false)
+            return false;
+        // taskTrailerOwnership === null: unknown ownership. Apply fallback only
+        // in this case to avoid cross-milestone attribution.
+        if (MILESTONE_ID_RE.test(milestoneId) && classifyImplementationFiles(files) === "present")
             return true;
     }
     return false;
 }
-function commitTaskTrailerBelongsToMilestone(basePath, message, milestoneId) {
+/**
+ * Tri-state task ownership probe.
+ * true => DB or local files confirm this milestone owns the task.
+ * false => DB is available and this milestone is registered, but task is absent.
+ * null => ownership unknown (milestone not in DB yet, or no DB + no local files).
+ */
+function getTaskOwnershipStatus(basePath, message, milestoneId) {
     const match = message.match(/^GSD-Task:\s*(S[^/\s]+)\/(T[^\s]+)/m);
     if (!match)
-        return false;
+        return null;
     const [, sliceId, taskId] = match;
-    if (getTask(milestoneId, sliceId, taskId))
-        return true;
+    if (isDbAvailable()) {
+        if (!getMilestone(milestoneId))
+            return null;
+        return getTask(milestoneId, sliceId, taskId) ? true : false;
+    }
+    // DB unavailable: fallback to local task-file presence.
     const tasksDir = resolveTasksDir(basePath, milestoneId, sliceId);
-    if (!tasksDir)
-        return false;
-    return existsSync(join(tasksDir, `${taskId}-PLAN.md`))
-        || existsSync(join(tasksDir, `${taskId}-SUMMARY.md`));
+    if (tasksDir
+        && (existsSync(join(tasksDir, `${taskId}-PLAN.md`))
+            || existsSync(join(tasksDir, `${taskId}-SUMMARY.md`)))) {
+        return true;
+    }
+    return null;
 }
 function commitMessageMentionsMilestone(message, milestoneId) {
     if (!MILESTONE_ID_RE.test(milestoneId))
@@ -673,6 +725,11 @@ export function verifyExpectedArtifact(unitType, unitId, base) {
         return false;
     }
     if (!existsSync(absPath)) {
+        const worktreeFailure = diagnoseWorktreeIntegrityFailure(base);
+        if (worktreeFailure) {
+            logError("recovery", `${worktreeFailure} Unit: ${unitType} ${unitId}.`);
+            return false;
+        }
         logWarning("recovery", `verify-fail ${unitType} ${unitId}: existsSync false for ${absPath}`);
         return false;
     }