sdd-agent-platform 0.3.0 → 0.4.1

package/packages/core/dist/workflow-state/affected-file-conflicts.js

@@ -0,0 +1,75 @@
+export function affectedFileConflictsForSelectedRun(states, selected) {
+    if (!selected.partition || !selected.taskId || selected.affectedFiles.length === 0) {
+        return [];
+    }
+    const selectedFiles = new Set(selected.affectedFiles);
+    const conflicts = [];
+    for (const state of states) {
+        if (!isAffectedFileConflictCandidate(state, selected)) {
+            continue;
+        }
+        for (const file of state.affectedFiles) {
+            if (selectedFiles.has(file)) {
+                conflicts.push({
+                    file,
+                    partition: state.partition,
+                    gitBranch: state.gitBranch,
+                    taskId: state.taskId,
+                    runId: state.runId,
+                    runStatus: state.status,
+                    syncBackStatus: state.syncBack.status,
+                    updatedAt: state.updatedAt
+                });
+            }
+        }
+    }
+    return conflicts.sort((left, right) => left.file.localeCompare(right.file) || left.partition.localeCompare(right.partition) || left.taskId.localeCompare(right.taskId) || left.runId.localeCompare(right.runId));
+}
+export function affectedFileConflictsForSelectedRuns(states, selectedRuns) {
+    const conflicts = selectedRuns.flatMap((selected) => affectedFileConflictsForSelectedRun(states, selected));
+    return uniqueBy(conflicts, (conflict) => `${conflict.file}:${conflict.partition}:${conflict.taskId}:${conflict.runId}`);
+}
+function isAffectedFileConflictCandidate(candidate, selected) {
+    if (candidate.runId === selected.runId || candidate.status === 'archived' || !candidate.partition || !candidate.taskId) {
+        return false;
+    }
+    if (isNonAuthoritativeForegroundRun(candidate)) {
+        return false;
+    }
+    if (selectedSupersedesCandidate(selected, candidate)) {
+        return false;
+    }
+    return isActiveAffectedFileRun(candidate);
+}
+function isActiveAffectedFileRun(state) {
+    return state.status === 'created' || state.status === 'running';
+}
+function selectedSupersedesCandidate(selected, candidate) {
+    return Boolean(selected.partition &&
+        selected.taskId &&
+        selected.partition === candidate.partition &&
+        selected.taskId === candidate.taskId &&
+        selected.status === 'completed' &&
+        selected.validation.status === 'pass' &&
+        Date.parse(selected.updatedAt) > Date.parse(candidate.updatedAt) &&
+        (candidate.status === 'failed' || candidate.status === 'blocked' || candidate.validation.status === 'fail' || candidate.validation.status === 'blocked' || candidate.syncBack.status === 'proposed'));
+}
+function isNonAuthoritativeForegroundRun(state) {
+    if (state.phase === 'foreground-subagents') {
+        return true;
+    }
+    const delegations = Object.values(state.delegations);
+    return delegations.length > 0 && delegations.every((delegation) => delegation.runMode === 'foreground' && !delegation.blocking && !delegation.requiredForPhaseExit);
+}
+function uniqueBy(items, keyOf) {
+    const seen = new Set();
+    return items.filter((item) => {
+        const key = keyOf(item);
+        if (seen.has(key)) {
+            return false;
+        }
+        seen.add(key);
+        return true;
+    });
+}
+//# sourceMappingURL=affected-file-conflicts.js.map

