codex-workflow-v2 2.0.0-beta.12.9 → 2.0.0-beta.13.1

package/dist/src/alpha6/npm-check-contract.d.ts

@@ -0,0 +1,11 @@
+export interface ParsedNpmRunCheck {
+    script: string;
+    forwardedArguments: string[];
+}
+export interface RequiredSelectorContract {
+    runnerPath: string;
+    selectors: readonly ['--base', '--head', '--files'];
+}
+export declare function parseNpmRunCheck(command: string): ParsedNpmRunCheck | null;
+export declare function inspectRequiredSelectorContract(scriptCommand: string, readRunner: (runnerPath: string) => string | null): RequiredSelectorContract | null;
+export declare function hasRequiredSelector(arguments_: readonly string[]): boolean;

package/dist/src/alpha6/npm-check-contract.js

@@ -0,0 +1,36 @@
+import path from 'node:path';
+const NPM_RUN_CHECK = /^npm\s+run(?:-script)?\s+([A-Za-z0-9._:-]+)(?:\s+--\s+(.+))?$/;
+const SAFE_FORWARD_ARG = /^--[A-Za-z0-9._:-]+=[^\s]+$/;
+const NODE_AFFECTED_SCRIPT = /^node\s+([A-Za-z0-9._/-]+\.(?:cjs|js|mjs))\s+affected$/;
+const SELECTOR = /^(?:--base|--head|--files)=.+$/;
+export function parseNpmRunCheck(command) {
+    const match = NPM_RUN_CHECK.exec(command.trim());
+    if (!match)
+        return null;
+    const forwardedArguments = match[2]?.trim().split(/\s+/).filter(Boolean) ?? [];
+    if (forwardedArguments.some((argument) => !SAFE_FORWARD_ARG.test(argument)))
+        return null;
+    return { script: match[1], forwardedArguments };
+}
+export function inspectRequiredSelectorContract(scriptCommand, readRunner) {
+    const match = NODE_AFFECTED_SCRIPT.exec(scriptCommand.trim());
+    if (!match)
+        return null;
+    const runnerPath = match[1];
+    if (path.posix.isAbsolute(runnerPath)
+        || runnerPath.split('/').some((segment) => segment === '.' || segment === '..'))
+        return null;
+    const source = readRunner(runnerPath);
+    if (!source
+        || !source.includes('process.argv.slice(3)')
+        || !source.includes('--base')
+        || !source.includes('--head')
+        || !source.includes('--files')
+        || !source.includes('Affected mode requires'))
+        return null;
+    return { runnerPath, selectors: ['--base', '--head', '--files'] };
+}
+export function hasRequiredSelector(arguments_) {
+    return arguments_.some((argument) => SELECTOR.test(argument));
+}
+//# sourceMappingURL=npm-check-contract.js.map

package/dist/src/alpha6/npm-check-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-check-contract.js","sourceRoot":"","sources":["../../../src/alpha6/npm-check-contract.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,MAAM,aAAa,GAAG,+DAA+D,CAAC;AACtF,MAAM,gBAAgB,GAAG,6BAA6B,CAAC;AACvD,MAAM,oBAAoB,GAAG,wDAAwD,CAAC;AACtF,MAAM,QAAQ,GAAG,gCAAgC,CAAC;AAYlD,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/E,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,kBAAkB,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,aAAqB,EACrB,UAAiD;IAEjD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;WAChC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/F,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;WACN,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC;WACzC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;WAC1B,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;WAC1B,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;WAC3B,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,UAA6B;IAC/D,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/src/alpha6/plan-integrity.js

@@ -1,14 +1,17 @@
 import { createHash } from 'node:crypto';
+import { spawnSync } from 'node:child_process';
 import { existsSync, lstatSync, readFileSync } from 'node:fs';
 import path from 'node:path';
 import { pathAllowed } from '../domain/validation.js';
 import { WorkflowError } from '../errors.js';
 import { hashCanonical } from '../lifecycle/fingerprint.js';
 import { changedFiles, headCommit } from '../repository.js';
+import { hasRequiredSelector, inspectRequiredSelectorContract, parseNpmRunCheck, } from './npm-check-contract.js';
+import { inspectCheckSupportAnchors } from './check-support-anchor.js';
+import { inspectFailedCheckComponentOwners, semanticBoundaryHash } from './component-owner.js';
 import { readCorrectiveDecisionEvents, readRemediationEvents, } from './remediation.js';
 const ROOT_MANIFEST = 'package.json';
 const TASK_ID = /^TASK-[0-9A-HJKMNP-TV-Z]{26}$/;
