sdd-agent-platform 0.3.0 → 0.4.1

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

@@ -0,0 +1,253 @@
+import { WORKFLOW_STATE_RESOLVER_CONTRACT_VERSION } from '../contracts.js';
+import { recordRuntimeProjection } from '../storage/runtime-store.js';
+import { affectedFileConflictsForSelectedRun } from './affected-file-conflicts.js';
+import { readAllRunStates, summarizeRunState } from '../run-state/run-state.js';
+import { resolveSddContext } from '../sdd-docs/context.js';
+import { parseSddBranch } from '../sdd-docs/task-parser.js';
+import { dependencyBlockingReasonsForTask, workflowDependencyBlockers } from './dependencies.js';
+import { selectLatestEligibleRunsByTask } from './latest-eligible-run.js';
+export async function resolveWorkflowState(projectRoot, options = {}) {
+    const context = await resolveSddContext(projectRoot, options);
+    const branch = context.partition;
+    const [model, states] = await Promise.all([parseSddBranch(projectRoot, branch), readAllRunStates(projectRoot)]);
+    const visibleGaps = workflowIsActive(model) ? model.gaps : [];
+    const latestEligibleRunsByTask = selectLatestEligibleRunsByTask({ states, model, partition: branch, currentGitBranch: context.currentGitBranch });
+    const latestRunsByTask = selectedLatestTaskRuns(latestEligibleRunsByTask);
+    const selectedTaskRun = options.taskId
+        ? latestRunsByTask.find((entry) => entry.taskId === options.taskId) ?? null
+        : latestRunsByTask.slice().sort((left, right) => Date.parse(right.updatedAt) - Date.parse(left.updatedAt))[0] ?? null;
+    const latestRunState = selectedTaskRun ? states.find((state) => state.runId === selectedTaskRun.runId) ?? null : null;
+    const affectedFileConflicts = latestRunState ? affectedFileConflictsForSelectedRun(states, latestRunState) : [];
+    const runtimeByTask = latestRuntimeTaskStates(latestEligibleRunsByTask, states);
+    const dependencyBlockers = workflowDependencyBlockers(model, { runtimeByTask });
+    const blockingReasons = blockingWorkflowReasons(visibleGaps, affectedFileConflicts, dependencyBlockers);
+    const resolution = {
+        contract: WORKFLOW_STATE_RESOLVER_CONTRACT_VERSION,
+        generatedAt: new Date().toISOString(),
+        branch,
+        workflowStatus: workflowIsActive(model) ? 'active' : 'not_started',
+        context,
+        documents: model.documents,
+        model,
+        taskCounts: taskCounts(model, visibleGaps),
+        visibleGaps,
+        latestRun: latestRunState ? summarizeRunState(latestRunState) : null,
+        latestRunState,
+        latestRunsByTask,
+        latestEligibleRunsByTask,
+        affectedFileConflicts,
+        dependencyBlockers,
+        blockingReasons,
+        nextIntent: recommendedWorkflowNextIntent(context, model, latestRunsByTask, visibleGaps, dependencyBlockers, runtimeByTask),
+        recommendedNextCommand: ''
+    };
+    resolution.recommendedNextCommand = resolution.nextIntent.canonicalCommand;
+    try {
+        await recordRuntimeProjection(projectRoot, 'workflow_state', branch, projectWorkflowStateProjection(resolution));
+    }
+    catch {
+        // Projection writes are rebuildable and must not block workflow resolution.
+    }
+    return resolution;
+}
+function workflowIsActive(model) {
+    return model.documents.specExists || model.documents.planExists || model.documents.tasksExists;
+}
+function taskCounts(model, gaps) {
+    return {
+        total: model.tasks.length,
+        pending: model.tasks.filter((task) => task.status === 'pending').length,
+        inProgress: model.tasks.filter((task) => task.status === 'in_progress').length,
+        completed: model.tasks.filter((task) => task.status === 'completed').length,
+        blocked: model.tasks.filter((task) => task.status === 'blocked').length,
+        deferred: model.tasks.filter((task) => task.status === 'deferred').length,
+        unknown: model.tasks.filter((task) => task.status === 'unknown').length,
+        gaps: gaps.length
+    };
+}
+function selectedLatestTaskRuns(selections) {
+    return selections
+        .flatMap((selection) => selection.selected ? [selection.selected] : [])
+        .map((candidate) => ({
+        partition: candidate.partition,
+        gitBranch: candidate.gitBranch,
+        taskId: candidate.taskId,
+        runId: candidate.runId,
+        runStatus: candidate.runStatus,
+        validationStatus: candidate.validationStatus,
+        syncBackStatus: candidate.syncBackStatus,
+        affectedFiles: candidate.affectedFiles,
+        updatedAt: candidate.updatedAt,
+        compatibility: candidate.compatibility,
+        eligibleForDefaultApply: candidate.eligibleForDefaultApply,
+        reasons: candidate.reasons
+    }))
+        .sort((left, right) => left.taskId.localeCompare(right.taskId));
+}
+function blockingWorkflowReasons(gaps, conflicts, dependencyBlockers) {
+    const reasons = gaps.filter((gap) => gap.severity === 'blocking').map((gap) => `${gap.field}: ${gap.message}`);
+    for (const conflict of conflicts) {
+        reasons.push(`Affected file ${conflict.file} is active in run ${conflict.runId} for ${conflict.partition}/${conflict.taskId}.`);
+    }
+    for (const blocker of dependencyBlockers) {
+        reasons.push(blocker.reason);
+    }
+    return reasons;
+}
+function recommendedWorkflowNextIntent(context, model, latestRunsByTask, gaps, dependencyBlockers, runtimeByTask) {
+    if (!workflowIsActive(model)) {
+        return workflowNextIntent('spec', 'start_spec', `sdd spec --branch ${context.partition}`, 'Start the spec stage before planning or task execution.', null);
+    }
+    const blockingGap = gaps.find((gap) => gap.severity === 'blocking');
+    if (blockingGap) {
+        return workflowNextIntent('tasks', 'resolve_task_gaps', `sdd tasks gaps --branch ${context.partition}`, 'Resolve blocking task document gaps before execution evidence can be trusted.', `${blockingGap.field}: ${blockingGap.message}`);
+    }
+    const strictTask = model.tasks.find((task) => needsTaskValidation(task, runtimeByTask.get(task.id)));
+    if (strictTask) {
+        return workflowNextIntent('test', 'run_task_validation', `sdd test task ${strictTask.id} --branch ${context.partition}`, 'Validate this strict or task_end task before more implementation proceeds.', null);
+    }
+    const readyBoundary = readyValidationBoundary(model, runtimeByTask);
+    if (readyBoundary?.kind === 'batch') {
+        return workflowNextIntent('test', 'run_batch_validation', `sdd test batch ${readyBoundary.id} --branch ${context.partition}`, `Validate accumulated implementation evidence for batch ${readyBoundary.id}.`, null);
+    }
+    if (readyBoundary?.kind === 'wave') {
+        return workflowNextIntent('test', 'run_wave_validation', waveValidationCommand(context.partition, readyBoundary.wave), `Validate accumulated implementation evidence for wave ${readyBoundary.wave ?? 'all'}.`, null);
+    }
+    if (latestRunsByTask.some(latestEligibleRunReadyForShip)) {
+        return workflowNextIntent('ship', 'ship_readiness', `sdd ship --branch ${context.partition} --dry-run`, 'Run release readiness after validation PASS; create a decision card only if the gate requires human review.', null);
+    }
+    const nextTask = model.tasks.find((task) => task.status === 'pending' && !runtimeTaskImplemented(runtimeByTask.get(task.id)) && dependencyBlockingReasonsForTask(model, task.id, { runtimeByTask }).length === 0);
+    if (nextTask) {
+        return workflowNextIntent('do', 'continue_do', `sdd do task ${nextTask.id} --branch ${context.partition}`, 'Continue sequential implementation; validation can wait until the declared task or batch boundary.', null);
+    }
+    const dependencyBlocker = dependencyBlockers[0];
+    if (dependencyBlocker) {
+        return workflowNextIntent('tasks', 'inspect_dependency', `sdd tasks inspect ${dependencyBlocker.dependencyId} --branch ${context.partition}`, 'Inspect the dependency task before continuing this workflow.', dependencyBlocker.reason);
+    }
+    const pendingTask = model.tasks.find((task) => task.status === 'pending');
+    return pendingTask
+        ? workflowNextIntent('tasks', 'inspect_task', `sdd tasks inspect ${pendingTask.id} --branch ${context.partition}`, 'Inspect task boundary, acceptance, validation, and capability needs before do/test.', null)
+        : workflowNextIntent('tasks', 'list_tasks', `sdd tasks list --branch ${context.partition}`, 'Inspect task state and decide whether to continue or ship.', null);
+}
+function latestRuntimeTaskStates(selections, states) {
+    const stateByRunId = new Map(states.map((state) => [state.runId, state]));
+    const result = new Map();
+    for (const selection of selections) {
+        const selected = selection.selected;
+        if (!selected) {
+            continue;
+        }
+        const taskState = stateByRunId.get(selected.runId)?.tasks[selected.taskId];
+        if (taskState) {
+            result.set(selected.taskId, taskState);
+        }
+    }
+    return result;
+}
+function needsTaskValidation(task, runtime) {
+    return Boolean(runtimeTaskImplemented(runtime) && runtime?.verificationStatus !== 'pass' && (task.requiresVerifyBeforeNext || task.validationTiming === 'task_end'));
+}
+function readyValidationBoundary(model, runtimeByTask) {
+    const batchGroups = new Map();
+    const waveGroups = new Map();
+    for (const task of model.tasks) {
+        if (task.validationTiming === 'batch_end' && task.validationBatch) {
+            batchGroups.set(task.validationBatch, [...(batchGroups.get(task.validationBatch) ?? []), task]);
+        }
+        if (task.validationTiming === 'wave_end') {
+            const key = String(task.wave ?? 'all');
+            const group = waveGroups.get(key) ?? { wave: task.wave, tasks: [] };
+            group.tasks.push(task);
+            waveGroups.set(key, group);
+        }
+    }
+    for (const [id, tasks] of batchGroups) {
+        if (validationBoundaryReady(tasks, runtimeByTask)) {
+            return { kind: 'batch', id };
+        }
+    }
+    for (const group of waveGroups.values()) {
+        if (validationBoundaryReady(group.tasks, runtimeByTask)) {
+            return { kind: 'wave', wave: group.wave };
+        }
+    }
+    return null;
+}
+function validationBoundaryReady(tasks, runtimeByTask) {
+    return tasks.every((task) => runtimeTaskImplemented(runtimeByTask.get(task.id)))
+        && tasks.some((task) => runtimeByTask.get(task.id)?.verificationStatus !== 'pass');
+}
+function runtimeTaskImplemented(runtime) {
+    return runtime?.implementationStatus === 'implemented' || runtime?.status === 'implemented_pending_validation' || runtime?.status === 'implemented_verified';
+}
+function latestEligibleRunReadyForShip(run) {
+    return run.runStatus === 'completed' && run.validationStatus === 'pass';
+}
+function waveValidationCommand(branch, wave) {
+    return wave === null ? `sdd test wave --branch ${branch}` : `sdd test wave --branch ${branch} --wave ${wave}`;
+}
+function workflowNextIntent(stage, intent, canonicalCommand, evidenceRequirement, blockingReason) {
+    return {
+        stage,
+        intent,
+        canonicalCommand,
+        commandSemantics: stage === 'do' || stage === 'test' || stage === 'ship' ? 'gate_execution' : 'inspection_navigation',
+        evidenceRequirement,
+        blockingReason,
+        hostProjections: hostCommandProjections(canonicalCommand)
+    };
+}
+function hostCommandProjections(canonicalCommand) {
+    return [
+        {
+            host: 'claude_code',
+            status: 'active',
+            entry: claudeCodeSlashEntry(canonicalCommand),
+            projectionSurfaces: ['slash command', 'skill', 'settings/hooks/statusline metadata'],
+            permissionProjection: 'Claude Code permission mode/tool prompts remain host enforcement, not SDD lifecycle truth.',
+            reason: 'Claude Code supports slash/skill/statusline projections; the canonical CLI command remains the portable source of workflow intent.'
+        },
+        {
+            host: 'codex',
+            status: 'future',
+            entry: null,
+            projectionSurfaces: ['config.toml profile', 'AGENTS.md instruction surface', 'approval_policy', 'sandbox_mode'],
+            permissionProjection: 'Codex approval and sandbox controls can project execution policy; custom command/skill projection is not marked active without stronger evidence.',
+            reason: 'Codex exposes approval, sandbox, AGENTS.md, and built-in slash surfaces, but project custom workflow command semantics stay future until validated.'
+        },
+        {
+            host: 'opencode',
+            status: 'active',
+            entry: opencodeCommandEntry(canonicalCommand),
+            projectionSurfaces: ['opencode.json/jsonc', '.opencode/commands', '.opencode/agents', '.opencode/skills', 'permissions'],
+            permissionProjection: 'OpenCode allow/ask/deny permissions can project SDD tool policy; SDD artifacts remain authoritative evidence.',
+            reason: 'OpenCode documents project commands, agents, skills, and permissions suitable for host-specific projection.'
+        }
+    ];
+}
+function claudeCodeSlashEntry(canonicalCommand) {
+    const [command, ...rest] = canonicalCommand.replace(/^sdd\s+/, '').split(' ');
+    return `/sdd:${command}${rest.length > 0 ? ` ${rest.join(' ')}` : ''}`;
+}
+function opencodeCommandEntry(canonicalCommand) {
+    return `/sdd ${canonicalCommand.replace(/^sdd\s+/, '')}`;
+}
+function projectWorkflowStateProjection(resolution) {
+    return {
+        contract: resolution.contract,
+        generatedAt: resolution.generatedAt,
+        branch: resolution.branch,
+        workflowStatus: resolution.workflowStatus,
+        documents: resolution.documents,
+        taskCounts: resolution.taskCounts,
+        latestRun: resolution.latestRun,
+        latestRunsByTask: resolution.latestRunsByTask,
+        latestEligibleRunsByTask: resolution.latestEligibleRunsByTask,
+        affectedFileConflicts: resolution.affectedFileConflicts,
+        dependencyBlockers: resolution.dependencyBlockers,
+        blockingReasons: resolution.blockingReasons,
+        nextIntent: resolution.nextIntent,
+        recommendedNextCommand: resolution.recommendedNextCommand
+    };
+}
+//# sourceMappingURL=resolve.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/workflow-state/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wCAAwC,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,mCAAmC,EAAqC,MAAM,8BAA8B,CAAC;AACtH,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAA0D,MAAM,wBAAwB,CAAC;AACnH,OAAO,EAAE,cAAc,EAAoD,MAAM,4BAA4B,CAAC;AAC9G,OAAO,EAAE,gCAAgC,EAAE,0BAA0B,EAAkC,MAAM,mBAAmB,CAAC;AACjI,OAAO,EAAE,8BAA8B,EAAoE,MAAM,0BAA0B,CAAC;AA0E5I,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,WAAmB,EAAE,UAAkG,EAAE;IAClK,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IACjC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAChH,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,MAAM,wBAAwB,GAAG,8BAA8B,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAClJ,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,wBAAwB,CAAC,CAAC;IAC1E,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM;QACpC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI;QAC3E,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACxH,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,eAAe,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtH,MAAM,qBAAqB,GAAG,cAAc,CAAC,CAAC,CAAC,mCAAmC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChH,MAAM,aAAa,GAAG,uBAAuB,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;IAChF,MAAM,kBAAkB,GAAG,0BAA0B,CAAC,KAAK,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC;IAChF,MAAM,eAAe,GAAG,uBAAuB,CAAC,WAAW,EAAE,qBAAqB,EAAE,kBAAkB,CAAC,CAAC;IACxG,MAAM,UAAU,GAA4B;QAC1C,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,MAAM;QACN,cAAc,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa;QAClE,OAAO;QACP,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK;QACL,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC;QAC1C,WAAW;QACX,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI;QACpE,cAAc;QACd,gBAAgB;QAChB,wBAAwB;QACxB,qBAAqB;QACrB,kBAAkB;QAClB,eAAe;QACf,UAAU,EAAE,6BAA6B,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,kBAAkB,EAAE,aAAa,CAAC;QAC3H,sBAAsB,EAAE,EAAE;KAC3B,CAAC;IACF,UAAU,CAAC,sBAAsB,GAAG,UAAU,CAAC,UAAU,CAAC,gBAAgB,CAAC;IAC3E,IAAI,CAAC;QACH,MAAM,uBAAuB,CAAC,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,8BAA8B,CAAC,UAAU,CAAC,CAAC,CAAC;IACnH,CAAC;IAAC,MAAM,CAAC;QACP,4EAA4E;IAC9E,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAmB;IAC3C,OAAO,KAAK,CAAC,SAAS,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC;AACjG,CAAC;AAED,SAAS,UAAU,CAAC,KAAmB,EAAE,IAAkB;IACzD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QACzB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QACvE,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,MAAM;QAC9E,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM;QAC3E,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QACvE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QACzE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QACvE,IAAI,EAAE,IAAI,CAAC,MAAM;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAwC;IACtE,OAAO,UAAU;SACd,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACtE,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QAC5C,cAAc,EAAE,SAAS,CAAC,cAAc;QACxC,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,uBAAuB,EAAE,SAAS,CAAC,uBAAuB;QAC1D,OAAO,EAAE,SAAS,CAAC,OAAO;KAC3B,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AACpE,CAAC;AAGD,SAAS,uBAAuB,CAAC,IAAkB,EAAE,SAAyC,EAAE,kBAA+C;IAC7I,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/G,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,iBAAiB,QAAQ,CAAC,IAAI,qBAAqB,QAAQ,CAAC,KAAK,QAAQ,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAClI,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAgC,EAChC,KAAmB,EACnB,gBAAyC,EACzC,IAAkB,EAClB,kBAA+C,EAC/C,aAA+C;IAE/C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,qBAAqB,OAAO,CAAC,SAAS,EAAE,EAAE,yDAAyD,EAAE,IAAI,CAAC,CAAC;IAC7J,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACpE,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,EAAE,2BAA2B,OAAO,CAAC,SAAS,EAAE,EAAE,+EAA+E,EAAE,GAAG,WAAW,CAAC,KAAK,KAAK,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3O,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrG,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,MAAM,EAAE,qBAAqB,EAAE,iBAAiB,UAAU,CAAC,EAAE,aAAa,OAAO,CAAC,SAAS,EAAE,EAAE,4EAA4E,EAAE,IAAI,CAAC,CAAC;IAC/M,CAAC;IAED,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACpE,IAAI,aAAa,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,OAAO,kBAAkB,CAAC,MAAM,EAAE,sBAAsB,EAAE,kBAAkB,aAAa,CAAC,EAAE,aAAa,OAAO,CAAC,SAAS,EAAE,EAAE,0DAA0D,aAAa,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACrN,CAAC;IACD,IAAI,aAAa,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC,MAAM,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,yDAAyD,aAAa,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,CAAC,CAAC;IACxN,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,CAAC,6BAA6B,CAAC,EAAE,CAAC;QACzD,OAAO,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,qBAAqB,OAAO,CAAC,SAAS,YAAY,EAAE,6GAA6G,EAAE,IAAI,CAAC,CAAC;IAC/N,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,sBAAsB,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,gCAAgC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAClN,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,eAAe,QAAQ,CAAC,EAAE,aAAa,OAAO,CAAC,SAAS,EAAE,EAAE,oGAAoG,EAAE,IAAI,CAAC,CAAC;IACzN,CAAC;IAED,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO,kBAAkB,CAAC,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,iBAAiB,CAAC,YAAY,aAAa,OAAO,CAAC,SAAS,EAAE,EAAE,8DAA8D,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1O,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC1E,OAAO,WAAW;QAChB,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,cAAc,EAAE,qBAAqB,WAAW,CAAC,EAAE,aAAa,OAAO,CAAC,SAAS,EAAE,EAAE,qFAAqF,EAAE,IAAI,CAAC;QAC/M,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,YAAY,EAAE,2BAA2B,OAAO,CAAC,SAAS,EAAE,EAAE,4DAA4D,EAAE,IAAI,CAAC,CAAC;AACpK,CAAC;AAED,SAAS,uBAAuB,CAAC,UAAwC,EAAE,MAAkB;IAC3F,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QACpC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3E,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,OAAwC;IAClF,OAAO,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,OAAO,EAAE,kBAAkB,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC,CAAC,CAAC;AACvK,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAmB,EAAE,aAA+C;IACnG,MAAM,WAAW,GAAG,IAAI,GAAG,EAAqB,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqD,CAAC;IAChF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,gBAAgB,KAAK,WAAW,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAClE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC;YACvC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACpE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QACtC,IAAI,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;YAClD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACxC,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAgB,EAAE,aAA+C;IAChG,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;WAC3E,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,kBAAkB,KAAK,MAAM,CAAC,CAAC;AACvF,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;AAED,SAAS,6BAA6B,CAAC,GAA0B;IAC/D,OAAO,GAAG,CAAC,SAAS,KAAK,WAAW,IAAI,GAAG,CAAC,gBAAgB,KAAK,MAAM,CAAC;AAC1E,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAc,EAAE,IAAmB;IAChE,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,0BAA0B,MAAM,EAAE,CAAC,CAAC,CAAC,0BAA0B,MAAM,WAAW,IAAI,EAAE,CAAC;AAChH,CAAC;AAGD,SAAS,kBAAkB,CACzB,KAAwB,EACxB,MAA8B,EAC9B,gBAAwB,EACxB,mBAA2B,EAC3B,cAA6B;IAE7B,OAAO;QACL,KAAK;QACL,MAAM;QACN,gBAAgB;QAChB,gBAAgB,EAAE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,uBAAuB;QACrH,mBAAmB;QACnB,cAAc;QACd,eAAe,EAAE,sBAAsB,CAAC,gBAAgB,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,gBAAwB;IACtD,OAAO;QACL;YACE,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,oBAAoB,CAAC,gBAAgB,CAAC;YAC7C,kBAAkB,EAAE,CAAC,eAAe,EAAE,OAAO,EAAE,oCAAoC,CAAC;YACpF,oBAAoB,EAAE,4FAA4F;YAClH,MAAM,EAAE,oIAAoI;SAC7I;QACD;YACE,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,IAAI;YACX,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,+BAA+B,EAAE,iBAAiB,EAAE,cAAc,CAAC;YAC/G,oBAAoB,EAAE,mJAAmJ;YACzK,MAAM,EAAE,qJAAqJ;SAC9J;QACD;YACE,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,oBAAoB,CAAC,gBAAgB,CAAC;YAC7C,kBAAkB,EAAE,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,aAAa,CAAC;YACxH,oBAAoB,EAAE,+GAA+G;YACrI,MAAM,EAAE,6GAA6G;SACtH;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,gBAAwB;IACpD,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9E,OAAO,QAAQ,OAAO,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,oBAAoB,CAAC,gBAAwB;IACpD,OAAO,QAAQ,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAmC;IACzE,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;QAC7C,wBAAwB,EAAE,UAAU,CAAC,wBAAwB;QAC7D,qBAAqB,EAAE,UAAU,CAAC,qBAAqB;QACvD,kBAAkB,EAAE,UAAU,CAAC,kBAAkB;QACjD,eAAe,EAAE,UAAU,CAAC,eAAe;QAC3C,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,sBAAsB,EAAE,UAAU,CAAC,sBAAsB;KAC1D,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,2 @@
+export * from './workflow-state/resolve.js';
+export * from './workflow-state/dependencies.js';

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

