sdd-agent-platform 0.4.2 → 0.5.1

package/packages/core/dist/verification/rendering.js

@@ -1,6 +1,6 @@
 import { appendTaskGaps } from '../sdd-docs/task-rendering.js';
-export function renderGoalVerifyResult(result) {
-    const lines = ['SDD verify task result', 'changed'];
+export function renderTaskEvidenceJudgmentResult(result) {
+    const lines = ['SDD execute evidence judgment result', 'changed'];
     lines.push(`- acceptance coverage written to ${result.coverageArtifactPath}`);
     lines.push('decision');
     lines.push(`- status=${result.status}`);
@@ -9,7 +9,7 @@ export function renderGoalVerifyResult(result) {
     lines.push('evidence');
     lines.push(`- run=${result.runId}`);
     lines.push(`- task=${result.taskId}`);
-    lines.push('- artifact_path_scope=goal-verify consumes accepted runtime evidence refs; runtime writes runtime.sqlite only');
+    lines.push('- artifact_path_scope=execute consumes accepted runtime evidence refs; runtime writes runtime.sqlite only');
     lines.push(`- review_artifact=${result.reviewArtifact ?? 'none'}`);
     lines.push(`- validation_artifact=${result.validationArtifact ?? 'none'}`);
     lines.push(`- planned_commands=${(result.plannedCommands ?? result.commands).join(', ') || 'none'}`);
@@ -31,17 +31,17 @@ export function renderGoalVerifyResult(result) {
     }
     lines.push('next');
     if (result.status === 'PASS') {
-        lines.push(`- sdd test task-${result.taskId} --run ${result.runId}`);
-        lines.push('- then follow truth-alignment and ship gate readiness.');
+        lines.push(`- sdd execute --run ${result.runId} --branch <branch>`);
+        lines.push('- then follow execute evidence judgment and ship gate readiness.');
     }
     else {
-        lines.push(`- update review/validator artifacts and rerun sdd test task-${result.taskId} --run ${result.runId}`);
+        lines.push(`- update review/validator artifacts and rerun sdd execute --run ${result.runId} --branch <branch>`);
     }
     return lines.join('\n');
 }
 export function renderSingleTaskLoopResult(result) {
-    const lines = ['SDD do task result', 'changed'];
-    lines.push(`- run ${result.runId} created or updated for task ${result.taskId}`);
+    const lines = ['SDD execute task result', 'changed'];
+    lines.push(result.runId ? `- run ${result.runId} created or updated for task ${result.taskId}` : `- no run created for task ${result.taskId}`);
     if (result.acceptedArtifacts.length > 0) {
         lines.push(`- accepted artifacts: ${result.acceptedArtifacts.join(', ')}`);
     }
@@ -51,7 +51,7 @@ export function renderSingleTaskLoopResult(result) {
     lines.push(`- router category=${result.routeDecision.category} recommended_profile=${result.routeDecision.recommendedProfile ?? 'none'} autonomy=${result.routeDecision.autonomyCeiling}`);
     lines.push(`- team_mode=${result.routeDecision.teamMode.decision} mode=${result.routeDecision.teamMode.mode} activation=${result.routeDecision.teamMode.activation} cost=${result.routeDecision.teamMode.costClass}`);
     lines.push('evidence');
-    lines.push('- artifact_path_scope=agent-authored .sdd/runs/<branch>/do/*.md evidence; runtime reads frontmatter/hashes and writes runtime.sqlite only');
+    lines.push('- artifact_path_scope=agent-authored .sdd/runs/<branch>/execute/*.md evidence; runtime reads frontmatter/hashes and writes runtime.sqlite only');
     lines.push(`- required_artifacts=${result.requiredArtifacts.join(',') || 'none'}`);
     lines.push(`- accepted_artifacts=${result.acceptedArtifacts.join(',') || 'none'}`);
     lines.push('- agent_execution_records=runtime.sqlite:agent_executions');
@@ -66,20 +66,20 @@ export function renderSingleTaskLoopResult(result) {
     lines.push('next');
     if (result.status === 'completed') {
         if (result.task && !requiresImmediateValidation(result.task) && result.task.validationBatch) {
-            lines.push(`- sdd status --branch <branch> to select the next safe do task or validation boundary`);
-            lines.push(`- after all tasks in validation_batch ${result.task.validationBatch} are implemented, run sdd test ${result.task.validationBatch}`);
+            lines.push(`- sdd status --branch <branch> to select the next safe execute task or validation boundary`);
+            lines.push(`- after all tasks in validation_batch ${result.task.validationBatch} are implemented, run sdd execute --branch <branch> --json`);
         }
         else {
-            lines.push(`- sdd test task-${result.taskId} --run ${result.runId}`);
+            lines.push(`- sdd execute --run ${result.runId} --branch <branch>`);
         }
     }
     else {
         const missingArtifacts = result.requiredArtifacts.filter((artifact) => !result.acceptedArtifacts.includes(artifact));
         if (missingArtifacts.length > 0) {
-            lines.push(`- write missing do-stage evidence: ${missingArtifacts.join(', ')}`);
+            lines.push(`- write missing execute-stage evidence: ${missingArtifacts.join(', ')}`);
             lines.push('- runtime must not author Markdown artifacts for this entrypoint');
         }
-        lines.push(`- sdd do task ${result.taskId} --run ${result.runId} --branch <branch>`);
+        lines.push(`- sdd execute --run ${result.runId} --branch <branch>`);
     }
     return lines.join('\n');
 }

package/packages/core/dist/verification/rendering.js.map

@@ -1 +1 @@
-{"version":3,"file":"rendering.js","sourceRoot":"","sources":["../../src/verification/rendering.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAoD/D,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,MAAM,KAAK,GAAG,CAAC,wBAAwB,EAAE,SAAS,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,oCAAoC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,+GAA+G,CAAC,CAAC;IAC5H,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,IAAI,MAAM,EAAE,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,kBAAkB,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACrG,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC1F,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,aAAa,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACvE,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,+DAA+D,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAgC;IACzE,MAAM,KAAK,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,gCAAgC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,aAAa,CAAC,QAAQ,wBAAwB,MAAM,CAAC,aAAa,CAAC,kBAAkB,IAAI,MAAM,aAAa,MAAM,CAAC,aAAa,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3L,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,2IAA2I,CAAC,CAAC;IACxJ,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC5F,KAAK,CAAC,IAAI,CAAC,uFAAuF,CAAC,CAAC;YACpG,KAAK,CAAC,IAAI,CAAC,yCAAyC,MAAM,CAAC,IAAI,CAAC,eAAe,kCAAkC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QAClJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrH,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,sCAAsC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChF,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa;IAChD,OAAO,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AAC/E,CAAC"}
+{"version":3,"file":"rendering.js","sourceRoot":"","sources":["../../src/verification/rendering.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAoD/D,MAAM,UAAU,gCAAgC,CAAC,MAAsC;IACrF,MAAM,KAAK,GAAG,CAAC,sCAAsC,EAAE,SAAS,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,oCAAoC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,2GAA2G,CAAC,CAAC;IACxH,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,IAAI,MAAM,EAAE,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,kBAAkB,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACrG,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC1F,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,aAAa,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IACjF,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,mEAAmE,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAgC;IACzE,MAAM,KAAK,GAAG,CAAC,yBAAyB,EAAE,SAAS,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,gCAAgC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,6BAA6B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/I,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,aAAa,CAAC,QAAQ,wBAAwB,MAAM,CAAC,aAAa,CAAC,kBAAkB,IAAI,MAAM,aAAa,MAAM,CAAC,aAAa,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3L,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,gJAAgJ,CAAC,CAAC;IAC7J,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC5F,KAAK,CAAC,IAAI,CAAC,4FAA4F,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,yCAAyC,MAAM,CAAC,IAAI,CAAC,eAAe,4DAA4D,CAAC,CAAC;QAC/I,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrH,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,2CAA2C,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa;IAChD,OAAO,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AAC/E,CAAC"}

package/packages/core/dist/verification/single-task-loop.d.ts

@@ -22,6 +22,7 @@ export interface SingleTaskLoopResult {
     gaps: SddTaskGap[];
     requiredArtifacts: string[];
     acceptedArtifacts: string[];
+    syncBackProposalPath: string;
     routeDecision: AgentRouterDecision;
     message: string;
 }

package/packages/core/dist/verification/single-task-loop.js

@@ -1,5 +1,5 @@
+import { createHash } from 'node:crypto';
 import { SDD_RESULT_CONTRACT, SDD_RESULT_VERSION } from '../contracts.js';
-import { toBranchStageEvidenceRef } from '../runtime-paths.js';
 import { artifactKind, writeArtifact } from '../run-state/artifacts.js';
 import { appendEvent } from '../run-state/events.js';
 import { createRun, readRunState, writeRunState } from '../run-state/run-state.js';
@@ -7,31 +7,29 @@ import { resolveSddContext } from '../sdd-docs/context.js';
 import { bindRunStateToTask } from '../sdd-docs/run-binding.js';
 import { inspectSddTask, taskGap } from '../sdd-docs/task-inspection.js';
 import { parseSddBranch } from '../sdd-docs/task-parser.js';
-import { readLifecycleRiskDecisionProjection } from '../risk/kernel.js';
 import { routeSddTask } from '../router/route-sdd-task.js';
 import { buildAgentExecutionRecord, buildTeamSessionRecord, writeAgentExecutionRecord, writeTeamSessionRecord } from '../execution/agent-execution-records.js';
 import { runBackgroundExecutor } from '../execution/background-executor.js';
-import { reconcileDoCollaborationClosure } from '../stage-collaboration.js';
+import { runtimeScopedId } from '../storage/runtime-store.js';
 export async function runSingleTaskLoop(projectRoot, options) {
     const context = await resolveSddContext(projectRoot, options.branch ? { branch: options.branch, branchSource: 'cli_option' } : {});
     const branch = context.partition;
     const model = await parseSddBranch(projectRoot, branch);
-    const routeDecision = await routeSddTask(projectRoot, { taskId: options.taskId, branch, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
-    const taskId = routeDecision.taskId;
-    const inspected = inspectSddTask(model, taskId);
+    const inspected = inspectSddTask(model, options.taskId);
     const runState = options.runId ? await readRunState(projectRoot, options.runId) : await createRun(projectRoot);
-    const boundRunState = await bindRunStateToTask(projectRoot, runState, context, model, inspected.task ?? null, taskId);
+    const boundRunState = await bindRunStateToTask(projectRoot, runState, context, model, inspected.task ?? null, options.taskId);
     const runId = boundRunState.runId;
+    const routeDecision = await routeSddTask(projectRoot, { taskId: options.taskId, branch, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
     await appendEvent(projectRoot, runId, {
         event: 'agent_router_preflight',
         runId,
-        summary: `Agent router preflight ${routeDecision.blockedReason ? 'blocked' : 'passed'} for ${taskId}`,
-        data: { taskId: taskId, decision: routeDecision }
+        summary: `Agent router preflight ${routeDecision.blockedReason ? 'blocked' : 'passed'} for ${options.taskId}`,
+        data: { taskId: options.taskId, decision: routeDecision }
     });
     if (routeDecision.teamMode.enabled || routeDecision.teamMode.decision !== 'disabled') {
         await writeTeamSessionRecord(projectRoot, buildTeamSessionRecord({
             runId,
-            taskId: taskId,
+            taskId: options.taskId,
             route: routeDecision,
             status: routeDecision.teamMode.decision === 'enabled' ? 'created' : routeDecision.teamMode.decision === 'blocked' ? 'blocked' : 'disabled',
             artifacts: [],
@@ -41,55 +39,50 @@ export async function runSingleTaskLoop(projectRoot, options) {
     await appendEvent(projectRoot, runId, {
         event: 'phase_started',
         runId,
-        summary: `Phase 3.15 ingestion-aware task loop started for ${taskId}`,
-        data: { phase: 'do', branch, task: taskId }
-    });
-    const stageEvidenceResult = await reconcileDoStageEvidenceIfAvailable(projectRoot, {
-        branch,
-        runId,
-        taskId: taskId,
-        task: inspected.task,
-        routeDecision,
-        options
+        summary: `Phase 3.15 ingestion-aware task loop started for ${options.taskId}`,
+        data: { phase: 'do', branch, task: options.taskId }
     });
-    if (stageEvidenceResult) {
-        return stageEvidenceResult;
-    }
     if (routeDecision.blockedReason || routeDecision.toolPermission?.policy === 'deny' || !inspected.task || inspected.gaps.some((gap) => gap.severity === 'blocking')) {
-        const routeGap = routeDecision.blockedReason ? [taskGap(taskId, 'agent_router', routeDecision.blockedReason, routeDecision.nextAction)] : [];
-        const toolPermissionGap = routeDecision.toolPermission?.policy === 'deny' ? [taskGap(taskId, 'tool_permission', 'Agent router denied required tool permission for this task.', 'Change task scope, tool policy, or route through a permitted profile before execution.')] : [];
+        const routeGap = routeDecision.blockedReason ? [taskGap(options.taskId, 'agent_router', routeDecision.blockedReason, routeDecision.nextAction)] : [];
+        const toolPermissionGap = routeDecision.toolPermission?.policy === 'deny' ? [taskGap(options.taskId, 'tool_permission', 'Agent router denied required tool permission for this task.', 'Change task scope, tool policy, or route through a permitted profile before execution.')] : [];
         const allGaps = [...routeGap, ...toolPermissionGap, ...inspected.gaps];
+        const gapArtifact = await writeArtifact(projectRoot, runId, `gap-report-${options.taskId}.md`, renderLoopGapReport(options.taskId, allGaps));
+        const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, 'blocked', [gapArtifact.runRelativePath], allGaps, 'Task selection is blocked by router preflight or parser/task gaps.');
         await persistLoopState(projectRoot, runId, {
             status: 'blocked',
             phase: 'do',
-            taskId: taskId,
-            taskState: buildRuntimeTaskState(inspected.task, 'blocked', 'blocked', allGaps, []),
+            taskId: options.taskId,
+            taskState: buildRuntimeTaskState(inspected.task, 'blocked', 'blocked', allGaps, [gapArtifact.runRelativePath]),
             validationStatus: 'blocked',
-            artifacts: []
+            syncBackProposalPath: proposal.runRelativePath,
+            syncBackProposalDigest: proposal.digest,
+            artifacts: [{ path: gapArtifact.runRelativePath, kind: 'gap-report', task: options.taskId, agent: 'runtime' }]
         });
         await appendEvent(projectRoot, runId, {
             event: 'gap_detected',
             runId,
-            summary: `Task ${taskId} is blocked before implementation.`,
-            data: { gaps: allGaps, routeDecision }
+            summary: `Task ${options.taskId} is blocked before implementation.`,
+            data: { gaps: allGaps, artifact: gapArtifact.runRelativePath, routeDecision }
         });
         await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
             runId,
-            taskId: taskId,
+            taskId: options.taskId,
             agent: 'orchestrator',
             route: routeDecision,
             status: 'blocked',
-            delegationId: `P-${taskId}-router-001`,
+            delegationId: `P-${options.taskId}-router-001`,
+            artifactPath: gapArtifact.runRelativePath,
             evidenceSummary: `Task loop blocked before implementation by router preflight or task gaps with ${allGaps.length} issue(s).`
         }));
         return {
             runId,
-            taskId: taskId,
+            taskId: options.taskId,
             status: 'blocked',
             task: inspected.task,
             gaps: allGaps,
             requiredArtifacts: [],
-            acceptedArtifacts: [],
+            acceptedArtifacts: [gapArtifact.runRelativePath],
+            syncBackProposalPath: proposal.runRelativePath,
             routeDecision,
             message: 'Task loop blocked before implementation by router preflight or task gaps.'
         };
@@ -97,50 +90,50 @@ export async function runSingleTaskLoop(projectRoot, options) {
     await appendEvent(projectRoot, runId, {
         event: 'task_selected',
         runId,
-        summary: `Task selected for ingestion-aware task loop: ${taskId}`,
-        data: { task: taskId, title: inspected.task.title, source: inspected.task.source }
+        summary: `Task selected for ingestion-aware task loop: ${options.taskId}`,
+        data: { task: options.taskId, title: inspected.task.title, source: inspected.task.source }
     });
-    const steps = buildLoopSteps(branch, taskId, options, inspected.task);
+    const steps = buildLoopSteps(options.taskId, options, inspected.task);
     const acceptedArtifacts = [];
     const gaps = [];
     let terminalStatus = 'completed';
     let validationStatus = 'not_run';
     for (const step of steps) {
-        const stepRouteDecision = await routeSddTask(projectRoot, { taskId: taskId, branch, agent: step.agent, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
+        const stepRouteDecision = await routeSddTask(projectRoot, { taskId: options.taskId, branch, agent: step.agent, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
         if (!step.suppliedArtifact) {
             if (!step.required) {
                 await appendEvent(projectRoot, runId, {
                     event: 'delegation_cancelled',
                     runId,
-                    summary: `${step.agent} artifact not supplied; optional step skipped for ${taskId}`,
+                    summary: `${step.agent} artifact not supplied; optional step skipped for ${options.taskId}`,
                     data: { agent: step.agent, expectedArtifact: step.expectedArtifact }
                 });
                 await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
                     runId,
-                    taskId: taskId,
+                    taskId: options.taskId,
                     agent: step.agent,
                     route: stepRouteDecision,
                     status: 'skipped',
-                    delegationId: `B-${taskId}-${step.agent}-001`,
+                    delegationId: `B-${options.taskId}-${step.agent}-001`,
                     evidenceSummary: `${step.agent} artifact was not supplied and the step is optional.`
                 }));
                 continue;
             }
-            const gap = taskGap(taskId, step.agent, `${step.agent} artifact was not supplied; the task loop facade does not invoke external agents directly.`, `Run the ${step.agent} step in Claude Code and provide agent-authored evidence under .sdd/runs/<branch>/do/*.md before closing do-stage evidence.`);
+            const gap = taskGap(options.taskId, step.agent, `${step.agent} artifact was not supplied; the task loop facade does not invoke external agents directly.`, `Run the ${step.agent} step in Claude Code and pass ${artifactOptionName(step.agent)} artifacts/<file>; physical evidence is branch-scoped under .sdd/runs/<branchSlug>/evidence/artifacts/<file>.`);
             gaps.push(gap);
             await appendEvent(projectRoot, runId, {
                 event: 'delegation_failed',
                 runId,
-                summary: `${step.agent} artifact missing for ${taskId}`,
+                summary: `${step.agent} artifact missing for ${options.taskId}`,
                 data: { agent: step.agent, expectedArtifact: step.expectedArtifact }
             });
             await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
                 runId,
-                taskId: taskId,
+                taskId: options.taskId,
                 agent: step.agent,
                 route: stepRouteDecision,
                 status: 'blocked',
-                delegationId: `B-${taskId}-${step.agent}-001`,
+                delegationId: `B-${options.taskId}-${step.agent}-001`,
                 evidenceSummary: `${step.agent} artifact was not supplied; execution is blocked before host invocation.`
             }));
             terminalStatus = 'blocked';
@@ -150,18 +143,18 @@ export async function runSingleTaskLoop(projectRoot, options) {
         const result = await runBackgroundExecutor(projectRoot, {
             branch,
             runId,
-            taskId: taskId,
+            taskId: options.taskId,
             agent: step.agent,
             artifactPath: step.suppliedArtifact,
-            delegationId: `B-${taskId}-${step.agent}-001`,
+            delegationId: `B-${options.taskId}-${step.agent}-001`,
             approved: options.approved
         });
         if (!result.ingestion || result.ingestion.status !== 'accepted' || !result.ingestion.resultStatus) {
             const issueText = result.issues.map((issue) => issue.message).join('; ') || result.message;
             const recommendation = issueText.includes('manual isolation gate') || issueText.includes('requires confirmation')
                 ? 'Resolve the manual isolation or approval gate for this high-risk task before ingesting execution artifacts.'
-                : `Fix ${step.suppliedArtifact} so the Phase 3 executor can ingest one valid sdd-result block for ${step.agent}/${taskId}.`;
-            gaps.push(taskGap(taskId, step.agent, `${step.agent} artifact ${step.suppliedArtifact} could not be ingested: ${issueText}`, recommendation));
+                : `Fix ${step.suppliedArtifact} so the Phase 3 executor can ingest one valid sdd-result block for ${step.agent}/${options.taskId}.`;
+            gaps.push(taskGap(options.taskId, step.agent, `${step.agent} artifact ${step.suppliedArtifact} could not be ingested: ${issueText}`, recommendation));
             terminalStatus = 'blocked';
             validationStatus = step.agent === 'validator' ? 'blocked' : validationStatus;
             break;
@@ -169,12 +162,12 @@ export async function runSingleTaskLoop(projectRoot, options) {
         acceptedArtifacts.push(result.ingestion.artifactPath);
         if (step.agent === 'reviewer') {
             if (result.ingestion.resultStatus === 'PASS') {
-                await appendEvent(projectRoot, runId, { event: 'review_passed', runId, summary: `Review passed for ${taskId}`, data: { artifact: result.ingestion.artifactPath } });
+                await appendEvent(projectRoot, runId, { event: 'review_passed', runId, summary: `Review passed for ${options.taskId}`, data: { artifact: result.ingestion.artifactPath } });
             }
             else {
-                await appendEvent(projectRoot, runId, { event: 'review_failed', runId, summary: `Review did not pass for ${taskId}; debugger may be supplied once.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                await appendEvent(projectRoot, runId, { event: 'review_failed', runId, summary: `Review did not pass for ${options.taskId}; debugger may be supplied once.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
                 if (!options.debugArtifact) {
-                    gaps.push(taskGap(taskId, 'debugger', 'Review did not pass and no debugger artifact was supplied.', 'Run one debugger attempt or create a gap report; the task loop allows only one debugger pass.'));
+                    gaps.push(taskGap(options.taskId, 'debugger', 'Review did not pass and no debugger artifact was supplied.', 'Run one debugger attempt or create a gap report; the task loop allows only one debugger pass.'));
                     terminalStatus = result.ingestion.resultStatus === 'BLOCKED' ? 'blocked' : 'failed';
                     validationStatus = 'fail';
                     break;
@@ -183,54 +176,62 @@ export async function runSingleTaskLoop(projectRoot, options) {
         }
         if (step.agent === 'validator') {
             if (result.ingestion.resultStatus === 'PASS') {
-                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed for ${taskId}`, data: { artifact: result.ingestion.artifactPath } });
+                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed for ${options.taskId}`, data: { artifact: result.ingestion.artifactPath } });
                 validationStatus = 'pass';
             }
             else if (result.ingestion.resultStatus === 'PASS_WITH_GAPS') {
-                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed with gaps for ${taskId}; task remains blocked until gaps are resolved.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
-                gaps.push(taskGap(taskId, 'validation_gaps', 'Validator returned PASS_WITH_GAPS; the task loop cannot mark the task completed without structured gap evidence.', 'Inspect the validator artifact, resolve or defer each validation gap, then rerun with PASS validation evidence.'));
+                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed with gaps for ${options.taskId}; task remains blocked until gaps are resolved.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                gaps.push(taskGap(options.taskId, 'validation_gaps', 'Validator returned PASS_WITH_GAPS; the task loop cannot mark the task completed without structured gap evidence and explicit sync-back proposal semantics.', 'Inspect the validator artifact, resolve or defer each validation gap, then rerun with PASS validation evidence.'));
                 validationStatus = 'pass_with_gaps';
                 terminalStatus = 'blocked';
             }
             else {
-                await appendEvent(projectRoot, runId, { event: 'validation_failed', runId, summary: `Validation failed for ${taskId}`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
-                gaps.push(taskGap(taskId, 'validation', `Validator returned ${result.ingestion.resultStatus}.`, 'Do not mark the task completed; create a gap report or revise the task/plan.'));
+                await appendEvent(projectRoot, runId, { event: 'validation_failed', runId, summary: `Validation failed for ${options.taskId}`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                gaps.push(taskGap(options.taskId, 'validation', `Validator returned ${result.ingestion.resultStatus}.`, 'Do not mark the task completed; create a gap report or revise the task/plan.'));
                 validationStatus = result.ingestion.resultStatus === 'BLOCKED' ? 'blocked' : 'fail';
                 terminalStatus = result.ingestion.resultStatus === 'BLOCKED' ? 'blocked' : 'failed';
             }
         }
     }
     if (gaps.length > 0 && terminalStatus !== 'completed') {
-        const gapFileName = `gap-report-${taskId}.md`;
-        await writeArtifact(projectRoot, runId, gapFileName, renderLoopGapReport(branch, taskId, gaps));
-        const gapRef = toBranchStageEvidenceRef(branch, 'do', gapFileName);
-        acceptedArtifacts.push(gapRef);
+        const gapArtifact = await writeArtifact(projectRoot, runId, `gap-report-${options.taskId}.md`, renderLoopGapReport(options.taskId, gaps));
+        acceptedArtifacts.push(gapArtifact.runRelativePath);
         await appendEvent(projectRoot, runId, {
             event: 'gap_created',
             runId,
-            summary: `Gap report created for ${taskId}`,
-            data: { artifact: gapRef, gaps }
+            summary: `Gap report created for ${options.taskId}`,
+            data: { artifact: gapArtifact.runRelativePath, gaps }
         });
     }
     const taskState = buildRuntimeTaskState(inspected.task, terminalStatus, validationStatus, gaps, acceptedArtifacts);
+    const proposalStatus = taskState.status === 'implemented_pending_validation' ? taskState.status : terminalStatus === 'completed' ? 'completed' : terminalStatus;
+    const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, proposalStatus, acceptedArtifacts, gaps, terminalStatus === 'completed' ? 'Ingestion-aware task loop accepted implementation evidence; validation may still be pending by task contract.' : terminalStatus === 'blocked' && validationStatus === 'pass_with_gaps' ? 'Ingestion-aware task loop stopped because validator returned PASS_WITH_GAPS; sync-back is a blocked gap proposal, not task completion.' : 'Ingestion-aware task loop stopped with blocking/failing evidence.');
     await persistLoopState(projectRoot, runId, {
         status: terminalStatus,
         phase: 'do',
-        taskId: taskId,
+        taskId: options.taskId,
         taskState,
         validationStatus,
-        artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: taskId, agent: agentFromArtifactPath(artifactPath) }))
+        syncBackProposalPath: proposal.runRelativePath,
+        syncBackProposalDigest: proposal.digest,
+        artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: options.taskId, agent: agentFromArtifactPath(artifactPath) }))
+    });
+    await appendEvent(projectRoot, runId, {
+        event: 'sync_back_proposed',
+        runId,
+        summary: `Sync-back proposal created for ${options.taskId}`,
+        data: { proposal: proposal.runRelativePath, status: terminalStatus }
     });
     await appendEvent(projectRoot, runId, {
         event: terminalStatus === 'completed' ? 'run_completed' : terminalStatus === 'blocked' ? 'gap_escalated' : 'validation_failed',
         runId,
-        summary: `Phase 3.15 ingestion-aware task loop ${terminalStatus} for ${taskId}`,
-        data: { task: taskId, artifacts: acceptedArtifacts, gaps }
+        summary: `Phase 3.15 ingestion-aware task loop ${terminalStatus} for ${options.taskId}`,
+        data: { task: options.taskId, artifacts: acceptedArtifacts, gaps }
     });
     if (routeDecision.teamMode.enabled || routeDecision.teamMode.decision !== 'disabled') {
         await writeTeamSessionRecord(projectRoot, buildTeamSessionRecord({
             runId,
-            taskId: taskId,
+            taskId: options.taskId,
             route: routeDecision,
             status: terminalStatus === 'completed' ? 'completed' : 'blocked',
             artifacts: acceptedArtifacts,
@@ -239,105 +240,26 @@ export async function runSingleTaskLoop(projectRoot, options) {
     }
     return {
         runId,
-        taskId: taskId,
+        taskId: options.taskId,
         status: terminalStatus,
         task: inspected.task,
         gaps,
         requiredArtifacts: steps.map((step) => step.expectedArtifact),
         acceptedArtifacts,
+        syncBackProposalPath: proposal.runRelativePath,
         routeDecision,
-        message: terminalStatus === 'completed' ? 'Task loop completed through Phase 3 executor artifact ingestion.' : validationStatus === 'pass_with_gaps' ? 'Task loop blocked because validator returned PASS_WITH_GAPS; inspect gap report and stage runtime metadata.' : 'Task loop stopped; inspect gap report and stage runtime metadata.'
-    };
-}
-async function reconcileDoStageEvidenceIfAvailable(projectRoot, input) {
-    if (input.options.implementArtifact || input.options.reviewArtifact || input.options.validationArtifact || input.options.debugArtifact || input.routeDecision.blockedReason) {
-        return null;
-    }
-    const decision = await resolveDoLifecycleDecision(projectRoot, input.branch);
-    if (!decision) {
-        return null;
-    }
-    const result = await reconcileDoCollaborationClosure(projectRoot, {
-        decision,
-        runId: input.runId,
-        allowedChangedFileRefs: input.task?.affectedFiles ?? []
-    });
-    const health = result.adjudication.health;
-    const status = doStageLoopStatus(health, result.adjudication.rejection?.reasonCode ?? null);
-    const gaps = status === 'completed' ? [] : [taskGap(input.taskId, 'do-stage-runtime', result.adjudication.rejection?.explanation ?? `Do-stage reconciliation returned ${health}.`, result.adjudication.rejection?.requiredNextAction ?? 'Inspect .sdd/runs/<branch>/do/*.md frontmatter, hashes, review verdict, and manager closure recommendation.')];
-    const acceptedArtifacts = result.artifactRefs.map((ref) => ref.ref);
-    const validationStatus = status === 'completed' ? 'not_run' : status === 'blocked' ? 'blocked' : 'fail';
-    const state = await readRunState(projectRoot, result.runId);
-    const createdAt = new Date().toISOString();
-    await writeRunState(projectRoot, {
-        ...state,
-        status,
-        phase: 'do',
-        currentTask: input.taskId,
-        taskId: input.taskId,
-        tasks: {
-            ...state.tasks,
-            [input.taskId]: buildRuntimeTaskState(input.task, status, validationStatus, gaps, acceptedArtifacts)
-        },
-        artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: input.taskId, agent: agentFromStageEvidenceRef(artifactPath), createdAt })),
-        validation: {
-            ...state.validation,
-            status: validationStatus
-        }
-    });
-    await appendEvent(projectRoot, result.runId, {
-        event: 'stage_collaboration_reconciled',
-        runId: result.runId,
-        summary: `Do-stage evidence reconciliation ${status} for ${input.taskId}.`,
-        data: { health, artifactRefs: acceptedArtifacts, projectionRef: result.projectionRef }
-    });
-    return {
-        runId: result.runId,
-        taskId: input.taskId,
-        status,
-        task: input.task,
-        gaps,
-        requiredArtifacts: ['.sdd/runs/<branch>/do/implementation-vN.md', '.sdd/runs/<branch>/do/code-review-vN.md', '.sdd/runs/<branch>/do/do-manager-vN.md'],
-        acceptedArtifacts,
-        routeDecision: input.routeDecision,
-        message: status === 'completed' ? 'Task loop completed through do-stage runtime reconciliation over .sdd/runs/<branch>/do/*.md evidence.' : 'Task loop stopped after do-stage runtime reconciliation; inspect stage collaboration rejection metadata.'
+        message: terminalStatus === 'completed' ? 'Task loop completed through Phase 3 executor artifact ingestion.' : validationStatus === 'pass_with_gaps' ? 'Task loop blocked because validator returned PASS_WITH_GAPS; inspect gap report and sync-back proposal.' : 'Task loop stopped; inspect gap report and sync-back proposal.'
     };
 }
-function doStageLoopStatus(health, reasonCode) {
-    if (health === 'ready_for_test') {
-        return 'completed';
-    }
-    if (health === 'blocked' || reasonCode === 'missing_refs') {
-        return 'blocked';
-    }
-    return 'failed';
-}
-async function resolveDoLifecycleDecision(projectRoot, branch) {
-    const existing = await readLifecycleRiskDecisionProjection(projectRoot, { branch });
-    return existing?.payload ?? null;
-}
-function agentFromStageEvidenceRef(ref) {
-    const fileName = ref.split('/').pop() ?? ref;
-    if (fileName.startsWith('implementation-')) {
-        return 'implementer';
-    }
-    if (fileName.startsWith('code-review-')) {
-        return 'reviewer';
-    }
-    if (fileName.startsWith('do-manager-')) {
-        return 'do-manager';
-    }
-    return 'stage-agent';
-}
-function buildLoopSteps(branch, taskId, options, task) {
+function buildLoopSteps(taskId, options, task) {
     const steps = [
-        { agent: 'implementer', suppliedArtifact: options.implementArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'do', `implementation-${taskId}.md`), required: false },
-        { agent: 'reviewer', suppliedArtifact: options.reviewArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'do', `code-review-${taskId}.md`), required: true }
+        { agent: 'implementer', suppliedArtifact: options.implementArtifact, expectedArtifact: `artifacts/implement-${taskId}.md`, required: false },
+        { agent: 'reviewer', suppliedArtifact: options.reviewArtifact, expectedArtifact: `artifacts/review-${taskId}.md`, required: true }
     ];
     if (options.debugArtifact) {
-        steps.push({ agent: 'debugger', suppliedArtifact: options.debugArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'do', `debug-${taskId}.md`), required: false });
+        steps.push({ agent: 'debugger', suppliedArtifact: options.debugArtifact, expectedArtifact: `artifacts/debug-${taskId}.md`, required: false });
     }
-    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'test', `validation-${taskId}.md`), required: requiresImmediateValidation(task) });
+    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: `artifacts/validation-${taskId}.md`, required: requiresImmediateValidation(task) });
     return steps;
 }
 function requiresImmediateValidation(task) {
@@ -411,12 +333,39 @@ async function persistLoopState(projectRoot, runId, input) {
             ...state.validation,
             status: input.validationStatus,
             evidence: input.artifacts.filter((artifact) => artifact.kind === 'validation').map((artifact) => artifact.path)
+        },
+        syncBack: {
+            mode: 'proposal',
+            proposalPath: input.syncBackProposalPath,
+            proposalDigest: input.syncBackProposalDigest,
+            sourceVerifyStatus: input.status,
+            status: state.syncBack.status === 'applied' ? 'applied' : 'proposed'
         }
     });
 }
-function renderLoopGapReport(branch, taskId, gaps) {
-    const gapRef = toBranchStageEvidenceRef(branch, 'do', `gap-report-${taskId}.md`);
-    return `# Gap Report ${taskId}\n\n\`\`\`sdd-result\ncontract: ${SDD_RESULT_CONTRACT}\nversion: ${SDD_RESULT_VERSION}\nagent: runtime\ntask: ${taskId}\nstatus: BLOCKED\nartifacts:\n  - ${gapRef}\n\`\`\`\n\n## Gaps\n\n${gaps.length > 0 ? gaps.map((gap) => `- [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message} Recommendation: ${gap.recommendation}`).join('\n') : '- No structured gaps were provided; inspect task selection and supplied stage evidence.'}\n`;
+async function writeSyncBackProposal(projectRoot, runId, taskId, status, artifacts, gaps, summary) {
+    const content = `# Sync-back Proposal\n\n## ${taskId}\n\n- status: ${status}\n- summary: ${summary}\n- artifacts:\n${artifacts.length > 0 ? artifacts.map((artifact) => `  - ${artifact}`).join('\n') : '  - none'}\n- gaps:\n${gaps.length > 0 ? gaps.map((gap) => `  - [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message}`).join('\n') : '  - none'}\n\n## Boundaries\n\n- Proposal only; tasks.md/spec.md/plan.md were not modified by runtime.\n- Runtime modeled agent/verify steps through supplied artifacts and contract validation; no external agent API was invoked.\n`;
+    const digest = hashDocumentContent(content);
+    const written = await writeArtifact(projectRoot, runId, 'sync-back-proposal.md', content);
+    return { ...written, digest, payloadId: runtimeScopedId(runId, written.runRelativePath, digest) };
+}
+function renderLoopGapReport(taskId, gaps) {
+    return `# Gap Report ${taskId}\n\n\`\`\`sdd-result\ncontract: ${SDD_RESULT_CONTRACT}\nversion: ${SDD_RESULT_VERSION}\nagent: runtime\ntask: ${taskId}\nstatus: BLOCKED\nartifacts:\n  - artifacts/gap-report-${taskId}.md\n\`\`\`\n\n## Gaps\n\n${gaps.length > 0 ? gaps.map((gap) => `- [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message} Recommendation: ${gap.recommendation}`).join('\n') : '- No structured gaps were provided; inspect task selection and supplied artifacts.'}\n`;
+}
+function artifactOptionName(agent) {
+    if (agent === 'implementer') {
+        return '--implement-artifact';
+    }
+    if (agent === 'reviewer') {
+        return '--review-artifact';
+    }
+    if (agent === 'debugger') {
+        return '--debug-artifact';
+    }
+    if (agent === 'validator') {
+        return '--validation-artifact';
+    }
+    return '--artifact';
 }
 function agentFromArtifactPath(artifactPath) {
     const kind = artifactKind(artifactPath);
@@ -426,9 +375,12 @@ function agentFromArtifactPath(artifactPath) {
     if (kind === 'review' || kind === 'validation' || kind === 'debug') {
         return kind === 'debug' ? 'debugger' : kind === 'review' ? 'reviewer' : 'validator';
     }
-    if (kind === 'gap-report') {
+    if (kind === 'gap-report' || kind === 'sync-back-proposal') {
         return 'runtime';
     }
     return 'unknown';
 }
+function hashDocumentContent(raw) {
+    return createHash('sha256').update(raw).digest('hex');
+}
 //# sourceMappingURL=single-task-loop.js.map