codex-workflow-v2 2.0.0-beta.10 → 2.0.0-beta.12

package/dist/src/alpha6/mechanical-feasibility.js

@@ -0,0 +1,303 @@
+import { spawnSync } from 'node:child_process';
+import { pathAllowed } from '../domain/validation.js';
+import { WorkflowError } from '../errors.js';
+import { currentBranch, gitIsAncestor, headCommit, runGit } from '../repository.js';
+import { canonicalJsonStringify, sha256Hex } from './store-sidecars.js';
+export const MECHANICAL_FEASIBILITY_ANALYZERS = [
+    { analyzerId: 'wf2.root-npm-script', analyzerVersion: 1 },
+    { analyzerId: 'wf2.exact-output-path', analyzerVersion: 1 },
+    { analyzerId: 'wf2.exact-predecessor-path', analyzerVersion: 1 },
+];
+const ROOT_NPM_SCRIPT = /^npm run ([A-Za-z0-9][A-Za-z0-9:_-]*)$/;
+const EXACT_PATH = /^path:([A-Za-z0-9._-]+(?:\/[A-Za-z0-9._-]+)*)$/;
+export function mechanicalFeasibilityAnalyzerSetHash() {
+    return sha256Hex(canonicalJsonStringify({ analyzers: MECHANICAL_FEASIBILITY_ANALYZERS }));
+}
+export function mechanicalFeasibilityAnalyzerInputHash(task) {
+    return sha256Hex(canonicalJsonStringify({
+        steps: task.steps.map((step) => ({
+            id: step.id,
+            dependencies: step.dependencies,
+            expectedOutputs: step.expectedOutputs,
+            allowedWrites: step.allowedWrites,
+            checks: step.checks,
+        })),
+    }));
+}
+export function hashMechanicalFeasibilityEvidence(evidence) {
+    return sha256Hex(canonicalJsonStringify(evidence));
+}
+export function evaluateMechanicalFeasibility(repositoryRoot, task, briefHash, planHash) {
+    const source = selectEvaluationSource(repositoryRoot, task);
+    const packageJson = readGitPath(repositoryRoot, source.evaluatedHead, 'package.json');
+    const manifest = parseRootManifest(packageJson);
+    const byId = new Map(task.steps.map((step) => [step.id, step]));
+    const findings = [];
+    for (const step of task.steps) {
+        const predecessorIds = transitivePredecessorIds(step.id, byId);
+        const manifestWriters = [step.id, ...predecessorIds]
+            .filter((stepId) => pathAllowed('package.json', requireStep(byId, stepId).allowedWrites))
+            .sort();
+        for (const check of step.checks) {
+            const match = ROOT_NPM_SCRIPT.exec(check);
+            if (!match) {
+                findings.push(finding('wf2.root-npm-script', 'unverified', step.id, check, 'Check is outside the exact root npm grammar.', 'UNSUPPORTED_CHECK_SYNTAX'));
+                continue;
+            }
+            const script = match[1];
+            if (manifest.scripts.has(script)) {
+                findings.push(finding('wf2.root-npm-script', 'pass', step.id, check, `Root package.json at ${source.evaluatedHead} declares script ${script}.`, 'ROOT_NPM_SCRIPT_PRESENT'));
+                continue;
+            }
+            if (manifestWriters.length > 0) {
+                findings.push(finding('wf2.root-npm-script', 'unverified', step.id, check, `Script ${script} is absent at ${source.evaluatedHead}; package.json is writable by ${manifestWriters.join(', ')}.`, 'ROOT_NPM_SCRIPT_MAY_BE_CREATED'));
+                continue;
+            }
+            findings.push(finding('wf2.root-npm-script', 'blocked', step.id, check, manifest.state === 'valid'
+                ? `Script ${script} is absent from root package.json at ${source.evaluatedHead}, and no responsible Step may write package.json.`
+                : `Root package.json is ${manifest.state} at ${source.evaluatedHead}, and no responsible Step may write package.json.`, manifest.state === 'valid' ? 'ROOT_NPM_SCRIPT_MISSING' : `ROOT_PACKAGE_JSON_${manifest.state.toUpperCase()}`));
+        }
+        for (const output of step.expectedOutputs) {
+            const relativePath = decodeExactPath(output);
+            if (relativePath === null) {
+                findings.push(finding('wf2.exact-output-path', 'unverified', step.id, output, 'Expected output is outside the exact path:<repository-relative POSIX path> grammar.', 'UNSUPPORTED_OUTPUT_SYNTAX'));
+                continue;
+            }
+            if (gitPathExists(repositoryRoot, source.evaluatedHead, relativePath)) {
+                findings.push(finding('wf2.exact-output-path', 'pass', step.id, output, `${relativePath} exists at ${source.evaluatedHead}.`, 'EXACT_OUTPUT_PRESENT'));
+                continue;
+            }
+            if (pathAllowed(relativePath, step.allowedWrites)) {
+                findings.push(finding('wf2.exact-output-path', 'pass', step.id, output, `${step.id} may write absent exact output ${relativePath}.`, 'EXACT_OUTPUT_WRITABLE'));
+                continue;
+            }
+            const providers = predecessorIds
+                .filter((predecessorId) => {
+                const predecessor = requireStep(byId, predecessorId);
+                return predecessor.expectedOutputs.some((candidate) => decodeExactPath(candidate) === relativePath)
+                    && pathAllowed(relativePath, predecessor.allowedWrites);
+            })
+                .sort();
+            if (providers.length > 0) {
+                findings.push(finding('wf2.exact-predecessor-path', 'pass', step.id, output, `Transitive declared predecessor ${providers.join(', ')} owns and may write ${relativePath}.`, 'EXACT_PREDECESSOR_OUTPUT_AVAILABLE'));
+                continue;
+            }
+            findings.push(finding('wf2.exact-output-path', 'blocked', step.id, output, `${relativePath} is absent at ${source.evaluatedHead}, outside ${step.id} write bounds, and has no exact writable declared predecessor.`, 'EXACT_OUTPUT_UNSATISFIABLE'));
+        }
+    }
+    findings.sort(compareFindings);
+    return {
+        schemaVersion: 1,
+        taskId: task.id,
+        evaluatedTaskRevision: task.revision,
+        briefHash,
+        planHash,
+        ...source,
+        analyzerSetHash: mechanicalFeasibilityAnalyzerSetHash(),
+        analyzerInputHash: mechanicalFeasibilityAnalyzerInputHash(task),
+        analyzers: MECHANICAL_FEASIBILITY_ANALYZERS.map((analyzer) => ({ ...analyzer })),
+        findings,
+        decision: findings.some((candidate) => candidate.result === 'blocked') ? 'blocked' : 'clear',
+    };
+}
+export function assertMechanicalFeasibilityFresh(repositoryRoot, task, evidence, briefHash, planHash) {
+    assertEvidenceShape(evidence, task.id);
+    const currentAnalyzerSetHash = mechanicalFeasibilityAnalyzerSetHash();
+    const currentAnalyzerInputHash = mechanicalFeasibilityAnalyzerInputHash(task);
+    if (evidence.taskId !== task.id
+        || evidence.briefHash !== briefHash
+        || evidence.planHash !== planHash
+        || evidence.analyzerSetHash !== currentAnalyzerSetHash
+        || evidence.analyzerInputHash !== currentAnalyzerInputHash) {
+        throw new WorkflowError('TRANSITION_BLOCKED', 'Mechanical-feasibility authorization binding is stale.', {
+            taskId: task.id,
+            authorizedBriefHash: evidence.briefHash,
+            currentBriefHash: briefHash,
+            authorizedPlanHash: evidence.planHash,
+            currentPlanHash: planHash,
+            authorizedAnalyzerSetHash: evidence.analyzerSetHash,
+            currentAnalyzerSetHash,
+            authorizedAnalyzerInputHash: evidence.analyzerInputHash,
+            currentAnalyzerInputHash,
+            requiredAction: 'Record a fresh execution authorization.',
+        });
+    }
+    if (evidence.decision !== 'clear' || evidence.findings.some((findingValue) => findingValue.result === 'blocked')) {
+        throw new WorkflowError('STATE_CORRUPT', 'Approved mechanical-feasibility evidence is not clear.', {
+            taskId: task.id,
+            decision: evidence.decision,
+        });
+    }
+    if (task.baseCommit === null) {
+        const currentBaseHead = runGit(repositoryRoot, ['rev-parse', task.baseBranch]);
+        if (evidence.sourceKind !== 'pre-start-base'
+            || evidence.sourceBranch !== task.baseBranch
+            || evidence.baseCommit !== null
+            || evidence.evaluatedHead !== currentBaseHead) {
+            throw staleSourceError(task, evidence, currentBaseHead);
+        }
+        return;
+    }
+    if (!task.taskBranch) {
+        throw new WorkflowError('STATE_CORRUPT', `Started Task ${task.id} has no Task branch.`);
+    }
+    const branch = currentBranch(repositoryRoot);
+    if (branch !== task.taskBranch) {
+        throw new WorkflowError('GIT_PRECONDITION_FAILED', 'Mechanical-feasibility freshness requires the owned Task branch.', {
+            taskId: task.id,
+            expectedBranch: task.taskBranch,
+            currentBranch: branch,
+        });
+    }
+    const currentTaskHead = headCommit(repositoryRoot);
+    let sourceMatches = false;
+    if (evidence.sourceKind === 'pre-start-base') {
+        sourceMatches = evidence.sourceBranch === task.baseBranch
+            && evidence.baseCommit === null
+            && task.baseCommit === evidence.evaluatedHead;
+    }
+    else if (evidence.sourceKind === 'corrective-task-workspace') {
+        sourceMatches = evidence.sourceBranch === task.taskBranch
+            && evidence.baseCommit === task.baseCommit;
+    }
+    if (!sourceMatches || !gitIsAncestor(repositoryRoot, evidence.evaluatedHead, currentTaskHead)) {
+        throw staleSourceError(task, evidence, currentTaskHead);
+    }
+}
+function selectEvaluationSource(repositoryRoot, task) {
+    if (task.baseCommit === null) {
+        return {
+            sourceKind: 'pre-start-base',
+            sourceBranch: task.baseBranch,
+            evaluatedHead: runGit(repositoryRoot, ['rev-parse', task.baseBranch]),
+            baseCommit: null,
+        };
+    }
+    if (!task.taskBranch) {
+        throw new WorkflowError('STATE_CORRUPT', `Started Task ${task.id} has no Task branch.`);
+    }
+    const branch = currentBranch(repositoryRoot);
+    if (branch !== task.taskBranch) {
+        throw new WorkflowError('GIT_PRECONDITION_FAILED', 'Mechanical feasibility must be evaluated in the owned Task workspace.', {
+            taskId: task.id,
+            expectedBranch: task.taskBranch,
+            currentBranch: branch,
+        });
+    }
+    return {
+        sourceKind: 'corrective-task-workspace',
+        sourceBranch: task.taskBranch,
+        evaluatedHead: headCommit(repositoryRoot),
+        baseCommit: task.baseCommit,
+    };
+}
+function parseRootManifest(content) {
+    if (content === null)
+        return { state: 'missing', scripts: new Set() };
+    try {
+        const parsed = JSON.parse(content);
+        if (!parsed || typeof parsed !== 'object' || Array.isArray(parsed)) {
+            return { state: 'invalid', scripts: new Set() };
+        }
+        const scriptsValue = parsed.scripts;
+        if (!scriptsValue || typeof scriptsValue !== 'object' || Array.isArray(scriptsValue)) {
+            return { state: 'valid', scripts: new Set() };
+        }
+        return {
+            state: 'valid',
+            scripts: new Set(Object.entries(scriptsValue)
+                .filter(([, value]) => typeof value === 'string')
+                .map(([name]) => name)),
+        };
+    }
+    catch {
+        return { state: 'invalid', scripts: new Set() };
+    }
+}
+function decodeExactPath(subject) {
+    const match = EXACT_PATH.exec(subject);
+    if (!match)
+        return null;
+    const relativePath = match[1];
+    const segments = relativePath.split('/');
+    if (segments.some((segment) => segment === '.' || segment === '..'))
+        return null;
+    return relativePath;
+}
+function transitivePredecessorIds(stepId, byId) {
+    const found = new Set();
+    const visit = (candidateId) => {
+        const candidate = requireStep(byId, candidateId);
+        for (const dependencyId of candidate.dependencies) {
+            if (found.has(dependencyId))
+                continue;
+            requireStep(byId, dependencyId);
+            found.add(dependencyId);
+            visit(dependencyId);
+        }
+    };
+    visit(stepId);
+    return [...found].sort();
+}
+function requireStep(byId, stepId) {
+    const step = byId.get(stepId);
+    if (!step)
+        throw new WorkflowError('STATE_CORRUPT', `Mechanical-feasibility input references missing Step ${stepId}.`);
+    return step;
+}
+function finding(analyzerId, result, stepId, subject, evidence, reasonCode) {
+    return { analyzerId, analyzerVersion: 1, result, stepId, subject, evidence, reasonCode };
+}
+function compareFindings(left, right) {
+    return left.stepId.localeCompare(right.stepId)
+        || left.analyzerId.localeCompare(right.analyzerId)
+        || left.subject.localeCompare(right.subject)
+        || left.result.localeCompare(right.result);
+}
+function readGitPath(repositoryRoot, commit, relativePath) {
+    const result = spawnSync('git', ['-C', repositoryRoot, 'show', `${commit}:${relativePath}`], { encoding: 'utf8' });
+    if (result.status === 0)
+        return result.stdout;
+    if (result.status === 128)
+        return null;
+    throw new WorkflowError('COMMAND_FAILED', `Unable to read ${relativePath} at ${commit}.`, {
+        stderr: result.stderr.trim(),
+        exitCode: result.status,
+    });
+}
+function gitPathExists(repositoryRoot, commit, relativePath) {
+    const result = spawnSync('git', ['-C', repositoryRoot, 'cat-file', '-e', `${commit}:${relativePath}`], { encoding: 'utf8' });
+    if (result.status === 0)
+        return true;
+    if (result.status === 128)
+        return false;
+    throw new WorkflowError('COMMAND_FAILED', `Unable to inspect ${relativePath} at ${commit}.`, {
+        stderr: result.stderr.trim(),
+        exitCode: result.status,
+    });
+}
+function assertEvidenceShape(evidence, taskId) {
+    const analyzersCanonical = canonicalJsonStringify(evidence.analyzers);
+    const currentAnalyzersCanonical = canonicalJsonStringify(MECHANICAL_FEASIBILITY_ANALYZERS);
+    const sortedFindings = [...evidence.findings].sort(compareFindings);
+    if (evidence.schemaVersion !== 1
+        || analyzersCanonical !== currentAnalyzersCanonical
+        || canonicalJsonStringify(evidence.findings) !== canonicalJsonStringify(sortedFindings)) {
+        throw new WorkflowError('STATE_CORRUPT', 'Mechanical-feasibility evidence shape or canonical order is invalid.', {
+            taskId,
+        });
+    }
+}
+function staleSourceError(task, evidence, currentHead) {
+    return new WorkflowError('TRANSITION_BLOCKED', 'Mechanical-feasibility evaluation source is stale.', {
+        taskId: task.id,
+        sourceKind: evidence.sourceKind,
+        sourceBranch: evidence.sourceBranch,
+        evaluatedHead: evidence.evaluatedHead,
+        currentHead,
+        authorizedBaseCommit: evidence.baseCommit,
+        currentBaseCommit: task.baseCommit,
+        requiredAction: 'Record a fresh execution authorization.',
+    });
+}
+//# sourceMappingURL=mechanical-feasibility.js.map

