gsd-pi 2.78.0 → 2.78.1-dev.2ff77b0ce

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

@@ -1,5 +1,5 @@
 // GSD Extension — State Derivation
-// DB-primary state derivation with filesystem fallback for unmigrated projects.
+// DB-authoritative runtime derivation with explicit legacy filesystem fallback.
 // Pure TypeScript, zero Pi dependencies.
 import { parseRoadmap, parsePlan, } from './parsers-legacy.js';
 import { parseSummary, loadFile, parseRequirementCounts, parseContextDependsOn, } from './files.js';
@@ -9,14 +9,13 @@ import { loadQueueOrder, sortByQueueOrder } from './queue-order.js';
 import { isClosedStatus, isDeferredStatus } from './status-guards.js';
 import { nativeBatchParseGsdFiles } from './native-parser-bridge.js';
 import { join, resolve } from 'path';
-import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { existsSync, readdirSync } from 'node:fs';
 import { debugCount, debugTime } from './debug-logger.js';
-import { logWarning, logError } from './workflow-logger.js';
+import { logWarning } from './workflow-logger.js';
 import { extractVerdict } from './verdict-parser.js';
-import { loadEffectiveGSDPreferences } from './preferences.js';
 import { detectPendingEscalation } from './escalation.js';
 import { isTerminalMilestoneSummaryContent } from './milestone-summary-classifier.js';
