sdd-agent-platform 0.4.0 → 0.4.2

package/node_modules/@sdd-agent-platform/core/src/sync-back/sync-back.test.ts

@@ -1,446 +0,0 @@
-import test from 'node:test';
-import assert from 'node:assert/strict';
-import { execFile } from 'node:child_process';
-import { mkdtemp, readFile, rm, writeFile } from 'node:fs/promises';
-import { tmpdir } from 'node:os';
-import path from 'node:path';
-import { promisify } from 'node:util';
-
-import { initProject } from '../config/init-project.js';
-import { getProjectStatus } from '../status/project-status.js';
-import { writeArtifact } from '../run-state/artifacts.js';
-import { queryLocalRunIndex, rebuildLocalRunIndex } from '../run-state/run-index.js';
-import { createRun, readRunState, writeRunState } from '../run-state/run-state.js';
-import { evaluateLifecycleRiskDecisionForModel, recordLifecycleRiskDecisionProjection } from '../risk.js';
-import { graphTaskMarkdown, taskMarkdownWithFiles, validResultArtifact, validTaskMarkdown, validTrustEvidence, writeBranchDocs } from '../test-support/fixtures.js';
-import { parseSddBranch } from '../sdd-docs/task-parser.js';
-import { bindTestRunState, markTestRunReadyForSyncBack } from '../test-support/run-state.js';
-import { runGoalVerify } from '../verification/goal-verify.js';
-import { inspectVerifyContract, writeVerifyContract } from '../verification/verify-contract.js';
-import { runSingleTaskLoop } from '../verification/single-task-loop.js';
-import { createDelegationRecord } from '../delegation/validation.js';
-import { applySyncBack } from './apply.js';
-import { inspectSyncBack } from './inspect.js';
-
-const execFileAsync = promisify(execFile);
-
-test('sync-back inspect blocks modified proposal digest', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-digest-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-    await writeArtifact(root, state.runId, 'sync-back-proposal.md', 'status: verified\nmodified: true\n');
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'blocked');
-    assert.equal(syncBack.proposalDigestValid, false);
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('digest changed')), true);
-    await assert.rejects(
-      () => applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' }),
-      /digest changed/
-    );
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back apply requires approval for risky complex tasks', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-approval-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', `# Tasks\n\n${graphTaskMarkdown('T1', [], ['packages/core/src/index.ts'], ['database'])}`);
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await writeArtifact(root, state.runId, 'review-T1.md', validResultArtifact('reviewer', 'T1', 'PASS', 'artifacts/review-T1.md'));
-    await writeArtifact(root, state.runId, 'validation-T1.md', `${validResultArtifact('validator', 'T1', 'PASS', 'artifacts/validation-T1.md')}${validTrustEvidence('T1', 'Graph output is inspectable.', 'artifacts/validation-T1.md')}`);
-
-    await runGoalVerify(root, {
-      runId: state.runId,
-      branch: 'feature',
-      taskId: 'T1',
-      reviewArtifact: 'artifacts/review-T1.md',
-      validationArtifact: 'artifacts/validation-T1.md'
-    });
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'ready');
-    assert.equal(syncBack.applyPolicy.mode, 'confirm');
-    assert.equal(syncBack.applyPolicy.requiresApproval, true);
-    assert.equal(syncBack.applyPolicy.reasons.some((reason) => reason.includes('risk tags')), true);
-    assert.equal(syncBack.approvalCard.contract, 'sdd-sync-back-approval-card-v1');
-    assert.equal(syncBack.approvalCard.status, 'ready');
-    assert.equal(syncBack.approvalCard.risk, 'review');
-    assert.equal(syncBack.approvalCard.approval.requiresApproval, true);
-    assert.equal(syncBack.approvalCard.proposal.digestValid, true);
-    assert.match(syncBack.approvalCard.nextAction, /--approved/);
-    assert.match(syncBack.approvalCard.nextAction, /Review artifacts\/sync-back-proposal\.md and apply policy/);
-    assert.match(syncBack.approvalCard.nextAction, /sdd sync-back apply run-1 --branch feature --task T1 --approved/);
-    await assert.rejects(
-      () => applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' }),
-      /--approved/
-    );
-
-    const applied = await applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1', approved: true });
-    const tasksAfterSyncBack = await readFile(path.join(root, 'specs', 'feature', 'tasks.md'), 'utf8');
-
-    assert.equal(applied.applied, true);
-    assert.match(tasksAfterSyncBack, /status: completed/);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back gates direct-safe task by task scope instead of branch lifecycle risk', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-task-scope-'));
-  try {
-    await initProject(root);
-    const directTask = validTaskMarkdown('T1', []).replace('packages/core/src/index.ts', 'docs/t1.md');
-    const securityTask = validTaskMarkdown('SECURITY', [])
-      .replace('packages/core/src/index.ts', 'packages/core/src/security.ts')
-      .replace('risk: []', 'risk:\n  - security');
-    await writeBranchDocs(root, 'feature', `${directTask}\n${securityTask}`);
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const model = await parseSddBranch(root, 'feature');
-    await recordLifecycleRiskDecisionProjection(root, evaluateLifecycleRiskDecisionForModel('feature', model));
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.lifecycleRisk.scopeKey, 'feature:all:none:none');
-    assert.notEqual(syncBack.lifecycleRisk.approvalPolicy, 'auto-allow');
-    assert.equal(syncBack.status, 'ready');
-    assert.equal(syncBack.applyPolicy.mode, 'direct');
-    assert.equal(syncBack.applyPolicy.requiresApproval, false);
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('Lifecycle risk requires human approval before sync-back')), false);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back apply rejects blocked runs and reports inspect reasons', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-blocked-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await writeArtifact(root, state.runId, 'review-T1.md', validResultArtifact('reviewer', 'T1', 'PASS', 'artifacts/review-T1.md'));
-    await writeArtifact(root, state.runId, 'validation-T1.md', `${validResultArtifact('validator', 'T1', 'PASS_WITH_GAPS', 'artifacts/validation-T1.md')}${validTrustEvidence('T1', 'AC-1', 'artifacts/validation-T1.md')}`);
-
-    await runSingleTaskLoop(root, {
-      runId: state.runId,
-      branch: 'feature',
-      taskId: 'T1',
-      reviewArtifact: 'artifacts/review-T1.md',
-      validationArtifact: 'artifacts/validation-T1.md'
-    });
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'blocked');
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('Run status is blocked')), true);
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('validation status is pass_with_gaps')), true);
-    await assert.rejects(
-      () => applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' }),
-      /Cannot apply sync-back for run-1/
-    );
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('Phase 6.5 resolves latest eligible run by partition and task without run id', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-phase65-resolver-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature-a', validTaskMarkdown('T1', []).replace('packages/core/src/index.ts', 'packages/core/src/a.ts'));
-    await writeBranchDocs(root, 'feature-b', validTaskMarkdown('T1', []).replace('packages/core/src/index.ts', 'packages/core/src/b.ts'));
-    await writeVerifyContract(root, { branch: 'feature-a', branchSource: 'cli_option' });
-    await writeVerifyContract(root, { branch: 'feature-b', branchSource: 'cli_option' });
-    const runA = await createRun(root, { runId: 'run-a' });
-    await bindTestRunState(root, runA.runId, 'feature-a', 'T1');
-    await markTestRunReadyForSyncBack(root, runA.runId, 'T1');
-    const runB = await createRun(root, { runId: 'run-b' });
-    await bindTestRunState(root, runB.runId, 'feature-b', 'T1');
-    await markTestRunReadyForSyncBack(root, runB.runId, 'T1');
-
-    const index = await rebuildLocalRunIndex(root);
-    const featureA = await inspectSyncBack(root, { branch: 'feature-a', taskId: 'T1' });
-    const featureB = await inspectSyncBack(root, { branch: 'feature-b', taskId: 'T1' });
-    const queried = await queryLocalRunIndex(root, { partition: 'feature-a', taskId: 'T1' });
-
-    assert.deepEqual(index.latestByPartitionTask.map((entry) => `${entry.partition}:${entry.taskId}:${entry.runId}`).sort(), ['feature-a:T1:run-a', 'feature-b:T1:run-b']);
-    assert.equal(featureA.runId, 'run-a');
-    assert.equal(featureA.status, 'ready');
-    assert.equal(featureB.runId, 'run-b');
-    assert.equal(featureB.status, 'ready');
-    assert.deepEqual(queried.latestByPartitionTask.map((entry) => entry.runId), ['run-a']);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('Phase 6.5 marks changed documents as stale and blocks sync-back apply', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-phase65-stale-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-    await writeFile(path.join(root, 'specs', 'feature', 'tasks.md'), `${validTaskMarkdown('T1', [])}\n<!-- changed after run -->\n`, 'utf8');
-
-    const syncBack = await inspectSyncBack(root, { branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.runId, state.runId);
-    assert.equal(syncBack.status, 'blocked');
-    assert.equal(syncBack.staleReasons.some((reason) => reason.includes('tasks.md')), true);
-    await assert.rejects(
-      () => applySyncBack(root, { branch: 'feature', taskId: 'T1' }),
-      /Run snapshot/
-    );
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back inspect reports stale verify contract as diagnostic without blocking ready task', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-stale-verify-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    await writeFile(path.join(root, 'specs', 'feature', 'tasks.md'), validTaskMarkdown('T1', []).replace('validation:\n  - npm test', 'validation:\n  - npm test\n  - npm run extra'), 'utf8');
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'ready');
-    assert.equal(syncBack.verifyContractStatus, 'WARN');
-    assert.match(syncBack.staleVerifyRecoveryCommand ?? '', /sdd verifies write --branch feature --force/);
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('Verify contract is WARN')), false);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back inspect reports missing verify contract as diagnostic without blocking ready task', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-missing-verify-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'ready');
-    assert.equal(syncBack.verifyContractStatus, 'WARN');
-    assert.equal(syncBack.verifyContractIssues.some((issue) => issue.field === 'verify.md'), true);
-    assert.match(syncBack.staleVerifyRecoveryCommand ?? '', /sdd verifies write --branch feature --force/);
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('Verification contract document is missing.')), false);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back apply refreshes stale verify contract when explicitly requested', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-refresh-verify-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    await writeFile(path.join(root, 'specs', 'feature', 'tasks.md'), validTaskMarkdown('T1', []).replace('validation:\n  - npm test', 'validation:\n  - npm test\n  - npm run extra'), 'utf8');
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-
-    const applied = await applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1', refreshVerify: true, approved: true });
-    const verify = await readFile(path.join(root, 'specs', 'feature', 'verify.md'), 'utf8');
-
-    assert.equal(applied.applied, true);
-    assert.equal(applied.verifyRefreshed, true);
-    assert.equal(applied.inspection.status, 'applied');
-    assert.match(verify, /npm run extra/);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back apply refreshes verify contract after tasks writeback', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-post-apply-refresh-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []).replace('packages/core/src/index.ts', 'docs/T1.md'));
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-
-    const applied = await applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'T1', refreshVerify: true });
-    const verify = await inspectVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const status = await getProjectStatus(root, { branch: 'feature' });
-
-    assert.equal(applied.applied, true);
-    assert.equal(applied.verifyRefreshed, true);
-    assert.equal(applied.inspection.status, 'applied');
-    assert.equal(verify.status, 'PASS');
-    assert.equal(status.gaps.length, 0);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('Phase 6.5 requires approval before sync-back apply on the wrong Git branch', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-phase65-wrong-branch-'));
-  try {
-    await initProject(root);
-    await execFileAsync('git', ['init'], { cwd: root });
-    await execFileAsync('git', ['checkout', '-b', 'other'], { cwd: root });
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []));
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const state = await createRun(root, { runId: 'run-1' });
-    await bindTestRunState(root, state.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, state.runId, 'T1');
-
-    const syncBack = await inspectSyncBack(root, { branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'ready');
-    assert.equal(syncBack.applyPolicy.requiresApproval, true);
-    assert.equal(syncBack.applyPolicy.reasons.some((reason) => reason.includes('Current Git branch is other')), true);
-    await assert.rejects(
-      () => applySyncBack(root, { branch: 'feature', taskId: 'T1' }),
-      /--approved/
-    );
-    const applied = await applySyncBack(root, { branch: 'feature', taskId: 'T1', approved: true });
-    assert.equal(applied.applied, true);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('Phase 6.5 reports active affected file conflicts', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-phase65-affected-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', `# Tasks\n\n${taskMarkdownWithFiles('T1', ['packages/core/src/index.ts'], [])}\n${taskMarkdownWithFiles('T2', ['packages/core/src/index.ts'], [])}`);
-    const runA = await createRun(root, { runId: 'run-a' });
-    await bindTestRunState(root, runA.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, runA.runId, 'T1');
-    const runB = await createRun(root, { runId: 'run-b' });
-    await bindTestRunState(root, runB.runId, 'feature', 'T2');
-    await markTestRunReadyForSyncBack(root, runB.runId, 'T2');
-
-    const syncBack = await inspectSyncBack(root, { runId: runA.runId, branch: 'feature', taskId: 'T1' });
-    const status = await getProjectStatus(root, { branch: 'feature' });
-
-    assert.equal(syncBack.status, 'blocked');
-    assert.deepEqual(syncBack.affectedFileConflicts.map((entry) => entry.runId), ['run-b']);
-    assert.equal(syncBack.approvalCard.status, 'blocked');
-    assert.equal(syncBack.approvalCard.risk, 'blocked');
-    assert.deepEqual(syncBack.approvalCard.affectedFileConflicts.map((entry) => entry.runId), ['run-b']);
-    assert.equal(syncBack.approvalCard.blockers.some((reason) => reason.includes('Affected file packages/core/src/index.ts')), true);
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('Affected file packages/core/src/index.ts')), true);
-    assert.equal(status.affectedFileConflicts.length > 0, true);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back ignores superseded failed retry runs for the same task and file', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-retry-conflict-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []).replace('packages/core/src/index.ts', 'docs/retry.md'));
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const failed = await createRun(root, { runId: 'run-failed' });
-    await bindTestRunState(root, failed.runId, 'feature', 'T1');
-    await writeRunState(root, {
-      ...await readRunState(root, failed.runId),
-      status: 'failed',
-      validation: { status: 'fail', commands: ['npm test'], evidence: [] }
-    });
-    const retry = await createRun(root, { runId: 'run-retry' });
-    await bindTestRunState(root, retry.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, retry.runId, 'T1');
-
-    const syncBack = await inspectSyncBack(root, { runId: retry.runId, branch: 'feature', taskId: 'T1' });
-    const applied = await applySyncBack(root, { runId: retry.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'ready');
-    assert.deepEqual(syncBack.affectedFileConflicts, []);
-    assert.equal(applied.applied, true);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back ignores foreground non-authoritative observer runs as affected-file conflicts', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-foreground-conflict-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', validTaskMarkdown('T1', []).replace('packages/core/src/index.ts', 'docs/observer.md'));
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const observer = await createRun(root, { runId: 'run-observer' });
-    await bindTestRunState(root, observer.runId, 'feature', 'T1');
-    const delegation = createDelegationRecord({
-      delegationId: 'F-T1-observer-001',
-      task: 'T1',
-      agent: 'observer',
-      runMode: 'foreground',
-      blocking: false,
-      requiredForPhaseExit: false,
-      expectedArtifact: 'artifacts/observer-T1.md'
-    });
-    await writeRunState(root, {
-      ...await readRunState(root, observer.runId),
-      status: 'completed',
-      phase: 'foreground-subagents',
-      delegations: { [delegation.delegationId]: { ...delegation, status: 'COMPLETED', terminalEventAt: new Date().toISOString() } }
-    });
-    const main = await createRun(root, { runId: 'run-main' });
-    await bindTestRunState(root, main.runId, 'feature', 'T1');
-    await markTestRunReadyForSyncBack(root, main.runId, 'T1');
-
-    const syncBack = await inspectSyncBack(root, { runId: main.runId, branch: 'feature', taskId: 'T1' });
-
-    assert.equal(syncBack.status, 'ready');
-    assert.deepEqual(syncBack.affectedFileConflicts, []);
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});
-
-test('sync-back blocks downstream apply until dependencies are completed', async () => {
-  const root = await mkdtemp(path.join(tmpdir(), 'sdd-syncback-dependencies-'));
-  try {
-    await initProject(root);
-    await writeBranchDocs(root, 'feature', `# Tasks\n\n${validTaskMarkdown('DEP1', [])}\n${validTaskMarkdown('DEP2', ['DEP1']).replace('packages/core/src/index.ts', 'docs/dep2.md')}`);
-    await writeVerifyContract(root, { branch: 'feature', branchSource: 'cli_option' });
-    const state = await createRun(root, { runId: 'run-dep2' });
-    await bindTestRunState(root, state.runId, 'feature', 'DEP2');
-    await markTestRunReadyForSyncBack(root, state.runId, 'DEP2');
-
-    const syncBack = await inspectSyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'DEP2' });
-
-    assert.equal(syncBack.status, 'blocked');
-    assert.equal(syncBack.reasons.some((reason) => reason.includes('DEP2 depends on DEP1, but DEP1 status is pending')), true);
-    await assert.rejects(
-      () => applySyncBack(root, { runId: state.runId, branch: 'feature', taskId: 'DEP2', approved: true }),
-      /DEP2 depends on DEP1/
-    );
-  } finally {
-    await rm(root, { recursive: true, force: true });
-  }
-});