package/packages/core/dist/workflow-state/affected-file-conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"affected-file-conflicts.js","sourceRoot":"","sources":["../../src/workflow-state/affected-file-conflicts.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,mCAAmC,CAAC,MAAkB,EAAE,QAAkB;IACxF,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,SAAS,GAAmC,EAAE,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,+BAA+B,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI;oBACJ,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;oBACrC,SAAS,EAAE,KAAK,CAAC,SAAS;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACnN,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,MAAkB,EAAE,YAAwB;IAC/F,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mCAAmC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5G,OAAO,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;AAC1H,CAAC;AAED,SAAS,+BAA+B,CAAC,SAAmB,EAAE,QAAkB;IAC9E,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvH,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,+BAA+B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAe;IAC9C,OAAO,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;AAClE,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkB,EAAE,SAAmB;IAC1E,OAAO,OAAO,CACZ,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS;QAC1C,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACpC,QAAQ,CAAC,MAAM,KAAK,WAAW;QAC/B,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC;QAChE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,CACrM,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAe;IACtD,IAAI,KAAK,CAAC,KAAK,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;AACtK,CAAC;AAED,SAAS,QAAQ,CAAI,KAAU,EAAE,KAA0B;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/packages/core/dist/workflow-state/dependencies.d.ts

@@ -0,0 +1,29 @@
+import type { RunStateTaskRuntime } from '../run-state/model.js';
+import type { SddTask, SddTaskModel } from '../sdd-docs/task-parser.js';
+type TaskDependencyModel = Pick<SddTaskModel, 'tasks'>;
+export interface TaskDependencyReadinessOptions {
+    runtimeByTask?: Map<string, RunStateTaskRuntime>;
+}
+export interface TaskDependencyReadinessEntry {
+    taskId: string;
+    status: SddTask['status'] | 'missing';
+    ready: boolean;
+    reason: string | null;
+}
+export interface TaskDependencyReadiness {
+    taskId: string;
+    ready: boolean;
+    dependencies: TaskDependencyReadinessEntry[];
+    blockingReasons: string[];
+}
+export interface WorkflowDependencyBlocker {
+    taskId: string;
+    dependencyId: string;
+    dependencyStatus: SddTask['status'] | 'missing';
+    reason: string;
+}
+export declare function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskId: string, options?: TaskDependencyReadinessOptions): TaskDependencyReadiness;
+export declare function dependencyBlockingReasonsForTask(model: TaskDependencyModel, taskId: string, options?: TaskDependencyReadinessOptions): string[];
+export declare function workflowDependencyBlockers(model: TaskDependencyModel, options?: TaskDependencyReadinessOptions): WorkflowDependencyBlocker[];
+export declare function nextDependencyTaskId(model: TaskDependencyModel, taskId: string, options?: TaskDependencyReadinessOptions): string | null;
+export {};

package/packages/core/dist/workflow-state/dependencies.js

@@ -0,0 +1,78 @@
+export function resolveTaskDependencyReadiness(model, taskId, options = {}) {
+    const task = model.tasks.find((candidate) => candidate.id === taskId) ?? null;
+    if (!task) {
+        return { taskId, ready: false, dependencies: [], blockingReasons: [`Task ${taskId} was not found.`] };
+    }
+    const dependencies = task.dependsOn.map((dependencyId) => dependencyReadinessEntry(task.id, dependencyId, model.tasks.find((candidate) => candidate.id === dependencyId) ?? null, options.runtimeByTask?.get(dependencyId)));
+    const blockingReasons = dependencies.map((dependency) => dependency.reason).filter((reason) => Boolean(reason));
+    return {
+        taskId: task.id,
+        ready: blockingReasons.length === 0,
+        dependencies,
+        blockingReasons
+    };
+}
+export function dependencyBlockingReasonsForTask(model, taskId, options = {}) {
+    return resolveTaskDependencyReadiness(model, taskId, options).blockingReasons;
+}
+export function workflowDependencyBlockers(model, options = {}) {
+    const blockers = [];
+    for (const task of model.tasks) {
+        if (task.status === 'completed' || task.status === 'deferred') {
+            continue;
+        }
+        for (const dependency of resolveTaskDependencyReadiness(model, task.id, options).dependencies) {
+            if (!dependency.ready && dependency.reason) {
+                blockers.push({
+                    taskId: task.id,
+                    dependencyId: dependency.taskId,
+                    dependencyStatus: dependency.status,
+                    reason: dependency.reason
+                });
+            }
+        }
+    }
+    return blockers;
+}
+export function nextDependencyTaskId(model, taskId, options = {}) {
+    return resolveTaskDependencyReadiness(model, taskId, options).dependencies.find((dependency) => !dependency.ready)?.taskId ?? null;
+}
+function dependencyReadinessEntry(taskId, dependencyId, dependency, runtime) {
+    if (!dependency) {
+        return {
+            taskId: dependencyId,
+            status: 'missing',
+            ready: false,
+            reason: `Task ${taskId} depends on ${dependencyId}, but ${dependencyId} was not found; restore or remove the dependency before continuing ${taskId}.`
+        };
+    }
+    if (dependency.status === 'completed' || dependencyRuntimeSatisfiesImplementationBoundary(dependency, runtime)) {
+        return {
+            taskId: dependency.id,
+            status: dependency.status,
+            ready: true,
+            reason: null
+        };
+    }
+    return {
+        taskId: dependency.id,
+        status: dependency.status,
+        ready: false,
+        reason: dependencyRequiresVerifiedBoundary(dependency)
+            ? `Task ${taskId} depends on ${dependency.id}, but ${dependency.id} has not passed required verification; run sdd test task ${dependency.id} before continuing ${taskId}.`
+            : `Task ${taskId} depends on ${dependency.id}, but ${dependency.id} is not implemented; run sdd do task ${dependency.id} before continuing ${taskId}.`
+    };
+}
+function dependencyRuntimeSatisfiesImplementationBoundary(task, runtime) {
+    if (!runtimeTaskImplemented(runtime)) {
+        return false;
+    }
+    return !dependencyRequiresVerifiedBoundary(task) || runtime?.verificationStatus === 'pass' || runtime?.status === 'implemented_verified';
+}
+function dependencyRequiresVerifiedBoundary(task) {
+    return task.requiresVerifyBeforeNext || task.validationTiming === 'task_end';
+}
+function runtimeTaskImplemented(runtime) {
+    return runtime?.implementationStatus === 'implemented' || runtime?.status === 'implemented_pending_validation' || runtime?.status === 'implemented_verified';
+}
+//# sourceMappingURL=dependencies.js.map