-import { isDbAvailable, wasDbOpenAttempted, getAllMilestones, getMilestone, getMilestoneSlices, getSliceTasks, getReplanHistory, getSlice, insertMilestone, insertSlice, insertTask, updateSliceStatus, updateTaskStatus, getPendingGateCountForTurn, autoHealSketchFlags, } from './gsd-db.js';
+import { isDbAvailable, wasDbOpenAttempted, getAllMilestones, getMilestone, getMilestoneSlices, getSliceTasks, getReplanHistory, getSlice, getRequirementCounts, getLatestAssessmentByScope, getPendingGateCountForTurn, } from './gsd-db.js';
 /**
  * A "ghost" milestone directory contains only META.json (and no substantive
  * files like CONTEXT, CONTEXT-DRAFT, ROADMAP, or SUMMARY).  These appear when
@@ -60,6 +59,48 @@ export function isGhostMilestone(basePath, mid) {
     const summary = resolveMilestoneFile(basePath, mid, "SUMMARY");
     return !context && !draft && !roadmap && !summary;
 }
+/**
+ * A "reusable ghost" milestone is an orphaned filesystem stub that is safe
+ * to reclaim as the next milestone ID.
+ *
+ * Stricter than `isGhostMilestone`: returns true ONLY when ALL of the
+ * following hold:
+ *   1. No DB row exists for `mid` (any status, including "queued") — a DB row
+ *      means the milestone was intentionally registered by
+ *      `gsd_milestone_generate_id` and may have an in-flight discuss flow.
+ *      Reusing it would collide with that flow. (#4996 race window)
+ *   2. No worktree directory exists at `gsdRoot/worktrees/{mid}` — a worktree
+ *      means the milestone is legitimately in-flight.
+ *   3. No content files exist (CONTEXT, CONTEXT-DRAFT, ROADMAP, SUMMARY) —
+ *      any content means the discuss flow already ran.
+ *
+ * The looser `isGhostMilestone` also classifies queued-row-without-content as
+ * a ghost to help state queries filter phantoms. `isReusableGhostMilestone`
+ * intentionally does NOT reclaim those — a queued row is sufficient proof of
+ * a live in-flight ID reservation.
+ *
+ * Used by `nextMilestoneIdReserved` and both MCP ID-generator tools to fill
+ * gaps left by phantom directories before resorting to max+1.
+ */
+export function isReusableGhostMilestone(basePath, mid) {
+    // Condition 1: no DB row (any status).
+    if (!isDbAvailable())
+        return false;
+    const dbRow = getMilestone(mid);
+    if (dbRow != null)
+        return false;
+    // Condition 2: no worktree.
+    const root = gsdRoot(basePath);
+    const wtPath = join(root, 'worktrees', mid);
+    if (existsSync(wtPath))
+        return false;
+    // Condition 3: no content files.
+    const context = resolveMilestoneFile(basePath, mid, "CONTEXT");
+    const draft = resolveMilestoneFile(basePath, mid, "CONTEXT-DRAFT");
+    const roadmap = resolveMilestoneFile(basePath, mid, "ROADMAP");
+    const summary = resolveMilestoneFile(basePath, mid, "SUMMARY");
+    return !context && !draft && !roadmap && !summary;
+}
 // ─── Query Functions ───────────────────────────────────────────────────────
 /**
  * Check if all tasks in a slice plan are done.
@@ -103,9 +144,16 @@ export function invalidateStateCache() {
  * Returns the ID of the first incomplete milestone, or null if all are complete.
  */
 export async function getActiveMilestoneId(basePath) {
-    // Parallel worker isolation
-    const milestoneLock = process.env.GSD_MILESTONE_LOCK;
+    // Parallel worker isolation. Normal DB state derivation remains DB-only;
+    // lock env vars are execution routing for explicit worker processes.
+    const milestoneLock = process.env.GSD_PARALLEL_WORKER ? process.env.GSD_MILESTONE_LOCK : undefined;
     if (milestoneLock) {
+        if (isDbAvailable()) {
+            const locked = getAllMilestones().find(m => m.id === milestoneLock);
+            if (!locked || isClosedStatus(locked.status) || locked.status === "parked")
+                return null;
+            return locked.id;
+        }
         const milestoneIds = findMilestoneIds(basePath);
         if (!milestoneIds.includes(milestoneLock))
             return null;
@@ -118,14 +166,7 @@ export async function getActiveMilestoneId(basePath) {
     if (isDbAvailable()) {
         const allMilestones = getAllMilestones();
         if (allMilestones.length > 0) {
-            // Respect queue-order.json so /gsd queue reordering is honored (#2556).
-            // Without this, the DB path uses lexicographic sort while the dispatch
-            // guard uses queue order — causing a deadlock.
-            const customOrder = loadQueueOrder(basePath);
-            const sortedIds = sortByQueueOrder(allMilestones.map(m => m.id), customOrder);
-            const byId = new Map(allMilestones.map(m => [m.id, m]));
-            for (const id of sortedIds) {
-                const m = byId.get(id);
+            for (const m of allMilestones) {
                 if (isClosedStatus(m.status) || m.status === "parked")
                     continue;
                 return m.id;
@@ -160,12 +201,12 @@ export async function getActiveMilestoneId(basePath) {
     return null;
 }
 /**
- * Reconstruct GSD state from DB (primary) or filesystem (fallback).
+ * Reconstruct GSD state from the authoritative DB.
  * STATE.md is a rendered cache of this output.
  *
  * When DB is available, queries milestone/slice/task tables directly.
- * Falls back to filesystem parsing for unmigrated projects or when DB
- * has zero milestones (e.g. first run before migration).
+ * Legacy filesystem parsing is available only through an explicit opt-in for
+ * tests/recovery flows; runtime must not silently infer state from markdown.
  */
 export async function deriveState(basePath) {
     // Return cached result if within the TTL window for the same basePath
@@ -176,47 +217,39 @@ export async function deriveState(basePath) {
     }
     const stopTimer = debugTime("derive-state-impl");
     let result;
-    // Dual-path: try DB-backed derivation first when hierarchy tables are populated
+    // DB-backed derivation is authoritative whenever the DB is open.
+    // Markdown fallback is explicit-only; runtime degrade must not infer state
+    // from ROADMAP.md, PLAN.md, SUMMARY.md, REQUIREMENTS.md, or flag files.
     if (isDbAvailable()) {
-        let dbMilestones = getAllMilestones();
-        // Disk→DB reconciliation when DB is empty but disk has milestones (#2631).
-        // deriveStateFromDb() does its own reconciliation, but deriveState() skips
-        // it entirely when the DB is empty. Sync here so the DB path is used when
-        // disk milestones exist but haven't been migrated yet.
-        if (dbMilestones.length === 0) {
-            const diskIds = findMilestoneIds(basePath);
-            let synced = false;
-            for (const diskId of diskIds) {
-                if (!isGhostMilestone(basePath, diskId)) {
-                    insertMilestone(diskMilestoneInsert(basePath, diskId));
-                    synced = true;
-                }
-            }
-            if (synced)
-                dbMilestones = getAllMilestones();
-        }
-        if (dbMilestones.length > 0) {
-            const stopDbTimer = debugTime("derive-state-db");
-            result = await deriveStateFromDb(basePath);
-            stopDbTimer({ phase: result.phase, milestone: result.activeMilestone?.id });
-            _telemetry.dbDeriveCount++;
-        }
-        else {
-            // DB open but no milestones on disk either — use filesystem path
-            result = await _deriveStateImpl(basePath);
-            _telemetry.markdownDeriveCount++;
-        }
+        const stopDbTimer = debugTime("derive-state-db");
+        result = await deriveStateFromDb(basePath);
+        stopDbTimer({ phase: result.phase, milestone: result.activeMilestone?.id });
+        _telemetry.dbDeriveCount++;
     }
-    else {
-        // Only warn when DB initialization was attempted and failed — not when
-        // the DB simply hasn't been opened yet (e.g. during before_agent_start
-        // context injection which runs before any tool invocation opens the DB).
+    else if (process.env.GSD_ALLOW_MARKDOWN_DERIVE_FALLBACK === "1") {
         if (wasDbOpenAttempted()) {
-            logWarning("state", "DB unavailable — using filesystem state derivation (degraded mode)");
+            logWarning("state", "DB unavailable — using explicit legacy filesystem state derivation");
         }
         result = await _deriveStateImpl(basePath);
         _telemetry.markdownDeriveCount++;
     }
+    else {
+        if (wasDbOpenAttempted()) {
+            logWarning("state", "DB unavailable — refusing implicit markdown state derivation");
+        }
+        result = {
+            activeMilestone: null,
+            activeSlice: null,
+            activeTask: null,
+            phase: "pre-planning",
+            recentDecisions: [],
+            blockers: ["DB unavailable — runtime markdown state derivation is disabled"],
+            nextAction: "Open or create the canonical GSD database before deriving workflow state.",
+            registry: [],
+            requirements: { active: 0, validated: 0, deferred: 0, outOfScope: 0, blocked: 0, total: 0 },
+            progress: { milestones: { done: 0, total: 0 } },
+        };
+    }
     stopTimer({ phase: result.phase, milestone: result.activeMilestone?.id });
     debugCount("deriveStateCalls");
     _stateCache = { basePath, result, timestamp: Date.now() };
@@ -246,111 +279,11 @@ function extractContextTitle(content, fallback) {
 // isStatusDone replaced by isClosedStatus from status-guards.ts (single source of truth).
 // Alias kept for backward compatibility within this file.
 const isStatusDone = isClosedStatus;
-function loadSync(path) {
-    if (!path)
-        return null;
-    try {
-        return readFileSync(path, "utf-8");
-    }
-    catch {
-        return null;
-    }
-}
-function diskMilestoneInsert(basePath, mid) {
-    const contextContent = loadSync(resolveMilestoneFile(basePath, mid, "CONTEXT"));
-    const draftContent = !contextContent ? loadSync(resolveMilestoneFile(basePath, mid, "CONTEXT-DRAFT")) : null;
-    const roadmapContent = loadSync(resolveMilestoneFile(basePath, mid, "ROADMAP"));
-    const summaryContent = loadSync(resolveMilestoneFile(basePath, mid, "SUMMARY"));
-    const roadmap = roadmapContent ? parseRoadmap(roadmapContent) : null;
-    const summary = summaryContent ? parseSummary(summaryContent) : null;
-    const summaryTerminal = summaryContent != null && isTerminalMilestoneSummaryContent(summaryContent);
-    const parked = resolveMilestoneFile(basePath, mid, "PARKED") !== null;
-    return {
-        id: mid,
-        title: roadmap
-            ? stripMilestonePrefix(roadmap.title)
-            : (contextContent || draftContent)
-                ? extractContextTitle(contextContent || draftContent, mid)
-                : (summary?.title || mid),
-        status: parked ? "parked" : summaryTerminal ? "complete" : "active",
-        depends_on: parseContextDependsOn(contextContent ?? draftContent),
-    };
-}
 /**
  * Derive GSD state from the milestones/slices/tasks DB tables.
- * Flag files (PARKED, VALIDATION, CONTINUE, REPLAN, REPLAN-TRIGGER, CONTEXT-DRAFT)
- * are still checked on the filesystem since they aren't in DB tables.
- * Requirements also stay file-based via parseRequirementCounts().
- *
- * Must produce field-identical GSDState to _deriveStateImpl() for the same project.
+ * Markdown files are projections only in this path; they are never imported,
+ * reconciled, or used as completion signals.
  */
-function reconcileDiskToDb(basePath) {
-    let allMilestones = getAllMilestones();
-    const dbIdSet = new Set(allMilestones.map(m => m.id));
-    const diskIds = findMilestoneIds(basePath);
-    let synced = false;
-    for (const diskId of diskIds) {
-        if (!dbIdSet.has(diskId) && !isGhostMilestone(basePath, diskId)) {
-            insertMilestone(diskMilestoneInsert(basePath, diskId));
-            synced = true;
-        }
-    }
-    if (synced)
-        allMilestones = getAllMilestones();
-    for (const mid of diskIds) {
-        if (isGhostMilestone(basePath, mid))
-            continue;
-        const roadmapPath = resolveMilestoneFile(basePath, mid, "ROADMAP");
-        if (!roadmapPath)
-            continue;
-        const dbSlices = getMilestoneSlices(mid);
-        const dbSliceIds = new Set(dbSlices.map(s => s.id));
-        let roadmapContent;
-        try {
-            roadmapContent = readFileSync(roadmapPath, "utf-8");
-        }
-        catch (err) {
-            logWarning("state", "reconcileDiskToDb: roadmap read failed, skipping milestone", {
-                mid,
-                error: err.message,
-            });
-            continue;
-        }
-        const parsed = parseRoadmap(roadmapContent);
-        for (const s of parsed.slices) {
-            if (dbSliceIds.has(s.id))
-                continue;
-            const summaryPath = resolveSliceFile(basePath, mid, s.id, "SUMMARY");
-            const sliceStatus = (s.done || summaryPath) ? "complete" : "pending";
-            insertSlice({
-                id: s.id, milestoneId: mid, title: s.title,
-                status: sliceStatus, risk: s.risk,
-                depends: s.depends, demo: s.demo,
-            });
-        }
-        // Reconcile stale *existing* slice rows (#3599): a slice row may exist in
-        // the DB with status "pending" even though disk artifacts (SUMMARY) prove
-        // completion — the same class of desync that task-level reconciliation
-        // (further below) already handles.  Without this, the dependency resolver
-        // builds doneSliceIds from stale DB rows and downstream slices stay blocked
-        // forever with "No slice eligible".
-        for (const dbSlice of dbSlices) {
-            if (isStatusDone(dbSlice.status))
-                continue;
-            const summaryPath = resolveSliceFile(basePath, mid, dbSlice.id, "SUMMARY");
-            if (summaryPath) {
-                try {
-                    updateSliceStatus(mid, dbSlice.id, "complete");
-                    logWarning("reconcile", `slice ${mid}/${dbSlice.id} status reconciled from "${dbSlice.status}" to "complete" (#3599)`, { mid, sid: dbSlice.id });
-                }
-                catch (e) {
-                    logError("reconcile", `failed to update slice ${dbSlice.id}`, { sid: dbSlice.id, error: e.message });
-                }
-            }
-        }
-    }
-    return allMilestones;
-}
 function buildCompletenessSet(basePath, milestones) {
     const completeMilestoneIds = new Set();
     const parkedMilestoneIds = new Set();
@@ -359,8 +292,7 @@ function buildCompletenessSet(basePath, milestones) {
     // (crashed complete-milestone turn, partial merge, manual edit) must not
     // flip derived state to complete and cascade into a false auto-merge (#4179).
     for (const m of milestones) {
-        const parkedFile = resolveMilestoneFile(basePath, m.id, "PARKED");
-        if (parkedFile || m.status === 'parked') {
+        if (m.status === 'parked') {
             parkedMilestoneIds.add(m.id);
             continue;
         }
@@ -384,37 +316,16 @@ async function buildRegistryAndFindActive(basePath, milestones, completeMileston
             continue;
         }
         const slices = getMilestoneSlices(m.id);
-        if (slices.length === 0 && !isStatusDone(m.status) && m.status !== 'queued') {
-            if (isGhostMilestone(basePath, m.id))
-                continue;
-        }
         // DB-authoritative completeness (#4179): only trust completeMilestoneIds,
         // which is itself derived from DB status. SUMMARY-file presence alone must
-        // not imply completion. The summary file may still be consulted below as a
-        // title source for legitimately-complete milestones whose DB row has no title.
+        // not imply completion.
         if (completeMilestoneIds.has(m.id)) {
-            let title = stripMilestonePrefix(m.title) || m.id;
-            if (!m.title) {
-                const summaryFile = resolveMilestoneFile(basePath, m.id, "SUMMARY");
-                if (summaryFile) {
-                    const summaryContent = await loadFile(summaryFile);
-                    if (summaryContent) {
-                        title = parseSummary(summaryContent).title || m.id;
-                    }
-                }
-            }
+            const title = stripMilestonePrefix(m.title) || m.id;
             registry.push({ id: m.id, title, status: 'complete' });
             continue;
         }
         const allSlicesDone = slices.length > 0 && slices.every(s => isStatusDone(s.status));
-        let title = stripMilestonePrefix(m.title) || m.id;
-        if (title === m.id) {
-            const contextFile = resolveMilestoneFile(basePath, m.id, "CONTEXT");
-            const draftFile = resolveMilestoneFile(basePath, m.id, "CONTEXT-DRAFT");
-            const contextContent = contextFile ? await loadFile(contextFile) : null;
-            const draftContent = draftFile && !contextContent ? await loadFile(draftFile) : null;
-            title = extractContextTitle(contextContent || draftContent, m.id);
-        }
+        const title = stripMilestonePrefix(m.title) || m.id;
         if (!activeMilestoneFound) {
             const deps = m.depends_on;
             const depsUnmet = deps.some(dep => !completeMilestoneIds.has(dep));
@@ -423,38 +334,20 @@ async function buildRegistryAndFindActive(basePath, milestones, completeMileston
                 continue;
             }
             if (m.status === 'queued' && slices.length === 0) {
-                const contextFile = resolveMilestoneFile(basePath, m.id, "CONTEXT");
-                const draftFile = resolveMilestoneFile(basePath, m.id, "CONTEXT-DRAFT");
-                if (!contextFile && !draftFile) {
-                    if (!firstDeferredQueuedShell) {
-                        firstDeferredQueuedShell = { id: m.id, title, deps };
-                    }
-                    registry.push({ id: m.id, title, status: 'pending', ...(deps.length > 0 ? { dependsOn: deps } : {}) });
-                    continue;
+                if (!firstDeferredQueuedShell) {
+                    firstDeferredQueuedShell = { id: m.id, title, deps };
                 }
+                registry.push({ id: m.id, title, status: 'pending', ...(deps.length > 0 ? { dependsOn: deps } : {}) });
+                continue;
             }
             if (allSlicesDone) {
-                const validationFile = resolveMilestoneFile(basePath, m.id, "VALIDATION");
-                const validationContent = validationFile ? await loadFile(validationFile) : null;
-                const validationTerminal = validationContent ? isValidationTerminal(validationContent) : false;
-                // DB-authoritative (#4179): completeness is already decided by
-                // completeMilestoneIds above. If we reached this branch, the DB says
-                // the milestone is NOT complete — so any SUMMARY file on disk is an
-                // orphan (crashed complete-milestone, partial merge, manual edit) and
-                // must not short-circuit this path. When validation is terminal, fall
-                // through to the default active-push below so `complete-milestone` can
-                // re-run idempotently.
-                if (!validationTerminal) {
-                    activeMilestone = { id: m.id, title };
-                    activeMilestoneSlices = slices;
-                    activeMilestoneFound = true;
-                    registry.push({ id: m.id, title, status: 'active', ...(deps.length > 0 ? { dependsOn: deps } : {}) });
-                    continue;
-                }
+                activeMilestone = { id: m.id, title };
+                activeMilestoneSlices = slices;
+                activeMilestoneFound = true;
+                registry.push({ id: m.id, title, status: 'active', ...(deps.length > 0 ? { dependsOn: deps } : {}) });
+                continue;
             }
-            const contextFile = resolveMilestoneFile(basePath, m.id, "CONTEXT");
-            const draftFile = resolveMilestoneFile(basePath, m.id, "CONTEXT-DRAFT");
-            if (!contextFile && draftFile)
+            if (m.status === 'needs-discussion')
                 activeMilestoneHasDraft = true;
             activeMilestone = { id: m.id, title };
             activeMilestoneSlices = slices;
@@ -533,10 +426,9 @@ function handleNoActiveMilestone(registry, requirements, milestoneProgress) {
     };
 }
 async function handleAllSlicesDone(basePath, activeMilestone, registry, requirements, milestoneProgress, sliceProgress) {
-    const validationFile = resolveMilestoneFile(basePath, activeMilestone.id, "VALIDATION");
-    const validationContent = validationFile ? await loadFile(validationFile) : null;
-    const validationTerminal = validationContent ? isValidationTerminal(validationContent) : false;
-    const verdict = validationContent ? extractVerdict(validationContent) : undefined;
+    const validation = getLatestAssessmentByScope(activeMilestone.id, "milestone-validation");
+    const verdict = typeof validation?.status === "string" ? validation.status : undefined;
+    const validationTerminal = verdict != null && verdict !== "";
     if (!validationTerminal) {
         return {
             activeMilestone, activeSlice: null, activeTask: null,
@@ -575,7 +467,7 @@ async function handleAllSlicesDone(basePath, activeMilestone, registry, requirem
 }
 function resolveSliceDependencies(activeMilestoneSlices) {
     const doneSliceIds = new Set(activeMilestoneSlices.filter(s => isStatusDone(s.status)).map(s => s.id));
-    const sliceLock = process.env.GSD_SLICE_LOCK;
+    const sliceLock = process.env.GSD_PARALLEL_WORKER ? process.env.GSD_SLICE_LOCK : undefined;
     if (sliceLock) {
         const lockedSlice = activeMilestoneSlices.find(s => s.id === sliceLock);
         if (lockedSlice) {
@@ -597,111 +489,23 @@ function resolveSliceDependencies(activeMilestoneSlices) {
     }
     return { activeSlice: null, activeSliceRow: null };
 }
-async function reconcileSliceTasks(basePath, milestoneId, sliceId, planFile) {
-    let tasks = getSliceTasks(milestoneId, sliceId);
-    // #3600/#4974: import missing plan-file tasks even when the DB already has
-    // a partial task set. Existing DB task statuses stay authoritative.
-    if (planFile) {
-        try {
-            const planContent = await loadFile(planFile);
-            if (planContent) {
-                const diskPlan = parsePlan(planContent);
-                if (diskPlan.tasks.length > 0) {
-                    const dbTaskIds = new Set(tasks.map(t => t.id));
-                    let inserted = 0;
-                    for (let i = 0; i < diskPlan.tasks.length; i++) {
-                        const t = diskPlan.tasks[i];
-                        if (dbTaskIds.has(t.id))
-                            continue;
-                        try {
-                            insertTask({
-                                id: t.id,
-                                sliceId,
-                                milestoneId,
-                                title: t.title,
-                                status: t.done ? 'complete' : 'pending',
-                                sequence: i + 1,
-                            });
-                            inserted++;
-                        }
-                        catch (insertErr) {
-                            logWarning("reconcile", `failed to insert task ${t.id} from plan file: ${insertErr instanceof Error ? insertErr.message : String(insertErr)}`);
-                        }
-                    }
-                    if (inserted > 0) {
-                        tasks = getSliceTasks(milestoneId, sliceId);
-                        logWarning("reconcile", `imported ${inserted} missing task(s) from plan file for ${milestoneId}/${sliceId}`, { mid: milestoneId, sid: sliceId });
-                    }
-                }
-            }
-        }
-        catch (err) {
-            logError("reconcile", `plan-file task import failed for ${milestoneId}/${sliceId}: ${err instanceof Error ? err.message : String(err)}`);
-        }
-    }
-    let reconciled = false;
-    for (const t of tasks) {
-        if (isStatusDone(t.status))
-            continue;
-        const summaryPath = resolveTaskFile(basePath, milestoneId, sliceId, t.id, "SUMMARY");
-        if (summaryPath && existsSync(summaryPath)) {
-            try {
-                updateTaskStatus(milestoneId, sliceId, t.id, "complete", new Date().toISOString());
-                logWarning("reconcile", `task ${milestoneId}/${sliceId}/${t.id} status reconciled from "${t.status}" to "complete" (#2514)`, { mid: milestoneId, sid: sliceId, tid: t.id });
-                reconciled = true;
-            }
-            catch (e) {
-                logError("reconcile", `failed to update task ${t.id}`, { tid: t.id, error: e.message });
-            }
-        }
-    }
-    if (reconciled) {
-        tasks = getSliceTasks(milestoneId, sliceId);
-    }
-    return tasks;
-}
 async function detectBlockers(basePath, milestoneId, sliceId, tasks) {
     const completedTasks = tasks.filter(t => isStatusDone(t.status));
     for (const ct of completedTasks) {
         if (ct.blocker_discovered) {
             return ct.id;
         }
-        const summaryFile = resolveTaskFile(basePath, milestoneId, sliceId, ct.id, "SUMMARY");
-        if (!summaryFile)
-            continue;
-        const summaryContent = await loadFile(summaryFile);
-        if (!summaryContent)
-            continue;
-        const summary = parseSummary(summaryContent);
-        if (summary.frontmatter.blocker_discovered) {
-            return ct.id;
-        }
     }
     return null;
 }
 function checkReplanTrigger(basePath, milestoneId, sliceId) {
     const sliceRow = getSlice(milestoneId, sliceId);
-    const dbTriggered = !!sliceRow?.replan_triggered_at;
-    const diskTriggered = !dbTriggered &&
-        !!resolveSliceFile(basePath, milestoneId, sliceId, "REPLAN-TRIGGER");
-    return dbTriggered || diskTriggered;
-}
-async function checkInterruptedWork(basePath, milestoneId, sliceId) {
-    const sDir = resolveSlicePath(basePath, milestoneId, sliceId);
-    const continueFile = sDir ? resolveSliceFile(basePath, milestoneId, sliceId, "CONTINUE") : null;
-    return !!(continueFile && await loadFile(continueFile)) ||
-        !!(sDir && await loadFile(join(sDir, "continue.md")));
+    return !!sliceRow?.replan_triggered_at;
 }
 export async function deriveStateFromDb(basePath) {
-    const requirements = parseRequirementCounts(await loadFile(resolveGsdRootFile(basePath, "REQUIREMENTS")));
-    let allMilestones = reconcileDiskToDb(basePath);
-    const customOrder = loadQueueOrder(basePath);
-    const sortedIds = sortByQueueOrder(allMilestones.map(m => m.id), customOrder);
-    const byId = new Map(allMilestones.map(m => [m.id, m]));
-    allMilestones.length = 0;
-    for (const id of sortedIds)
-        allMilestones.push(byId.get(id));
-    const milestoneLock = process.env.GSD_MILESTONE_LOCK;
+    const requirements = getRequirementCounts();
+    const allMilestones = getAllMilestones();
+    const milestoneLock = process.env.GSD_PARALLEL_WORKER ? process.env.GSD_MILESTONE_LOCK : undefined;
     const milestones = milestoneLock
         ? allMilestones.filter(m => m.id === milestoneLock)
         : allMilestones;
@@ -724,26 +528,16 @@ export async function deriveStateFromDb(basePath) {
     if (!activeMilestone) {
         return handleNoActiveMilestone(registry, requirements, milestoneProgress);
     }
-    const hasRoadmap = resolveMilestoneFile(basePath, activeMilestone.id, "ROADMAP") !== null;
     if (activeMilestoneSlices.length === 0) {
-        if (!hasRoadmap) {
-            const phase = activeMilestoneHasDraft ? 'needs-discussion' : 'pre-planning';
-            const nextAction = activeMilestoneHasDraft
-                ? `Discuss draft context for milestone ${activeMilestone.id}.`
-                : `Plan milestone ${activeMilestone.id}.`;
-            return {
-                activeMilestone, activeSlice: null, activeTask: null,
-                phase, recentDecisions: [], blockers: [],
-                nextAction, registry, requirements,
-                progress: { milestones: milestoneProgress },
-            };
-        }
+        const phase = activeMilestoneHasDraft ? 'needs-discussion' : 'pre-planning';
+        const nextAction = activeMilestoneHasDraft
+            ? `Discuss draft context for milestone ${activeMilestone.id}.`
+            : `Plan milestone ${activeMilestone.id}.`;
         return {
             activeMilestone, activeSlice: null, activeTask: null,
-            phase: 'pre-planning', recentDecisions: [], blockers: [],
-            nextAction: `Milestone ${activeMilestone.id} has a roadmap but no slices defined. Add slices to the roadmap.`,
-            registry, requirements,
-            progress: { milestones: milestoneProgress, slices: { done: 0, total: 0 } },
+            phase, recentDecisions: [], blockers: [],
+            nextAction, registry, requirements,
+            progress: { milestones: milestoneProgress },
         };
     }
     const allSlicesDone = activeMilestoneSlices.every(s => isStatusDone(s.status));
@@ -754,19 +548,14 @@ export async function deriveStateFromDb(basePath) {
     if (allSlicesDone) {
         return handleAllSlicesDone(basePath, activeMilestone, registry, requirements, milestoneProgress, sliceProgress);
     }
-    // ADR-011 auto-heal: if a slice has a PLAN on disk but is still flagged is_sketch=1
-    // (e.g. a crash between plan-slice write and the sketch flip), reconcile before
-    // running phase derivation so the flag doesn't misroute state.
-    autoHealSketchFlags(activeMilestone.id, (sid) => !!resolveSliceFile(basePath, activeMilestone.id, sid, "PLAN"));
-    // Re-read slices after auto-heal so downstream reads see fresh is_sketch values.
-    const healedSlices = getMilestoneSlices(activeMilestone.id);
-    const activeSliceContext = resolveSliceDependencies(healedSlices);
+    const activeSliceContext = resolveSliceDependencies(activeMilestoneSlices);
     if (!activeSliceContext.activeSlice) {
         // If locked slice wasn't found, it returns null but logs warning, we need to return 'blocked'
-        if (process.env.GSD_SLICE_LOCK) {
+        const sliceLock = process.env.GSD_PARALLEL_WORKER ? process.env.GSD_SLICE_LOCK : undefined;
+        if (sliceLock) {
             return {
                 activeMilestone, activeSlice: null, activeTask: null,
-                phase: 'blocked', recentDecisions: [], blockers: [`GSD_SLICE_LOCK=${process.env.GSD_SLICE_LOCK} not found in active milestone slices`],
+                phase: 'blocked', recentDecisions: [], blockers: [`GSD_SLICE_LOCK=${sliceLock} not found in active milestone slices`],
                 nextAction: 'Slice lock references a non-existent slice — check orchestrator dispatch.',
                 registry, requirements,
                 progress: { milestones: milestoneProgress, slices: sliceProgress },
@@ -781,31 +570,19 @@ export async function deriveStateFromDb(basePath) {
         };
     }
     const { activeSlice, activeSliceRow } = activeSliceContext;
-    const planFile = resolveSliceFile(basePath, activeMilestone.id, activeSlice.id, "PLAN");
-    if (!planFile) {
-        // ADR-011: sketch slices with progressive_planning enabled enter the
-        // `refining` phase — a refine-slice unit expands the sketch into a full plan
-        // before execution. When the flag is off, sketches are indistinguishable
-        // from a missing plan and fall through to the normal `planning` phase.
-        const progressive = loadEffectiveGSDPreferences()?.preferences?.phases?.progressive_planning === true;
-        if (progressive && activeSliceRow?.is_sketch === 1) {
-            return {
-                activeMilestone, activeSlice, activeTask: null,
-                phase: 'refining', recentDecisions: [], blockers: [],
-                nextAction: `Refine sketch slice ${activeSlice.id} (${activeSlice.title}) using prior slice context.`,
-                registry, requirements,
-                progress: { milestones: milestoneProgress, slices: sliceProgress },
-            };
-        }
+    // ADR-011: DB slice metadata is authoritative for sketch refinement.
+    // PLAN.md and preference flags are projections/configuration and are
+    // deliberately not used to infer whether the slice itself is a sketch.
+    if (activeSliceRow?.is_sketch === 1) {
         return {
             activeMilestone, activeSlice, activeTask: null,
-            phase: 'planning', recentDecisions: [], blockers: [],
-            nextAction: `Plan slice ${activeSlice.id} (${activeSlice.title}).`,
+            phase: 'refining', recentDecisions: [], blockers: [],
+            nextAction: `Refine sketch slice ${activeSlice.id} (${activeSlice.title}) using prior slice context.`,
             registry, requirements,
             progress: { milestones: milestoneProgress, slices: sliceProgress },
         };
     }
-    const tasks = await reconcileSliceTasks(basePath, activeMilestone.id, activeSlice.id, planFile);
+    const tasks = getSliceTasks(activeMilestone.id, activeSlice.id);
     const taskProgress = {
         done: tasks.filter(t => isStatusDone(t.status)).length,
         total: tasks.length,
@@ -824,25 +601,12 @@ export async function deriveStateFromDb(basePath) {
         return {
             activeMilestone, activeSlice, activeTask: null,
             phase: 'planning', recentDecisions: [], blockers: [],
-            nextAction: `Slice ${activeSlice.id} has a plan file but no tasks. Add tasks to the plan.`,
+            nextAction: `Slice ${activeSlice.id} has no DB tasks. Plan slice tasks before execution.`,
             registry, requirements,
             progress: { milestones: milestoneProgress, slices: sliceProgress, tasks: taskProgress },
         };
     }
     const activeTask = { id: activeTaskRow.id, title: activeTaskRow.title };
-    const tasksDir = resolveTasksDir(basePath, activeMilestone.id, activeSlice.id);
-    if (tasksDir && existsSync(tasksDir) && tasks.length > 0) {
-        const allFiles = readdirSync(tasksDir).filter(f => f.endsWith(".md"));
-        if (allFiles.length === 0) {
-            return {
-                activeMilestone, activeSlice, activeTask: null,
-                phase: 'planning', recentDecisions: [], blockers: [],
-                nextAction: `Task plan files missing for ${activeSlice.id}. Run plan-slice to generate task plans.`,
-                registry, requirements,
-                progress: { milestones: milestoneProgress, slices: sliceProgress, tasks: taskProgress },
-            };
-        }
-    }
     // ── Quality gate evaluation check ──────────────────────────────────
     // Pause before execution only when gates owned by the `gate-evaluate`
     // turn (Q3/Q4) are still pending. Q8 is also `scope:"slice"` but is
@@ -914,13 +678,10 @@ export async function deriveStateFromDb(basePath) {
             }
         }
     }
-    const hasInterrupted = await checkInterruptedWork(basePath, activeMilestone.id, activeSlice.id);
     return {
         activeMilestone, activeSlice, activeTask,
         phase: 'executing', recentDecisions: [], blockers: [],
-        nextAction: hasInterrupted
-            ? `Resume interrupted work on ${activeTask.id}: ${activeTask.title} in slice ${activeSlice.id}. Read continue.md first.`
-            : `Execute ${activeTask.id}: ${activeTask.title} in slice ${activeSlice.id}.`,
+        nextAction: `Execute ${activeTask.id}: ${activeTask.title} in slice ${activeSlice.id}.`,
         registry, requirements,
         progress: { milestones: milestoneProgress, slices: sliceProgress, tasks: taskProgress },
     };
@@ -933,12 +694,12 @@ export async function _deriveStateImpl(basePath) {
     const customOrder = loadQueueOrder(basePath);
     const milestoneIds = sortByQueueOrder(diskIds, customOrder);
     // ── Parallel worker isolation ──────────────────────────────────────────
-    // When GSD_MILESTONE_LOCK is set, this process is a parallel worker
+    // When GSD_PARALLEL_WORKER and GSD_MILESTONE_LOCK are set, this process is a parallel worker
     // scoped to a single milestone. Filter the milestone list so this worker
     // only sees its assigned milestone (all others are treated as if they
     // don't exist). This gives each worker complete isolation without
     // modifying any other state derivation logic.
-    const milestoneLock = process.env.GSD_MILESTONE_LOCK;
+    const milestoneLock = process.env.GSD_PARALLEL_WORKER ? process.env.GSD_MILESTONE_LOCK : undefined;
     if (milestoneLock && milestoneIds.includes(milestoneLock)) {
         milestoneIds.length = 0;
         milestoneIds.push(milestoneLock);
@@ -1387,8 +1148,8 @@ export async function _deriveStateImpl(basePath) {
     const doneSliceIds = new Set(activeRoadmap.slices.filter(s => s.done).map(s => s.id));
     let activeSlice = null;
     // ── Slice-level parallel worker isolation ─────────────────────────────
-    // When GSD_SLICE_LOCK is set, override activeSlice to only the locked slice.
-    const sliceLockLegacy = process.env.GSD_SLICE_LOCK;
+    // When GSD_PARALLEL_WORKER and GSD_SLICE_LOCK are set, override activeSlice to only the locked slice.
+    const sliceLockLegacy = process.env.GSD_PARALLEL_WORKER ? process.env.GSD_SLICE_LOCK : undefined;
     if (sliceLockLegacy) {
         const lockedSlice = activeRoadmap.slices.find(s => s.id === sliceLockLegacy);
         if (lockedSlice) {