sdd-agent-platform 0.4.1 → 0.5.0

package/packages/core/dist/workflow-state/resolve-task-run.js

@@ -0,0 +1,95 @@
+import { readAllRunStates, readRunState } from '../run-state/run-state.js';
+import { resolveRunStateContext, resolveSddContext } from '../sdd-docs/context.js';
+import { documentHashMatches } from '../sdd-docs/document-hashes.js';
+import { inspectSddTask } from '../sdd-docs/task-inspection.js';
+import { parseSddBranch } from '../sdd-docs/task-parser.js';
+import { affectedFileConflictsForSelectedRun } from './affected-file-conflicts.js';
+import { resolveWorkflowState } from './resolve.js';
+export async function resolveTaskRun(projectRoot, options) {
+    if (options.runId) {
+        const state = await readRunState(projectRoot, options.runId);
+        const context = options.branch
+            ? await resolveSddContext(projectRoot, { branch: options.branch, branchSource: 'cli_option' })
+            : await resolveRunStateContext(projectRoot, state);
+        const model = await parseSddBranch(projectRoot, context.partition);
+        const inspected = inspectSddTask(model, options.taskId);
+        if (state.partition && state.partition !== context.partition) {
+            throw new Error(`Run ${state.runId} belongs to partition ${state.partition}, not ${context.partition}.`);
+        }
+        if (state.taskId && state.taskId !== options.taskId) {
+            throw new Error(`Run ${state.runId} belongs to task ${state.taskId}, not ${options.taskId}.`);
+        }
+        return {
+            runId: state.runId,
+            state,
+            context,
+            model,
+            task: inspected.task,
+            explicitRunId: true,
+            staleReasons: runDocumentStaleReasons(state, model),
+            affectedFileConflicts: await affectedFileConflictsForRun(projectRoot, state),
+            selectorRejectionReasons: []
+        };
+    }
+    const workflow = await resolveWorkflowState(projectRoot, {
+        branch: options.branch,
+        branchSource: options.branch ? 'cli_option' : undefined,
+        taskId: options.taskId
+    });
+    const inspected = inspectSddTask(workflow.model, options.taskId);
+    const selection = workflow.latestEligibleRunsByTask.find((entry) => entry.taskId === options.taskId);
+    const candidate = selection?.selected ?? selection?.rejected[0] ?? null;
+    if (!candidate) {
+        throw new Error(`No eligible run found for ${workflow.context.partition}/${options.taskId}. Run sdd do task ${options.taskId} first, or pass --run <run_id>.`);
+    }
+    const state = selection?.selected && workflow.latestRunState && selection.selected.runId === workflow.latestRunState.runId
+        ? workflow.latestRunState
+        : await readRunState(projectRoot, candidate.runId);
+    if (!state) {
+        throw new Error(`Run state ${candidate.runId} is unavailable for ${workflow.context.partition}/${options.taskId}. Pass --run <run_id> or rerun the task.`);
+    }
+    return {
+        runId: state.runId,
+        state,
+        context: workflow.context,
+        model: workflow.model,
+        task: inspected.task,
+        explicitRunId: false,
+        staleReasons: runDocumentStaleReasons(state, workflow.model),
+        affectedFileConflicts: workflow.affectedFileConflicts,
+        selectorRejectionReasons: selection?.selected ? [] : candidate.reasons
+    };
+}
+export function runDocumentStaleReasons(state, model) {
+    const reasons = [];
+    const snapshot = state.documentSnapshot;
+    if (!snapshot.specHash && !snapshot.planHash && !snapshot.tasksHash) {
+        reasons.push('Run has no document snapshot hashes; rerun do task before test or goal-verify.');
+    }
+    appendDocumentHashMismatch(reasons, 'spec.md', snapshot.specHash, model.documents.specHash ?? null);
+    appendDocumentHashMismatch(reasons, 'plan.md', snapshot.planHash, model.documents.planHash ?? null);
+    appendDocumentHashMismatch(reasons, 'tasks.md', snapshot.tasksHash, model.documents.tasksHash ?? null);
+    if (model.documents.planStale) {
+        reasons.push('Current plan.md is stale against spec.md.');
+    }
+    if (model.documents.tasksStale) {
+        reasons.push('Current tasks.md is stale against plan.md or spec.md.');
+    }
+    return reasons;
+}
+async function affectedFileConflictsForRun(projectRoot, state) {
+    const states = await readAllRunStates(projectRoot);
+    return affectedFileConflictsForSelectedRun(states, state);
+}
+function appendDocumentHashMismatch(reasons, documentName, expected, actual) {
+    if (shouldReportDocumentHashMismatch(expected, actual)) {
+        reasons.push(`Run snapshot for ${documentName} is ${expected ?? 'missing'}, current hash is ${actual ?? 'missing'}.`);
+    }
+}
+function shouldReportDocumentHashMismatch(expected, actual) {
+    if (!expected && !actual) {
+        return false;
+    }
+    return !expected || !actual || !documentHashMatches(expected, actual);
+}
+//# sourceMappingURL=resolve-task-run.js.map

