diff --git a/scripts/test_approved_plan_continuity_gate.mjs b/scripts/test_approved_plan_continuity_gate.mjs index bb8ac25..b163f50 100644 --- a/scripts/test_approved_plan_continuity_gate.mjs +++ b/scripts/test_approved_plan_continuity_gate.mjs @@ -168,6 +168,238 @@ const tests = [ } }, }, + { + name: 'auto-next obligation: fails when approved plan stops at completed-task boundary without auto-next dispatch', + run() { + const fixture = createFixture({ + 'input.json': { + planId: 'plan-auto-next-core', + currentTask: 'task-8', + taskState: 'complete', + nextTaskKnown: true, + sameApprovedPlan: true, + taskBoundaryStop: true, + nextDerivedAction: { + type: 'message_subagent', + task: 'continue with task-9', + }, + replyClosureState: 'completed', + highRiskStop: false, + dispatchReceipt: null, + }, + }); + + try { + const result = runGate({ + args: ['--compact', '--input', fixture.path('input.json')], + }); + + if (result.status !== 0 && result.status !== null) { + throw new Error(`expected controlled execution, got status=${result.status} +${result.stderr || result.stdout}`); + } + + if (!result.json || typeof result.json !== 'object') { + throw new Error(`expected JSON output +stdout=${result.stdout}`); + } + + if (result.json.ok !== false) { + throw new Error(`expected auto-next continuity failure ok=false, got ${JSON.stringify(result.json)}`); + } + + if (result.json.verdict !== 'continuity_failure') { + throw new Error(`expected verdict=continuity_failure, got ${JSON.stringify(result.json.verdict)}`); + } + + if (result.json.reason !== 'missing_auto_next_dispatch') { + throw new Error(`expected reason=missing_auto_next_dispatch, got ${JSON.stringify(result.json.reason)}`); + } + } finally { + fixture.cleanup(); + } + }, + }, + { + name: 'auto-next obligation: fails when only dry-run derived action exists at completed-task boundary', + run() { + const fixture = createFixture({ + 'input.json': { + planId: 'plan-auto-next-dry-run-only', + currentTask: 'task-8b', + taskState: 'complete', + nextTaskKnown: true, + sameApprovedPlan: true, + taskBoundaryStop: true, + derivedAction: { + type: 'message_subagent', + task: 'continue with task-9b', + }, + replyClosureState: 'completed', + highRiskStop: false, + dispatchReceipt: null, + }, + }); + + try { + const result = runGate({ + args: ['--compact', '--input', fixture.path('input.json')], + }); + + if (result.status !== 0 && result.status !== null) { + throw new Error(`expected controlled execution, got status=${result.status} +${result.stderr || result.stdout}`); + } + + if (!result.json || typeof result.json !== 'object') { + throw new Error(`expected JSON output +stdout=${result.stdout}`); + } + + if (result.json.ok !== false) { + throw new Error(`expected auto-next continuity failure ok=false, got ${JSON.stringify(result.json)}`); + } + + if (result.json.verdict !== 'continuity_failure') { + throw new Error(`expected verdict=continuity_failure, got ${JSON.stringify(result.json.verdict)}`); + } + + if (result.json.reason !== 'missing_auto_next_dispatch') { + throw new Error(`expected reason=missing_auto_next_dispatch, got ${JSON.stringify(result.json.reason)}`); + } + } finally { + fixture.cleanup(); + } + }, + }, + { + name: 'auto-next obligation: passes when explicit high-risk stop is active', + run() { + const fixture = createFixture({ + 'input.json': { + planId: 'plan-auto-next-high-risk-stop', + currentTask: 'task-8c', + taskState: 'complete', + nextTaskKnown: true, + sameApprovedPlan: true, + taskBoundaryStop: true, + nextDerivedAction: { + type: 'message_subagent', + task: 'continue with task-9c', + }, + replyClosureState: 'completed', + highRiskStop: true, + dispatchReceipt: null, + }, + }); + + try { + const result = runGate({ + args: ['--compact', '--input', fixture.path('input.json')], + }); + + if (result.status !== 0 && result.status !== null) { + throw new Error(`expected controlled execution, got status=${result.status} +${result.stderr || result.stdout}`); + } + + if (!result.json || typeof result.json !== 'object') { + throw new Error(`expected JSON output +stdout=${result.stdout}`); + } + + if (result.json.ok !== true) { + throw new Error(`expected continuity pass ok=true when highRiskStop=true, got ${JSON.stringify(result.json)}`); + } + } finally { + fixture.cleanup(); + } + }, + }, + { + name: 'auto-next obligation: passes when next task is not known', + run() { + const fixture = createFixture({ + 'input.json': { + planId: 'plan-auto-next-unknown-next-task', + currentTask: 'task-8d', + taskState: 'complete', + nextTaskKnown: false, + sameApprovedPlan: true, + taskBoundaryStop: true, + replyClosureState: 'completed', + highRiskStop: false, + dispatchReceipt: null, + }, + }); + + try { + const result = runGate({ + args: ['--compact', '--input', fixture.path('input.json')], + }); + + if (result.status !== 0 && result.status !== null) { + throw new Error(`expected controlled execution, got status=${result.status} +${result.stderr || result.stdout}`); + } + + if (!result.json || typeof result.json !== 'object') { + throw new Error(`expected JSON output +stdout=${result.stdout}`); + } + + if (result.json.ok !== true) { + throw new Error(`expected pass when nextTaskKnown=false, got ${JSON.stringify(result.json)}`); + } + } finally { + fixture.cleanup(); + } + }, + }, + { + name: 'auto-next obligation: passes when next action is not in the same approved plan', + run() { + const fixture = createFixture({ + 'input.json': { + planId: 'plan-auto-next-other-plan', + currentTask: 'task-8e', + taskState: 'complete', + nextTaskKnown: true, + sameApprovedPlan: false, + taskBoundaryStop: true, + nextDerivedAction: { + type: 'message_subagent', + task: 'continue with unrelated task', + }, + replyClosureState: 'completed', + highRiskStop: false, + dispatchReceipt: null, + }, + }); + + try { + const result = runGate({ + args: ['--compact', '--input', fixture.path('input.json')], + }); + + if (result.status !== 0 && result.status !== null) { + throw new Error(`expected controlled execution, got status=${result.status} +${result.stderr || result.stdout}`); + } + + if (!result.json || typeof result.json !== 'object') { + throw new Error(`expected JSON output +stdout=${result.stdout}`); + } + + if (result.json.ok !== true) { + throw new Error(`expected pass when sameApprovedPlan=false, got ${JSON.stringify(result.json)}`); + } + } finally { + fixture.cleanup(); + } + }, + }, { name: 'continuity: fails when dispatchReceipt is a fake non-null object without minimum receipt fields', run() {