sdd-agent-platform 0.2.0 → 0.4.0

package/node_modules/@sdd-agent-platform/core/dist/verification/verify-contract.d.ts

@@ -0,0 +1,42 @@
+import { VERIFY_DOCUMENT_CONTRACT_VERSION } from '../contracts.js';
+import { type ContextBranchSource } from '../sdd-docs/context.js';
+import { type SddTaskModel } from '../sdd-docs/task-parser.js';
+export type VerifyContractStatus = 'PASS' | 'WARN' | 'BLOCKED';
+export type VerifyContractIssueLevel = 'WARN' | 'FAIL';
+export type VerifyContractAuthorRole = 'verification-designer';
+export interface VerifyContractIssue {
+    level: VerifyContractIssueLevel;
+    field: string;
+    message: string;
+    action: string;
+}
+export interface VerifyContractInspection {
+    contract: typeof VERIFY_DOCUMENT_CONTRACT_VERSION;
+    branch: string;
+    verifyPath: string;
+    exists: boolean;
+    status: VerifyContractStatus;
+    basedOnTasksHash: string | null;
+    currentTasksHash: string | null;
+    issues: VerifyContractIssue[];
+    taskCount: number;
+    authorRole: VerifyContractAuthorRole | null;
+    independentFromRoles: string[];
+}
+export interface WriteVerifyContractResult {
+    branch: string;
+    verifyPath: string;
+    relativePath: string;
+    status: 'created' | 'updated' | 'unchanged';
+    content: string;
+}
+export declare function inspectVerifyContract(projectRoot: string, options?: {
+    branch?: string | null;
+    branchSource?: ContextBranchSource;
+}): Promise<VerifyContractInspection>;
+export declare function writeVerifyContract(projectRoot: string, options?: {
+    branch?: string | null;
+    branchSource?: ContextBranchSource;
+    force?: boolean;
+}): Promise<WriteVerifyContractResult>;
+export declare function renderVerifyContractDocument(model: SddTaskModel, timestamp: string): string;

package/node_modules/@sdd-agent-platform/core/dist/verification/verify-contract.js