-const NPM_RUN_CHECK = /^npm\s+run(?:-script)?\s+([A-Za-z0-9._:-]+)(?:\s+--(?:\s+.*)?)?$/;
 export function defaultPlanIntegrityRecoveryActor(taskId) {
     if (!TASK_ID.test(taskId)) {
         throw new WorkflowError('INVALID_ARGUMENT', `Cannot derive a Plan-integrity recovery actor from invalid Task ID ${taskId}.`);
@@ -28,22 +31,82 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
     }
     const remediations = readRemediationEvents(store, task).filter((event) => event.stepId === stepId);
     const decisions = readCorrectiveDecisionEvents(store, task).filter((event) => event.stepId === stepId);
-    if (remediations.length !== 1
-        || remediations[0]?.attemptOrdinal !== 1
-        || remediations[0]?.mode !== 'ordinary'
-        || remediations[0]?.failureKind !== 'checks-failed'
+    if (remediations.length === 0
+        || remediations.some((event, index) => event.attemptOrdinal !== index + 1 || event.failureKind !== 'checks-failed')
         || decisions.length !== 0) {
         return { ...base, applicable: false, eligible: false, blockers: [], evidence: null };
     }
     const manifest = inspectRootManifest(repositoryRoot);
-    const missing = step.checks.flatMap((command) => {
-        const match = NPM_RUN_CHECK.exec(command.trim());
-        if (!match)
-            return [];
-        const script = match[1];
-        return manifest.scripts.has(script) ? [] : [{ command: command.trim(), script }];
-    });
-    if (missing.length === 0 || pathAllowed(ROOT_MANIFEST, step.allowedWrites)) {
+    const runnerBlockers = [];
+    const conflicts = [];
+    for (const command of step.checks) {
+        const invocation = parseNpmRunCheck(command);
+        if (!invocation)
+            continue;
+        const scriptCommand = manifest.scripts.get(invocation.script) ?? null;
+        if (scriptCommand === null) {
+            if (pathAllowed(ROOT_MANIFEST, step.allowedWrites))
+                continue;
+            conflicts.push({
+                reasonCode: 'MISSING_NPM_SCRIPT',
+                script: invocation.script,
+                command: command.trim(),
+                scriptCommand: null,
+                runnerPath: null,
+                runnerHash: null,
+            });
+            continue;
+        }
+        const runnerInspections = new Map();
+        const selectorContract = inspectRequiredSelectorContract(scriptCommand, (runnerPath) => {
+            const inspection = inspectRepositoryFile(repositoryRoot, runnerPath);
+            runnerInspections.set(runnerPath, inspection);
+            return inspection.content;
+        });
+        if (!selectorContract || hasRequiredSelector(invocation.forwardedArguments))
+            continue;
+        const runnerInspection = runnerInspections.get(selectorContract.runnerPath) ?? null;
+        if (runnerInspection?.blocker)
+            runnerBlockers.push(runnerInspection.blocker);
+        if (pathAllowed(ROOT_MANIFEST, step.allowedWrites)
+            || pathAllowed(selectorContract.runnerPath, step.allowedWrites))
+            continue;
+        conflicts.push({
+            reasonCode: 'REQUIRED_SELECTOR_MISSING',
+            script: invocation.script,
+            command: command.trim(),
+            scriptCommand,
+            runnerPath: selectorContract.runnerPath,
+            runnerHash: runnerInspection?.hash ?? null,
+        });
+    }
+    conflicts.sort((left, right) => left.command.localeCompare(right.command) || left.reasonCode.localeCompare(right.reasonCode));
+    const supportConflicts = conflicts.length === 0
+        ? inspectCheckSupportAnchors({
+            step,
+            scripts: manifest.scripts,
+            readFile: (relativePath) => {
+                const inspected = inspectRepositoryFile(repositoryRoot, relativePath);
+                return { content: inspected.content, hash: inspected.hash };
+            },
+            pathExists: (relativePath) => gitPathExists(repositoryRoot, headCommit(repositoryRoot), relativePath),
+        }).map((conflict) => ({
+            ...conflict,
+            expectedOutputPaths: [...conflict.expectedOutputPaths],
+            anchoredMigrationNames: [...conflict.anchoredMigrationNames],
+        }))
+        : [];
+    const componentOwnerConflicts = conflicts.length === 0 && supportConflicts.length === 0
+        ? inspectFailedCheckComponentOwners({
+            step,
+            scripts: manifest.scripts,
+            readFile: (relativePath) => {
+                const inspected = inspectRepositoryFile(repositoryRoot, relativePath);
+                return { content: inspected.content, hash: inspected.hash };
+            },
+        }).map(({ causeFingerprint: _causeFingerprint, ...conflict }) => conflict)
+        : [];
+    if (conflicts.length === 0 && supportConflicts.length === 0 && componentOwnerConflicts.length === 0) {
         return { ...base, applicable: false, eligible: false, blockers: [], evidence: null };
     }
     const files = [...changedFiles(repositoryRoot)].sort();
@@ -51,14 +114,20 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
     const forbiddenChanges = files.filter((file) => pathAllowed(file, step.forbiddenScope));
     const blockers = [
         ...(manifest.blocker ? [manifest.blocker] : []),
+        ...runnerBlockers,
         ...(outsideAllowedWrites.length > 0
             ? [`Changed files outside ${stepId} allowedWrites: ${outsideAllowedWrites.join(', ')}`]
             : []),
         ...(forbiddenChanges.length > 0
             ? [`Changed files intersect ${stepId} forbiddenScope: ${forbiddenChanges.join(', ')}`]
             : []),
+        ...supportConflicts.flatMap((conflict) => pathAllowed(conflict.supportPath, step.forbiddenScope)
+            ? [`Check-support authority ${conflict.supportPath} intersects ${stepId} forbiddenScope.`]
+            : []),
+        ...componentOwnerConflicts.flatMap((conflict) => pathAllowed(conflict.ownerPath, step.forbiddenScope)
+            ? [`Component owner ${conflict.ownerPath} intersects ${stepId} forbiddenScope.`]
+            : []),
     ];
-    const remediation = remediations[0];
     const stepDefinitionHash = hashCanonical({
         id: step.id,
         title: step.title,
@@ -70,23 +139,52 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
         forbiddenScope: step.forbiddenScope,
         checks: step.checks,
     });
-    const evidenceBase = {
-        kind: 'missing-npm-script-outside-allowed-writes',
+    const remediationBindings = remediations.map((event) => ({
+        eventId: event.eventId,
+        eventHash: event.eventHash,
+        attemptOrdinal: event.attemptOrdinal,
+    }));
+    const evidenceBase = supportConflicts.length > 0 ? {
+        kind: 'check-support-anchor-outside-allowed-writes',
+        taskRevision: task.revision,
+        remediationEvents: remediationBindings,
+        manifestPath: ROOT_MANIFEST,
+        manifestHash: manifest.hash,
+        gitHead: headCommit(repositoryRoot),
+        stepDefinitionHash,
+        conflicts: supportConflicts,
+        scopeExtensions: [...new Set(supportConflicts.map((conflict) => conflict.supportPath))].sort(),
+        changedFiles: files,
+    } : componentOwnerConflicts.length > 0 ? {
+        kind: 'failed-check-component-owner-outside-allowed-writes',
+        taskRevision: task.revision,
+        remediationEvents: remediationBindings,
+        gitHead: headCommit(repositoryRoot),
+        stepDefinitionHash,
+        semanticBoundaryHash: semanticBoundaryHash(task),
+        failedCheckCauseFingerprint: step.failurePause.failedChecks.find((failure) => componentOwnerConflicts.some((conflict) => conflict.command === failure.command)).causeFingerprint,
+        conflicts: componentOwnerConflicts,
+        scopeExtensions: [...new Set(componentOwnerConflicts.map((conflict) => conflict.ownerPath))].sort(),
+        changedFiles: files,
+    } : {
+        kind: 'non-executable-npm-check-outside-allowed-writes',
         taskRevision: task.revision,
-        remediationEventId: remediation.eventId,
-        remediationEventHash: remediation.eventHash,
+        remediationEvents: remediationBindings,
         manifestPath: ROOT_MANIFEST,
         manifestHash: manifest.hash,
         gitHead: headCommit(repositoryRoot),
         stepDefinitionHash,
-        missingScripts: [...new Set(missing.map((entry) => entry.script))].sort(),
-        checkCommands: [...new Set(missing.map((entry) => entry.command))].sort(),
+        conflicts,
         changedFiles: files,
     };
     const evidence = {
         ...evidenceBase,
         conflictHash: hashCanonical({
-            domain: 'codex-workflow/plan-integrity-conflict/v1',
+            domain: supportConflicts.length > 0
+                ? 'codex-workflow/plan-integrity-conflict/v3'
+                : componentOwnerConflicts.length > 0
+                    ? 'codex-workflow/plan-integrity-conflict/v4'
+                    : 'codex-workflow/plan-integrity-conflict/v2',
             taskId: task.id,
             planHash: task.planHash,
             stepId,
@@ -101,27 +199,59 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
         evidence,
     };
 }
+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 inspectRootManifest(repositoryRoot) {
     const file = path.join(repositoryRoot, ROOT_MANIFEST);
     if (!existsSync(file))
-        return { scripts: new Set(), hash: null, blocker: null };
+        return { scripts: new Map(), hash: null, blocker: null };
     const stat = lstatSync(file);
     if (!stat.isFile()) {
-        return { scripts: new Set(), hash: null, blocker: 'Root package.json is not a regular file.' };
+        return { scripts: new Map(), hash: null, blocker: 'Root package.json is not a regular file.' };
     }
     const bytes = readFileSync(file);
     const hash = createHash('sha256').update(bytes).digest('hex');
     try {
         const parsed = JSON.parse(bytes.toString('utf8'));
         if (parsed.scripts === undefined)
-            return { scripts: new Set(), hash, blocker: null };
+            return { scripts: new Map(), hash, blocker: null };
         if (!parsed.scripts || typeof parsed.scripts !== 'object' || Array.isArray(parsed.scripts)) {
-            return { scripts: new Set(), hash, blocker: 'Root package.json scripts field is malformed.' };
+            return { scripts: new Map(), hash, blocker: 'Root package.json scripts field is malformed.' };
         }
-        return { scripts: new Set(Object.keys(parsed.scripts)), hash, blocker: null };
+        return {
+            scripts: new Map(Object.entries(parsed.scripts)
+                .filter((entry) => typeof entry[1] === 'string')),
+            hash,
+            blocker: null,
+        };
     }
     catch {
-        return { scripts: new Set(), hash, blocker: 'Root package.json is not valid JSON.' };
+        return { scripts: new Map(), hash, blocker: 'Root package.json is not valid JSON.' };
     }
 }
+function inspectRepositoryFile(repositoryRoot, relativePath) {
+    const file = path.join(repositoryRoot, relativePath);
+    if (!existsSync(file))
+        return { content: null, hash: null, blocker: `${relativePath} is missing.` };
+    const stat = lstatSync(file);
+    if (!stat.isFile())
+        return { content: null, hash: null, blocker: `${relativePath} is not a regular file.` };
+    const bytes = readFileSync(file);
+    return {
+        content: bytes.toString('utf8'),
+        hash: createHash('sha256').update(bytes).digest('hex'),
+        blocker: null,
+    };
+}
 //# sourceMappingURL=plan-integrity.js.map

package/dist/src/alpha6/plan-integrity.js.map

@@ -1 +1 @@
-{"version":3,"file":"plan-integrity.js","sourceRoot":"","sources":["../../../src/alpha6/plan-integrity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,IAAI,MAAM,WAAW,CAAC;AAK7B,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EACL,4BAA4B,EAC5B,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,aAAa,GAAG,cAAuB,CAAC;AAC9C,MAAM,OAAO,GAAG,+BAA+B,CAAC;AAChD,MAAM,aAAa,GAAG,kEAAkE,CAAC;AAazF,MAAM,UAAU,iCAAiC,CAAC,MAAc;IAC9D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,sEAAsE,MAAM,GAAG,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,iCAAiC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAqB,EACrB,cAAsB,EACtB,IAAe,EACf,MAAc;IAEd,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,MAAM;QACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;IAC7E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvF,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACnG,MAAM,SAAS,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvG,IACE,YAAY,CAAC,MAAM,KAAK,CAAC;WACtB,YAAY,CAAC,CAAC,CAAC,EAAE,cAAc,KAAK,CAAC;WACrC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,UAAU;WACpC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,KAAK,eAAe;WAChD,SAAS,CAAC,MAAM,KAAK,CAAC,EACzB,CAAC;QACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAC5F,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;YACjC,CAAC,CAAC,CAAC,yBAAyB,MAAM,mBAAmB,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,CAAC,2BAA2B,MAAM,oBAAoB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtF,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IACrC,MAAM,kBAAkB,GAAG,aAAa,CAAC;QACvC,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,IAAI,EAAE,2CAAoD;QAC1D,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,kBAAkB,EAAE,WAAW,CAAC,OAAO;QACvC,oBAAoB,EAAE,WAAW,CAAC,SAAS;QAC3C,YAAY,EAAE,aAAa;QAC3B,YAAY,EAAE,QAAQ,CAAC,IAAI;QAC3B,OAAO,EAAE,UAAU,CAAC,cAAc,CAAC;QACnC,kBAAkB;QAClB,cAAc,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QACzE,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QACzE,YAAY,EAAE,KAAK;KACpB,CAAC;IACF,MAAM,QAAQ,GAAkC;QAC9C,GAAG,YAAY;QACf,YAAY,EAAE,aAAa,CAAC;YAC1B,MAAM,EAAE,2CAA2C;YACnD,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM;YACN,QAAQ,EAAE,YAAY;SACvB,CAAC;KACH,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC/B,QAAQ;QACR,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,cAAsB;IAKjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;IACtD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA0B,CAAC;QAC3E,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrF,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3F,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,+CAA+C,EAAE,CAAC;QAChG,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAChF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IACvF,CAAC;AACH,CAAC"}
+{"version":3,"file":"plan-integrity.js","sourceRoot":"","sources":["../../../src/alpha6/plan-integrity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,IAAI,MAAM,WAAW,CAAC;AAQ7B,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EACL,mBAAmB,EACnB,+BAA+B,EAC/B,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,iCAAiC,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC/F,OAAO,EACL,4BAA4B,EAC5B,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,aAAa,GAAG,cAAuB,CAAC;AAC9C,MAAM,OAAO,GAAG,+BAA+B,CAAC;AAahD,MAAM,UAAU,iCAAiC,CAAC,MAAc;IAC9D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,sEAAsE,MAAM,GAAG,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,iCAAiC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAqB,EACrB,cAAsB,EACtB,IAAe,EACf,MAAc;IAEd,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,MAAM;QACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;IAC7E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvF,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACnG,MAAM,SAAS,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvG,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;WACxB,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,eAAe,CAAC;WAChH,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,SAAS,GAAiD,EAAE,CAAC;IACnE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QACtE,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;YAC3B,IAAI,WAAW,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC;gBAAE,SAAS;YAC7D,SAAS,CAAC,IAAI,CAAC;gBACb,UAAU,EAAE,oBAA6B;gBACzC,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;gBACvB,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,IAAI;gBAChB,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAoD,CAAC;QACtF,MAAM,gBAAgB,GAAG,+BAA+B,CAAC,aAAa,EAAE,CAAC,UAAU,EAAE,EAAE;YACrF,MAAM,UAAU,GAAG,qBAAqB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;YACrE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAC9C,OAAO,UAAU,CAAC,OAAO,CAAC;QAC5B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,gBAAgB,IAAI,mBAAmB,CAAC,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QACtF,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;QACpF,IAAI,gBAAgB,EAAE,OAAO;YAAE,cAAc,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC7E,IAAI,WAAW,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC;eAC7C,WAAW,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC;YAAE,SAAS;QAC5E,SAAS,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,2BAAoC;YAChD,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;YACvB,aAAa;YACb,UAAU,EAAE,gBAAgB,CAAC,UAAU;YACvC,UAAU,EAAE,gBAAgB,EAAE,IAAI,IAAI,IAAI;SAC3C,CAAC,CAAC;IACL,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9H,MAAM,gBAAgB,GAAiD,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3F,CAAC,CAAC,0BAA0B,CAAC;YACzB,IAAI;YACJ,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,QAAQ,EAAE,CAAC,YAAY,EAAE,EAAE;gBACzB,MAAM,SAAS,GAAG,qBAAqB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;gBACtE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;YAC9D,CAAC;YACD,UAAU,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC;SACtG,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YACpB,GAAG,QAAQ;YACX,mBAAmB,EAAE,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC;YACtD,sBAAsB,EAAE,CAAC,GAAG,QAAQ,CAAC,sBAAsB,CAAC;SAC7D,CAAC,CAAC;QACL,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,uBAAuB,GAC3B,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QACrD,CAAC,CAAC,iCAAiC,CAAC;YAChC,IAAI;YACJ,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,QAAQ,EAAE,CAAC,YAAY,EAAE,EAAE;gBACzB,MAAM,SAAS,GAAG,qBAAqB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;gBACtE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;YAC9D,CAAC;SACF,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC;QAC5E,CAAC,CAAC,EAAE,CAAC;IACT,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,uBAAuB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpG,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAC5F,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,cAAc;QACjB,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;YACjC,CAAC,CAAC,CAAC,yBAAyB,MAAM,mBAAmB,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,CAAC,2BAA2B,MAAM,oBAAoB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,cAAc,CAAC;YAC9F,CAAC,CAAC,CAAC,2BAA2B,QAAQ,CAAC,WAAW,eAAe,MAAM,kBAAkB,CAAC;YAC1F,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC;YACnG,CAAC,CAAC,CAAC,mBAAmB,QAAQ,CAAC,SAAS,eAAe,MAAM,kBAAkB,CAAC;YAChF,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,MAAM,kBAAkB,GAAG,aAAa,CAAC;QACvC,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACvD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC,CAAC,CAAC;IACJ,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,EAAE,6CAAsD;QAC5D,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,iBAAiB,EAAE,mBAAmB;QACtC,YAAY,EAAE,aAAa;QAC3B,YAAY,EAAE,QAAQ,CAAC,IAAI;QAC3B,OAAO,EAAE,UAAU,CAAC,cAAc,CAAC;QACnC,kBAAkB;QAClB,SAAS,EAAE,gBAAgB;QAC3B,eAAe,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QAC9F,YAAY,EAAE,KAAK;KACpB,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,EAAE,qDAA8D;QACpE,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,iBAAiB,EAAE,mBAAmB;QACtC,OAAO,EAAE,UAAU,CAAC,cAAc,CAAC;QACnC,kBAAkB;QAClB,oBAAoB,EAAE,oBAAoB,CAAC,IAAI,CAAC;QAChD,2BAA2B,EAAE,IAAI,CAAC,YAAa,CAAC,YAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7E,uBAAuB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAE,CAAC,gBAAgB;QACrG,SAAS,EAAE,uBAAuB;QAClC,eAAe,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QACnG,YAAY,EAAE,KAAK;KACpB,CAAC,CAAC,CAAC;QACF,IAAI,EAAE,iDAA0D;QAChE,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,iBAAiB,EAAE,mBAAmB;QACtC,YAAY,EAAE,aAAa;QAC3B,YAAY,EAAE,QAAQ,CAAC,IAAI;QAC3B,OAAO,EAAE,UAAU,CAAC,cAAc,CAAC;QACnC,kBAAkB;QAClB,SAAS;QACT,YAAY,EAAE,KAAK;KACpB,CAAC;IACF,MAAM,QAAQ,GAAkC;QAC9C,GAAG,YAAY;QACf,YAAY,EAAE,aAAa,CAAC;YAC1B,MAAM,EAAE,gBAAgB,CAAC,MAAM,GAAG,CAAC;gBACjC,CAAC,CAAC,2CAA2C;gBAC7C,CAAC,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC;oBAClC,CAAC,CAAC,2CAA2C;oBAC7C,CAAC,CAAC,2CAA2C;YACjD,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM;YACN,QAAQ,EAAE,YAAY;SACvB,CAAC;KACH,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC/B,QAAQ;QACR,QAAQ;KACT,CAAC;AACJ,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;QACrG,QAAQ,EAAE,MAAM;KACjB,CAAC,CAAC;IACH,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,cAAsB;IAKjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;IACtD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA0B,CAAC;QAC3E,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrF,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3F,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,+CAA+C,EAAE,CAAC;QAChG,CAAC;QACD,OAAO;YACL,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;iBAC5C,MAAM,CAAC,CAAC,KAAK,EAA6B,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;YAC9E,IAAI;YACJ,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IACvF,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,cAAsB,EAAE,YAAoB;IAKzE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,YAAY,cAAc,EAAE,CAAC;IACpG,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,YAAY,yBAAyB,EAAE,CAAC;IAC5G,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QACtD,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC"}

package/dist/src/alpha6/plan-risk.d.ts

@@ -1,5 +1,6 @@
 import type { AdoptionPostureEvent, PlanRiskAuditDecision, PlanRiskAuditEvent, PlanRiskAuditStepClassification, TaskState } from '../contracts.js';
 import type { FileStateStore } from '../state/store.js';
+export declare const STRUCTURAL_PRODUCTION_EDGE_AUTHORITY: "required-v1";
 export interface PlanRiskAuditBoundary {
     scope: 'current-task-steps' | 'legacy-remaining-scope';
     postureEventType: AdoptionPostureEvent['eventType'];

package/dist/src/alpha6/plan-risk.js

@@ -1,6 +1,7 @@
 import { existsSync } from 'node:fs';
 import path from 'node:path';
 import { WorkflowError } from '../errors.js';
+import { validateStructuralProductionEdgeAuthority } from '../domain/validation.js';
 import { assertHash64, canonicalJsonStringify, sha256Hex } from './store-sidecars.js';
 import { createUlid } from '../ulid.js';
 const PLAN_RISK_AUDIT_SIDECAR = 'plan-risk-audits.jsonl';
@@ -47,6 +48,7 @@ const GUARDED_RISK_CATEGORY_ORDER = [
 ];
 const GUARDED_RISK_CATEGORY_SET = new Set(GUARDED_RISK_CATEGORY_ORDER);
 const GUARDED_RISK_CATEGORY_INDEX = new Map(GUARDED_RISK_CATEGORY_ORDER.map((category, index) => [category, index]));
+export const STRUCTURAL_PRODUCTION_EDGE_AUTHORITY = 'required-v1';
 export function validatePlanRiskAuditCandidate(store, task, input) {
     const boundary = readPlanRiskAuditBoundary(store, task);
     if (!boundary) {
@@ -115,6 +117,9 @@ export function readCurrentPlanRiskAudit(store, task, options = {}) {
     };
 }
 export function buildPlanRiskAuditEvent(store, task, input, recordedAt, now = Date.now()) {
+    return buildPlanRiskAuditEventWithAuthority(store, task, input, recordedAt, now, true);
+}
+function buildPlanRiskAuditEventWithAuthority(store, task, input, recordedAt, now, bindStructuralProductionEdgeAuthority) {
     const boundary = readPlanRiskAuditBoundary(store, task);
     if (!boundary) {
         throw new WorkflowError('TRANSITION_BLOCKED', 'Plan Risk Audit recording requires an active adoption posture boundary.', { taskId: task.id, sidecar: ADOPTION_POSTURE_SIDECAR });
@@ -152,6 +157,9 @@ export function buildPlanRiskAuditEvent(store, task, input, recordedAt, now = Da
             value: input.decision,
         }),
         splitRationale: normalizeOptionalNonEmptyString(input.splitRationale, 'Plan Risk Audit splitRationale'),
+        ...(bindStructuralProductionEdgeAuthority
+            ? { structuralProductionEdgeAuthority: STRUCTURAL_PRODUCTION_EDGE_AUTHORITY }
+            : {}),
         stepClassifications: normalizePlanRiskClassifications(input.stepClassifications, 'INVALID_ARGUMENT', {
             taskId: task.id,
         }),
@@ -159,7 +167,7 @@ export function buildPlanRiskAuditEvent(store, task, input, recordedAt, now = Da
     validatePlanRiskAuditPayload(task, event, boundary.expectedStepIds, 'INVALID_ARGUMENT', {
         taskId: task.id,
         expectedStepIds: boundary.expectedStepIds,
-    });
+    }, true, bindStructuralProductionEdgeAuthority);
     return {
         boundary,
         entityRoot,
@@ -167,7 +175,10 @@ export function buildPlanRiskAuditEvent(store, task, input, recordedAt, now = Da
     };
 }
 export function appendCurrentPlanRiskAudit(store, task, input, now) {
-    const prepared = buildPlanRiskAuditEvent(store, task, input, now.toISOString(), now.getTime());
+    return appendPlanRiskAuditWithAuthority(store, task, input, now, true);
+}
+function appendPlanRiskAuditWithAuthority(store, task, input, now, bindStructuralProductionEdgeAuthority) {
+    const prepared = buildPlanRiskAuditEventWithAuthority(store, task, input, now.toISOString(), now.getTime(), bindStructuralProductionEdgeAuthority);
     const existingEvents = readPlanRiskAuditEvents(store, task);
     assertPlanRiskAuditAppendAllowed(task, prepared.boundary, existingEvents);
     return store.appendSidecarEvent(prepared.entityRoot, PLAN_RISK_AUDIT_SIDECAR, prepared.event, {
@@ -182,7 +193,12 @@ export function validateCorrectiveReplanRiskAuditPayload(task, event, expectedSt
 }
 export function appendReboundPlanRiskAudit(store, sourceTask, reboundTask, sourceAudit, now) {
     assertReboundPlanRiskAuditAllowed(store, sourceTask, reboundTask, sourceAudit);
-    return appendCurrentPlanRiskAudit(store, reboundTask, {
+    const sourceHasStructuralProductionEdgeAuthority = sourceAudit.audit.structuralProductionEdgeAuthority !== undefined
+        || Object.hasOwn(sourceTask, 'requiresProductionEdges')
+        || Object.hasOwn(sourceTask, 'productionEdges')
+        || Object.hasOwn(reboundTask, 'requiresProductionEdges')
+        || Object.hasOwn(reboundTask, 'productionEdges');
+    return appendPlanRiskAuditWithAuthority(store, reboundTask, {
         planner: sourceAudit.audit.planner,
         auditor: sourceAudit.audit.auditor,
         summary: `${sourceAudit.audit.summary} Rebound automatically after content-only Task context refresh.`,
@@ -197,7 +213,7 @@ export function appendReboundPlanRiskAudit(store, sourceTask, reboundTask, sourc
                 ? { proofObligations: classification.proofObligations.map((obligation) => ({ ...obligation })) }
                 : {}),
         })),
-    }, now);
+    }, now, sourceHasStructuralProductionEdgeAuthority);
 }
 function readCurrentAdoptionPosture(store, projectId) {
     const sidecarFile = path.join(store.projectRoot(projectId), ADOPTION_POSTURE_SIDECAR);
@@ -467,13 +483,16 @@ function validateAdoptionBaseline(task, baseline, currentTaskStepIds, posture) {
     }
 }
 function validateStoredPlanRiskAuditEvent(event, task, file, line) {
+    const hasStructuralAuthorityBoundary = event.planHash === task.planHash && (event.structuralProductionEdgeAuthority !== undefined
+        || Object.hasOwn(task, 'requiresProductionEdges')
+        || Object.hasOwn(task, 'productionEdges'));
     validatePlanRiskAuditPayload(task, event, null, 'STATE_CORRUPT', {
         file,
         line,
         eventId: event.eventId,
-    }, false);
+    }, false, hasStructuralAuthorityBoundary);
 }
-function validatePlanRiskAuditPayload(task, event, expectedStepIds, errorCode, details, requireCurrentStepChecks = true) {
+function validatePlanRiskAuditPayload(task, event, expectedStepIds, errorCode, details, requireCurrentStepChecks = true, requireStructuralProductionEdgeAuthority = true) {
     if (event.taskId !== task.id) {
         throw new WorkflowError(errorCode, 'Plan Risk Audit task binding does not match its task root.', {
             ...details,
@@ -499,10 +518,20 @@ function validatePlanRiskAuditPayload(task, event, expectedStepIds, errorCode, d
     normalizeNonEmptyString(event.summary, 'Plan Risk Audit summary', { code: errorCode, ...details });
     normalizePlanRiskDecision(event.decision, errorCode, details);
     normalizeOptionalNonEmptyString(event.splitRationale, 'Plan Risk Audit splitRationale', { code: errorCode, ...details });
+    if (event.structuralProductionEdgeAuthority !== undefined
+        && event.structuralProductionEdgeAuthority !== STRUCTURAL_PRODUCTION_EDGE_AUTHORITY) {
+        throw new WorkflowError(errorCode, 'Plan Risk Audit structural production-edge authority marker is invalid.', {
+            ...details,
+            structuralProductionEdgeAuthority: event.structuralProductionEdgeAuthority,
+        });
+    }
     if (!Array.isArray(event.stepClassifications)) {
         throw new WorkflowError(errorCode, 'Plan Risk Audit stepClassifications must be an array.', details);
     }
     validateStepClassificationSet(task, event.stepClassifications, event.decision, event.splitRationale, expectedStepIds, errorCode, details, requireCurrentStepChecks);
+    if (requireStructuralProductionEdgeAuthority) {
+        validateStructuralProductionEdgeAuthority(task, event.stepClassifications);
+    }
 }
 function validateStepClassificationSet(task, classifications, decision, splitRationale, expectedStepIds, errorCode, details, requireCurrentStepChecks = true) {
     const currentTaskStepIds = new Set(task.steps.map((step) => step.id));
@@ -771,7 +800,7 @@ function buildTaskStepDefinitionHashes(task) {
     return new Map(task.steps.map((step) => [step.id, sha256Hex(canonicalJsonStringify(stripTaskStepRuntime(step)))]));
 }
 function stripTaskStepRuntime(step) {
-    const { status: _status, evidence: _evidence, ...definition } = step;
+    const { status: _status, evidence: _evidence, failurePause: _failurePause, ...definition } = step;
     return definition;
 }
 function assertRecordableTask(task) {