package/node_modules/@sdd-agent-platform/core/src/sync-back.ts

@@ -1,2 +0,0 @@
-export * from './sync-back/apply.js';
-export * from './sync-back/inspect.js';

package/packages/cli/dist/commands/artifact.d.ts

@@ -1,6 +0,0 @@
-export interface CliResult {
-    exitCode: number;
-    output?: string;
-    error?: string;
-}
-export declare function handleArtifactCommand(projectRoot: string, command: string | undefined, subcommand: string | undefined, rest: string[]): Promise<CliResult | null>;

package/packages/cli/dist/commands/artifact.js

@@ -1,168 +0,0 @@
-import { ingestArtifactResult, inspectArtifactResultIngestions } from '@sdd-agent-platform/core/artifacts';
-import { validateSddResultArtifact } from '@sdd-agent-platform/core/artifacts';
-import { renderSddResultArtifactTemplate } from '@sdd-agent-platform/core/artifacts';
-import { readRunState, writeArtifact } from '@sdd-agent-platform/core/run-state';
-import { toArtifactRootRelativePath } from '@sdd-agent-platform/core/runtime-paths';
-import { readBranchOption, readSddResultStatus } from '../args.js';
-import { hasHelpFlag, hasPreflightFlag, readOption } from '../options.js';
-import { renderArtifactIngestionInspection, renderArtifactIngestionResult, renderArtifactValidationReport } from '../renderers/artifacts.js';
-import { renderTextOrJson } from '../renderers/json.js';
-export async function handleArtifactCommand(projectRoot, command, subcommand, rest) {
-    if (command !== 'artifact') {
-        return null;
-    }
-    if (hasHelpFlag([subcommand, ...rest].filter((item) => Boolean(item)))) {
-        return {
-            exitCode: 0,
-            output: artifactUsage(subcommand)
-        };
-    }
-    if (subcommand === 'template') {
-        const artifactPath = rest.find((item) => !item.startsWith('--'));
-        const taskId = readOption(rest, '--task');
-        const agent = readOption(rest, '--agent');
-        if (!artifactPath || !taskId || !agent) {
-            return {
-                exitCode: 2,
-                error: artifactUsage('template')
-            };
-        }
-        if (hasPreflightFlag(rest)) {
-            return {
-                exitCode: 0,
-                output: artifactPreflightOutput('artifact template', artifactPath, rest)
-            };
-        }
-        const runId = readOption(rest, '--run');
-        const branch = readBranchOption(rest);
-        if (runId) {
-            const scopeError = await artifactTemplateScopeError(projectRoot, runId, taskId, branch);
-            if (scopeError) {
-                return {
-                    exitCode: 2,
-                    error: scopeError
-                };
-            }
-        }
-        const template = await renderSddResultArtifactTemplate(projectRoot, {
-            artifactPath,
-            taskId,
-            agent,
-            branch,
-            runId: runId ?? undefined,
-            status: readSddResultStatus(rest, '--status') ?? 'PASS'
-        });
-        if (rest.includes('--write')) {
-            if (!runId) {
-                return {
-                    exitCode: 2,
-                    error: 'Usage: sdd artifact template <artifacts/path.md> --task <task_id> --agent <agent> --run <run_id> --write'
-                };
-            }
-            const written = await writeArtifact(projectRoot, runId, toArtifactRootRelativePath(artifactPath), template);
-            return {
-                exitCode: 0,
-                output: `Artifact template written: ${written.runRelativePath}\nphysical_path=${written.absolutePath}`
-            };
-        }
-        return {
-            exitCode: 0,
-            output: template
-        };
-    }
-    if (subcommand === 'validate') {
-        const runId = rest[0];
-        const artifactPath = rest[1];
-        if (!runId || !artifactPath) {
-            return {
-                exitCode: 2,
-                error: artifactUsage('validate')
-            };
-        }
-        const expectedTask = readOption(rest, '--task') ?? undefined;
-        const expectedAgent = readOption(rest, '--agent') ?? undefined;
-        const report = await validateSddResultArtifact(projectRoot, runId, artifactPath, {
-            expectedTask,
-            expectedAgent
-        });
-        return {
-            exitCode: report.valid ? 0 : 1,
-            output: renderTextOrJson(rest, report, (value) => renderArtifactValidationReport(artifactPath, value, expectedTask, expectedAgent))
-        };
-    }
-    if (subcommand === 'ingest') {
-        const runId = rest[0];
-        const delegationId = rest[1];
-        const artifactPath = rest[2];
-        if (!runId || !delegationId || !artifactPath) {
-            return {
-                exitCode: 2,
-                error: artifactUsage('ingest')
-            };
-        }
-        if (hasPreflightFlag(rest)) {
-            return {
-                exitCode: 0,
-                output: artifactPreflightOutput('artifact ingest', artifactPath, rest)
-            };
-        }
-        const result = await ingestArtifactResult(projectRoot, runId, { delegationId, artifactPath });
-        return {
-            exitCode: result.valid ? 0 : 1,
-            output: rest.includes('--json') ? JSON.stringify(result, null, 2) : renderArtifactIngestionResult(result)
-        };
-    }
-    if (subcommand === 'ingestions') {
-        const runId = rest[0];
-        if (!runId) {
-            return {
-                exitCode: 2,
-                error: artifactUsage('ingestions')
-            };
-        }
-        const inspection = await inspectArtifactResultIngestions(projectRoot, runId);
-        return {
-            exitCode: inspection.valid ? 0 : 1,
-            output: rest.includes('--json') ? JSON.stringify(inspection, null, 2) : renderArtifactIngestionInspection(inspection)
-        };
-    }
-    return null;
-}
-function artifactUsage(subcommand) {
-    if (subcommand === 'template') {
-        return 'Usage: sdd artifact template <artifacts/path.md> --task <task_id> --agent <agent> [--run <run_id> --write] [--branch <branch>] [--status <status>] [--preflight]';
-    }
-    if (subcommand === 'validate') {
-        return 'Usage: sdd artifact validate <run_id> <artifacts/path.md> [--task <task_id>] [--agent <agent>] [--json|--compact-json]';
-    }
-    if (subcommand === 'ingest') {
-        return 'Usage: sdd artifact ingest <run_id> <delegation_id> <artifacts/path.md> [--preflight] [--json]';
-    }
-    if (subcommand === 'ingestions') {
-        return 'Usage: sdd artifact ingestions <run_id> [--json]';
-    }
-    return 'Usage: sdd artifact template|validate|ingest|ingestions [options]';
-}
-async function artifactTemplateScopeError(projectRoot, runId, taskId, branch) {
-    const state = await readRunState(projectRoot, runId);
-    if (!state.partition && !state.gitBranch) {
-        return `Run ${runId} is unscoped; create it with sdd run create --branch <branch> --task <task_id> before writing artifacts.`;
-    }
-    if (!state.taskId) {
-        return `Run ${runId} has no scoped task; create it with sdd run create --branch <branch> --task <task_id> before writing artifacts.`;
-    }
-    if (state.taskId !== taskId) {
-        return `Run ${runId} is scoped to task ${state.taskId}, not ${taskId}.`;
-    }
-    if (branch && branch !== state.partition && branch !== state.gitBranch) {
-        return `Run ${runId} is scoped to branch ${state.gitBranch ?? state.partition}, not ${branch}.`;
-    }
-    return null;
-}
-function artifactPreflightOutput(commandName, artifactPath, args) {
-    if (args.includes('--json') || args.includes('--compact-json')) {
-        return renderTextOrJson(args, { contract: 'sdd-command-preflight-v1', command: commandName, artifactPath, sideEffects: 'none', status: 'PASS' }, (value) => JSON.stringify(value, null, 2));
-    }
-    return `SDD command preflight PASS\ncommand=${commandName}\nartifact=${artifactPath}\nside_effects=none`;
-}
-//# sourceMappingURL=artifact.js.map