package/packages/core/dist/workflow-state/dependencies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/workflow-state/dependencies.ts"],"names":[],"mappings":"AA6BA,MAAM,UAAU,8BAA8B,CAAC,KAA0B,EAAE,MAAc,EAAE,UAA0C,EAAE;IACrI,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;IAC9E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,QAAQ,MAAM,iBAAiB,CAAC,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7N,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAClI,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,KAAK,EAAE,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,YAAY;QACZ,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAA0B,EAAE,MAAc,EAAE,UAA0C,EAAE;IACvI,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,eAAe,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA0B,EAAE,UAA0C,EAAE;IACjH,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC;YAC9F,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,YAAY,EAAE,UAAU,CAAC,MAAM;oBAC/B,gBAAgB,EAAE,UAAU,CAAC,MAAM;oBACnC,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,MAAc,EAAE,UAA0C,EAAE;IAC3H,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;AACrI,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAc,EAAE,YAAoB,EAAE,UAA0B,EAAE,OAAwC;IAC1I,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,QAAQ,MAAM,eAAe,YAAY,SAAS,YAAY,sEAAsE,MAAM,GAAG;SACtJ,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,IAAI,gDAAgD,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/G,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,EAAE;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,EAAE;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,kCAAkC,CAAC,UAAU,CAAC;YACpD,CAAC,CAAC,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,4DAA4D,UAAU,CAAC,EAAE,sBAAsB,MAAM,GAAG;YAC1K,CAAC,CAAC,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,wCAAwC,UAAU,CAAC,EAAE,sBAAsB,MAAM,GAAG;KACzJ,CAAC;AACJ,CAAC;AAED,SAAS,gDAAgD,CAAC,IAAa,EAAE,OAAwC;IAC/G,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,OAAO,EAAE,kBAAkB,KAAK,MAAM,IAAI,OAAO,EAAE,MAAM,KAAK,sBAAsB,CAAC;AAC3I,CAAC;AAED,SAAS,kCAAkC,CAAC,IAAa;IACvD,OAAO,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AAC/E,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAwC;IACtE,OAAO,OAAO,EAAE,oBAAoB,KAAK,aAAa,IAAI,OAAO,EAAE,MAAM,KAAK,gCAAgC,IAAI,OAAO,EAAE,MAAM,KAAK,sBAAsB,CAAC;AAC/J,CAAC"}

package/packages/core/dist/workflow-state/latest-eligible-run.d.ts