@@ -0,0 +1,3 @@
+export * from './workflow-state/resolve.js';
+export * from './workflow-state/dependencies.js';
+//# sourceMappingURL=workflow-state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-state.js","sourceRoot":"","sources":["../src/workflow-state.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,kCAAkC,CAAC"}

package/packages/core/dist/worktree/isolation.d.ts

@@ -0,0 +1,40 @@
+import type { ToolCapabilitySideEffect } from '../registries/tool-capabilities.js';
+export declare const WORKTREE_ISOLATION_CONTRACT_VERSION = "phase-3.7-worktree-isolation-contract-v1";
+export type WorktreeIsolationMode = 'none' | 'required' | 'blocked' | 'manual';
+export interface WorktreeIsolationPeer {
+    taskId: string;
+    affectedFiles: string[];
+    risk: string[];
+}
+export interface WorktreeIsolationGate {
+    name: string;
+    passed: boolean;
+    message: string;
+}
+export interface WorktreeIsolationDecision {
+    version: string;
+    taskId: string;
+    mode: WorktreeIsolationMode;
+    safeConcurrency: boolean;
+    capabilityId: string;
+    capabilitySideEffect: ToolCapabilitySideEffect;
+    affectedFiles: string[];
+    risk: string[];
+    peers: WorktreeIsolationPeer[];
+    overlaps: Array<{
+        peerTaskId: string;
+        files: string[];
+    }>;
+    gates: WorktreeIsolationGate[];
+    reasons: string[];
+}
+export declare function inspectWorktreeIsolation(projectRoot: string, options: {
+    branch?: string;
+    taskId: string;
+    capabilityId?: string;
+    peerTaskIds?: string[];
+}): Promise<WorktreeIsolationDecision>;
+export declare function inspectWorktreeIsolationContract(projectRoot: string): Promise<{
+    valid: boolean;
+    issues: string[];
+}>;