package/dist/src/alpha6/mechanical-feasibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanical-feasibility.js","sourceRoot":"","sources":["../../../src/alpha6/mechanical-feasibility.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAO/C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAExE,MAAM,CAAC,MAAM,gCAAgC,GAA6C;IACxF,EAAE,UAAU,EAAE,qBAAqB,EAAE,eAAe,EAAE,CAAC,EAAE;IACzD,EAAE,UAAU,EAAE,uBAAuB,EAAE,eAAe,EAAE,CAAC,EAAE;IAC3D,EAAE,UAAU,EAAE,4BAA4B,EAAE,eAAe,EAAE,CAAC,EAAE;CACxD,CAAC;AAEX,MAAM,eAAe,GAAG,wCAAwC,CAAC;AACjE,MAAM,UAAU,GAAG,gDAAgD,CAAC;AASpE,MAAM,UAAU,oCAAoC;IAClD,OAAO,SAAS,CAAC,sBAAsB,CAAC,EAAE,SAAS,EAAE,gCAAgC,EAAE,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,sCAAsC,CAAC,IAAe;IACpE,OAAO,SAAS,CAAC,sBAAsB,CAAC;QACtC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/B,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,QAAuC;IACvF,OAAO,SAAS,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,cAAsB,EACtB,IAAe,EACf,SAAiB,EACjB,QAAgB;IAEhB,MAAM,MAAM,GAAG,sBAAsB,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAmC,EAAE,CAAC;IAEpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,cAAc,GAAG,wBAAwB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/D,MAAM,eAAe,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,cAAc,CAAC;aACjD,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC;aACxF,IAAI,EAAE,CAAC;QAEV,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,qBAAqB,EACrB,YAAY,EACZ,IAAI,CAAC,EAAE,EACP,KAAK,EACL,8CAA8C,EAC9C,0BAA0B,CAC3B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACzB,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,qBAAqB,EACrB,MAAM,EACN,IAAI,CAAC,EAAE,EACP,KAAK,EACL,wBAAwB,MAAM,CAAC,aAAa,oBAAoB,MAAM,GAAG,EACzE,yBAAyB,CAC1B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,qBAAqB,EACrB,YAAY,EACZ,IAAI,CAAC,EAAE,EACP,KAAK,EACL,UAAU,MAAM,iBAAiB,MAAM,CAAC,aAAa,iCAAiC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACnH,gCAAgC,CACjC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,qBAAqB,EACrB,SAAS,EACT,IAAI,CAAC,EAAE,EACP,KAAK,EACL,QAAQ,CAAC,KAAK,KAAK,OAAO;gBACxB,CAAC,CAAC,UAAU,MAAM,wCAAwC,MAAM,CAAC,aAAa,mDAAmD;gBACjI,CAAC,CAAC,wBAAwB,QAAQ,CAAC,KAAK,OAAO,MAAM,CAAC,aAAa,mDAAmD,EACxH,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,qBAAqB,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAC7G,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,uBAAuB,EACvB,YAAY,EACZ,IAAI,CAAC,EAAE,EACP,MAAM,EACN,qFAAqF,EACrF,2BAA2B,CAC5B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;gBACtE,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,uBAAuB,EACvB,MAAM,EACN,IAAI,CAAC,EAAE,EACP,MAAM,EACN,GAAG,YAAY,cAAc,MAAM,CAAC,aAAa,GAAG,EACpD,sBAAsB,CACvB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,uBAAuB,EACvB,MAAM,EACN,IAAI,CAAC,EAAE,EACP,MAAM,EACN,GAAG,IAAI,CAAC,EAAE,kCAAkC,YAAY,GAAG,EAC3D,uBAAuB,CACxB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,cAAc;iBAC7B,MAAM,CAAC,CAAC,aAAa,EAAE,EAAE;gBACxB,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACrD,OAAO,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,YAAY,CAAC;uBAC9F,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;YAC5D,CAAC,CAAC;iBACD,IAAI,EAAE,CAAC;YACV,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,4BAA4B,EAC5B,MAAM,EACN,IAAI,CAAC,EAAE,EACP,MAAM,EACN,mCAAmC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,YAAY,GAAG,EAC7F,oCAAoC,CACrC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,uBAAuB,EACvB,SAAS,EACT,IAAI,CAAC,EAAE,EACP,MAAM,EACN,GAAG,YAAY,iBAAiB,MAAM,CAAC,aAAa,aAAa,IAAI,CAAC,EAAE,gEAAgE,EACxI,4BAA4B,CAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC/B,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,qBAAqB,EAAE,IAAI,CAAC,QAAQ;QACpC,SAAS;QACT,QAAQ;QACR,GAAG,MAAM;QACT,eAAe,EAAE,oCAAoC,EAAE;QACvD,iBAAiB,EAAE,sCAAsC,CAAC,IAAI,CAAC;QAC/D,SAAS,EAAE,gCAAgC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;QAChF,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;KAC7F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,cAAsB,EACtB,IAAe,EACf,QAAuC,EACvC,SAAiB,EACjB,QAAgB;IAEhB,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,MAAM,sBAAsB,GAAG,oCAAoC,EAAE,CAAC;IACtE,MAAM,wBAAwB,GAAG,sCAAsC,CAAC,IAAI,CAAC,CAAC;IAC9E,IACE,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE;WACxB,QAAQ,CAAC,SAAS,KAAK,SAAS;WAChC,QAAQ,CAAC,QAAQ,KAAK,QAAQ;WAC9B,QAAQ,CAAC,eAAe,KAAK,sBAAsB;WACnD,QAAQ,CAAC,iBAAiB,KAAK,wBAAwB,EAC1D,CAAC;QACD,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,wDAAwD,EAAE;YACtG,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,mBAAmB,EAAE,QAAQ,CAAC,SAAS;YACvC,gBAAgB,EAAE,SAAS;YAC3B,kBAAkB,EAAE,QAAQ,CAAC,QAAQ;YACrC,eAAe,EAAE,QAAQ;YACzB,yBAAyB,EAAE,QAAQ,CAAC,eAAe;YACnD,sBAAsB;YACtB,2BAA2B,EAAE,QAAQ,CAAC,iBAAiB;YACvD,wBAAwB;YACxB,cAAc,EAAE,yCAAyC;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACjH,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,wDAAwD,EAAE;YACjG,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,eAAe,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/E,IACE,QAAQ,CAAC,UAAU,KAAK,gBAAgB;eACrC,QAAQ,CAAC,YAAY,KAAK,IAAI,CAAC,UAAU;eACzC,QAAQ,CAAC,UAAU,KAAK,IAAI;eAC5B,QAAQ,CAAC,aAAa,KAAK,eAAe,EAC7C,CAAC;YACD,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,gBAAgB,IAAI,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,IAAI,aAAa,CAAC,yBAAyB,EAAE,kEAAkE,EAAE;YACrH,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,cAAc,EAAE,IAAI,CAAC,UAAU;YAC/B,aAAa,EAAE,MAAM;SACtB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,eAAe,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;IACnD,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,QAAQ,CAAC,UAAU,KAAK,gBAAgB,EAAE,CAAC;QAC7C,aAAa,GAAG,QAAQ,CAAC,YAAY,KAAK,IAAI,CAAC,UAAU;eACpD,QAAQ,CAAC,UAAU,KAAK,IAAI;eAC5B,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,aAAa,CAAC;IAClD,CAAC;SAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,2BAA2B,EAAE,CAAC;QAC/D,aAAa,GAAG,QAAQ,CAAC,YAAY,KAAK,IAAI,CAAC,UAAU;eACpD,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,CAAC,cAAc,EAAE,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC;QAC9F,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,cAAsB,EAAE,IAAe;IACrE,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO;YACL,UAAU,EAAE,gBAAgB;YAC5B,YAAY,EAAE,IAAI,CAAC,UAAU;YAC7B,aAAa,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACrE,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,gBAAgB,IAAI,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,IAAI,aAAa,CAAC,yBAAyB,EAAE,uEAAuE,EAAE;YAC1H,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,cAAc,EAAE,IAAI,CAAC,UAAU;YAC/B,aAAa,EAAE,MAAM;SACtB,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,UAAU,EAAE,2BAA2B;QACvC,YAAY,EAAE,IAAI,CAAC,UAAU;QAC7B,aAAa,EAAE,UAAU,CAAC,cAAc,CAAC;QACzC,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAsB;IAC/C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAY,CAAC;QAC9C,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAClD,CAAC;QACD,MAAM,YAAY,GAAI,MAAkC,CAAC,OAAO,CAAC;QACjE,IAAI,CAAC,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACrF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAChD,CAAC;QACD,OAAO;YACL,KAAK,EAAE,OAAO;YACd,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;iBAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;iBAChD,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;SAC1B,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAClD,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAc,EACd,IAAqD;IAErD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,WAAmB,EAAQ,EAAE;QAC1C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,KAAK,MAAM,YAAY,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YAClD,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,SAAS;YACtC,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACxB,KAAK,CAAC,YAAY,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,WAAW,CAClB,IAAqD,EACrD,MAAc;IAEd,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,wDAAwD,MAAM,GAAG,CAAC,CAAC;IACvH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CACd,UAAuD,EACvD,MAA8C,EAC9C,MAAc,EACd,OAAe,EACf,QAAgB,EAChB,UAAkB;IAElB,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,eAAe,CAAC,IAAkC,EAAE,KAAmC;IAC9F,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;WACzC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WAC/C,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;WACzC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,cAAsB,EAAE,MAAc,EAAE,YAAoB;IAC/E,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,YAAY,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACnH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC;IAC9C,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,kBAAkB,YAAY,OAAO,MAAM,GAAG,EAAE;QACxF,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,cAAsB,EAAE,MAAc,EAAE,YAAoB;IACjF,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,YAAY,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7H,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,qBAAqB,YAAY,OAAO,MAAM,GAAG,EAAE;QAC3F,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAuC,EAAE,MAAc;IAClF,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtE,MAAM,yBAAyB,GAAG,sBAAsB,CAAC,gCAAgC,CAAC,CAAC;IAC3F,MAAM,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpE,IACE,QAAQ,CAAC,aAAa,KAAK,CAAC;WACzB,kBAAkB,KAAK,yBAAyB;WAChD,sBAAsB,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,sBAAsB,CAAC,cAAc,CAAC,EACvF,CAAC;QACD,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,sEAAsE,EAAE;YAC/G,MAAM;SACP,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAe,EACf,QAAuC,EACvC,WAAmB;IAEnB,OAAO,IAAI,aAAa,CAAC,oBAAoB,EAAE,oDAAoD,EAAE;QACnG,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,WAAW;QACX,oBAAoB,EAAE,QAAQ,CAAC,UAAU;QACzC,iBAAiB,EAAE,IAAI,CAAC,UAAU;QAClC,cAAc,EAAE,yCAAyC;KAC1D,CAAC,CAAC;AACL,CAAC"}