@@ -0,0 +1,38 @@
+import type { RunState } from '../run-state/model.js';
+import type { SddTaskModel } from '../sdd-docs/task-parser.js';
+export type DocumentCompatibilityClass = 'compatible' | 'soft_stale' | 'strict_stale' | 'incompatible';
+export interface LatestEligibleRunCandidate {
+    partition: string;
+    gitBranch: string | null;
+    taskId: string;
+    runId: string;
+    runStatus: RunState['status'];
+    validationStatus: RunState['validation']['status'];
+    syncBackStatus: RunState['syncBack']['status'];
+    affectedFiles: string[];
+    updatedAt: string;
+    compatibility: DocumentCompatibilityClass;
+    eligibleForDefaultApply: boolean;
+    reasons: string[];
+}
+export interface LatestEligibleRunSelection {
+    partition: string;
+    taskId: string;
+    selected: LatestEligibleRunCandidate | null;
+    candidates: LatestEligibleRunCandidate[];
+    rejected: LatestEligibleRunCandidate[];
+}
+export declare function selectLatestEligibleRun(input: {
+    states: RunState[];
+    model: SddTaskModel;
+    partition: string;
+    taskId: string;
+    currentGitBranch?: string | null;
+}): LatestEligibleRunSelection;
+export declare function selectLatestEligibleRunsByTask(input: {
+    states: RunState[];
+    model: SddTaskModel;
+    partition: string;
+    currentGitBranch?: string | null;
+}): LatestEligibleRunSelection[];
+export declare function classifyDocumentCompatibility(state: RunState, model: SddTaskModel): DocumentCompatibilityClass;

package/packages/core/dist/workflow-state/latest-eligible-run.js

@@ -0,0 +1,122 @@
+export function selectLatestEligibleRun(input) {
+    const candidates = input.states
+        .filter((state) => state.partition === input.partition && state.taskId === input.taskId)
+        .map((state) => latestEligibleCandidate(state, input.model));
+    const visible = candidates.filter((candidate) => candidate.runStatus !== 'archived').sort(compareCandidates);
+    const eligible = visible.filter((candidate) => candidate.eligibleForDefaultApply);
+    return {
+        partition: input.partition,
+        taskId: input.taskId,
+        selected: eligible[0] ?? null,
+        candidates: visible,
+        rejected: candidates.filter((candidate) => !candidate.eligibleForDefaultApply).sort(compareCandidates)
+    };
+}
+export function selectLatestEligibleRunsByTask(input) {
+    const taskIds = Array.from(new Set([
+        ...input.model.tasks.map((task) => task.id),
+        ...input.states
+            .filter((state) => state.partition === input.partition && state.taskId)
+            .map((state) => state.taskId)
+    ]))
+        .sort((left, right) => left.localeCompare(right));
+    return taskIds.map((taskId) => selectLatestEligibleRun({ ...input, taskId }));
+}
+function latestEligibleCandidate(state, model) {
+    const compatibility = classifyDocumentCompatibility(state, model);
+    const reasons = candidateRejectionReasons(state, compatibility);
+    return {
+        partition: state.partition ?? model.branch,
+        gitBranch: state.gitBranch,
+        taskId: state.taskId ?? state.currentTask ?? '',
+        runId: state.runId,
+        runStatus: state.status,
+        validationStatus: state.validation.status,
+        syncBackStatus: state.syncBack.status,
+        affectedFiles: state.affectedFiles,
+        updatedAt: state.updatedAt,
+        compatibility,
+        eligibleForDefaultApply: reasons.length === 0,
+        reasons
+    };
+}
+export function classifyDocumentCompatibility(state, model) {
+    const snapshot = state.documentSnapshot;
+    const hasSnapshot = Boolean(snapshot.specHash || snapshot.planHash || snapshot.tasksHash || snapshot.specContractHash || snapshot.planContractHash || snapshot.tasksContractHash);
+    if (!hasSnapshot) {
+        return 'incompatible';
+    }
+    const specMismatch = snapshot.specContractHash !== null
+        ? documentHashMismatch(snapshot.specContractHash, model.documents.specContractHash ?? null)
+        : documentHashMismatch(snapshot.specHash, model.documents.specHash ?? null);
+    const planMismatch = snapshot.planContractHash !== null
+        ? documentHashMismatch(snapshot.planContractHash, model.documents.planContractHash ?? null)
+        : documentHashMismatch(snapshot.planHash, model.documents.planHash ?? null);
+    const tasksSemanticMismatch = snapshot.tasksContractHash !== null
+        ? documentHashMismatch(snapshot.tasksContractHash, model.documents.tasksContractHash ?? null)
+        : false;
+    const tasksDocMismatch = documentHashMismatch(snapshot.tasksHash, model.documents.tasksHash ?? null);
+    if (specMismatch || planMismatch) {
+        return 'strict_stale';
+    }
+    if (model.documents.planStale || model.documents.tasksStale) {
+        return 'strict_stale';
+    }
+    if (tasksSemanticMismatch) {
+        return 'strict_stale';
+    }
+    if (tasksDocMismatch) {
+        return 'soft_stale';
+    }
+    return 'compatible';
+}
+function candidateRejectionReasons(state, compatibility) {
+    const reasons = [];
+    if (state.status === 'archived') {
+        reasons.push('Run is archived.');
+    }
+    if (state.status === 'failed') {
+        reasons.push('Run failed.');
+    }
+    if (state.status === 'blocked') {
+        reasons.push('Run is blocked.');
+    }
+    if (state.validation.status === 'fail' || state.validation.status === 'blocked') {
+        reasons.push(`Run validation status is ${state.validation.status}.`);
+    }
+    if (compatibility === 'strict_stale') {
+        reasons.push('Run document compatibility is strict_stale.');
+    }
+    if (compatibility === 'incompatible') {
+        reasons.push('Run document compatibility is incompatible.');
+    }
+    return reasons;
+}
+function documentHashMismatch(expected, actual) {
+    if (!expected && !actual) {
+        return false;
+    }
+    return expected !== actual;
+}
+function compareCandidates(left, right) {
+    const leftRank = compatibilityRank(left.compatibility);
+    const rightRank = compatibilityRank(right.compatibility);
+    if (leftRank !== rightRank) {
+        return leftRank - rightRank;
+    }
+    const updatedAt = Date.parse(right.updatedAt) - Date.parse(left.updatedAt);
+    return updatedAt !== 0 ? updatedAt : right.runId.localeCompare(left.runId);
+}
+function compatibilityRank(compatibility) {
+    switch (compatibility) {
+        case 'compatible':
+            return 0;
+        case 'soft_stale':
+            return 1;
+        case 'strict_stale':
+            return 2;
+        case 'incompatible':
+            return 3;
+    }
+}
+//# sourceMappingURL=latest-eligible-run.js.map