package/packages/core/dist/workflow-state/resolve-task-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-task-run.js","sourceRoot":"","sources":["../../src/workflow-state/resolve-task-run.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE3E,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACnF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAmC,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,mCAAmC,EAAqC,MAAM,8BAA8B,CAAC;AACtH,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAcpD,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,WAAmB,EAAE,OAA4D;IACpH,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM;YAC5B,CAAC,CAAC,MAAM,iBAAiB,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;YAC9F,CAAC,CAAC,MAAM,sBAAsB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,KAAK,yBAAyB,KAAK,CAAC,SAAS,SAAS,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,KAAK,oBAAoB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK;YACL,OAAO;YACP,KAAK;YACL,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC;YACnD,qBAAqB,EAAE,MAAM,2BAA2B,CAAC,WAAW,EAAE,KAAK,CAAC;YAC5E,wBAAwB,EAAE,EAAE;SAC7B,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,WAAW,EAAE;QACvD,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;QACvD,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,QAAQ,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACrG,MAAM,SAAS,GAAG,SAAS,EAAE,QAAQ,IAAI,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACxE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,6BAA6B,QAAQ,CAAC,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,qBAAqB,OAAO,CAAC,MAAM,iCAAiC,CAAC,CAAC;IACjK,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,EAAE,QAAQ,IAAI,QAAQ,CAAC,cAAc,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,cAAc,CAAC,KAAK;QACxH,CAAC,CAAC,QAAQ,CAAC,cAAc;QACzB,CAAC,CAAC,MAAM,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,aAAa,SAAS,CAAC,KAAK,uBAAuB,QAAQ,CAAC,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,0CAA0C,CAAC,CAAC;IAC7J,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK;QACL,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,aAAa,EAAE,KAAK;QACpB,YAAY,EAAE,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;QAC5D,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;QACrD,wBAAwB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAe,EAAE,KAAmB;IAC1E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACxC,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;IACjG,CAAC;IACD,0BAA0B,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IACpG,0BAA0B,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IACpG,0BAA0B,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;IACvG,IAAI,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,2BAA2B,CAAC,WAAmB,EAAE,KAAe;IAC7E,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,WAAW,CAAC,CAAC;IACnD,OAAO,mCAAmC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAiB,EAAE,YAAoB,EAAE,QAAuB,EAAE,MAAqB;IACzH,IAAI,gCAAgC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,oBAAoB,YAAY,OAAO,QAAQ,IAAI,SAAS,qBAAqB,MAAM,IAAI,SAAS,GAAG,CAAC,CAAC;IACxH,CAAC;AACH,CAAC;AAED,SAAS,gCAAgC,CAAC,QAAuB,EAAE,MAAqB;IACtF,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,QAAQ,IAAI,CAAC,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC"}

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

