scai 0.1.178 → 1.0.0

package/dist/__tests__/agents/evidenceVerifierStep.test.js

@@ -0,0 +1,113 @@
+/**
+ * Verifies structural identifier-part matches are promoted into verify evidence.
+ *
+ * Why this file exists:
+ * - repo-wide queries often describe behavior without naming the exact method
+ * - verify still needs to surface the deciding symbol so final answers stay specific
+ *
+ * Example:
+ * - "which method decides verify wave budget" should match `getGroundingWaveBudget`
+ *   from structural data because "wave" and "budget" overlap the identifier parts
+ */
+import fs from "fs";
+import os from "os";
+import path from "path";
+import { afterEach, describe, expect, it } from "vitest";
+import { evidenceVerifierStep } from "../../agents/evidenceVerifierStep.js";
+const tempDirs = [];
+afterEach(() => {
+    for (const dir of tempDirs.splice(0)) {
+        fs.rmSync(dir, { recursive: true, force: true });
+    }
+});
+describe("evidenceVerifierStep", () => {
+    it("matches structural function names by identifier parts for repo-wide method queries", async () => {
+        const dir = fs.mkdtempSync(path.join(os.tmpdir(), "scai-evidence-"));
+        tempDirs.push(dir);
+        const filePath = path.join(dir, "mainAgentVerify.ts");
+        fs.writeFileSync(filePath, [
+            "export function getGroundingWaveBudget() {",
+            "  return 4;",
+            "}",
+            "",
+            "export function captureVerifyWaveSnapshot() {",
+            "  return {};",
+            "}",
+        ].join("\n"), "utf-8");
+        const context = {
+            initContext: {
+                relatedFiles: [filePath],
+                relatedFileScores: { [filePath]: 0.1 },
+                queryExpansionTerms: [],
+            },
+            analysis: {
+                focus: {
+                    selectedFiles: [],
+                    candidateFiles: [],
+                },
+                fileAnalysis: {
+                    [filePath]: {
+                        structural: {
+                            functions: [
+                                { name: "getGroundingWaveBudget", start: 1, end: 3 },
+                                { name: "captureVerifyWaveSnapshot", start: 5, end: 7 },
+                            ],
+                            classes: [],
+                            imports: [],
+                            exports: [],
+                        },
+                    },
+                },
+            },
+        };
+        await evidenceVerifierStep.run({
+            query: "For repo-wide analysis questions, which method decides verify wave budget and why?",
+            context,
+        });
+        const verifyEntry = context.analysis.verify.byFile[filePath];
+        expect(verifyEntry.isRelevant).toBe(true);
+        expect(verifyEntry.evidence.some((item) => item.excerpt === "getGroundingWaveBudget")).toBe(true);
+        expect(context.analysis.fileAnalysis[filePath].proposedChanges.targets).toContain("export function getGroundingWaveBudget() {");
+    });
+    it("falls back to scanning function declarations when structural metadata is missing", async () => {
+        const dir = fs.mkdtempSync(path.join(os.tmpdir(), "scai-evidence-"));
+        tempDirs.push(dir);
+        const filePath = path.join(dir, "mainAgentVerify.ts");
+        fs.writeFileSync(filePath, [
+            "export function getGroundingWaveBudget() {",
+            "  return 4;",
+            "}",
+        ].join("\n"), "utf-8");
+        const context = {
+            initContext: {
+                relatedFiles: [filePath],
+                relatedFileScores: { [filePath]: 0.1 },
+                queryExpansionTerms: [],
+            },
+            analysis: {
+                focus: {
+                    selectedFiles: [filePath],
+                    candidateFiles: [],
+                },
+                fileAnalysis: {
+                    [filePath]: {
+                        structural: {
+                            functions: [],
+                            classes: [],
+                            imports: [],
+                            exports: [],
+                        },
+                    },
+                },
+            },
+        };
+        await evidenceVerifierStep.run({
+            query: "For repo-wide analysis questions, which method decides verify wave budget and why?",
+            context,
+        });
+        const verifyEntry = context.analysis.verify.byFile[filePath];
+        expect(verifyEntry.isRelevant).toBe(true);
+        expect(verifyEntry.evidence.some((item) => item.excerpt === "getGroundingWaveBudget")).toBe(true);
+    });
+});
+//# sourceMappingURL=evidenceVerifierStep.test.js.map

