codex-workflow-v2 2.0.0-beta.13.9 → 2.0.0-beta.14

package/dist/src/alpha6/navigation-dirty-carryover.d.ts

@@ -0,0 +1,11 @@
+import type { PlanIntegrityUpdateCompatibility, TaskState } from '../contracts.js';
+import type { FileStateStore } from '../state/store.js';
+export interface NavigationDirtyCarryoverAssessment {
+    applicable: boolean;
+    eligible: boolean;
+    compatibility: PlanIntegrityUpdateCompatibility | null;
+    blockers: string[];
+    requiredActor?: string;
+}
+/** Validate an existing native checkpoint; this never grants writes or execution authority. */
+export declare function assessNavigationDirtyCarryover(store: FileStateStore, repositoryRoot: string, task: TaskState, stepId?: string, historyBoundary?: string, authorizationBoundary?: string): NavigationDirtyCarryoverAssessment;

package/dist/src/alpha6/navigation-dirty-carryover.js

@@ -0,0 +1,130 @@
+import { inspectBoundedWorkflowDependencyCommit } from '../dependency-provenance.js';
+import { assertKnowledgeBindingOnlyPlanChange, readVerifiedPlanArtifact } from '../domain/plan-semantics.js';
+import { pathAllowed } from '../domain/validation.js';
+import { validateTaskHistory } from '../git.js';
+import { changedFiles, currentBranch, gitIsAncestor, headCommit, runGit } from '../repository.js';
+import { hashDirtyWorktree } from './downstream-proof.js';
+import { readTaskC1Posture, readTaskHandoffEvents } from './handoff.js';
+import { assertMechanicalFeasibilityFresh, hashMechanicalFeasibilityEvidence } from './mechanical-feasibility.js';
+import { readCurrentPlanRiskAudit, readPlanRiskAuditEvents } from './plan-risk.js';
+import { verifiedHistoricalStepReviewBindings } from './review.js';
+import { readRemediationEvents } from './remediation.js';
+/** Validate an existing native checkpoint; this never grants writes or execution authority. */
+export function assessNavigationDirtyCarryover(store, repositoryRoot, task, stepId, historyBoundary = headCommit(repositoryRoot), authorizationBoundary = headCommit(repositoryRoot)) {
+    const records = (task.dependencyProvenanceRecoveries ?? []).filter(record => record.planIntegrity?.mode === 'navigation-fix-dirty-carryover'
+        && (!stepId || record.planIntegrity.stepId === stepId));
+    const record = records.at(-1);
+    if (!record)
+        return { applicable: false, eligible: false, compatibility: null, blockers: [] };
+    const binding = record.planIntegrity;
+    const blockers = [];
+    const require = (condition, message) => { if (!condition)
+        blockers.push(message); };
+    let requiredActor;
+    try {
+        const step = task.steps.find(candidate => candidate.id === binding.stepId);
+        require(task.status === 'ready' && task.workspaceOwner === 'local', 'Navigation checkpoint requires a ready local Task.');
+        require(task.taskBranch && currentBranch(repositoryRoot) === task.taskBranch, 'Navigation checkpoint requires the owned Task branch.');
+        require(step?.status === 'planned' && step.evidence === null, 'The checkpoint Step must remain planned without evidence.');
+        require(!task.steps.some(candidate => candidate.status === 'in_progress'), 'No Step may be in progress.');
+        require(task.systemCommits.includes(record.commitSha)
+            && (task.dependencyProvenanceRecoveries ?? []).filter(item => item.commitSha === record.commitSha).length === 1
+            && record.packageName === 'codex-workflow-v2'
+            && JSON.stringify(record.files) === JSON.stringify(['package-lock.json', 'package.json']), 'The checkpoint must have one exact registered Workflow dependency record.');
+        const inspected = inspectBoundedWorkflowDependencyCommit(repositoryRoot, record.commitSha);
+        require(inspected?.parentCommitSha === record.parentCommitSha && inspected?.packageVersion === record.packageVersion, 'The checkpoint is not the exact recorded dependency-only commit.');
+        require(gitIsAncestor(repositoryRoot, record.commitSha, historyBoundary), 'The checkpoint must precede the assessed history boundary.');
+        validateTaskHistory(repositoryRoot, task, historyBoundary);
+        const suffix = runGit(repositoryRoot, ['rev-list', '--reverse', `${record.commitSha}..${historyBoundary}`]).split('\n').filter(Boolean);
+        let parent = record.commitSha;
+        for (const commit of suffix) {
+            const inspectedCommit = inspectBoundedWorkflowDependencyCommit(repositoryRoot, commit);
+            const matches = (task.dependencyProvenanceRecoveries ?? []).filter(item => item.commitSha === commit);
+            require(inspectedCommit?.parentCommitSha === parent && matches.length === 1
+                && matches[0].parentCommitSha === parent && matches[0].packageVersion === inspectedCommit?.packageVersion
+                && task.systemCommits.includes(commit), 'Checkpoint continuation requires exact registered dependency-only continuity.');
+            parent = commit;
+        }
+        const dirty = changedFiles(repositoryRoot).sort();
+        require(dirty.length > 0 && JSON.stringify(dirty) === JSON.stringify([...binding.dirtyFiles].sort())
+            && hashDirtyWorktree(repositoryRoot, dirty) === binding.dirtyWorktreeHash, 'Navigation checkpoint dirty paths or bytes changed.');
+        if (step) {
+            require(dirty.every(file => pathAllowed(file, step.allowedWrites) && !pathAllowed(file, step.forbiddenScope)), 'Checkpoint dirty files must remain inside allowedWrites and outside forbiddenScope.');
+            require(step.dependencies.every(id => task.steps.find(item => item.id === id)?.status === 'completed'), 'Checkpoint Step dependencies must be complete.');
+        }
+        const events = readRemediationEvents(store, task).filter(event => event.stepId === binding.stepId && event.failureKind === 'checks-failed');
+        require(events.length > 0 && JSON.stringify(events.map(event => event.eventId)) === JSON.stringify(binding.remediationEventIds), 'Checkpoint remediation IDs must equal the complete ordered native Step check-failure history.');
+        const terminal = events.at(-1);
+        require(terminal?.failureEvidence.dirtyWorktreeHash === binding.dirtyWorktreeHash
+            && terminal?.failureEvidence.completionCommit === record.parentCommitSha, 'The terminal native failure must bind the checkpoint parent and exact dirty bytes.');
+        require(terminal && Number.isFinite(Date.parse(record.recordedAt)) && Date.parse(record.recordedAt) >= Date.parse(terminal.recordedAt), 'The checkpoint timestamp must follow its native failure.');
+        const root = store.taskRoot(task.projectId, task.id);
+        require(task.planHash && task.briefHash && store.hashArtifact(root, 'brief.md') === task.briefHash, 'Current Brief authority does not match its artifact.');
+        if (!task.planHash)
+            throw new Error('Current Plan is missing.');
+        let expected = binding.planHash;
+        readVerifiedPlanArtifact(root, expected, task.planHash);
+        const planHashes = [expected];
+        if (expected !== task.planHash) {
+            const start = task.knowledgeRebinds.findIndex(item => item.previousPlanHash === expected);
+            require(start >= 0, 'Checkpoint Plan requires an exact Knowledge-rebind chain.');
+            let previousTime = Number.NEGATIVE_INFINITY;
+            for (const item of start < 0 ? [] : task.knowledgeRebinds.slice(start)) {
+                require(item.previousPlanHash === expected && !planHashes.includes(item.reboundPlanHash)
+                    && Number.isFinite(Date.parse(item.recordedAt)) && Date.parse(item.recordedAt) > previousTime, 'Checkpoint Knowledge-rebind chain forks, cycles, or has invalid timestamps.');
+                assertKnowledgeBindingOnlyPlanChange(readVerifiedPlanArtifact(root, item.previousPlanHash, task.planHash), readVerifiedPlanArtifact(root, item.reboundPlanHash, task.planHash));
+                expected = item.reboundPlanHash;
+                previousTime = Date.parse(item.recordedAt);
+                planHashes.push(expected);
+            }
+        }
+        require(expected === task.planHash, 'Checkpoint Plan chain does not terminate at the current Plan.');
+        const audit = readCurrentPlanRiskAudit(store, task);
+        require(audit && ['approved', 'approved-with-rationale'].includes(audit.audit.decision), 'Current approved Plan Risk Audit is required.');
+        const audits = readPlanRiskAuditEvents(store, task);
+        const reviews = verifiedHistoricalStepReviewBindings(store, task);
+        for (const completed of task.steps.filter(item => item.status === 'completed')) {
+            require(completed.evidence, 'Every completed Step must retain execution evidence.');
+            const guarded = audits.some(item => item.stepClassifications.some(classification => classification.stepId === completed.id && classification.reviewRequired));
+            if (guarded)
+                require(completed.evidence && reviews.some(review => review.stepId === completed.id && review.commitSha === completed.evidence.commitSha), 'Completed guarded Step must retain verified strict-review evidence.');
+        }
+        const selected = planHashes.map(hash => audits.filter(item => item.planHash === hash));
+        require(selected.every(matches => matches.length === 1), 'Checkpoint Plan audit chain is missing or ambiguous.');
+        if (selected.every(matches => matches.length === 1)) {
+            const chain = selected.map(matches => matches[0]);
+            require(chain.at(-1)?.eventHash === audit?.audit.eventHash, 'Checkpoint audit chain must reach the current audit.');
+            chain.forEach((item, index) => {
+                require(item.briefHash === task.briefHash, 'Checkpoint audit Brief authority changed.');
+                if (index) {
+                    const before = chain[index - 1];
+                    require(item.previousEventHash === before.eventHash && item.planner === before.planner
+                        && item.auditor !== item.planner && item.decision === before.decision
+                        && item.splitRationale === before.splitRationale
+                        && JSON.stringify(item.stepClassifications) === JSON.stringify(before.stepClassifications), 'Checkpoint Plan Risk Audit changed beyond its Knowledge binding.');
+                }
+            });
+        }
+        const authorization = [...task.authorizations].reverse().find(item => item.kind === 'execution' && item.decision === 'approved');
+        require(authorization && authorization.planHash === task.planHash && authorization.briefHash === task.briefHash
+            && authorization.headCommit === authorizationBoundary
+            && gitIsAncestor(repositoryRoot, authorizationBoundary, headCommit(repositoryRoot)), 'Current execution authorization must bind the exact Brief, Plan and HEAD.');
+        if (!authorization?.mechanicalFeasibility)
+            throw new Error('Checkpoint requires current mechanical-feasibility evidence.');
+        require(authorization.evidenceHash === hashMechanicalFeasibilityEvidence(authorization.mechanicalFeasibility)
+            && authorization.headCommit === authorization.mechanicalFeasibility.evaluatedHead, 'Mechanical-feasibility evidence hash or HEAD does not match authorization.');
+        assertMechanicalFeasibilityFresh(repositoryRoot, task, authorization.mechanicalFeasibility, task.briefHash, task.planHash);
+        const posture = readTaskC1Posture(store, task);
+        const claim = readTaskHandoffEvents(store, task).filter(event => event.eventType === 'claim').at(-1);
+        requiredActor = claim?.actor;
+        require(posture.state === 'claimed' && claim && posture.claimant === claim.actor
+            && planHashes.includes(claim.planHash ?? '') && claim.briefHash === task.briefHash, 'Checkpoint requires its original actor with a current immutable claimed C1 boundary.');
+    }
+    catch (error) {
+        blockers.push(error instanceof Error ? error.message : String(error));
+    }
+    return { applicable: true, eligible: blockers.length === 0,
+        compatibility: blockers.length ? null : { ...structuredClone(binding), planHash: task.planHash },
+        blockers: [...new Set(blockers)], ...(requiredActor ? { requiredActor } : {}) };
+}
+//# sourceMappingURL=navigation-dirty-carryover.js.map