package/packages/cli/dist/commands/artifact.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"artifact.js","sourceRoot":"","sources":["../../src/commands/artifact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,+BAA+B,EAAE,MAAM,oCAAoC,CAAC;AAC3G,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAE,+BAA+B,EAAE,MAAM,oCAAoC,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC1E,OAAO,EAAE,iCAAiC,EAAE,6BAA6B,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC7I,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAQxD,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,OAA2B,EAAE,UAA8B,EAAE,IAAc;IAC1I,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,WAAW,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC;SAClC,CAAC;IACJ,CAAC;IAGD,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1C,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YACvC,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC;aACjC,CAAC;QACJ,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,uBAAuB,CAAC,mBAAmB,EAAE,YAAY,EAAE,IAAI,CAAC;aACzE,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,UAAU,GAAG,MAAM,0BAA0B,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YACxF,IAAI,UAAU,EAAE,CAAC;gBACf,OAAO;oBACL,QAAQ,EAAE,CAAC;oBACX,KAAK,EAAE,UAAU;iBAClB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,+BAA+B,CAAC,WAAW,EAAE;YAClE,YAAY;YACZ,MAAM;YACN,KAAK;YACL,MAAM;YACN,KAAK,EAAE,KAAK,IAAI,SAAS;YACzB,MAAM,EAAE,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM;SACxD,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO;oBACL,QAAQ,EAAE,CAAC;oBACX,KAAK,EAAE,0GAA0G;iBAClH,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,0BAA0B,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC5G,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,8BAA8B,OAAO,CAAC,eAAe,mBAAmB,OAAO,CAAC,YAAY,EAAE;aACvG,CAAC;QACJ,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,QAAQ;SACjB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5B,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC;aACjC,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC;QAC7D,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE;YAC/E,YAAY;YACZ,aAAa;SACd,CAAC,CAAC;QACH,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;SACpI,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,EAAE,CAAC;YAC7C,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC;aAC/B,CAAC;QACJ,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,uBAAuB,CAAC,iBAAiB,EAAE,YAAY,EAAE,IAAI,CAAC;aACvE,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC;QAC9F,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,6BAA6B,CAAC,MAAM,CAAC;SAC1G,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,aAAa,CAAC,YAAY,CAAC;aACnC,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,+BAA+B,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC7E,OAAO;YACL,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,UAAU,CAAC;SACtH,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AACD,SAAS,aAAa,CAAC,UAA8B;IACnD,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,kKAAkK,CAAC;IAC5K,CAAC;IACD,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,wHAAwH,CAAC;IAClI,CAAC;IACD,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,gGAAgG,CAAC;IAC1G,CAAC;IACD,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,OAAO,kDAAkD,CAAC;IAC5D,CAAC;IACD,OAAO,mEAAmE,CAAC;AAC7E,CAAC;AAED,KAAK,UAAU,0BAA0B,CAAC,WAAmB,EAAE,KAAa,EAAE,MAAc,EAAE,MAA0B;IACtH,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACzC,OAAO,OAAO,KAAK,0GAA0G,CAAC;IAChI,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,OAAO,KAAK,iHAAiH,CAAC;IACvI,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,OAAO,KAAK,sBAAsB,KAAK,CAAC,MAAM,SAAS,MAAM,GAAG,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,IAAI,MAAM,KAAK,KAAK,CAAC,SAAS,IAAI,MAAM,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QACvE,OAAO,OAAO,KAAK,wBAAwB,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,SAAS,MAAM,GAAG,CAAC;IAClG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,WAAmB,EAAE,YAAoB,EAAE,IAAc;IACxF,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/D,OAAO,gBAAgB,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9L,CAAC;IACD,OAAO,uCAAuC,WAAW,cAAc,YAAY,qBAAqB,CAAC;AAC3G,CAAC"}

package/packages/cli/dist/commands/sync-back.d.ts

@@ -1,6 +0,0 @@
-export interface CliResult {
-    exitCode: number;
-    output?: string;
-    error?: string;
-}
-export declare function handleSyncBackCommand(projectRoot: string, command: string | undefined, subcommand: string | undefined, rest: string[]): Promise<CliResult | null>;