package/packages/core/dist/workflow-state/latest-eligible-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"latest-eligible-run.js","sourceRoot":"","sources":["../../src/workflow-state/latest-eligible-run.ts"],"names":[],"mappings":"AA4BA,MAAM,UAAU,uBAAuB,CAAC,KAAuH;IAC7J,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM;SAC5B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;SACvF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAClF,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI;QAC7B,UAAU,EAAE,OAAO;QACnB,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;KACvG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAAuG;IACpJ,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;QACjC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,GAAG,KAAK,CAAC,MAAM;aACZ,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAgB,CAAC;KAC1C,CAAC,CAAC;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAe,EAAE,KAAmB;IACnE,MAAM,aAAa,GAAG,6BAA6B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,yBAAyB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAChE,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM;QAC1C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE;QAC/C,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,KAAK,CAAC,MAAM;QACvB,gBAAgB,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;QACzC,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa;QACb,uBAAuB,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7C,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAe,EAAE,KAAmB;IAChF,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACxC,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,gBAAgB,IAAI,QAAQ,CAAC,gBAAgB,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IAClL,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,KAAK,IAAI;QACrD,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,gBAAgB,IAAI,IAAI,CAAC;QAC3F,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,KAAK,IAAI;QACrD,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,gBAAgB,IAAI,IAAI,CAAC;QAC3F,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IAC9E,MAAM,qBAAqB,GAAG,QAAQ,CAAC,iBAAiB,KAAK,IAAI;QAC/D,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,KAAK,CAAC,SAAS,CAAC,iBAAiB,IAAI,IAAI,CAAC;QAC7F,CAAC,CAAC,KAAK,CAAC;IACV,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;IACrG,IAAI,YAAY,IAAI,YAAY,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC;QAC5D,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,qBAAqB,EAAE,CAAC;QAC1B,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAe,EAAE,aAAyC;IAC3F,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChF,OAAO,CAAC,IAAI,CAAC,4BAA4B,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAuB,EAAE,MAAqB;IAC1E,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,QAAQ,KAAK,MAAM,CAAC;AAC7B,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAgC,EAAE,KAAiC;IAC5F,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACzD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,GAAG,SAAS,CAAC;IAC9B,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3E,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,iBAAiB,CAAC,aAAyC;IAClE,QAAQ,aAAa,EAAE,CAAC;QACtB,KAAK,YAAY;YACf,OAAO,CAAC,CAAC;QACX,KAAK,YAAY;YACf,OAAO,CAAC,CAAC;QACX,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;QACX,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC"}