@@ -0,0 +1,201 @@
+import { mkdir, readFile, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { VERIFY_DOCUMENT_CONTRACT_VERSION } from '../contracts.js';
+import { resolveSddContext } from '../sdd-docs/context.js';
+import { parseSddBranch } from '../sdd-docs/task-parser.js';
+import { exists } from '../storage/json-io.js';
+const VERIFY_CONTRACT_AUTHOR_ROLE = 'verification-designer';
+const REQUIRED_INDEPENDENT_FROM_ROLES = ['task-planner', 'implementer'];
+export async function inspectVerifyContract(projectRoot, options = {}) {
+    const context = await resolveSddContext(projectRoot, options);
+    const model = await parseSddBranch(projectRoot, context.partition);
+    const raw = model.documents.verifyExists ? await readFile(model.verifyPath, 'utf8') : null;
+    const issues = [];
+    if (!model.documents.tasksExists) {
+        issues.push({
+            level: 'FAIL',
+            field: 'tasks.md',
+            message: 'Cannot inspect verify.md because tasks.md is missing.',
+            action: 'Create specs/<branch>/tasks.md before generating verify.md.'
+        });
+    }
+    if (!model.documents.verifyExists || raw === null) {
+        issues.push({
+            level: 'WARN',
+            field: 'verify.md',
+            message: 'Verification contract document is missing.',
+            action: `Run sdd verifies write --branch ${context.partition} to create specs/${context.partition}/verify.md.`
+        });
+    }
+    else {
+        if (!raw.includes(`contract: ${VERIFY_DOCUMENT_CONTRACT_VERSION}`)) {
+            issues.push({
+                level: 'FAIL',
+                field: 'contract',
+                message: `verify.md does not declare contract ${VERIFY_DOCUMENT_CONTRACT_VERSION}.`,
+                action: 'Regenerate verify.md with sdd verifies write or update the frontmatter contract.'
+            });
+        }
+        if (model.documents.verifyStale) {
+            issues.push({
+                level: 'WARN',
+                field: 'based_on_tasks_hash',
+                message: `verify.md is stale for current tasks hash ${model.documents.tasksHash}.`,
+                action: `Run sdd verifies write --branch ${context.partition} --force after reviewing task contract changes.`
+            });
+        }
+        const authorRole = readDocumentScalar(raw, 'author_role');
+        if (authorRole !== VERIFY_CONTRACT_AUTHOR_ROLE) {
+            issues.push({
+                level: 'WARN',
+                field: 'author_role',
+                message: `verify.md must be owned by ${VERIFY_CONTRACT_AUTHOR_ROLE}, not ${authorRole ?? 'missing'}.`,
+                action: 'Regenerate verify.md with a verification-designer role before running /sdd:test.'
+            });
+        }
+        const independentFromRoles = readDocumentList(raw, 'independent_from_roles');
+        for (const role of REQUIRED_INDEPENDENT_FROM_ROLES) {
+            if (!independentFromRoles.includes(role)) {
+                issues.push({
+                    level: 'WARN',
+                    field: 'independent_from_roles',
+                    message: `verify.md must declare independence from ${role}.`,
+                    action: 'Regenerate verify.md so task planning, verification design, and implementation are separated.'
+                });
+            }
+        }
+        for (const task of model.tasks) {
+            if (!new RegExp(`\\b${escapeRegex(task.id)}\\b`).test(raw)) {
+                issues.push({
+                    level: 'WARN',
+                    field: 'tasks',
+                    message: `verify.md does not mention task ${task.id}.`,
+                    action: 'Refresh verify.md so every executable task has verification expectations.'
+                });
+            }
+        }
+    }
+    return {
+        contract: VERIFY_DOCUMENT_CONTRACT_VERSION,
+        branch: context.partition,
+        verifyPath: model.verifyPath,
+        exists: model.documents.verifyExists,
+        status: issues.some((issue) => issue.level === 'FAIL') ? 'BLOCKED' : issues.length > 0 ? 'WARN' : 'PASS',
+        basedOnTasksHash: model.documents.verifyBasedOnTasksHash ?? null,
+        currentTasksHash: model.documents.tasksHash ?? null,
+        issues,
+        taskCount: model.tasks.length,
+        authorRole: raw ? readDocumentScalar(raw, 'author_role') : null,
+        independentFromRoles: raw ? readDocumentList(raw, 'independent_from_roles') : []
+    };
+}
+export async function writeVerifyContract(projectRoot, options = {}) {
+    const context = await resolveSddContext(projectRoot, options);
+    const model = await parseSddBranch(projectRoot, context.partition);
+    const content = renderVerifyContractDocument(model, new Date().toISOString());
+    const existed = await exists(model.verifyPath);
+    if (existed && !options.force) {
+        const current = await readFile(model.verifyPath, 'utf8');
+        return {
+            branch: context.partition,
+            verifyPath: model.verifyPath,
+            relativePath: `specs/${context.partition}/verify.md`,
+            status: current === content ? 'unchanged' : 'unchanged',
+            content: current
+        };
+    }
+    await mkdir(path.dirname(model.verifyPath), { recursive: true });
+    await writeFile(model.verifyPath, content, 'utf8');
+    return {
+        branch: context.partition,
+        verifyPath: model.verifyPath,
+        relativePath: `specs/${context.partition}/verify.md`,
+        status: existed ? 'updated' : 'created',
+        content
+    };
+}
+export function renderVerifyContractDocument(model, timestamp) {
+    return `---
+contract: ${VERIFY_DOCUMENT_CONTRACT_VERSION}
+version: 1.0.0
+branch: ${model.branch}
+based_on_tasks_hash: ${model.documents.tasksHash ?? 'missing'}
+author_role: ${VERIFY_CONTRACT_AUTHOR_ROLE}
+independent_from_roles:
+${REQUIRED_INDEPENDENT_FROM_ROLES.map((role) => `  - ${role}`).join('\n')}
+created_at: ${timestamp}
+updated_at: ${timestamp}
+---
+
+# Verify Contract: ${model.branch}
+
+## 1. Purpose
+
+This document maps executable SDD tasks to verification expectations. It is derived from specs/${model.branch}/tasks.md and is not runtime evidence. It is owned by the verification-designer role and must remain independent from task planning and implementation authority.
+
+## 2. Task Verification Matrix
+
+| Task | Acceptance refs | Validation commands | Required artifacts | Verification availability |
+|---|---|---|---|---|
+${model.tasks.length > 0 ? model.tasks.map(renderTaskMatrixRow).join('\n') : '| none | none | none | none | none |'}
+
+## 3. Verification Rules
+
+- The agent that creates tasks.md must not be the same authority that owns verify.md.
+- The implementer must not own verify.md or perform authoritative goal verification.
+- Reviewer and validator evidence must use run-relative artifacts/<file> paths.
+- Physical evidence files live under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/.
+- Goal-level verify must resolve the latest eligible run by branch and task unless --run is explicitly supplied for replay.
+- PASS requires policy-backed acceptance evidence, not mention-only acceptance text.
+- Sync-back must inspect the generated proposal before applying task status changes.
+
+## 4. Out of Scope
+
+- This document does not replace runtime.sqlite, branch evidence artifacts, validator reports, or sync-back proposals.
+- This document does not authorize publish, push, tag, release, or source changes outside the selected task boundary.
+`;
+}
+function renderTaskMatrixRow(task) {
+    return `| ${task.id} | ${cell(task.acceptanceRefs)} | ${cell(task.validation)} | ${cell(task.requiredArtifacts)} | ${cell(task.verificationAvailability)} |`;
+}
+function cell(values) {
+    return values.length > 0 ? values.join('<br>') : 'none';
+}
+function readDocumentScalar(raw, key) {
+    const escapedKey = key.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const match = raw.match(new RegExp(`^[^\\S\\r\\n]*(?:-[^\\S\\r\\n]*)?${escapedKey}:[^\\S\\r\\n]*(.+?)[^\\S\\r\\n]*$`, 'm'));
+    return match ? cleanDocumentValue(match[1]) : null;
+}
+function readDocumentList(raw, key) {
+    const escapedKey = key.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const scalar = readDocumentScalar(raw, key);
+    if (scalar && scalar !== '[]') {
+        if (scalar.startsWith('[') && scalar.endsWith(']')) {
+            return scalar.slice(1, -1).split(',').map(cleanDocumentValue).filter(Boolean);
+        }
+        return [scalar];
+    }
+    const lines = raw.split(/\r?\n/);
+    const start = lines.findIndex((line) => new RegExp(`^\\s*${escapedKey}:\\s*$`).test(line));
+    if (start === -1) {
+        return [];
+    }
+    const values = [];
+    for (const line of lines.slice(start + 1)) {
+        if (/^\S/.test(line) || /^---\s*$/.test(line)) {
+            break;
+        }
+        const item = line.trim().match(/^-\s+(.+)$/)?.[1];
+        if (item) {
+            values.push(cleanDocumentValue(item));
+        }
+    }
+    return values;
+}
+function cleanDocumentValue(value) {
+    return value.trim().replace(/^["'`]|["'`]$/g, '');
+}
+function escapeRegex(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+//# sourceMappingURL=verify-contract.js.map

package/node_modules/@sdd-agent-platform/core/dist/verification/verify-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-contract.js","sourceRoot":"","sources":["../../src/verification/verify-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAA4B,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAmC,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAM/C,MAAM,2BAA2B,GAA6B,uBAAuB,CAAC;AACtF,MAAM,+BAA+B,GAAG,CAAC,cAAc,EAAE,aAAa,CAAU,CAAC;AA+BjF,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,UAA0E,EAAE;IAC3I,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,MAAM,GAA0B,EAAE,CAAC;IAEzC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,uDAAuD;YAChE,MAAM,EAAE,6DAA6D;SACtE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,4CAA4C;YACrD,MAAM,EAAE,mCAAmC,OAAO,CAAC,SAAS,oBAAoB,OAAO,CAAC,SAAS,aAAa;SAC/G,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,gCAAgC,EAAE,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,uCAAuC,gCAAgC,GAAG;gBACnF,MAAM,EAAE,kFAAkF;aAC3F,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,qBAAqB;gBAC5B,OAAO,EAAE,6CAA6C,KAAK,CAAC,SAAS,CAAC,SAAS,GAAG;gBAClF,MAAM,EAAE,mCAAmC,OAAO,CAAC,SAAS,iDAAiD;aAC9G,CAAC,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,2BAA2B,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM;gBACb,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,8BAA8B,2BAA2B,SAAS,UAAU,IAAI,SAAS,GAAG;gBACrG,MAAM,EAAE,kFAAkF;aAC3F,CAAC,CAAC;QACL,CAAC;QACD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,+BAA+B,EAAE,CAAC;YACnD,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,wBAAwB;oBAC/B,OAAO,EAAE,4CAA4C,IAAI,GAAG;oBAC5D,MAAM,EAAE,+FAA+F;iBACxG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,OAAO;oBACd,OAAO,EAAE,mCAAmC,IAAI,CAAC,EAAE,GAAG;oBACtD,MAAM,EAAE,2EAA2E;iBACpF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,gCAAgC;QAC1C,MAAM,EAAE,OAAO,CAAC,SAAS;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,YAAY;QACpC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACxG,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,sBAAsB,IAAI,IAAI;QAChE,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,IAAI;QACnD,MAAM;QACN,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC7B,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,aAAa,CAAoC,CAAC,CAAC,CAAC,IAAI;QAClG,oBAAoB,EAAE,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC,EAAE;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,WAAmB,EAAE,UAA2F,EAAE;IAC1J,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACzD,OAAO;YACL,MAAM,EAAE,OAAO,CAAC,SAAS;YACzB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,SAAS,OAAO,CAAC,SAAS,YAAY;YACpD,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;YACvD,OAAO,EAAE,OAAO;SACjB,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,SAAS;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,SAAS,OAAO,CAAC,SAAS,YAAY;QACpD,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QACvC,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAmB,EAAE,SAAiB;IACjF,OAAO;YACG,gCAAgC;;UAElC,KAAK,CAAC,MAAM;uBACC,KAAK,CAAC,SAAS,CAAC,SAAS,IAAI,SAAS;eAC9C,2BAA2B;;EAExC,+BAA+B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;cAC3D,SAAS;cACT,SAAS;;;qBAGF,KAAK,CAAC,MAAM;;;;iGAIgE,KAAK,CAAC,MAAM;;;;;;EAM3G,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,sCAAsC;;;;;;;;;;;;;;;;CAgBlH,CAAC;AACF,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa;IACxC,OAAO,KAAK,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;AAC/J,CAAC;AAED,SAAS,IAAI,CAAC,MAAgB;IAC5B,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,GAAW;IAClD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,oCAAoC,UAAU,mCAAmC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5H,OAAO,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IAChD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,MAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,QAAQ,UAAU,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC"}

package/node_modules/@sdd-agent-platform/core/dist/verification.d.ts

@@ -0,0 +1,6 @@
+export * from './verification/goal-verify.js';
+export { renderGoalVerifyResult, renderSingleTaskLoopResult } from './verification/rendering.js';
+export type { GoalVerifyResultLike, SingleTaskLoopResultLike } from './verification/rendering.js';
+export * from './verification/single-task-loop.js';
+export * from './verification/verify-contract.js';
+export * from './verification/test-runtime.js';

package/node_modules/@sdd-agent-platform/core/dist/verification.js

@@ -0,0 +1,6 @@
+export * from './verification/goal-verify.js';
+export { renderGoalVerifyResult, renderSingleTaskLoopResult } from './verification/rendering.js';
+export * from './verification/single-task-loop.js';
+export * from './verification/verify-contract.js';
+export * from './verification/test-runtime.js';
+//# sourceMappingURL=verification.js.map

package/node_modules/@sdd-agent-platform/core/dist/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../src/verification.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAEjG,cAAc,oCAAoC,CAAC;AACnD,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC"}

package/node_modules/@sdd-agent-platform/core/dist/work-units/contracts.d.ts

@@ -0,0 +1,24 @@
+import type { RuntimeRef, RuntimeScope } from '../contracts.js';
+import { WORK_UNIT_CONTRACT_VERSION } from '../contracts.js';
+export type WorkUnitType = 'main-agent' | 'co-main-agent' | 'subagent';
+export type WorkUnitStatus = 'pending' | 'running' | 'completed' | 'blocked' | 'failed' | 'cancelled';
+export type WorkUnitAuthority = 'stage-owner' | 'stage-contributor' | 'non-authoritative';
+export type WorkUnitRequiredBefore = 'stage-output' | 'handoff' | 'sync-back' | 'ship' | 'never';
+export interface WorkUnit {
+    contract: typeof WORK_UNIT_CONTRACT_VERSION;
+    id: string;
+    scope: RuntimeScope;
+    stageRunId: string;
+    type: WorkUnitType;
+    name: string;
+    purpose: string;
+    status: WorkUnitStatus;
+    blocking: boolean;
+    authority: WorkUnitAuthority;
+    requiredBefore: WorkUnitRequiredBefore;
+    contextRef: RuntimeRef;
+    outputRefs: RuntimeRef[];
+    evidenceRefs: RuntimeRef[];
+    createdAt: string;
+    completedAt?: string;
+}

package/node_modules/@sdd-agent-platform/core/dist/work-units/contracts.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=contracts.js.map

package/node_modules/@sdd-agent-platform/core/dist/work-units/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/work-units/contracts.ts"],"names":[],"mappings":""}

package/node_modules/@sdd-agent-platform/core/dist/work-units/runtime.d.ts

@@ -0,0 +1,21 @@
+import type { RuntimeProjectionEnvelope, RuntimeScope } from '../contracts.js';
+import { type RuntimeProjectionEnvelopeWriteResult } from '../storage/runtime-store.js';
+import type { WorkUnit, WorkUnitStatus } from './contracts.js';
+export declare const WORK_UNIT_RUNTIME_PRODUCER_VERSION = "phase8-work-unit-runtime-v1";
+export declare const WORK_UNIT_PROJECTION_TYPE = "phase8_work_unit";
+export interface WorkUnitValidationResult {
+    valid: boolean;
+    issues: string[];
+}
+export interface WorkUnitTransitionResult extends WorkUnitValidationResult {
+    workUnit: WorkUnit;
+}
+export declare function canTransitionWorkUnit(from: WorkUnitStatus, to: WorkUnitStatus): boolean;
+export declare function transitionWorkUnit(workUnit: WorkUnit, status: WorkUnitStatus, options?: {
+    completedAt?: string;
+}): WorkUnitTransitionResult;
+export declare function validateWorkUnit(workUnit: WorkUnit): WorkUnitValidationResult;
+export declare function workUnitBlocksGate(workUnit: WorkUnit, gate: WorkUnit['requiredBefore']): boolean;
+export declare function workUnitScopeKey(scope: RuntimeScope, workUnitId: string): string;
+export declare function recordWorkUnitProjection(projectRoot: string, workUnit: WorkUnit): Promise<RuntimeProjectionEnvelopeWriteResult<WorkUnit>>;
+export declare function readWorkUnitProjection(projectRoot: string, scope: RuntimeScope, workUnitId: string): Promise<RuntimeProjectionEnvelope<WorkUnit> | null>;

package/node_modules/@sdd-agent-platform/core/dist/work-units/runtime.js

@@ -0,0 +1,90 @@
+import { createHash } from 'node:crypto';
+import { readRuntimeProjectionEnvelope, recordRuntimeProjectionEnvelope } from '../storage/runtime-store.js';
+export const WORK_UNIT_RUNTIME_PRODUCER_VERSION = 'phase8-work-unit-runtime-v1';
+export const WORK_UNIT_PROJECTION_TYPE = 'phase8_work_unit';
+const WORK_UNIT_TRANSITIONS = {
+    pending: ['running', 'blocked', 'cancelled'],
+    running: ['completed', 'blocked', 'failed', 'cancelled'],
+    blocked: ['running', 'cancelled'],
+    completed: [],
+    failed: [],
+    cancelled: []
+};
+export function canTransitionWorkUnit(from, to) {
+    return WORK_UNIT_TRANSITIONS[from].includes(to);
+}
+export function transitionWorkUnit(workUnit, status, options = {}) {
+    if (!canTransitionWorkUnit(workUnit.status, status)) {
+        return {
+            valid: false,
+            issues: [`Illegal work unit transition ${workUnit.status} -> ${status} for ${workUnit.id}.`],
+            workUnit
+        };
+    }
+    const next = {
+        ...workUnit,
+        status,
+        completedAt: status === 'completed' || status === 'failed' || status === 'cancelled' ? options.completedAt ?? new Date().toISOString() : workUnit.completedAt
+    };
+    return { valid: validateWorkUnit(next).valid, issues: validateWorkUnit(next).issues, workUnit: next };
+}
+export function validateWorkUnit(workUnit) {
+    const issues = [];
+    if (workUnit.type === 'subagent' && workUnit.authority !== 'non-authoritative') {
+        issues.push('Subagent work units must be non-authoritative.');
+    }
+    if (workUnit.authority === 'stage-owner' && workUnit.type !== 'main-agent') {
+        issues.push('Only main-agent work units can own a lifecycle stage.');
+    }
+    if (!workUnit.blocking && workUnit.requiredBefore !== 'never') {
+        issues.push('Non-blocking work units cannot declare a required-before gate.');
+    }
+    if (workUnit.blocking && workUnit.requiredBefore === 'never') {
+        issues.push('Blocking work units must declare the gate they block.');
+    }
+    return { valid: issues.length === 0, issues };
+}
+export function workUnitBlocksGate(workUnit, gate) {
+    return workUnit.blocking && workUnit.requiredBefore === gate && workUnit.status !== 'completed';
+}
+export function workUnitScopeKey(scope, workUnitId) {
+    return [scope.branch, scope.taskId ?? 'all', scope.runId ?? 'none', scope.changeRef ?? 'none', workUnitId].join(':');
+}
+export async function recordWorkUnitProjection(projectRoot, workUnit) {
+    return recordRuntimeProjectionEnvelope(projectRoot, {
+        projectionType: WORK_UNIT_PROJECTION_TYPE,
+        scopeKey: workUnitScopeKey(workUnit.scope, workUnit.id),
+        inputHash: workUnitInputHash(workUnit),
+        producer: 'phase8-work-unit-runtime',
+        producerVersion: WORK_UNIT_RUNTIME_PRODUCER_VERSION,
+        generatedAt: workUnit.completedAt ?? workUnit.createdAt,
+        payload: workUnit
+    });
+}
+export async function readWorkUnitProjection(projectRoot, scope, workUnitId) {
+    return readRuntimeProjectionEnvelope(projectRoot, WORK_UNIT_PROJECTION_TYPE, workUnitScopeKey(scope, workUnitId));
+}
+function workUnitInputHash(workUnit) {
+    return stableHash(JSON.stringify({
+        contract: workUnit.contract,
+        id: workUnit.id,
+        scope: workUnit.scope,
+        stageRunId: workUnit.stageRunId,
+        type: workUnit.type,
+        name: workUnit.name,
+        purpose: workUnit.purpose,
+        status: workUnit.status,
+        blocking: workUnit.blocking,
+        authority: workUnit.authority,
+        requiredBefore: workUnit.requiredBefore,
+        contextRef: workUnit.contextRef,
+        outputRefs: workUnit.outputRefs,
+        evidenceRefs: workUnit.evidenceRefs,
+        createdAt: workUnit.createdAt,
+        completedAt: workUnit.completedAt ?? null
+    }));
+}
+function stableHash(value) {
+    return createHash('sha256').update(value, 'utf8').digest('hex');
+}
+//# sourceMappingURL=runtime.js.map

package/node_modules/@sdd-agent-platform/core/dist/work-units/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../src/work-units/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,6BAA6B,EAAE,+BAA+B,EAA6C,MAAM,6BAA6B,CAAC;AAGxJ,MAAM,CAAC,MAAM,kCAAkC,GAAG,6BAA6B,CAAC;AAChF,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAE5D,MAAM,qBAAqB,GAAsD;IAC/E,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;IAC5C,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC;IACxD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;IACjC,SAAS,EAAE,EAAE;IACb,MAAM,EAAE,EAAE;IACV,SAAS,EAAE,EAAE;CACd,CAAC;AAWF,MAAM,UAAU,qBAAqB,CAAC,IAAoB,EAAE,EAAkB;IAC5E,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAkB,EAAE,MAAsB,EAAE,UAAoC,EAAE;IACnH,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACpD,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,CAAC,gCAAgC,QAAQ,CAAC,MAAM,OAAO,MAAM,QAAQ,QAAQ,CAAC,EAAE,GAAG,CAAC;YAC5F,QAAQ;SACT,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAa;QACrB,GAAG,QAAQ;QACX,MAAM;QACN,WAAW,EAAE,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW;KAC9J,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACxG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,SAAS,KAAK,mBAAmB,EAAE,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,aAAa,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,EAAE,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,EAAE,CAAC;QAC7D,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAkB,EAAE,IAAgC;IACrF,OAAO,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,cAAc,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAmB,EAAE,UAAkB;IACtE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,MAAM,EAAE,KAAK,CAAC,SAAS,IAAI,MAAM,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,WAAmB,EAAE,QAAkB;IACpF,OAAO,+BAA+B,CAAC,WAAW,EAAE;QAClD,cAAc,EAAE,yBAAyB;QACzC,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QACvD,SAAS,EAAE,iBAAiB,CAAC,QAAQ,CAAC;QACtC,QAAQ,EAAE,0BAA0B;QACpC,eAAe,EAAE,kCAAkC;QACnD,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,SAAS;QACvD,OAAO,EAAE,QAAQ;KAClB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,WAAmB,EAAE,KAAmB,EAAE,UAAkB;IACvG,OAAO,6BAA6B,CAAC,WAAW,EAAE,yBAAyB,EAAE,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAkB;IAC3C,OAAO,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;QAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,IAAI;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC"}

package/node_modules/@sdd-agent-platform/core/dist/work-units.d.ts

@@ -0,0 +1,2 @@
+export * from './work-units/contracts.js';
+export * from './work-units/runtime.js';

package/node_modules/@sdd-agent-platform/core/dist/work-units.js

@@ -0,0 +1,3 @@
+export * from './work-units/contracts.js';
+export * from './work-units/runtime.js';
+//# sourceMappingURL=work-units.js.map

package/node_modules/@sdd-agent-platform/core/dist/work-units.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-units.js","sourceRoot":"","sources":["../src/work-units.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,yBAAyB,CAAC"}

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/affected-file-conflicts.d.ts

@@ -0,0 +1,12 @@
+import type { RunState } from '../run-state/model.js';
+export interface WorkflowAffectedFileConflict {
+    file: string;
+    partition: string;
+    gitBranch: string | null;
+    taskId: string;
+    runId: string;
+    runStatus: RunState['status'];
+    syncBackStatus: RunState['syncBack']['status'];
+    updatedAt: string;
+}
+export declare function affectedFileConflictsForSelectedRun(states: RunState[], selected: RunState): WorkflowAffectedFileConflict[];

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/affected-file-conflicts.js

@@ -0,0 +1,60 @@
+export function affectedFileConflictsForSelectedRun(states, selected) {
+    if (!selected.partition || !selected.taskId || selected.affectedFiles.length === 0) {
+        return [];
+    }
+    const selectedFiles = new Set(selected.affectedFiles);
+    const conflicts = [];
+    for (const state of states) {
+        if (!isAffectedFileConflictCandidate(state, selected)) {
+            continue;
+        }
+        for (const file of state.affectedFiles) {
+            if (selectedFiles.has(file)) {
+                conflicts.push({
+                    file,
+                    partition: state.partition,
+                    gitBranch: state.gitBranch,
+                    taskId: state.taskId,
+                    runId: state.runId,
+                    runStatus: state.status,
+                    syncBackStatus: state.syncBack.status,
+                    updatedAt: state.updatedAt
+                });
+            }
+        }
+    }
+    return conflicts.sort((left, right) => left.file.localeCompare(right.file) || left.partition.localeCompare(right.partition) || left.taskId.localeCompare(right.taskId) || left.runId.localeCompare(right.runId));
+}
+function isAffectedFileConflictCandidate(candidate, selected) {
+    if (candidate.runId === selected.runId || candidate.status === 'archived' || !candidate.partition || !candidate.taskId) {
+        return false;
+    }
+    if (isNonAuthoritativeForegroundRun(candidate)) {
+        return false;
+    }
+    if (selectedSupersedesCandidate(selected, candidate)) {
+        return false;
+    }
+    return isActiveAffectedFileRun(candidate);
+}
+function isActiveAffectedFileRun(state) {
+    return state.status === 'created' || state.status === 'running' || state.syncBack.status === 'proposed';
+}
+function selectedSupersedesCandidate(selected, candidate) {
+    return Boolean(selected.partition &&
+        selected.taskId &&
+        selected.partition === candidate.partition &&
+        selected.taskId === candidate.taskId &&
+        selected.status === 'completed' &&
+        selected.validation.status === 'pass' &&
+        Date.parse(selected.updatedAt) > Date.parse(candidate.updatedAt) &&
+        (candidate.status === 'failed' || candidate.status === 'blocked' || candidate.validation.status === 'fail' || candidate.validation.status === 'blocked' || candidate.syncBack.status === 'proposed'));
+}
+function isNonAuthoritativeForegroundRun(state) {
+    if (state.phase === 'foreground-subagents') {
+        return true;
+    }
+    const delegations = Object.values(state.delegations);
+    return delegations.length > 0 && delegations.every((delegation) => delegation.runMode === 'foreground' && !delegation.blocking && !delegation.requiredForPhaseExit);
+}
+//# sourceMappingURL=affected-file-conflicts.js.map

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/affected-file-conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"affected-file-conflicts.js","sourceRoot":"","sources":["../../src/workflow-state/affected-file-conflicts.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,mCAAmC,CAAC,MAAkB,EAAE,QAAkB;IACxF,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,SAAS,GAAmC,EAAE,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,+BAA+B,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI;oBACJ,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;oBACrC,SAAS,EAAE,KAAK,CAAC,SAAS;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACnN,CAAC;AAED,SAAS,+BAA+B,CAAC,SAAmB,EAAE,QAAkB;IAC9E,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvH,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,+BAA+B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAe;IAC9C,OAAO,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC;AAC1G,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkB,EAAE,SAAmB;IAC1E,OAAO,OAAO,CACZ,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS;QAC1C,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACpC,QAAQ,CAAC,MAAM,KAAK,WAAW;QAC/B,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC;QAChE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,CACrM,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAe;IACtD,IAAI,KAAK,CAAC,KAAK,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;AACtK,CAAC"}

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/dependencies.d.ts

@@ -0,0 +1,25 @@
+import type { SddTask, SddTaskModel } from '../sdd-docs/task-parser.js';
+type TaskDependencyModel = Pick<SddTaskModel, 'tasks'>;
+export interface TaskDependencyReadinessEntry {
+    taskId: string;
+    status: SddTask['status'] | 'missing';
+    ready: boolean;
+    reason: string | null;
+}
+export interface TaskDependencyReadiness {
+    taskId: string;
+    ready: boolean;
+    dependencies: TaskDependencyReadinessEntry[];
+    blockingReasons: string[];
+}
+export interface WorkflowDependencyBlocker {
+    taskId: string;
+    dependencyId: string;
+    dependencyStatus: SddTask['status'] | 'missing';
+    reason: string;
+}
+export declare function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskId: string): TaskDependencyReadiness;
+export declare function dependencyBlockingReasonsForTask(model: TaskDependencyModel, taskId: string): string[];
+export declare function workflowDependencyBlockers(model: TaskDependencyModel): WorkflowDependencyBlocker[];
+export declare function nextDependencyTaskId(model: TaskDependencyModel, taskId: string): string | null;
+export {};

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/dependencies.js

@@ -0,0 +1,64 @@
+export function resolveTaskDependencyReadiness(model, taskId) {
+    const task = model.tasks.find((candidate) => candidate.id === taskId) ?? null;
+    if (!task) {
+        return { taskId, ready: false, dependencies: [], blockingReasons: [`Task ${taskId} was not found.`] };
+    }
+    const dependencies = task.dependsOn.map((dependencyId) => dependencyReadinessEntry(task.id, dependencyId, model.tasks.find((candidate) => candidate.id === dependencyId) ?? null));
+    const blockingReasons = dependencies.map((dependency) => dependency.reason).filter((reason) => Boolean(reason));
+    return {
+        taskId: task.id,
+        ready: blockingReasons.length === 0,
+        dependencies,
+        blockingReasons
+    };
+}
+export function dependencyBlockingReasonsForTask(model, taskId) {
+    return resolveTaskDependencyReadiness(model, taskId).blockingReasons;
+}
+export function workflowDependencyBlockers(model) {
+    const blockers = [];
+    for (const task of model.tasks) {
+        if (task.status === 'completed' || task.status === 'deferred') {
+            continue;
+        }
+        for (const dependency of resolveTaskDependencyReadiness(model, task.id).dependencies) {
+            if (!dependency.ready && dependency.reason) {
+                blockers.push({
+                    taskId: task.id,
+                    dependencyId: dependency.taskId,
+                    dependencyStatus: dependency.status,
+                    reason: dependency.reason
+                });
+            }
+        }
+    }
+    return blockers;
+}
+export function nextDependencyTaskId(model, taskId) {
+    return resolveTaskDependencyReadiness(model, taskId).dependencies.find((dependency) => !dependency.ready)?.taskId ?? null;
+}
+function dependencyReadinessEntry(taskId, dependencyId, dependency) {
+    if (!dependency) {
+        return {
+            taskId: dependencyId,
+            status: 'missing',
+            ready: false,
+            reason: `Task ${taskId} depends on ${dependencyId}, but ${dependencyId} was not found; restore or remove the dependency before continuing ${taskId}.`
+        };
+    }
+    if (dependency.status === 'completed') {
+        return {
+            taskId: dependency.id,
+            status: dependency.status,
+            ready: true,
+            reason: null
+        };
+    }
+    return {
+        taskId: dependency.id,
+        status: dependency.status,
+        ready: false,
+        reason: `Task ${taskId} depends on ${dependency.id}, but ${dependency.id} status is ${dependency.status}; complete and sync-back ${dependency.id} before continuing ${taskId}.`
+    };
+}
+//# sourceMappingURL=dependencies.js.map

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/dependencies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/workflow-state/dependencies.ts"],"names":[],"mappings":"AAwBA,MAAM,UAAU,8BAA8B,CAAC,KAA0B,EAAE,MAAc;IACvF,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,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,QAAQ,MAAM,iBAAiB,CAAC,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IACnL,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAClI,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,KAAK,EAAE,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,YAAY;QACZ,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAA0B,EAAE,MAAc;IACzF,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,eAAe,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA0B;IACnE,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC;YACrF,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,YAAY,EAAE,UAAU,CAAC,MAAM;oBAC/B,gBAAgB,EAAE,UAAU,CAAC,MAAM;oBACnC,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,MAAc;IAC7E,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;AAC5H,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAc,EAAE,YAAoB,EAAE,UAA0B;IAChG,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,QAAQ,MAAM,eAAe,YAAY,SAAS,YAAY,sEAAsE,MAAM,GAAG;SACtJ,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,EAAE;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,EAAE;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,cAAc,UAAU,CAAC,MAAM,4BAA4B,UAAU,CAAC,EAAE,sBAAsB,MAAM,GAAG;KAChL,CAAC;AACJ,CAAC"}