package/dist/__tests__/agents/evidenceVerifierStep.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceVerifierStep.test.js","sourceRoot":"","sources":["../../../src/__tests__/agents/evidenceVerifierStep.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAE5E,MAAM,QAAQ,GAAa,EAAE,CAAC;AAE9B,SAAS,CAAC,GAAG,EAAE;IACX,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAChG,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEnB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QACtD,EAAE,CAAC,aAAa,CACZ,QAAQ,EACR;YACI,4CAA4C;YAC5C,aAAa;YACb,GAAG;YACH,EAAE;YACF,+CAA+C;YAC/C,cAAc;YACd,GAAG;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,OAAO,CACV,CAAC;QAEF,MAAM,OAAO,GAAG;YACZ,WAAW,EAAE;gBACT,YAAY,EAAE,CAAC,QAAQ,CAAC;gBACxB,iBAAiB,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE;gBACtC,mBAAmB,EAAE,EAAE;aAC1B;YACD,QAAQ,EAAE;gBACN,KAAK,EAAE;oBACH,aAAa,EAAE,EAAE;oBACjB,cAAc,EAAE,EAAE;iBACrB;gBACD,YAAY,EAAE;oBACV,CAAC,QAAQ,CAAC,EAAE;wBACR,UAAU,EAAE;4BACR,SAAS,EAAE;gCACP,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gCACpD,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;6BAC1D;4BACD,OAAO,EAAE,EAAE;4BACX,OAAO,EAAE,EAAE;4BACX,OAAO,EAAE,EAAE;yBACd;qBACJ;iBACJ;aACJ;SACG,CAAC;QAET,MAAM,oBAAoB,CAAC,GAAG,CAAC;YAC3B,KAAK,EAAE,oFAAoF;YAC3F,OAAO;SACV,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CACF,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAA0B,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,wBAAwB,CAAC,CACvG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,SAAS,CAC7E,4CAA4C,CAC/C,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEnB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QACtD,EAAE,CAAC,aAAa,CACZ,QAAQ,EACR;YACI,4CAA4C;YAC5C,aAAa;YACb,GAAG;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,OAAO,CACV,CAAC;QAEF,MAAM,OAAO,GAAG;YACZ,WAAW,EAAE;gBACT,YAAY,EAAE,CAAC,QAAQ,CAAC;gBACxB,iBAAiB,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE;gBACtC,mBAAmB,EAAE,EAAE;aAC1B;YACD,QAAQ,EAAE;gBACN,KAAK,EAAE;oBACH,aAAa,EAAE,CAAC,QAAQ,CAAC;oBACzB,cAAc,EAAE,EAAE;iBACrB;gBACD,YAAY,EAAE;oBACV,CAAC,QAAQ,CAAC,EAAE;wBACR,UAAU,EAAE;4BACR,SAAS,EAAE,EAAE;4BACb,OAAO,EAAE,EAAE;4BACX,OAAO,EAAE,EAAE;4BACX,OAAO,EAAE,EAAE;yBACd;qBACJ;iBACJ;aACJ;SACG,CAAC;QAET,MAAM,oBAAoB,CAAC,GAAG,CAAC;YAC3B,KAAK,EAAE,oFAAoF;YAC3F,OAAO;SACV,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CACF,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAA0B,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,wBAAwB,CAAC,CACvG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC","sourcesContent":["/**\n * Verifies structural identifier-part matches are promoted into verify evidence.\n *\n * Why this file exists:\n * - repo-wide queries often describe behavior without naming the exact method\n * - verify still needs to surface the deciding symbol so final answers stay specific\n *\n * Example:\n * - \"which method decides verify wave budget\" should match `getGroundingWaveBudget`\n *   from structural data because \"wave\" and \"budget\" overlap the identifier parts\n */\nimport fs from \"fs\";\nimport os from \"os\";\nimport path from \"path\";\nimport { afterEach, describe, expect, it } from \"vitest\";\nimport { evidenceVerifierStep } from \"../../agents/evidenceVerifierStep.js\";\n\nconst tempDirs: string[] = [];\n\nafterEach(() => {\n    for (const dir of tempDirs.splice(0)) {\n        fs.rmSync(dir, { recursive: true, force: true });\n    }\n});\n\ndescribe(\"evidenceVerifierStep\", () => {\n    it(\"matches structural function names by identifier parts for repo-wide method queries\", async () => {\n        const dir = fs.mkdtempSync(path.join(os.tmpdir(), \"scai-evidence-\"));\n        tempDirs.push(dir);\n\n        const filePath = path.join(dir, \"mainAgentVerify.ts\");\n        fs.writeFileSync(\n            filePath,\n            [\n                \"export function getGroundingWaveBudget() {\",\n                \"  return 4;\",\n                \"}\",\n                \"\",\n                \"export function captureVerifyWaveSnapshot() {\",\n                \"  return {};\",\n                \"}\",\n            ].join(\"\\n\"),\n            \"utf-8\"\n        );\n\n        const context = {\n            initContext: {\n                relatedFiles: [filePath],\n                relatedFileScores: { [filePath]: 0.1 },\n                queryExpansionTerms: [],\n            },\n            analysis: {\n                focus: {\n                    selectedFiles: [],\n                    candidateFiles: [],\n                },\n                fileAnalysis: {\n                    [filePath]: {\n                        structural: {\n                            functions: [\n                                { name: \"getGroundingWaveBudget\", start: 1, end: 3 },\n                                { name: \"captureVerifyWaveSnapshot\", start: 5, end: 7 },\n                            ],\n                            classes: [],\n                            imports: [],\n                            exports: [],\n                        },\n                    },\n                },\n            },\n        } as any;\n\n        await evidenceVerifierStep.run({\n            query: \"For repo-wide analysis questions, which method decides verify wave budget and why?\",\n            context,\n        });\n\n        const verifyEntry = context.analysis.verify.byFile[filePath];\n        expect(verifyEntry.isRelevant).toBe(true);\n        expect(\n            verifyEntry.evidence.some((item: { excerpt?: string }) => item.excerpt === \"getGroundingWaveBudget\")\n        ).toBe(true);\n        expect(context.analysis.fileAnalysis[filePath].proposedChanges.targets).toContain(\n            \"export function getGroundingWaveBudget() {\"\n        );\n    });\n\n    it(\"falls back to scanning function declarations when structural metadata is missing\", async () => {\n        const dir = fs.mkdtempSync(path.join(os.tmpdir(), \"scai-evidence-\"));\n        tempDirs.push(dir);\n\n        const filePath = path.join(dir, \"mainAgentVerify.ts\");\n        fs.writeFileSync(\n            filePath,\n            [\n                \"export function getGroundingWaveBudget() {\",\n                \"  return 4;\",\n                \"}\",\n            ].join(\"\\n\"),\n            \"utf-8\"\n        );\n\n        const context = {\n            initContext: {\n                relatedFiles: [filePath],\n                relatedFileScores: { [filePath]: 0.1 },\n                queryExpansionTerms: [],\n            },\n            analysis: {\n                focus: {\n                    selectedFiles: [filePath],\n                    candidateFiles: [],\n                },\n                fileAnalysis: {\n                    [filePath]: {\n                        structural: {\n                            functions: [],\n                            classes: [],\n                            imports: [],\n                            exports: [],\n                        },\n                    },\n                },\n            },\n        } as any;\n\n        await evidenceVerifierStep.run({\n            query: \"For repo-wide analysis questions, which method decides verify wave budget and why?\",\n            context,\n        });\n\n        const verifyEntry = context.analysis.verify.byFile[filePath];\n        expect(verifyEntry.isRelevant).toBe(true);\n        expect(\n            verifyEntry.evidence.some((item: { excerpt?: string }) => item.excerpt === \"getGroundingWaveBudget\")\n        ).toBe(true);\n    });\n});\n"]}