package/packages/core/dist/workflow-state/resolve.d.ts

@@ -0,0 +1,77 @@
+import { WORKFLOW_STATE_RESOLVER_CONTRACT_VERSION } from '../contracts.js';
+import type { RunState, RunSummary } from '../run-state/model.js';
+import { type WorkflowAffectedFileConflict } from './affected-file-conflicts.js';
+import { type ContextBranchSource, type ContextResolverContract } from '../sdd-docs/context.js';
+import { type SddTaskGap, type SddTaskModel } from '../sdd-docs/task-parser.js';
+import { type WorkflowDependencyBlocker } from './dependencies.js';
+import { type DocumentCompatibilityClass, type LatestEligibleRunSelection } from './latest-eligible-run.js';
+export interface WorkflowTaskCounts {
+    total: number;
+    pending: number;
+    inProgress: number;
+    completed: number;
+    blocked: number;
+    deferred: number;
+    unknown: number;
+    gaps: number;
+}
+export interface WorkflowLatestTaskRun {
+    partition: string;
+    gitBranch: string | null;
+    taskId: string;
+    runId: string;
+    runStatus: RunState['status'];
+    validationStatus: RunState['validation']['status'];
+    syncBackStatus: RunState['syncBack']['status'];
+    affectedFiles: string[];
+    updatedAt: string;
+    compatibility: DocumentCompatibilityClass;
+    eligibleForDefaultApply: boolean;
+    reasons: string[];
+}
+export type WorkflowCommandSemantics = 'inspection_navigation' | 'gate_execution';
+export type WorkflowHostProjectionStatus = 'active' | 'future' | 'unsupported';
+export type WorkflowNextStage = 'spec' | 'tasks' | 'do' | 'test' | 'ship';
+export type WorkflowNextIntentKind = 'start_spec' | 'resolve_task_gaps' | 'inspect_dependency' | 'ship_readiness' | 'inspect_task' | 'list_tasks' | 'continue_do' | 'run_task_validation' | 'run_batch_validation' | 'run_wave_validation';
+export interface WorkflowHostCommandProjection {
+    host: 'claude_code' | 'codex' | 'opencode';
+    status: WorkflowHostProjectionStatus;
+    entry: string | null;
+    projectionSurfaces: string[];
+    permissionProjection: string;
+    reason: string;
+}
+export interface WorkflowNextIntent {
+    stage: WorkflowNextStage;
+    intent: WorkflowNextIntentKind;
+    canonicalCommand: string;
+    commandSemantics: WorkflowCommandSemantics;
+    evidenceRequirement: string;
+    blockingReason: string | null;
+    hostProjections: WorkflowHostCommandProjection[];
+}
+export interface WorkflowStateResolution {
+    contract: typeof WORKFLOW_STATE_RESOLVER_CONTRACT_VERSION;
+    generatedAt: string;
+    branch: string;
+    workflowStatus: 'active' | 'not_started';
+    context: ContextResolverContract;
+    documents: SddTaskModel['documents'];
+    model: SddTaskModel;
+    taskCounts: WorkflowTaskCounts;
+    visibleGaps: SddTaskGap[];
+    latestRun: RunSummary | null;
+    latestRunState: RunState | null;
+    latestRunsByTask: WorkflowLatestTaskRun[];
+    latestEligibleRunsByTask: LatestEligibleRunSelection[];
+    affectedFileConflicts: WorkflowAffectedFileConflict[];
+    blockingReasons: string[];
+    dependencyBlockers: WorkflowDependencyBlocker[];
+    recommendedNextCommand: string;
+    nextIntent: WorkflowNextIntent;
+}
+export declare function resolveWorkflowState(projectRoot: string, options?: {
+    branch?: string | null;
+    branchSource?: ContextBranchSource;
+    taskId?: string | null;
+}): Promise<WorkflowStateResolution>;