package/dist/src/alpha6/milestone.d.ts

@@ -1,4 +1,4 @@
-import type { AuthorizationEvent, MilestoneMembership, MilestonePlanInput, MilestoneScopeSnapshot, MilestoneState, TaskState } from '../contracts.js';
+import type { AuthorizationEvent, MilestoneMembership, MilestonePlanInput, MilestonePlanMembershipInput, MilestoneScopeSnapshot, MilestoneState, TaskState } from '../contracts.js';
 import type { FileStateStore } from '../state/store.js';
 type ReadTask = (taskId: string) => TaskState;
 type ListTasks = () => TaskState[];
@@ -14,10 +14,21 @@ export interface NormalizedMilestonePlan {
     outcome: string;
     successSignal: string;
     acceptance: string[];
-    memberships: MilestoneMembership[];
+    memberships: MilestonePlanMembershipInput[];
     checks: string[];
     taskIds: string[];
 }
+export interface MilestoneTaskDependencyAssessment {
+    dependencyState: 'canonical' | 'legacy-unknown';
+    dependsOnTaskIds: string[];
+    unsatisfiedPredecessors: Array<{
+        taskId: string;
+        disposition: MilestoneMembership['disposition'] | 'missing';
+        status: TaskState['status'] | 'missing';
+    }>;
+    runnable: boolean;
+    blockReason: string | null;
+}
 export interface PreparedMilestoneScopeChange {
     milestoneId: string;
     expectedRevision: number;
@@ -50,6 +61,9 @@ export declare function prepareMilestoneScopeChangeBundle(options: {
     readTask: ReadTask;
 }): PreparedMilestoneScopeChangeBundle;
 export declare function normalizeMilestonePlan(plan: MilestonePlanInput): NormalizedMilestonePlan;
+export declare function assessMilestoneTaskDependencies(milestone: MilestoneState, taskId: string, readTask: ReadTask): MilestoneTaskDependencyAssessment;
+export declare function assertMilestoneDependenciesDeclared(milestone: MilestoneState): void;
+export declare function assertMilestoneTaskRunnable(milestone: MilestoneState, taskId: string, readTask: ReadTask): MilestoneTaskDependencyAssessment;
 export declare function readMilestoneWithIntegrity(store: FileStateStore, projectId: string, milestoneId: string, readTask: ReadTask, listTasks?: ListTasks): MilestoneState;
 /** Read-only integrity validation for observation APIs. Pending journals must be assessed first. */
 export declare function inspectMilestoneWithIntegrity(store: FileStateStore, projectId: string, milestoneId: string, readTask: ReadTask, listTasks?: ListTasks): MilestoneState;
@@ -78,4 +92,13 @@ export declare function applyMilestoneScopeChangeTransaction(options: {
     now: Date;
     readTask: ReadTask;
 }): MilestoneState;
+export declare function applyInitialMilestonePlanTransaction(options: {
+    store: FileStateStore;
+    milestone: MilestoneState;
+    expectedRevision: number;
+    normalizedPlan: NormalizedMilestonePlan;
+    now: Date;
+    readTask: ReadTask;
+    listTasks?: ListTasks;
+}): MilestoneState;
 export {};