@@ -1,10 +1,12 @@
-import { WORKFLOW_STATE_RESOLVER_CONTRACT_VERSION } from '../contracts.js';
-import type { RunState, RunSummary } from '../run-state/model.js';
+import { WORKFLOW_STATE_RESOLVER_CONTRACT_VERSION, type SddStage } from '../contracts.js';
+import { type RuntimeRepairRecord } from '../storage/runtime-store.js';
+import type { RunState, RunStateTaskRuntime, 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';
+import { type TruthReconciliationDecision } from '../truth-reconciliation.js';
 export interface WorkflowTaskCounts {
     total: number;
     pending: number;
@@ -22,7 +24,6 @@ export interface WorkflowLatestTaskRun {
     runId: string;
     runStatus: RunState['status'];
     validationStatus: RunState['validation']['status'];
-    syncBackStatus: RunState['syncBack']['status'];
     affectedFiles: string[];
     updatedAt: string;
     compatibility: DocumentCompatibilityClass;
@@ -31,8 +32,32 @@ export interface WorkflowLatestTaskRun {
 }
 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 type SddCommandBundle = 'spec' | 'plan' | 'tasks' | 'execute' | 'ship';
+export type BundleResumeMode = 'start' | 'resume' | 'repair' | 'reconcile';
+export type WorkflowNextStage = SddCommandBundle;
+export type WorkflowNextIntentKind = 'start_spec' | 'resolve_task_gaps' | 'inspect_dependency' | 'workflow_complete' | 'ship_readiness' | 'inspect_task' | 'list_tasks' | 'continue_execute' | 'run_task_validation' | 'run_batch_validation' | 'run_wave_validation' | 'repair_failure' | 'reconcile_truth';
+export declare const COMMAND_BUNDLES: Record<SddCommandBundle, readonly SddStage[]>;
+export interface CommandBundlePlan {
+    contract: 'sdd-command-bundle-plan-v1';
+    branch: string;
+    bundle: SddCommandBundle;
+    stages: SddStage[];
+    targetRuntimeStage: SddStage;
+    resumeMode: BundleResumeMode;
+    canonicalCommand: string;
+    displayCommand: string;
+    canAutoAdvanceWithinBundle: boolean;
+    autoAdvanceTo: SddStage | null;
+    stopReasons: string[];
+    evidenceSurface: string[];
+}
+export interface WorkflowReadinessSummary {
+    requiredTaskIds: string[];
+    acceptedTaskIds: string[];
+    missingTaskIds: string[];
+    readyForShip: boolean;
+    whyNotShip: string[];
+}
 export interface WorkflowHostCommandProjection {
     host: 'claude_code' | 'codex' | 'opencode';
     status: WorkflowHostProjectionStatus;
@@ -43,11 +68,20 @@ export interface WorkflowHostCommandProjection {
 }
 export interface WorkflowNextIntent {
     stage: WorkflowNextStage;
+    bundle: SddCommandBundle;
+    targetRuntimeStage: SddStage;
+    resumeMode: BundleResumeMode;
     intent: WorkflowNextIntentKind;
     canonicalCommand: string;
+    displayCommand: string;
     commandSemantics: WorkflowCommandSemantics;
     evidenceRequirement: string;
     blockingReason: string | null;
+    canAutoAdvanceWithinBundle: boolean;
+    autoAdvanceTo: SddStage | null;
+    stopReasons: string[];
+    evidenceSurface: string[];
+    commandBundle: CommandBundlePlan;
     hostProjections: WorkflowHostCommandProjection[];
 }
 export interface WorkflowStateResolution {
@@ -67,11 +101,27 @@ export interface WorkflowStateResolution {
     affectedFileConflicts: WorkflowAffectedFileConflict[];
     blockingReasons: string[];
     dependencyBlockers: WorkflowDependencyBlocker[];
+    openRepairs: RuntimeRepairRecord[];
+    workflowReadiness: WorkflowReadinessSummary;
+    whyNotShip: string[];
     recommendedNextCommand: string;
     nextIntent: WorkflowNextIntent;
+    truthReconciliation: TruthReconciliationDecision | null;
 }
 export declare function resolveWorkflowState(projectRoot: string, options?: {
     branch?: string | null;
     branchSource?: ContextBranchSource;
     taskId?: string | null;
 }): Promise<WorkflowStateResolution>;
+export declare function latestRuntimeTaskStates(selections: LatestEligibleRunSelection[], states: RunState[]): Map<string, RunStateTaskRuntime>;
+export interface WorkflowNextIntentOptions {
+    targetRuntimeStage?: SddStage;
+    resumeMode?: BundleResumeMode;
+    displayCommand?: string;
+    canAutoAdvanceWithinBundle?: boolean;
+    autoAdvanceTo?: SddStage | null;
+    stopReasons?: string[];
+    evidenceSurface?: string[];
+}
+export declare function workflowNextIntent(stage: WorkflowNextStage, intent: WorkflowNextIntentKind, canonicalCommand: string, evidenceRequirement: string, blockingReason: string | null, options?: WorkflowNextIntentOptions): WorkflowNextIntent;
+export declare function commandBundleForRuntimeStage(stage: SddStage): SddCommandBundle;