package/dist/__tests__/agents/executionPolicyResolver.test.js

@@ -0,0 +1,208 @@
+// Verifies execution locking only engages for a real single-file edit lane with strong evidence.
+// It also checks the invariant that restores a dropped lock file before the task is done.
+import { describe, expect, it } from "vitest";
+import { enforceExecutionPolicyInvariant, resolveExecutionPolicy, } from "../../agents/guards/executionPolicyResolver.js";
+// Pass example: one explicit file with strong verify confidence gets a lock, while weak or multi-file requests do not.
+// Fail example: a multi-file request being reduced to a single-file lock or a dropped lock file staying lost.
+describe("executionPolicyResolver", () => {
+    it("enables a single-file execution lock when explicit targeting and verify confidence are strong", () => {
+        const filePath = "/repo/cli/src/agents/MainAgent.ts";
+        const context = {
+            initContext: {
+                userQuery: "Refactor MainAgent.ts to reduce nesting",
+            },
+            analysis: {
+                scopeType: "single-file",
+                intent: {
+                    normalizedQuery: "Refactor MainAgent.ts to reduce nesting",
+                    targetFiles: [filePath],
+                },
+                focus: {
+                    selectedFiles: [filePath],
+                },
+                verify: {
+                    byFile: {
+                        [filePath]: {
+                            fileConfidence: 0.72,
+                        },
+                    },
+                },
+                routingDecision: {
+                    allowSearch: true,
+                    allowResearch: false,
+                    allowTransform: true,
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: true,
+                },
+            },
+        };
+        const snapshot = resolveExecutionPolicy(context);
+        expect(snapshot.scopeBand).toBe("single-file");
+        expect(snapshot.executionLock.enabled).toBe(true);
+        expect(snapshot.executionLock.files).toEqual([filePath]);
+    });
+    it("does not enable a lock when verify confidence is too weak", () => {
+        const filePath = "/repo/cli/src/agents/MainAgent.ts";
+        const context = {
+            initContext: {
+                userQuery: "Refactor MainAgent.ts to reduce nesting",
+            },
+            analysis: {
+                scopeType: "single-file",
+                intent: {
+                    normalizedQuery: "Refactor MainAgent.ts to reduce nesting",
+                    targetFiles: [filePath],
+                },
+                focus: {
+                    selectedFiles: [filePath],
+                },
+                verify: {
+                    byFile: {
+                        [filePath]: {
+                            fileConfidence: 0.2,
+                        },
+                    },
+                },
+                routingDecision: {
+                    allowSearch: true,
+                    allowResearch: false,
+                    allowTransform: true,
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: true,
+                },
+            },
+        };
+        const snapshot = resolveExecutionPolicy(context);
+        expect(snapshot.executionLock.enabled).toBe(false);
+    });
+    it("does not reduce a multi-file task to a single-file lock", () => {
+        const context = {
+            initContext: {
+                userQuery: "Add comments to semanticAnalysisModule.ts and finalAnswerModule.ts",
+            },
+            analysis: {
+                scopeType: "multi-file",
+                intent: {
+                    normalizedQuery: "Add comments to semanticAnalysisModule.ts and finalAnswerModule.ts",
+                    targetFiles: ["semanticAnalysisModule.ts", "finalAnswerModule.ts"],
+                },
+                focus: {
+                    selectedFiles: [
+                        "/repo/cli/src/pipeline/modules/semanticAnalysisModule.ts",
+                        "/repo/cli/src/pipeline/modules/finalAnswerModule.ts",
+                    ],
+                },
+                routingDecision: {
+                    allowSearch: true,
+                    allowResearch: false,
+                    allowTransform: true,
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: true,
+                },
+            },
+        };
+        const snapshot = resolveExecutionPolicy(context);
+        expect(snapshot.scopeBand).toBe("multi-file");
+        expect(snapshot.executionLock.enabled).toBe(false);
+    });
+    it("restores locked files if later focus state drops them", () => {
+        const filePath = "/repo/cli/src/agents/MainAgent.ts";
+        const context = {
+            analysis: {
+                focus: {
+                    selectedFiles: [],
+                    candidateFiles: [],
+                    executionRequired: [],
+                    executionLock: {
+                        enabled: true,
+                        files: [filePath],
+                        reason: "single-file-lock",
+                    },
+                },
+                objective: {
+                    completionStatus: "unknown",
+                },
+                giveUp: {
+                    status: "none",
+                },
+            },
+        };
+        const restored = enforceExecutionPolicyInvariant(context, {
+            phaseAllowed: { analysis: true, planning: true, transform: true, write: true },
+            routeAllowed: { searchExpand: true, research: false, transform: true },
+            scopeType: "single-file",
+            scopeBand: "single-file",
+            executionRequired: [],
+            explorationCandidates: [],
+            executionLock: {
+                enabled: true,
+                files: [filePath],
+                reason: "single-file-lock",
+            },
+            executionReady: true,
+            explorationReady: false,
+            policyNotes: [],
+        });
+        expect(restored.restored).toBe(true);
+        expect(restored.restoredFiles).toEqual([filePath]);
+        expect(context.analysis.focus.executionRequired).toEqual([filePath]);
+    });
+    it("does not restore a stale lock when outer-loop recovery marked the target wrong", () => {
+        const filePath = "/repo/cli/src/agents/MainAgent.ts";
+        const context = {
+            analysis: {
+                focus: {
+                    selectedFiles: [],
+                    candidateFiles: [],
+                    executionRequired: [],
+                    executionLock: {
+                        enabled: true,
+                        files: [filePath],
+                        reason: "single-file-lock",
+                    },
+                },
+                objective: {
+                    completionStatus: "unknown",
+                },
+                giveUp: {
+                    status: "none",
+                },
+                recoveryEvaluation: {
+                    decision: "rework-scope",
+                    reason: "Target is stale.",
+                    targetFile: filePath,
+                    evaluatedAt: "now",
+                    sourceAction: "read-file",
+                },
+            },
+        };
+        const restored = enforceExecutionPolicyInvariant(context, {
+            phaseAllowed: { analysis: true, planning: true, transform: true, write: true },
+            routeAllowed: { searchExpand: true, research: false, transform: true },
+            scopeType: "single-file",
+            scopeBand: "single-file",
+            executionRequired: [],
+            explorationCandidates: [],
+            executionLock: {
+                enabled: true,
+                files: [filePath],
+                reason: "single-file-lock",
+            },
+            executionReady: true,
+            explorationReady: false,
+            policyNotes: [],
+        });
+        expect(restored.restored).toBe(false);
+        expect(context.analysis.focus.executionRequired).toEqual([]);
+    });
+});
+//# sourceMappingURL=executionPolicyResolver.test.js.map