package/packages/core/dist/worktree/isolation.js

@@ -0,0 +1,89 @@
+import { inspectToolCapability, listToolCapabilities } from '../registries/tool-capabilities.js';
+import { resolveSddContext } from '../sdd-docs/context.js';
+import { inspectSddTask } from '../sdd-docs/task-inspection.js';
+import { parseSddBranch } from '../sdd-docs/task-parser.js';
+import { buildTaskRiskProfile } from '../task-risk-profile.js';
+export const WORKTREE_ISOLATION_CONTRACT_VERSION = 'phase-3.7-worktree-isolation-contract-v1';
+export async function inspectWorktreeIsolation(projectRoot, options) {
+    const branch = options.branch ?? (await resolveSddContext(projectRoot)).branch;
+    const [model, capabilityRegistry] = await Promise.all([parseSddBranch(projectRoot, branch), listToolCapabilities(projectRoot)]);
+    const inspected = inspectSddTask(model, options.taskId);
+    const capabilityId = options.capabilityId ?? 'native-file-edit';
+    const capability = capabilityRegistry.capabilities.find((candidate) => candidate.id === capabilityId);
+    const task = inspected.task;
+    const affectedFiles = task?.affectedFiles ?? [];
+    const risk = task?.risk ?? [];
+    const peers = (options.peerTaskIds ?? []).map((peerTaskId) => {
+        const peer = inspectSddTask(model, peerTaskId).task;
+        return { taskId: peerTaskId, affectedFiles: peer?.affectedFiles ?? [], risk: peer?.risk ?? [] };
+    });
+    const sideEffect = capability?.sideEffect ?? 'local_write';
+    const overlaps = peers
+        .map((peer) => ({ peerTaskId: peer.taskId, files: overlappingFiles(affectedFiles, peer.affectedFiles) }))
+        .filter((overlap) => overlap.files.length > 0);
+    const riskProfile = buildTaskRiskProfile(task);
+    const highRisk = riskProfile.riskLevel === 'high';
+    const manualRisk = riskProfile.securitySensitive || riskProfile.normalizedTags.includes('database');
+    const unsafeOverlap = overlaps.length > 0 && sideEffect !== 'read_only';
+    const reasons = [];
+    const gates = [];
+    if (!task) {
+        reasons.push(`Task ${options.taskId} is missing or ambiguous in specs/${branch}/tasks.md.`);
+    }
+    if (!capability) {
+        reasons.push(`Capability ${capabilityId} is not declared in the Phase 3.1 capability registry.`);
+    }
+    if (unsafeOverlap) {
+        reasons.push(`Writable task overlaps peer affected file(s): ${overlaps.map((overlap) => `${overlap.peerTaskId}:${overlap.files.join(',')}`).join('; ')}.`);
+    }
+    if (manualRisk) {
+        reasons.push('Database/security risk profile requires manual isolation gate before worktree lifecycle automation.');
+    }
+    else if (highRisk && sideEffect !== 'read_only') {
+        reasons.push('High-risk writable task risk profile requires worktree isolation.');
+    }
+    else if (sideEffect === 'read_only') {
+        reasons.push('Read-only capability does not require worktree isolation.');
+    }
+    else if (sideEffect === 'local_write' || sideEffect === 'command_execution') {
+        reasons.push('Writable or command-executing capability requires worktree isolation unless blocked by overlap.');
+    }
+    gates.push({ name: 'task_found', passed: task !== null, message: task ? `Task ${options.taskId} found.` : `Task ${options.taskId} missing or ambiguous.` }, { name: 'capability_declared', passed: capability !== undefined, message: capability ? `Capability ${capabilityId} side_effect=${sideEffect}.` : `Capability ${capabilityId} missing.` }, { name: 'files_overlap', passed: overlaps.length === 0, message: overlaps.length === 0 ? 'No peer affected_files overlap.' : `Overlaps: ${overlaps.map((overlap) => `${overlap.peerTaskId}:${overlap.files.join(',')}`).join('; ')}` }, { name: 'unsafe_concurrency', passed: !unsafeOverlap, message: unsafeOverlap ? 'Writable overlapping tasks are not safe to run concurrently.' : 'No unsafe writable overlap detected.' }, { name: 'read_only', passed: sideEffect === 'read_only', message: sideEffect === 'read_only' ? 'Read-only task can run without worktree.' : 'Task may mutate local state or execute commands.' });
+    const mode = !task || !capability || unsafeOverlap
+        ? 'blocked'
+        : manualRisk || sideEffect === 'external_interaction'
+            ? 'manual'
+            : sideEffect === 'read_only'
+                ? 'none'
+                : 'required';
+    return {
+        version: WORKTREE_ISOLATION_CONTRACT_VERSION,
+        taskId: options.taskId,
+        mode,
+        safeConcurrency: mode !== 'blocked',
+        capabilityId,
+        capabilitySideEffect: sideEffect,
+        affectedFiles,
+        risk,
+        peers,
+        overlaps,
+        gates,
+        reasons
+    };
+}
+export async function inspectWorktreeIsolationContract(projectRoot) {
+    const capability = await inspectToolCapability(projectRoot, 'native-file-edit');
+    const issues = [];
+    if (!capability) {
+        issues.push('native-file-edit capability is missing.');
+    }
+    return { valid: issues.length === 0, issues };
+}
+function overlappingFiles(left, right) {
+    const rightSet = new Set(right.map(normalizeComparablePath));
+    return left.filter((file) => rightSet.has(normalizeComparablePath(file)));
+}
+function normalizeComparablePath(filePath) {
+    return filePath.replace(/\\/g, '/').replace(/^\.\//, '');
+}
+//# sourceMappingURL=isolation.js.map

package/packages/core/dist/worktree/isolation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isolation.js","sourceRoot":"","sources":["../../src/worktree/isolation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAEjG,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,MAAM,CAAC,MAAM,mCAAmC,GAAG,0CAA0C,CAAC;AA+B9F,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,WAAmB,EAAE,OAA2F;IAC7J,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,MAAM,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/E,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAChI,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,kBAAkB,CAAC;IAChE,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IAC5B,MAAM,aAAa,GAAG,IAAI,EAAE,aAAa,IAAI,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAyB,EAAE;QAClF,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC;QACpD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;IAClG,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,UAAU,EAAE,UAAU,IAAI,aAAa,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK;SACnB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,gBAAgB,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;SACxG,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,KAAK,MAAM,CAAC;IAClD,MAAM,UAAU,GAAG,WAAW,CAAC,iBAAiB,IAAI,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpG,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,KAAK,WAAW,CAAC;IACxE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAA4B,EAAE,CAAC;IAE1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,CAAC,IAAI,CAAC,QAAQ,OAAO,CAAC,MAAM,qCAAqC,MAAM,YAAY,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,cAAc,YAAY,wDAAwD,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,iDAAiD,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7J,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,qGAAqG,CAAC,CAAC;IACtH,CAAC;SAAM,IAAI,QAAQ,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;IACpF,CAAC;SAAM,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IAC5E,CAAC;SAAM,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,mBAAmB,EAAE,CAAC;QAC9E,OAAO,CAAC,IAAI,CAAC,iGAAiG,CAAC,CAAC;IAClH,CAAC;IAED,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,KAAK,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,MAAM,wBAAwB,EAAE,EAC/I,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,UAAU,KAAK,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,cAAc,YAAY,gBAAgB,UAAU,GAAG,CAAC,CAAC,CAAC,cAAc,YAAY,WAAW,EAAE,EACxL,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,aAAa,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EACtO,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,CAAC,sCAAsC,EAAE,EACxL,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,WAAW,EAAE,OAAO,EAAE,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,kDAAkD,EAAE,CACjM,CAAC;IAEF,MAAM,IAAI,GAA0B,CAAC,IAAI,IAAI,CAAC,UAAU,IAAI,aAAa;QACvE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,IAAI,UAAU,KAAK,sBAAsB;YACnD,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,UAAU,KAAK,WAAW;gBAC1B,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,UAAU,CAAC;IAEnB,OAAO;QACL,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI;QACJ,eAAe,EAAE,IAAI,KAAK,SAAS;QACnC,YAAY;QACZ,oBAAoB,EAAE,UAAU;QAChC,aAAa;QACb,IAAI;QACJ,KAAK;QACL,QAAQ;QACR,KAAK;QACL,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,WAAmB;IACxE,MAAM,UAAU,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IAChF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc,EAAE,KAAe;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAC7D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAgB;IAC/C,OAAO,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAC3D,CAAC"}

package/packages/core/dist/worktree/lifecycle.d.ts

@@ -0,0 +1,39 @@
+export declare const WORKTREE_LIFECYCLE_CONTRACT_VERSION = "phase-3.8-worktree-lifecycle-v1";
+export interface WorktreeLifecycleIssue {
+    field: string;
+    message: string;
+    recommendation: string;
+}
+export type WorktreeLifecycleStatus = 'created' | 'kept' | 'removed';
+export interface WorktreeLifecycleRecord {
+    contract: typeof WORKTREE_LIFECYCLE_CONTRACT_VERSION;
+    runId: string;
+    taskId: string;
+    worktreeId: string;
+    status: WorktreeLifecycleStatus;
+    branchName: string;
+    worktreePath: string;
+    baseRef: string;
+    createdAt: string;
+    updatedAt: string;
+    removedAt: string | null;
+    keepReason: string | null;
+    dirty: boolean;
+}
+export interface WorktreeLifecycleInspection {
+    runId: string;
+    contract: typeof WORKTREE_LIFECYCLE_CONTRACT_VERSION;
+    records: WorktreeLifecycleRecord[];
+    valid: boolean;
+    issues: WorktreeLifecycleIssue[];
+}
+export declare function createWorktreeLifecycle(projectRoot: string, runId: string, options: {
+    taskId: string;
+    baseRef?: string;
+    worktreeId?: string;
+}): Promise<WorktreeLifecycleRecord>;
+export declare function inspectWorktreeLifecycle(projectRoot: string, runId: string): Promise<WorktreeLifecycleInspection>;
+export declare function keepWorktreeLifecycle(projectRoot: string, runId: string, worktreeId: string, options?: {
+    reason?: string;
+}): Promise<WorktreeLifecycleRecord>;
+export declare function removeWorktreeLifecycle(projectRoot: string, runId: string, worktreeId: string): Promise<WorktreeLifecycleRecord>;