sdd-agent-platform 0.3.0 → 0.4.1

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

@@ -0,0 +1,78 @@
+import { routeSddTask } from '@sdd-agent-platform/core/router';
+import { inspectSddTask } from '@sdd-agent-platform/core/sdd-docs';
+import { parseSddBranch } from '@sdd-agent-platform/core/sdd-docs';
+import { renderTaskGapReport, renderTaskInspect, renderTaskList } from '@sdd-agent-platform/core/sdd-docs';
+import { readBranchOption, readResolvedBranch, readTeamModeActivation } from '../args.js';
+import { taskFormatText } from '../help.js';
+import { jsonOutput, wantsJson } from '../renderers/json.js';
+import { renderAgentRouterDecision } from '../renderers/router.js';
+export async function handleTasksCommand(projectRoot, command, subcommand, rest) {
+    if (command !== 'tasks') {
+        return null;
+    }
+    if (subcommand === 'format') {
+        return {
+            exitCode: 0,
+            output: taskFormatText()
+        };
+    }
+    if (subcommand === 'list') {
+        const model = await parseSddBranch(projectRoot, await readResolvedBranch(projectRoot, rest));
+        return {
+            exitCode: 0,
+            output: renderTaskList(model)
+        };
+    }
+    if (subcommand === 'inspect') {
+        const taskId = rest.find((item) => !item.startsWith('--'));
+        if (!taskId) {
+            return {
+                exitCode: 2,
+                error: 'Usage: sdd tasks inspect <task_id> [--branch <branch>] [--json]'
+            };
+        }
+        const model = await parseSddBranch(projectRoot, await readResolvedBranch(projectRoot, rest));
+        const result = inspectSddTask(model, taskId);
+        if (!result.task && result.gaps.length === 0) {
+            return {
+                exitCode: 1,
+                error: `Task not found: ${taskId}`
+            };
+        }
+        const json = wantsJson(rest);
+        return {
+            exitCode: result.task === null ? 1 : 0,
+            output: json ? jsonOutput(result, rest) : renderTaskInspect(result.task, result.gaps)
+        };
+    }
+    if (subcommand === 'route') {
+        const taskId = rest.find((item) => !item.startsWith('--'));
+        if (!taskId) {
+            return {
+                exitCode: 2,
+                error: 'Usage: sdd tasks route <task_id> [--branch <branch>] [--team-mode [auto|force|off]] [--no-team-mode] [--profile] [--cache] [--approved] [--json]'
+            };
+        }
+        const decision = await routeSddTask(projectRoot, {
+            taskId,
+            branch: readBranchOption(rest),
+            teamModeActivation: readTeamModeActivation(rest),
+            profile: rest.includes('--profile'),
+            cache: rest.includes('--cache'),
+            approved: rest.includes('--approved'),
+        });
+        return {
+            exitCode: 0,
+            output: wantsJson(rest) ? jsonOutput(decision, rest) : renderAgentRouterDecision(decision)
+        };
+    }
+    if (subcommand === 'gaps') {
+        const model = await parseSddBranch(projectRoot, await readResolvedBranch(projectRoot, rest));
+        return {
+            exitCode: 0,
+            output: renderTaskGapReport(model)
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=tasks.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tasks.js","sourceRoot":"","sources":["../../src/commands/tasks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAC3G,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAQnE,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,WAAmB,EAAE,OAA2B,EAAE,UAA8B,EAAE,IAAc;IACvI,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,cAAc,EAAE;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,kBAAkB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7F,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC;SAC9B,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,iEAAiE;aACzE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,kBAAkB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7C,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,mBAAmB,MAAM,EAAE;aACnC,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;SACtF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,kJAAkJ;aAC1J,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE;YAC/C,MAAM;YACN,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC;YAC9B,kBAAkB,EAAE,sBAAsB,CAAC,IAAI,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;YACnC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;SACtC,CAAC,CAAC;QACH,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC;SAC3F,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,kBAAkB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7F,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,mBAAmB,CAAC,KAAK,CAAC;SACnC,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

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

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

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

@@ -0,0 +1,195 @@
+import { readFile } from 'node:fs/promises';
+import path from 'node:path';
+import { renderSddTestResult, renderValidationWaveResult, runSddTest, runValidationWave } from '@sdd-agent-platform/core/verification';
+import { parseSddBranch } from '@sdd-agent-platform/core/sdd-docs';
+import { readBranchOption, readOptionalPositionalArgument, readResolvedBranch } from '../args.js';
+import { hasHelpFlag, hasPreflightFlag, readOption, readPositiveIntegerOption, readRepeatedOptions } from '../options.js';
+import { jsonOutput, wantsJson } from '../renderers/json.js';
+export async function handleTestCommand(projectRoot, command, subcommand, rest) {
+    if (command !== 'test') {
+        return null;
+    }
+    if (hasHelpFlag([subcommand, ...rest].filter((item) => Boolean(item)))) {
+        return {
+            exitCode: 0,
+            output: testUsage()
+        };
+    }
+    if (subcommand === 'wave') {
+        return handleTestWaveCommand(projectRoot, rest);
+    }
+    if (subcommand === 'batch') {
+        return handleTestBatchCommand(projectRoot, rest);
+    }
+    if (subcommand !== 'task') {
+        return {
+            exitCode: 2,
+            error: testUsage()
+        };
+    }
+    const passthroughIndex = rest.indexOf('--');
+    const cliArgs = passthroughIndex === -1 ? rest : rest.slice(0, passthroughIndex);
+    const passthroughArgv = passthroughIndex === -1 ? [] : rest.slice(passthroughIndex + 1);
+    const taskId = readOptionalPositionalArgument(cliArgs);
+    if (!taskId) {
+        return {
+            exitCode: 2,
+            error: testTaskUsage()
+        };
+    }
+    if (hasPreflightFlag(cliArgs)) {
+        return {
+            exitCode: 0,
+            output: wantsJson(cliArgs) ? jsonOutput({ contract: 'sdd-command-preflight-v1', command: 'test task', taskId, sideEffects: 'none', status: 'PASS' }, cliArgs) : `SDD command preflight PASS\ncommand=test task\ntask=${taskId}\nside_effects=none`
+        };
+    }
+    const branch = readBranchOption(cliArgs);
+    const explicitSingleTaskOverride = hasSingleTaskOverride(cliArgs, passthroughArgv);
+    if (!explicitSingleTaskOverride) {
+        const model = await parseSddBranch(projectRoot, await readResolvedBranch(projectRoot, cliArgs));
+        const task = model.tasks.find((candidate) => candidate.id === taskId) ?? null;
+        if (task && shouldValidateAsGroupedBoundary(task)) {
+            const result = await runValidationWave(projectRoot, {
+                branch,
+                batchId: task.validationTiming === 'batch_end' ? task.validationBatch ?? undefined : undefined,
+                wave: task.validationTiming === 'wave_end' ? task.wave ?? undefined : undefined,
+                timeoutMs: readPositiveIntegerOption(cliArgs, '--timeout-ms') ?? undefined,
+                approved: cliArgs.includes('--approved')
+            });
+            return {
+                exitCode: result.status === 'PASS' ? 0 : 1,
+                output: wantsJson(cliArgs) ? jsonOutput(result, cliArgs) : renderValidationWaveResult(result)
+            };
+        }
+    }
+    let commandInputs;
+    try {
+        commandInputs = await readCommandInputs(projectRoot, cliArgs, passthroughArgv);
+    }
+    catch (error) {
+        return {
+            exitCode: 2,
+            error: error instanceof Error ? error.message : String(error)
+        };
+    }
+    const result = await runSddTest(projectRoot, {
+        taskId,
+        branch,
+        runId: readOption(cliArgs, '--run') ?? undefined,
+        commands: readRepeatedOptions(cliArgs, '--command'),
+        commandInputs,
+        timeoutMs: readPositiveIntegerOption(cliArgs, '--timeout-ms') ?? undefined,
+        approved: cliArgs.includes('--approved')
+    });
+    return {
+        exitCode: result.status === 'PASS' ? 0 : 1,
+        output: wantsJson(cliArgs) ? jsonOutput(result, cliArgs) : renderSddTestResult(result)
+    };
+}
+async function handleTestWaveCommand(projectRoot, rest) {
+    if (hasPreflightFlag(rest)) {
+        return {
+            exitCode: 0,
+            output: wantsJson(rest) ? jsonOutput({ contract: 'sdd-command-preflight-v1', command: 'test wave', sideEffects: 'none', status: 'PASS' }, rest) : 'SDD command preflight PASS\ncommand=test wave\nside_effects=none'
+        };
+    }
+    const result = await runValidationWave(projectRoot, {
+        branch: readBranchOption(rest),
+        wave: readPositiveIntegerOption(rest, '--wave') ?? undefined,
+        taskIds: readRepeatedOptions(rest, '--task'),
+        timeoutMs: readPositiveIntegerOption(rest, '--timeout-ms') ?? undefined,
+        approved: rest.includes('--approved')
+    });
+    return {
+        exitCode: result.status === 'PASS' ? 0 : 1,
+        output: wantsJson(rest) ? jsonOutput(result, rest) : renderValidationWaveResult(result)
+    };
+}
+async function handleTestBatchCommand(projectRoot, rest) {
+    const batchId = readOptionalPositionalArgument(rest);
+    if (!batchId) {
+        return {
+            exitCode: 2,
+            error: testBatchUsage()
+        };
+    }
+    if (hasPreflightFlag(rest)) {
+        return {
+            exitCode: 0,
+            output: wantsJson(rest) ? jsonOutput({ contract: 'sdd-command-preflight-v1', command: 'test batch', batchId, sideEffects: 'none', status: 'PASS' }, rest) : `SDD command preflight PASS\ncommand=test batch\nbatch=${batchId}\nside_effects=none`
+        };
+    }
+    const result = await runValidationWave(projectRoot, {
+        branch: readBranchOption(rest),
+        batchId,
+        timeoutMs: readPositiveIntegerOption(rest, '--timeout-ms') ?? undefined,
+        approved: rest.includes('--approved')
+    });
+    return {
+        exitCode: result.status === 'PASS' ? 0 : 1,
+        output: wantsJson(rest) ? jsonOutput(result, rest) : renderValidationWaveResult(result)
+    };
+}
+function hasSingleTaskOverride(cliArgs, passthroughArgv) {
+    return Boolean(readOption(cliArgs, '--run')
+        || readRepeatedOptions(cliArgs, '--command').length > 0
+        || readRepeatedOptions(cliArgs, '--command-json').length > 0
+        || readRepeatedOptions(cliArgs, '--command-file').length > 0
+        || passthroughArgv.length > 0);
+}
+function shouldValidateAsGroupedBoundary(task) {
+    return Boolean(task.validationBatch && !task.requiresVerifyBeforeNext && (task.validationTiming === 'batch_end' || task.validationTiming === 'wave_end'));
+}
+async function readCommandInputs(projectRoot, cliArgs, passthroughArgv) {
+    const commandInputs = readRepeatedOptions(cliArgs, '--command').map((command) => ({ command }));
+    const commandJsonValues = readRepeatedOptions(cliArgs, '--command-json');
+    for (const raw of commandJsonValues) {
+        commandInputs.push(...parseCommandInputJson(raw));
+    }
+    const commandFiles = readRepeatedOptions(cliArgs, '--command-file');
+    for (const file of commandFiles) {
+        const absolutePath = path.isAbsolute(file) ? file : path.resolve(projectRoot, file);
+        commandInputs.push(...parseCommandInputJson(await readFile(absolutePath, 'utf8')));
+    }
+    if (passthroughArgv.length > 0) {
+        commandInputs.push({ argv: passthroughArgv });
+    }
+    return commandInputs;
+}
+function parseCommandInputJson(raw) {
+    const parsed = JSON.parse(raw);
+    const items = Array.isArray(parsed) && parsed.every((item) => typeof item === 'object' && item !== null && ('command' in item || 'argv' in item)) ? parsed : [parsed];
+    return items.map(parseCommandInputValue);
+}
+function parseCommandInputValue(value) {
+    if (typeof value === 'string') {
+        return { command: value };
+    }
+    if (!value || typeof value !== 'object') {
+        throw new Error('Command JSON must be a string, an object, or an array of command objects.');
+    }
+    const record = value;
+    if (record.argv !== undefined) {
+        if (!Array.isArray(record.argv) || !record.argv.every((item) => typeof item === 'string')) {
+            throw new Error('Command JSON argv must be an array of strings.');
+        }
+        return { argv: record.argv };
+    }
+    if (typeof record.command === 'string') {
+        return { command: record.command };
+    }
+    throw new Error('Command JSON object must include command or argv.');
+}
+function testUsage() {
+    return `${testTaskUsage()}\n${testWaveUsage()}\n${testBatchUsage()}`;
+}
+function testTaskUsage() {
+    return 'Usage: sdd test task <task_id> [--branch <branch>] [--run <run_id>] [--approved] [--command <command>] [--command-json <json>] [--command-file <path>] [--timeout-ms <ms>] [--preflight] [--json] [-- <executable> [...args]]';
+}
+function testWaveUsage() {
+    return 'Usage: sdd test wave [--branch <branch>] [--wave <n>] [--task <task_id>]... [--approved] [--timeout-ms <ms>] [--preflight] [--json]';
+}
+function testBatchUsage() {
+    return 'Usage: sdd test batch <batch_id> [--branch <branch>] [--approved] [--timeout-ms <ms>] [--preflight] [--json]';
+}
+//# sourceMappingURL=test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"test.js","sourceRoot":"","sources":["../../src/commands/test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,UAAU,EAAE,iBAAiB,EAA4B,MAAM,uCAAuC,CAAC;AACjK,OAAO,EAAE,cAAc,EAAgB,MAAM,mCAAmC,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,8BAA8B,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAClG,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,UAAU,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAC1H,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAQ7D,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAA2B,EAAE,UAA8B,EAAE,IAAc;IACtI,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,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,SAAS,EAAE;SACpB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO,qBAAqB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO,sBAAsB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS,EAAE;SACnB,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,gBAAgB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACjF,MAAM,eAAe,GAAG,gBAAgB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,aAAa,EAAE;SACvB,CAAC;IACJ,CAAC;IAED,IAAI,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,uDAAuD,MAAM,qBAAqB;SACnP,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,0BAA0B,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACnF,IAAI,CAAC,0BAA0B,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;QAChG,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;QAC9E,IAAI,IAAI,IAAI,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE;gBAClD,MAAM;gBACN,OAAO,EAAE,IAAI,CAAC,gBAAgB,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS;gBAC9F,IAAI,EAAE,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS;gBAC/E,SAAS,EAAE,yBAAyB,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,SAAS;gBAC1E,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;aACzC,CAAC,CAAC;YACH,OAAO;gBACL,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1C,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;aAC9F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,aAAoC,CAAC;IACzC,IAAI,CAAC;QACH,aAAa,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACjF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC9D,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,WAAW,EAAE;QAC3C,MAAM;QACN,MAAM;QACN,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,SAAS;QAChD,QAAQ,EAAE,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC;QACnD,aAAa;QACb,SAAS,EAAE,yBAAyB,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,SAAS;QAC1E,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;KACzC,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,IAAc;IACtE,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,kEAAkE;SACrN,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE;QAClD,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC;QAC9B,IAAI,EAAE,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,SAAS;QAC5D,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC5C,SAAS,EAAE,yBAAyB,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,SAAS;QACvE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;KACtC,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,WAAmB,EAAE,IAAc;IACvE,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,cAAc,EAAE;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,yDAAyD,OAAO,qBAAqB;SAClP,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE;QAClD,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC;QAC9B,OAAO;QACP,SAAS,EAAE,yBAAyB,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,SAAS;QACvE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;KACtC,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAiB,EAAE,eAAyB;IACzE,OAAO,OAAO,CACZ,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC;WACzB,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC;WACpD,mBAAmB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,MAAM,GAAG,CAAC;WACzD,mBAAmB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,MAAM,GAAG,CAAC;WACzD,eAAe,CAAC,MAAM,GAAG,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,IAAa;IACpD,OAAO,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,IAAI,CAAC,gBAAgB,KAAK,WAAW,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC,CAAC,CAAC;AAC5J,CAAC;AAGD,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAAiB,EAAE,eAAyB;IAChG,MAAM,aAAa,GAA0B,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACvH,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACzE,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACpC,aAAa,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACpF,aAAa,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAW;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACtK,OAAO,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,MAAM,GAAG,KAA8C,CAAC;IAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC1F,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,SAAS;IAChB,OAAO,GAAG,aAAa,EAAE,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,+NAA+N,CAAC;AACzO,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,qIAAqI,CAAC;AAC/I,CAAC;AAED,SAAS,cAAc;IACrB,OAAO,8GAA8G,CAAC;AACxH,CAAC"}

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

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

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

@@ -0,0 +1,85 @@
+import { inspectVerifyContract, writeVerifyContract } from '@sdd-agent-platform/core/verification';
+import { readBranchContext } from '../args.js';
+import { jsonOutput, wantsJson } from '../renderers/json.js';
+export async function handleVerifiesCommand(projectRoot, command, subcommand, rest) {
+    if (command !== 'verifies') {
+        return null;
+    }
+    const args = [subcommand, ...rest].filter((item) => Boolean(item));
+    if (!subcommand || subcommand === 'inspect') {
+        const result = await inspectVerifyContract(projectRoot, readBranchContext(args));
+        return {
+            exitCode: 0,
+            output: wantsJson(args) ? jsonOutput(result, args) : renderVerifyContractInspection(result)
+        };
+    }
+    if (subcommand === 'write') {
+        const result = await writeVerifyContract(projectRoot, {
+            ...readBranchContext(args),
+            force: args.includes('--force')
+        });
+        return {
+            exitCode: 0,
+            output: wantsJson(args) ? jsonOutput(result, args) : renderWriteVerifyContractResult(result)
+        };
+    }
+    if (subcommand === 'format') {
+        return {
+            exitCode: 0,
+            output: verifyContractFormatText()
+        };
+    }
+    return {
+        exitCode: 2,
+        error: 'Usage: sdd verifies [inspect|write|format] [--branch <branch>] [--force] [--json]'
+    };
+}
+function renderVerifyContractInspection(result) {
+    const lines = [`SDD verify contract for ${result.branch}`, 'decision'];
+    lines.push(`- status=${result.status}`);
+    lines.push(`- exists=${result.exists} tasks=${result.taskCount}`);
+    lines.push(`- based_on_tasks_contract_hash=${result.basedOnTasksContractHash ?? 'none'} current_tasks_contract_hash=${result.currentTasksContractHash ?? 'none'}`);
+    lines.push(`- based_on_tasks_hash=${result.basedOnTasksHash ?? 'none'} current_tasks_hash=${result.currentTasksHash ?? 'none'}`);
+    lines.push('evidence');
+    lines.push(`- verify_path=${result.verifyPath}`);
+    lines.push('gaps');
+    if (result.issues.length === 0) {
+        lines.push('- none');
+    }
+    else {
+        for (const issue of result.issues) {
+            lines.push(`- [${issue.level}] ${issue.field}: ${issue.message}`);
+            lines.push(`  action: ${issue.action}`);
+        }
+    }
+    lines.push('next');
+    lines.push(result.status === 'PASS' ? '- sdd test task|batch|wave --branch <branch>' : `- sdd verifies write --branch ${result.branch}${result.exists ? ' --force' : ''}`);
+    return lines.join('\n');
+}
+function renderWriteVerifyContractResult(result) {
+    return [
+        `SDD verify contract ${result.status}`,
+        'changed',
+        `- ${result.relativePath}`,
+        'decision',
+        `- branch=${result.branch}`,
+        'next',
+        `- sdd verifies inspect --branch ${result.branch}`
+    ].join('\n');
+}
+function verifyContractFormatText() {
+    return `# Verify contract format
+
+\`specs/<branch>/verify.md\` is derived from \`tasks.md\` and must include frontmatter:
+
+\`\`\`yaml
+contract: sdd-verify-doc-v1
+version: 1.0.0
+branch: <branch>
+based_on_tasks_contract_hash: <current tasks contract hash>
+based_on_tasks_hash: <current tasks doc hash>
+\`\`\`
+
+Include a task verification matrix and verification rules. Runtime evidence remains in runtime.sqlite and branch evidence artifacts.`;
+}
+//# sourceMappingURL=verifies.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verifies.js","sourceRoot":"","sources":["../../src/commands/verifies.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAiE,MAAM,uCAAuC,CAAC;AAClK,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAQ7D,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,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,8BAA8B,CAAC,MAAM,CAAC;SAC5F,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,WAAW,EAAE;YACpD,GAAG,iBAAiB,CAAC,IAAI,CAAC;YAC1B,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;SAChC,CAAC,CAAC;QACH,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,MAAM,CAAC;SAC7F,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,wBAAwB,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,mFAAmF;KAC3F,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CAAC,MAAgC;IACtE,MAAM,KAAK,GAAG,CAAC,2BAA2B,MAAM,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC;IACvE,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,kCAAkC,MAAM,CAAC,wBAAwB,IAAI,MAAM,gCAAgC,MAAM,CAAC,wBAAwB,IAAI,MAAM,EAAE,CAAC,CAAC;IACnK,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,gBAAgB,IAAI,MAAM,uBAAuB,MAAM,CAAC,gBAAgB,IAAI,MAAM,EAAE,CAAC,CAAC;IACjI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,iCAAiC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3K,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,+BAA+B,CAAC,MAAiC;IACxE,OAAO;QACL,uBAAuB,MAAM,CAAC,MAAM,EAAE;QACtC,SAAS;QACT,KAAK,MAAM,CAAC,YAAY,EAAE;QAC1B,UAAU;QACV,YAAY,MAAM,CAAC,MAAM,EAAE;QAC3B,MAAM;QACN,mCAAmC,MAAM,CAAC,MAAM,EAAE;KACnD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB;IAC/B,OAAO;;;;;;;;;;;;qIAY4H,CAAC;AACtI,CAAC"}

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

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

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

@@ -0,0 +1,134 @@
+import { runGoalVerify } from '@sdd-agent-platform/core/verification';
+import { renderGoalVerifyResult, renderSingleTaskLoopResult } from '@sdd-agent-platform/core/verification';
+import { runSingleTaskLoop } from '@sdd-agent-platform/core/verification';
+import { readBranchOption, readOptionalPositionalArgument, readResolvedBranch, readTeamModeActivation } from '../args.js';
+import { hasHelpFlag, hasPreflightFlag, readOption } from '../options.js';
+import { jsonOutput, wantsJson } from '../renderers/json.js';
+import { inspectSddTask, parseSddBranch } from '@sdd-agent-platform/core/sdd-docs';
+import { evaluateTaskWorkflowGate } from '@sdd-agent-platform/core/risk';
+export async function handleVerifyCommand(projectRoot, command, subcommand, rest) {
+    if (command === 'do' && subcommand === 'task') {
+        if (hasHelpFlag(rest)) {
+            return {
+                exitCode: 0,
+                output: doTaskUsage()
+            };
+        }
+        const taskId = rest.find((item) => !item.startsWith('--'));
+        if (!taskId) {
+            return {
+                exitCode: 2,
+                error: doTaskUsage()
+            };
+        }
+        if (hasPreflightFlag(rest)) {
+            const preflight = await doTaskPreflight(projectRoot, taskId, rest);
+            return {
+                exitCode: preflight.status === 'PASS' ? 0 : 1,
+                output: wantsJson(rest) ? jsonOutput(preflight, rest) : commandPreflightOutput(preflight, rest)
+            };
+        }
+        const result = await runSingleTaskLoop(projectRoot, {
+            taskId,
+            branch: readBranchOption(rest),
+            runId: readOption(rest, '--run') ?? undefined,
+            implementArtifact: readOption(rest, '--implement-artifact') ?? undefined,
+            reviewArtifact: readOption(rest, '--review-artifact') ?? undefined,
+            debugArtifact: readOption(rest, '--debug-artifact') ?? undefined,
+            validationArtifact: readOption(rest, '--validation-artifact') ?? undefined,
+            teamModeActivation: readTeamModeActivation(rest),
+            approved: rest.includes('--approved')
+        });
+        const json = wantsJson(rest);
+        return {
+            exitCode: result.status === 'completed' ? 0 : 1,
+            output: json ? jsonOutput(result, rest) : renderSingleTaskLoopResult(result)
+        };
+    }
+    if (command === 'verify' && subcommand === 'task') {
+        if (hasHelpFlag(rest)) {
+            return {
+                exitCode: 0,
+                output: verifyTaskUsage()
+            };
+        }
+        const taskId = readOptionalPositionalArgument(rest);
+        const runId = readOption(rest, '--run');
+        if (!taskId) {
+            return {
+                exitCode: 2,
+                error: verifyTaskUsage()
+            };
+        }
+        if (hasPreflightFlag(rest)) {
+            return {
+                exitCode: 0,
+                output: commandPreflightOutput('verify task', taskId, rest)
+            };
+        }
+        const result = await runGoalVerify(projectRoot, {
+            taskId,
+            runId: runId ?? undefined,
+            branch: readBranchOption(rest),
+            reviewArtifact: readOption(rest, '--review-artifact') ?? undefined,
+            validationArtifact: readOption(rest, '--validation-artifact') ?? undefined
+        });
+        const json = wantsJson(rest);
+        return {
+            exitCode: result.status === 'PASS' ? 0 : 1,
+            output: json ? jsonOutput(result, rest) : renderGoalVerifyResult(result)
+        };
+    }
+    return null;
+}
+function doTaskUsage() {
+    return 'Usage: sdd do task <task_id> [--branch <branch>] [--run <run_id>] [--approved] [--team-mode [auto|force|off]] [--no-team-mode] [--preflight] [--implement-artifact artifacts/path.md] [--review-artifact artifacts/path.md] [--debug-artifact artifacts/path.md] [--validation-artifact artifacts/path.md]';
+}
+function verifyTaskUsage() {
+    return 'Usage: sdd verify task <task_id> [--run <run_id>] [--branch <branch>] [--preflight] [--review-artifact artifacts/path.md] [--validation-artifact artifacts/path.md] [--json]';
+}
+async function doTaskPreflight(projectRoot, taskId, args) {
+    const branch = await readResolvedBranch(projectRoot, args);
+    const model = await parseSddBranch(projectRoot, branch);
+    const inspected = inspectSddTask(model, taskId);
+    const blockers = [];
+    if (!inspected.task) {
+        blockers.push(`Task ${taskId} was not found.`);
+    }
+    if (inspected.task) {
+        blockers.push(...inspected.gaps.filter((gap) => gap.severity === 'blocking').map((gap) => `${gap.field}: ${gap.message}`));
+        blockers.push(...dependencyBlockingReasonsForTask(model, taskId));
+        const workflowGate = evaluateTaskWorkflowGate({ task: inspected.task, taskId, approved: args.includes('--approved') });
+        if (workflowGate.blocksRoute) {
+            blockers.push(workflowGate.primaryReason);
+        }
+    }
+    return { contract: 'sdd-command-preflight-v1', command: 'do task', taskId, sideEffects: 'none', status: blockers.length > 0 ? 'BLOCKED' : 'PASS', blockers };
+}
+function dependencyBlockingReasonsForTask(model, taskId) {
+    const task = model.tasks.find((candidate) => candidate.id === taskId) ?? null;
+    if (!task) {
+        return [`Task ${taskId} was not found.`];
+    }
+    return task.dependsOn.flatMap((dependencyId) => {
+        const dependency = model.tasks.find((candidate) => candidate.id === dependencyId) ?? null;
+        if (!dependency) {
+            return [`Task ${taskId} depends on ${dependencyId}, but ${dependencyId} was not found.`];
+        }
+        return dependency.status === 'completed' ? [] : [`Task ${taskId} depends on ${dependency.id}, but ${dependency.id} is not completed.`];
+    });
+}
+function commandPreflightOutput(preflight, taskIdOrArgs, maybeArgs) {
+    if (typeof preflight === 'string') {
+        const commandName = preflight;
+        const taskId = taskIdOrArgs;
+        const args = maybeArgs ?? [];
+        if (wantsJson(args)) {
+            return jsonOutput({ contract: 'sdd-command-preflight-v1', command: commandName, taskId, sideEffects: 'none', status: 'PASS' }, args);
+        }
+        return `SDD command preflight PASS\ncommand=${commandName}\ntask=${taskId}\nside_effects=none`;
+    }
+    const blockers = preflight.blockers.length > 0 ? `\nblockers=${preflight.blockers.length}\n${preflight.blockers.map((blocker) => `- ${blocker}`).join('\n')}` : '';
+    return `SDD command preflight ${preflight.status}\ncommand=${preflight.command}\ntask=${preflight.taskId}\nside_effects=${preflight.sideEffects}${blockers}`;
+}
+//# sourceMappingURL=verify.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/commands/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AAC3G,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,8BAA8B,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAC1H,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAqB,MAAM,mCAAmC,CAAC;AACtG,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAQzE,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,WAAmB,EAAE,OAA2B,EAAE,UAA8B,EAAE,IAAc;IACxI,IAAI,OAAO,KAAK,IAAI,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC9C,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,WAAW,EAAE;aACtB,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,WAAW,EAAE;aACrB,CAAC;QACJ,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACnE,OAAO;gBACL,QAAQ,EAAE,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,SAAS,EAAE,IAAI,CAAC;aAChG,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE;YAClD,MAAM;YACN,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC;YAC9B,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,SAAS;YAC7C,iBAAiB,EAAE,UAAU,CAAC,IAAI,EAAE,sBAAsB,CAAC,IAAI,SAAS;YACxE,cAAc,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,IAAI,SAAS;YAClE,aAAa,EAAE,UAAU,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,SAAS;YAChE,kBAAkB,EAAE,UAAU,CAAC,IAAI,EAAE,uBAAuB,CAAC,IAAI,SAAS;YAC1E,kBAAkB,EAAE,sBAAsB,CAAC,IAAI,CAAC;YAChD,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;SACtC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;SAC7E,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,KAAK,QAAQ,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAClD,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,eAAe,EAAE;aAC1B,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,eAAe,EAAE;aACzB,CAAC;QACJ,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,MAAM,EAAE,sBAAsB,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC;aAC5D,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE;YAC9C,MAAM;YACN,KAAK,EAAE,KAAK,IAAI,SAAS;YACzB,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC;YAC9B,cAAc,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,IAAI,SAAS;YAClE,kBAAkB,EAAE,UAAU,CAAC,IAAI,EAAE,uBAAuB,CAAC,IAAI,SAAS;SAC3E,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AACD,SAAS,WAAW;IAClB,OAAO,4SAA4S,CAAC;AACtT,CAAC;AAED,SAAS,eAAe;IACtB,OAAO,8KAA8K,CAAC;AACxL,CAAC;AAWD,KAAK,UAAU,eAAe,CAAC,WAAmB,EAAE,MAAc,EAAE,IAAc;IAChF,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC,QAAQ,MAAM,iBAAiB,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QACnB,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3H,QAAQ,CAAC,IAAI,CAAC,GAAG,gCAAgC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,YAAY,GAAG,wBAAwB,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvH,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC/J,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAkC,EAAE,MAAc;IAC1F,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;IAC9E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,CAAC,QAAQ,MAAM,iBAAiB,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE;QAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,IAAI,CAAC;QAC1F,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,CAAC,QAAQ,MAAM,eAAe,YAAY,SAAS,YAAY,iBAAiB,CAAC,CAAC;QAC3F,CAAC;QACD,OAAO,UAAU,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,oBAAoB,CAAC,CAAC;IACzI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,SAA0C,EAAE,YAA+B,EAAE,SAAoB;IAC/H,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,SAAS,CAAC;QAC9B,MAAM,MAAM,GAAG,YAAsB,CAAC;QACtC,MAAM,IAAI,GAAG,SAAS,IAAI,EAAE,CAAC;QAC7B,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,OAAO,UAAU,CAAC,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;QACvI,CAAC;QACD,OAAO,uCAAuC,WAAW,UAAU,MAAM,qBAAqB,CAAC;IACjG,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnK,OAAO,yBAAyB,SAAS,CAAC,MAAM,aAAa,SAAS,CAAC,OAAO,UAAU,SAAS,CAAC,MAAM,kBAAkB,SAAS,CAAC,WAAW,GAAG,QAAQ,EAAE,CAAC;AAC/J,CAAC"}

package/packages/cli/dist/dispatch.d.ts

@@ -0,0 +1,7 @@
+interface CliResult {
+    exitCode: number;
+    output?: string;
+    error?: string;
+}
+export declare function dispatchCli(args: string[], importMetaUrl?: string): Promise<CliResult>;
+export {};