package/dist/__tests__/agents/executionPolicyResolver.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPolicyResolver.test.js","sourceRoot":"","sources":["../../../src/__tests__/agents/executionPolicyResolver.test.ts"],"names":[],"mappings":"AAAA,iGAAiG;AACjG,0FAA0F;AAC1F,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,+BAA+B,EAC/B,sBAAsB,GACvB,MAAM,gDAAgD,CAAC;AAExD,uHAAuH;AACvH,8GAA8G;AAC9G,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACrG,MAAM,QAAQ,GAAG,mCAAmC,CAAC;QACrD,MAAM,OAAO,GAAG;YACZ,WAAW,EAAE;gBACT,SAAS,EAAE,yCAAyC;aACvD;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,aAAa;gBACxB,MAAM,EAAE;oBACJ,eAAe,EAAE,yCAAyC;oBAC1D,WAAW,EAAE,CAAC,QAAQ,CAAC;iBAC1B;gBACD,KAAK,EAAE;oBACH,aAAa,EAAE,CAAC,QAAQ,CAAC;iBAC5B;gBACD,MAAM,EAAE;oBACJ,MAAM,EAAE;wBACJ,CAAC,QAAQ,CAAC,EAAE;4BACR,cAAc,EAAE,IAAI;yBACvB;qBACJ;iBACJ;gBACD,eAAe,EAAE;oBACb,WAAW,EAAE,IAAI;oBACjB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,IAAI;iBACvB;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,IAAI;iBACxB;aACJ;SACG,CAAC;QAET,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAEjD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACjE,MAAM,QAAQ,GAAG,mCAAmC,CAAC;QACrD,MAAM,OAAO,GAAG;YACZ,WAAW,EAAE;gBACT,SAAS,EAAE,yCAAyC;aACvD;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,aAAa;gBACxB,MAAM,EAAE;oBACJ,eAAe,EAAE,yCAAyC;oBAC1D,WAAW,EAAE,CAAC,QAAQ,CAAC;iBAC1B;gBACD,KAAK,EAAE;oBACH,aAAa,EAAE,CAAC,QAAQ,CAAC;iBAC5B;gBACD,MAAM,EAAE;oBACJ,MAAM,EAAE;wBACJ,CAAC,QAAQ,CAAC,EAAE;4BACR,cAAc,EAAE,GAAG;yBACtB;qBACJ;iBACJ;gBACD,eAAe,EAAE;oBACb,WAAW,EAAE,IAAI;oBACjB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,IAAI;iBACvB;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,IAAI;iBACxB;aACJ;SACG,CAAC;QAET,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAEjD,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG;YACZ,WAAW,EAAE;gBACT,SAAS,EAAE,oEAAoE;aAClF;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,YAAY;gBACvB,MAAM,EAAE;oBACJ,eAAe,EAAE,oEAAoE;oBACrF,WAAW,EAAE,CAAC,2BAA2B,EAAE,sBAAsB,CAAC;iBACrE;gBACD,KAAK,EAAE;oBACH,aAAa,EAAE;wBACX,0DAA0D;wBAC1D,qDAAqD;qBACxD;iBACJ;gBACD,eAAe,EAAE;oBACb,WAAW,EAAE,IAAI;oBACjB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,IAAI;iBACvB;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,IAAI;iBACxB;aACJ;SACG,CAAC;QAET,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAEjD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9C,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC7D,MAAM,QAAQ,GAAG,mCAAmC,CAAC;QACrD,MAAM,OAAO,GAAG;YACZ,QAAQ,EAAE;gBACN,KAAK,EAAE;oBACH,aAAa,EAAE,EAAE;oBACjB,cAAc,EAAE,EAAE;oBAClB,iBAAiB,EAAE,EAAE;oBACrB,aAAa,EAAE;wBACX,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,CAAC,QAAQ,CAAC;wBACjB,MAAM,EAAE,kBAAkB;qBAC7B;iBACJ;gBACD,SAAS,EAAE;oBACP,gBAAgB,EAAE,SAAS;iBAC9B;gBACD,MAAM,EAAE;oBACJ,MAAM,EAAE,MAAM;iBACjB;aACJ;SACG,CAAC;QAET,MAAM,QAAQ,GAAG,+BAA+B,CAAC,OAAO,EAAE;YACtD,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;YAC9E,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;YACtE,SAAS,EAAE,aAAa;YACxB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,EAAE;YACrB,qBAAqB,EAAE,EAAE;YACzB,aAAa,EAAE;gBACX,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,CAAC,QAAQ,CAAC;gBACjB,MAAM,EAAE,kBAAkB;aAC7B;YACD,cAAc,EAAE,IAAI;YACpB,gBAAgB,EAAE,KAAK;YACvB,WAAW,EAAE,EAAE;SAClB,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACtF,MAAM,QAAQ,GAAG,mCAAmC,CAAC;QACrD,MAAM,OAAO,GAAG;YACZ,QAAQ,EAAE;gBACN,KAAK,EAAE;oBACH,aAAa,EAAE,EAAE;oBACjB,cAAc,EAAE,EAAE;oBAClB,iBAAiB,EAAE,EAAE;oBACrB,aAAa,EAAE;wBACX,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,CAAC,QAAQ,CAAC;wBACjB,MAAM,EAAE,kBAAkB;qBAC7B;iBACJ;gBACD,SAAS,EAAE;oBACP,gBAAgB,EAAE,SAAS;iBAC9B;gBACD,MAAM,EAAE;oBACJ,MAAM,EAAE,MAAM;iBACjB;gBACD,kBAAkB,EAAE;oBAChB,QAAQ,EAAE,cAAc;oBACxB,MAAM,EAAE,kBAAkB;oBAC1B,UAAU,EAAE,QAAQ;oBACpB,WAAW,EAAE,KAAK;oBAClB,YAAY,EAAE,WAAW;iBAC5B;aACJ;SACG,CAAC;QAET,MAAM,QAAQ,GAAG,+BAA+B,CAAC,OAAO,EAAE;YACtD,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;YAC9E,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;YACtE,SAAS,EAAE,aAAa;YACxB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,EAAE;YACrB,qBAAqB,EAAE,EAAE;YACzB,aAAa,EAAE;gBACX,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,CAAC,QAAQ,CAAC;gBACjB,MAAM,EAAE,kBAAkB;aAC7B;YACD,cAAc,EAAE,IAAI;YACpB,gBAAgB,EAAE,KAAK;YACvB,WAAW,EAAE,EAAE;SAClB,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC","sourcesContent":["// Verifies execution locking only engages for a real single-file edit lane with strong evidence.\n// It also checks the invariant that restores a dropped lock file before the task is done.\nimport { describe, expect, it } from \"vitest\";\nimport {\n  enforceExecutionPolicyInvariant,\n  resolveExecutionPolicy,\n} from \"../../agents/guards/executionPolicyResolver.js\";\n\n// Pass example: one explicit file with strong verify confidence gets a lock, while weak or multi-file requests do not.\n// Fail example: a multi-file request being reduced to a single-file lock or a dropped lock file staying lost.\ndescribe(\"executionPolicyResolver\", () => {\n    it(\"enables a single-file execution lock when explicit targeting and verify confidence are strong\", () => {\n        const filePath = \"/repo/cli/src/agents/MainAgent.ts\";\n        const context = {\n            initContext: {\n                userQuery: \"Refactor MainAgent.ts to reduce nesting\",\n            },\n            analysis: {\n                scopeType: \"single-file\",\n                intent: {\n                    normalizedQuery: \"Refactor MainAgent.ts to reduce nesting\",\n                    targetFiles: [filePath],\n                },\n                focus: {\n                    selectedFiles: [filePath],\n                },\n                verify: {\n                    byFile: {\n                        [filePath]: {\n                            fileConfidence: 0.72,\n                        },\n                    },\n                },\n                routingDecision: {\n                    allowSearch: true,\n                    allowResearch: false,\n                    allowTransform: true,\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: true,\n                },\n            },\n        } as any;\n\n        const snapshot = resolveExecutionPolicy(context);\n\n        expect(snapshot.scopeBand).toBe(\"single-file\");\n        expect(snapshot.executionLock.enabled).toBe(true);\n        expect(snapshot.executionLock.files).toEqual([filePath]);\n    });\n\n    it(\"does not enable a lock when verify confidence is too weak\", () => {\n        const filePath = \"/repo/cli/src/agents/MainAgent.ts\";\n        const context = {\n            initContext: {\n                userQuery: \"Refactor MainAgent.ts to reduce nesting\",\n            },\n            analysis: {\n                scopeType: \"single-file\",\n                intent: {\n                    normalizedQuery: \"Refactor MainAgent.ts to reduce nesting\",\n                    targetFiles: [filePath],\n                },\n                focus: {\n                    selectedFiles: [filePath],\n                },\n                verify: {\n                    byFile: {\n                        [filePath]: {\n                            fileConfidence: 0.2,\n                        },\n                    },\n                },\n                routingDecision: {\n                    allowSearch: true,\n                    allowResearch: false,\n                    allowTransform: true,\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: true,\n                },\n            },\n        } as any;\n\n        const snapshot = resolveExecutionPolicy(context);\n\n        expect(snapshot.executionLock.enabled).toBe(false);\n    });\n\n    it(\"does not reduce a multi-file task to a single-file lock\", () => {\n        const context = {\n            initContext: {\n                userQuery: \"Add comments to semanticAnalysisModule.ts and finalAnswerModule.ts\",\n            },\n            analysis: {\n                scopeType: \"multi-file\",\n                intent: {\n                    normalizedQuery: \"Add comments to semanticAnalysisModule.ts and finalAnswerModule.ts\",\n                    targetFiles: [\"semanticAnalysisModule.ts\", \"finalAnswerModule.ts\"],\n                },\n                focus: {\n                    selectedFiles: [\n                        \"/repo/cli/src/pipeline/modules/semanticAnalysisModule.ts\",\n                        \"/repo/cli/src/pipeline/modules/finalAnswerModule.ts\",\n                    ],\n                },\n                routingDecision: {\n                    allowSearch: true,\n                    allowResearch: false,\n                    allowTransform: true,\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: true,\n                },\n            },\n        } as any;\n\n        const snapshot = resolveExecutionPolicy(context);\n\n        expect(snapshot.scopeBand).toBe(\"multi-file\");\n        expect(snapshot.executionLock.enabled).toBe(false);\n    });\n\n    it(\"restores locked files if later focus state drops them\", () => {\n        const filePath = \"/repo/cli/src/agents/MainAgent.ts\";\n        const context = {\n            analysis: {\n                focus: {\n                    selectedFiles: [],\n                    candidateFiles: [],\n                    executionRequired: [],\n                    executionLock: {\n                        enabled: true,\n                        files: [filePath],\n                        reason: \"single-file-lock\",\n                    },\n                },\n                objective: {\n                    completionStatus: \"unknown\",\n                },\n                giveUp: {\n                    status: \"none\",\n                },\n            },\n        } as any;\n\n        const restored = enforceExecutionPolicyInvariant(context, {\n            phaseAllowed: { analysis: true, planning: true, transform: true, write: true },\n            routeAllowed: { searchExpand: true, research: false, transform: true },\n            scopeType: \"single-file\",\n            scopeBand: \"single-file\",\n            executionRequired: [],\n            explorationCandidates: [],\n            executionLock: {\n                enabled: true,\n                files: [filePath],\n                reason: \"single-file-lock\",\n            },\n            executionReady: true,\n            explorationReady: false,\n            policyNotes: [],\n        });\n\n        expect(restored.restored).toBe(true);\n        expect(restored.restoredFiles).toEqual([filePath]);\n        expect(context.analysis.focus.executionRequired).toEqual([filePath]);\n    });\n\n    it(\"does not restore a stale lock when outer-loop recovery marked the target wrong\", () => {\n        const filePath = \"/repo/cli/src/agents/MainAgent.ts\";\n        const context = {\n            analysis: {\n                focus: {\n                    selectedFiles: [],\n                    candidateFiles: [],\n                    executionRequired: [],\n                    executionLock: {\n                        enabled: true,\n                        files: [filePath],\n                        reason: \"single-file-lock\",\n                    },\n                },\n                objective: {\n                    completionStatus: \"unknown\",\n                },\n                giveUp: {\n                    status: \"none\",\n                },\n                recoveryEvaluation: {\n                    decision: \"rework-scope\",\n                    reason: \"Target is stale.\",\n                    targetFile: filePath,\n                    evaluatedAt: \"now\",\n                    sourceAction: \"read-file\",\n                },\n            },\n        } as any;\n\n        const restored = enforceExecutionPolicyInvariant(context, {\n            phaseAllowed: { analysis: true, planning: true, transform: true, write: true },\n            routeAllowed: { searchExpand: true, research: false, transform: true },\n            scopeType: \"single-file\",\n            scopeBand: \"single-file\",\n            executionRequired: [],\n            explorationCandidates: [],\n            executionLock: {\n                enabled: true,\n                files: [filePath],\n                reason: \"single-file-lock\",\n            },\n            executionReady: true,\n            explorationReady: false,\n            policyNotes: [],\n        });\n\n        expect(restored.restored).toBe(false);\n        expect(context.analysis.focus.executionRequired).toEqual([]);\n    });\n});\n"]}