package/dist/src/alpha6/navigation-dirty-carryover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation-dirty-carryover.js","sourceRoot":"","sources":["../../../src/alpha6/navigation-dirty-carryover.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sCAAsC,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,oCAAoC,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AAC7G,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAElG,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,gCAAgC,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAClH,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,oCAAoC,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAUzD,+FAA+F;AAC/F,MAAM,UAAU,8BAA8B,CAC5C,KAAqB,EACrB,cAAsB,EACtB,IAAe,EACf,MAAe,EACf,eAAe,GAAG,UAAU,CAAC,cAAc,CAAC,EAC5C,qBAAqB,GAAG,UAAU,CAAC,cAAc,CAAC;IAElD,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAC1E,MAAM,CAAC,aAAa,EAAE,IAAI,KAAK,gCAAgC;WAC5D,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC9F,MAAM,OAAO,GAAG,MAAM,CAAC,aAAc,CAAC;IACtC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,SAAkB,EAAE,OAAe,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,IAAI,aAAiC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,cAAc,KAAK,OAAO,EAAE,oDAAoD,CAAC,CAAC;QAC1H,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,uDAAuD,CAAC,CAAC;QACvI,OAAO,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,2DAA2D,CAAC,CAAC;QAC3H,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,aAAa,CAAC,EAAE,6BAA6B,CAAC,CAAC;QAC1G,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC;eAChD,CAAC,IAAI,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;eAC5G,MAAM,CAAC,WAAW,KAAK,mBAAmB;eAC1C,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,EACzF,2EAA2E,CAAC,CAAC;QAC/E,MAAM,SAAS,GAAG,sCAAsC,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3F,OAAO,CAAC,SAAS,EAAE,eAAe,KAAK,MAAM,CAAC,eAAe,IAAI,SAAS,EAAE,cAAc,KAAK,MAAM,CAAC,cAAc,EAClH,kEAAkE,CAAC,CAAC;QACtE,OAAO,CAAC,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,4DAA4D,CAAC,CAAC;QACxI,mBAAmB,CAAC,cAAc,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,SAAS,KAAK,eAAe,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxI,IAAI,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;YAC5B,MAAM,eAAe,GAAG,sCAAsC,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YACvF,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC;YACtG,OAAO,CAAC,eAAe,EAAE,eAAe,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;mBACtE,OAAO,CAAC,CAAC,CAAE,CAAC,eAAe,KAAK,MAAM,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,cAAc,KAAK,eAAe,EAAE,cAAc;mBACxG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,+EAA+E,CAAC,CAAC;YAC3H,MAAM,GAAG,MAAM,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;eAC/F,iBAAiB,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,OAAO,CAAC,iBAAiB,EAAE,qDAAqD,CAAC,CAAC;QACpI,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAC3G,qFAAqF,CAAC,CAAC;YACzF,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,WAAW,CAAC,EACpG,gDAAgD,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,eAAe,CAAC,CAAC;QAC5I,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAC7H,+FAA+F,CAAC,CAAC;QACnG,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,OAAO,CAAC,QAAQ,EAAE,eAAe,CAAC,iBAAiB,KAAK,OAAO,CAAC,iBAAiB;eAC5E,QAAQ,EAAE,eAAe,CAAC,gBAAgB,KAAK,MAAM,CAAC,eAAe,EAC1E,oFAAoF,CAAC,CAAC;QACtF,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EACpI,0DAA0D,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,EAChG,sDAAsD,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAChE,IAAI,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QAChC,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC;YAC1F,OAAO,CAAC,KAAK,IAAI,CAAC,EAAE,2DAA2D,CAAC,CAAC;YACjF,IAAI,YAAY,GAAG,MAAM,CAAC,iBAAiB,CAAC;YAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvE,OAAO,CAAC,IAAI,CAAC,gBAAgB,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC;uBACnF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,YAAY,EAC/F,6EAA6E,CAAC,CAAC;gBAC/E,oCAAoC,CAAC,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,EACvG,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACvE,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC;gBAChC,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3C,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,+DAA+D,CAAC,CAAC;QACrG,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,OAAO,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,+CAA+C,CAAC,CAAC;QAC1I,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,oCAAoC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAClE,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,EAAE,CAAC;YAC/E,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,sDAAsD,CAAC,CAAC;YACpF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,IAAI,cAAc,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9J,IAAI,OAAO;gBAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,QAAS,CAAC,SAAS,CAAC,EACrJ,qEAAqE,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC;QACvF,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,sDAAsD,CAAC,CAAC;QACjH,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;YACnD,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,KAAK,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,sDAAsD,CAAC,CAAC;YACpH,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBAC5B,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,2CAA2C,CAAC,CAAC;gBACxF,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;oBACjC,OAAO,CAAC,IAAI,CAAC,iBAAiB,KAAK,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;2BACjF,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;2BAClE,IAAI,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc;2BAC7C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAC5F,kEAAkE,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;QACjI,OAAO,CAAC,aAAa,IAAI,aAAa,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,aAAa,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;eAC1G,aAAa,CAAC,UAAU,KAAK,qBAAqB;eAClD,aAAa,CAAC,cAAc,EAAE,qBAAqB,EAAE,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,2EAA2E,CAAC,CAAC;QACpK,IAAI,CAAC,aAAa,EAAE,qBAAqB;YAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAC3H,OAAO,CAAC,aAAa,CAAC,YAAY,KAAK,iCAAiC,CAAC,aAAa,CAAC,qBAAqB,CAAC;eACxG,aAAa,CAAC,UAAU,KAAK,aAAa,CAAC,qBAAqB,CAAC,aAAa,EACjF,4EAA4E,CAAC,CAAC;QAChF,gCAAgC,CAAC,cAAc,EAAE,IAAI,EAAE,aAAa,CAAC,qBAAqB,EAAE,IAAI,CAAC,SAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5H,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrG,aAAa,GAAG,KAAK,EAAE,KAAK,CAAC;QAC7B,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK;eAC3E,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,EAClF,sFAAsF,CAAC,CAAC;IAC5F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1F,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACxD,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAS,EAAE;QACjG,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACpF,CAAC"}

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

@@ -9,7 +9,7 @@ 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';
+import { readCorrectiveDecisionEvents, readRemediationEvents, selectPlanIntegrityRemediations, } from './remediation.js';
 const ROOT_MANIFEST = 'package.json';
 const TASK_ID = /^TASK-[0-9A-HJKMNP-TV-Z]{26}$/;
 export function defaultPlanIntegrityRecoveryActor(taskId) {
@@ -29,11 +29,10 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
     if (!step || task.status !== 'needs_fix' || step.status !== 'failed' || !task.planHash) {
         return { ...base, applicable: false, eligible: false, blockers: [], evidence: null };
     }
-    const remediations = readRemediationEvents(store, task).filter((event) => event.stepId === stepId);
+    const allRemediations = readRemediationEvents(store, task).filter((event) => event.stepId === stepId);
     const decisions = readCorrectiveDecisionEvents(store, task).filter((event) => event.stepId === stepId);
-    if (remediations.length === 0
-        || remediations.some((event, index) => event.attemptOrdinal !== index + 1 || event.failureKind !== 'checks-failed')
-        || decisions.length !== 0) {
+    const remediations = selectPlanIntegrityRemediations(store, task, allRemediations, decisions);
+    if (!remediations || remediations.some(event => event.failureKind !== 'checks-failed')) {
         return { ...base, applicable: false, eligible: false, blockers: [], evidence: null };
     }
     const manifest = inspectRootManifest(repositoryRoot);
@@ -100,6 +99,7 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
         ? inspectFailedCheckComponentOwners({
             step,
             scripts: manifest.scripts,
+            isTracked: (relativePath) => gitPathExists(repositoryRoot, headCommit(repositoryRoot), relativePath),
             readFile: (relativePath) => {
                 const inspected = inspectRepositoryFile(repositoryRoot, relativePath);
                 return { content: inspected.content, hash: inspected.hash };
@@ -109,6 +109,8 @@ export function assessPlanIntegrityRecovery(store, repositoryRoot, task, stepId)
     if (conflicts.length === 0 && supportConflicts.length === 0 && componentOwnerConflicts.length === 0) {
         return { ...base, applicable: false, eligible: false, blockers: [], evidence: null };
     }
+    if (remediations.length !== allRemediations.length && conflicts.length > 0)
+        return { ...base, applicable: false, eligible: false, blockers: [], evidence: null };
     const files = [...changedFiles(repositoryRoot)].sort();
     const outsideAllowedWrites = files.filter((file) => !pathAllowed(file, step.allowedWrites));
     const forbiddenChanges = files.filter((file) => pathAllowed(file, step.forbiddenScope));

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,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"}
+{"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,EACrB,+BAA+B,GAChC,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,eAAe,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACtG,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,MAAM,YAAY,GAAG,+BAA+B,CAAC,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IAC9F,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,eAAe,CAAC,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,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,SAAS,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC;YACpG,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,IAAI,YAAY,CAAC,MAAM,KAAK,eAAe,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QACxE,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAEvF,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/remediation.d.ts

@@ -1,4 +1,4 @@
-import type { CorrectiveDecisionEvent, CorrectiveDecisionRecoveryEvent, CorrectivePlanAuditInput, GuardedRiskCategory, PlanIntegrityConflictEvidence, RemediationEvent, RemediationCauseBinding, RemediationFailureEvidence, RemediationFailureKind, RemediationMode, RemediationModeRecoveryEvent, StopEscalateOverrideEvent, StopEscalateOverridePreparation, TaskState } from '../contracts.js';
+import type { CorrectiveDecisionEvent, CorrectivePlanAuditInput, GuardedRiskCategory, PlanIntegrityConflictEvidence, RemediationEvent, RemediationCauseBinding, RemediationFailureEvidence, RemediationFailureKind, RemediationMode, RemediationModeRecoveryEvent, StopEscalateOverrideEvent, TaskState } from '../contracts.js';
 import type { FileStateStore } from '../state/store.js';
 import { type CurrentPlanRiskAudit } from './plan-risk.js';
 export declare const REMEDIATION_EVENTS_SIDECAR = "remediation-events.jsonl";
@@ -15,17 +15,6 @@ export interface GuardedRemediationAttemptGate {
     correctiveDecision: CorrectiveDecisionEvent | null;
     posture: 'ordinary' | 'decision-required' | 'continue-fix' | 'replan-required' | 'replan-ready' | 'split-required' | 'stop-escalate';
 }
-export interface RemediationModeRecoveryAssessment {
-    task: TaskState;
-    remediation: RemediationEvent;
-    decision: CorrectiveDecisionEvent;
-    correctiveRecovery: CorrectiveDecisionRecoveryEvent;
-    existingRecovery: RemediationModeRecoveryEvent | null;
-    actor: string;
-    c1ClaimEventHash: string | null;
-    writerLeaseTokenHash: string | null;
-    evidenceFingerprint: string;
-}
 export interface PreparedRemediationEvent {
     event: RemediationEvent;
     postimage: string | null;
@@ -39,22 +28,18 @@ export declare function readStopEscalateOverrideEvents(store: FileStateStore, ta
 export declare function stopEscalateOverrideDecisionEventIds(store: FileStateStore, task: TaskState): ReadonlySet<string>;
 export declare function appendRemediationEvent(store: FileStateStore, task: TaskState, stepId: string, failureKind: RemediationFailureKind, failureEvidence: RemediationFailureEvidence, planRiskAudit: CurrentPlanRiskAudit, now: Date, reboundStopOverrideDecisionEventId?: string | null, causeBindings?: readonly RemediationCauseBinding[]): RemediationEvent;
 export declare function prepareRemediationEvent(store: FileStateStore, task: TaskState, stepId: string, failureKind: RemediationFailureKind, failureEvidence: RemediationFailureEvidence, planRiskAudit: CurrentPlanRiskAudit, now: Date, reboundStopOverrideDecisionEventId?: string | null, causeBindings?: readonly RemediationCauseBinding[]): PreparedRemediationEvent;
-export declare function findRemediationModeRecoveryCandidate(store: FileStateStore, task: TaskState, options?: {
-    authorityMode?: 'enforce' | 'observe';
-}): RemediationModeRecoveryAssessment | null;
-export declare function assessRemediationModeRecovery(store: FileStateStore, task: TaskState, stepId: string, actor: string, writerToken: string | null, options?: {
-    authorityMode?: 'enforce' | 'observe';
-}): RemediationModeRecoveryAssessment;
-export declare function appendRemediationModeRecovery(store: FileStateStore, task: TaskState, stepId: string, expectedRevision: number, actor: string, writerToken: string | null, now: Date): RemediationModeRecoveryEvent;
 export declare function appendCorrectiveDecisionEvent(store: FileStateStore, task: TaskState, stepId: string, correctiveAudit: CorrectivePlanAuditInput, planRiskAudit: CurrentPlanRiskAudit, planHash: string, now: Date): CorrectiveDecisionEvent;
-export declare function prepareStopEscalateOverride(store: FileStateStore, task: TaskState, stepId: string, expectedRevision: number, actor: string, reason: string, headCommit: string): StopEscalateOverridePreparation;
-export declare function appendStopEscalateOverride(store: FileStateStore, task: TaskState, stepId: string, expectedRevision: number, actor: string, reason: string, headCommit: string, confirmationCode: string, now: Date): StopEscalateOverrideEvent;
 export declare function appendPlanIntegrityRecoveryDecision(store: FileStateStore, task: TaskState, stepId: string, auditor: string, evidence: PlanIntegrityConflictEvidence, now: Date): CorrectiveDecisionEvent;
 export declare function assertGuardedRemediationAttemptAllowed(store: FileStateStore, task: TaskState, stepId: string, planRiskAudit: CurrentPlanRiskAudit, recoveredDecisionEventId?: string | null, reboundStopOverrideDecisionEventId?: string | null): GuardedRemediationAttemptGate;
 export declare function readGuardedRemediationPostureForStep(store: FileStateStore, task: TaskState, stepId: string, planRiskAudit: CurrentPlanRiskAudit): GuardedRemediationAttemptGate | null;
+/** Scope mechanical support evidence only; global corrective authority is never discarded. */
+export declare function selectPlanIntegrityRemediations(store: FileStateStore, task: TaskState, events: readonly RemediationEvent[], decisions: readonly CorrectiveDecisionEvent[], canonicalPlanHash?: string | null): RemediationEvent[] | null;
 export declare function deriveCurrentCauseDecisionForTask(store: FileStateStore, task: TaskState, stepId: string, remediationEvents: readonly RemediationEvent[]): 'same-task-fix' | 'root-cause-replan' | null;
 export declare function findCurrentGuardedRemediationPosture(store: FileStateStore, task: TaskState, planRiskAudit: CurrentPlanRiskAudit): GuardedRemediationAttemptGate | null;
 export declare function findFailedGuardedStepRequiringCorrectiveDecision(store: FileStateStore, task: TaskState, planRiskAudit: CurrentPlanRiskAudit): GuardedRemediationAttemptGate | null;
 export declare function deriveCurrentCauseDecision(remediationEvents: readonly RemediationEvent[], priorRemediationEvents?: readonly RemediationEvent[]): 'same-task-fix' | 'root-cause-replan' | null;
 export declare function deriveRollingCauseDecision(remediationEvents: readonly RemediationEvent[], priorRemediationEvents?: readonly RemediationEvent[]): 'same-task-fix' | 'root-cause-replan' | null;
+/** A validated support decision survives only a hash-verified Knowledge-only Plan chain.
+ * This preserves scope evidence, never execution authorization or a semantic replan. */
+export declare function isKnowledgeReboundSupportDecision(store: FileStateStore, task: TaskState, event: CorrectiveDecisionEvent): boolean;
 export declare function effectiveStepAllowedWrites(store: FileStateStore, task: TaskState, stepId: string): string[];