scai 0.1.178 → 1.0.0

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

@@ -0,0 +1,297 @@
+// Verifies GuardState resolves one authoritative loop policy from routing, readiness, and execution focus.
+// It keeps the current runtime FSM-lite by checking the resolved continuation mode directly.
+/**
+ * Verifies guard routing stays stable for explicit targets, folders, and execution limits.
+ */
+import { describe, expect, it } from "vitest";
+import { resolveExecutionPolicy } from "../../agents/guards/executionPolicyResolver.js";
+import { resolveGuardState } from "../../agents/guards/guardState.js";
+describe("guardState", () => {
+    it("resolves a single explicit target as execution-ready", () => {
+        const filePath = "/repo/cli/src/agents/MainAgent.ts";
+        const context = {
+            task: {
+                status: "active",
+                steps: [
+                    { taskId: 1, filePath: filePath, status: "pending", action: "work" },
+                ],
+            },
+            initContext: {
+                userQuery: "Refactor MainAgent.ts to reduce nesting",
+            },
+            analysis: {
+                scopeType: "single-file",
+                intent: {
+                    normalizedQuery: "Refactor MainAgent.ts to reduce nesting",
+                    resolvedTargetFiles: [filePath],
+                    targetFiles: [filePath],
+                },
+                focus: {
+                    selectedFiles: [filePath],
+                },
+                verify: {
+                    byFile: {
+                        [filePath]: {
+                            fileConfidence: 0.72,
+                        },
+                    },
+                },
+                routingDecision: {
+                    decision: "has-info",
+                    allowSearch: false,
+                    allowResearch: false,
+                    allowTransform: true,
+                    scopeLocked: true,
+                    rationale: "explicit target",
+                },
+                readiness: {
+                    decision: "ready",
+                    reason: "sufficient-evidence",
+                    confidence: 0.95,
+                    rationale: "enough evidence",
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: true,
+                },
+            },
+        };
+        const guard = resolveGuardState(context, resolveExecutionPolicy(context));
+        expect(guard.lane).toBe("explicit-target");
+        expect(guard.continuationMode).toBe("can-execute");
+        expect(guard.executionReady).toBe(true);
+        expect(guard.executionLockEnabled).toBe(true);
+        expect(guard.executionRequired).toEqual([filePath]);
+    });
+    it("resolves repo-wide ready evidence as research-ready when research is allowed", () => {
+        const context = {
+            task: {
+                status: "active",
+                steps: [],
+            },
+            analysis: {
+                scopeType: "repo-wide",
+                focus: {
+                    selectedFiles: ["/repo/a.ts"],
+                    candidateFiles: ["/repo/b.ts"],
+                },
+                routingDecision: {
+                    decision: "needs-info",
+                    allowSearch: true,
+                    allowResearch: true,
+                    allowTransform: false,
+                    scopeLocked: false,
+                    rationale: "repo-wide research",
+                },
+                readiness: {
+                    decision: "ready",
+                    reason: "sufficient-evidence",
+                    confidence: 0.91,
+                    rationale: "enough evidence to continue",
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: false,
+                },
+            },
+        };
+        const guard = resolveGuardState(context, resolveExecutionPolicy(context));
+        expect(guard.lane).toBe("evidence");
+        expect(guard.continuationMode).toBe("can-research");
+        expect(guard.allowResearch).toBe(true);
+        expect(guard.allowTransform).toBe(false);
+    });
+    it("keeps resolved folders in the explicit-target lane", () => {
+        const context = {
+            task: {
+                status: "active",
+                steps: [],
+            },
+            initContext: {
+                userQuery: "Trace cli/src/agents",
+            },
+            analysis: {
+                scopeType: "repo-wide",
+                focus: {
+                    selectedFiles: [],
+                    candidateFiles: [],
+                    resolvedTargetFolders: ["/repo/cli/src/agents"],
+                },
+                routingDecision: {
+                    decision: "has-info",
+                    allowSearch: false,
+                    allowResearch: false,
+                    allowTransform: true,
+                    scopeLocked: true,
+                    rationale: "explicit folder target",
+                },
+                readiness: {
+                    decision: "ready",
+                    reason: "sufficient-evidence",
+                    confidence: 0.91,
+                    rationale: "folder scope resolved",
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: true,
+                },
+            },
+        };
+        const guard = resolveGuardState(context, resolveExecutionPolicy(context));
+        expect(guard.lane).toBe("explicit-target");
+    });
+    it("keeps search enabled when only a folder target is resolved", async () => {
+        const context = {
+            initContext: {
+                userQuery: "Trace cli/src/agents",
+            },
+            analysis: {
+                scopeType: "repo-wide",
+                intent: {
+                    intentCategory: "explanation",
+                    confidence: 0.9,
+                    targetFiles: ["cli/src/agents"],
+                },
+                focus: {
+                    selectedFiles: [],
+                    candidateFiles: [],
+                    resolvedTargetFolders: ["/repo/cli/src/agents"],
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: false,
+                },
+            },
+        };
+        const { routingDecisionStep } = await import("../../agents/routingDecisionStep.js");
+        const decision = await routingDecisionStep.run(context);
+        expect(decision.allowSearch).toBe(true);
+        expect(decision.scopeLocked).toBe(true);
+    });
+    it("keeps analyze-only lanes out of execution when transform is blocked", () => {
+        const context = {
+            task: {
+                status: "active",
+                steps: [
+                    { taskId: 1, filePath: "/repo/MainAgent.ts", status: "pending", action: "work" },
+                ],
+            },
+            analysis: {
+                scopeType: "single-file",
+                focus: {
+                    selectedFiles: ["/repo/MainAgent.ts"],
+                },
+                routingDecision: {
+                    decision: "has-info",
+                    allowSearch: false,
+                    allowResearch: false,
+                    allowTransform: false,
+                    scopeLocked: true,
+                    rationale: "analysis-only explanation",
+                },
+                readiness: {
+                    decision: "ready",
+                    reason: "sufficient-evidence",
+                    confidence: 0.9,
+                    rationale: "ready to answer",
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: false,
+                },
+            },
+        };
+        const guard = resolveGuardState(context, resolveExecutionPolicy(context));
+        expect(guard.continuationMode).toBe("can-execute");
+        expect(guard.executionReady).toBe(false);
+        expect(guard.allowTransform).toBe(false);
+    });
+    it("keeps not-ready evidence in need-verify mode", () => {
+        const context = {
+            task: {
+                status: "active",
+                steps: [],
+            },
+            initContext: {
+                relatedFiles: ["/repo/a.ts"],
+            },
+            analysis: {
+                scopeType: "repo-wide",
+                routingDecision: {
+                    decision: "needs-info",
+                    allowSearch: true,
+                    allowResearch: true,
+                    allowTransform: false,
+                    scopeLocked: false,
+                    rationale: "needs evidence",
+                },
+                readiness: {
+                    decision: "not-ready",
+                    reason: "insufficient-evidence",
+                    confidence: 0.34,
+                    rationale: "missing evidence",
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: false,
+                },
+            },
+        };
+        const guard = resolveGuardState(context, resolveExecutionPolicy(context));
+        expect(guard.continuationMode).toBe("need-verify");
+        expect(guard.blockingReason).toContain("Readiness not achieved");
+    });
+    it("resolves terminal give-up, complete, and feedback states", () => {
+        const baseContext = {
+            analysis: {
+                routingDecision: {
+                    decision: "has-info",
+                    allowSearch: false,
+                    allowResearch: false,
+                    allowTransform: false,
+                    scopeLocked: true,
+                    rationale: "done",
+                },
+            },
+            executionControl: {
+                constraints: {
+                    allowFileWrites: false,
+                },
+            },
+        };
+        const completeGuard = resolveGuardState({ ...baseContext, task: { status: "completed", steps: [] } }, resolveExecutionPolicy({ ...baseContext, task: { status: "completed", steps: [] } }));
+        const pausedGuard = resolveGuardState({ ...baseContext, task: { status: "paused", steps: [] } }, resolveExecutionPolicy({ ...baseContext, task: { status: "paused", steps: [] } }));
+        const giveUpGuard = resolveGuardState({
+            ...baseContext,
+            task: { status: "active", steps: [] },
+            analysis: {
+                ...baseContext.analysis,
+                giveUp: {
+                    status: "triggered",
+                    rationale: "bounded give-up",
+                },
+            },
+        }, resolveExecutionPolicy({
+            ...baseContext,
+            task: { status: "active", steps: [] },
+            analysis: {
+                ...baseContext.analysis,
+                giveUp: {
+                    status: "triggered",
+                    rationale: "bounded give-up",
+                },
+            },
+        }));
+        expect(completeGuard.continuationMode).toBe("terminal");
+        expect(completeGuard.terminalReason).toBe("complete");
+        expect(pausedGuard.terminalReason).toBe("request-feedback");
+        expect(giveUpGuard.terminalReason).toBe("give-up");
+    });
+});
+//# sourceMappingURL=guardState.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guardState.test.js","sourceRoot":"","sources":["../../../src/__tests__/agents/guardState.test.ts"],"names":[],"mappings":"AAAA,2GAA2G;AAC3G,6FAA6F;AAC7F;;GAEG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAEtE,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC5D,MAAM,QAAQ,GAAG,mCAAmC,CAAC;QACrD,MAAM,OAAO,GAAG;YACZ,IAAI,EAAE;gBACF,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE;oBACH,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE;iBACvE;aACJ;YACD,WAAW,EAAE;gBACT,SAAS,EAAE,yCAAyC;aACvD;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,aAAa;gBACxB,MAAM,EAAE;oBACJ,eAAe,EAAE,yCAAyC;oBAC1D,mBAAmB,EAAE,CAAC,QAAQ,CAAC;oBAC/B,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,QAAQ,EAAE,UAAU;oBACpB,WAAW,EAAE,KAAK;oBAClB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,IAAI;oBACpB,WAAW,EAAE,IAAI;oBACjB,SAAS,EAAE,iBAAiB;iBAC/B;gBACD,SAAS,EAAE;oBACP,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,qBAAqB;oBAC7B,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,iBAAiB;iBAC/B;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,IAAI;iBACxB;aACJ;SACG,CAAC;QAET,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG;YACZ,IAAI,EAAE;gBACF,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE,EAAE;aACZ;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,WAAW;gBACtB,KAAK,EAAE;oBACH,aAAa,EAAE,CAAC,YAAY,CAAC;oBAC7B,cAAc,EAAE,CAAC,YAAY,CAAC;iBACjC;gBACD,eAAe,EAAE;oBACb,QAAQ,EAAE,YAAY;oBACtB,WAAW,EAAE,IAAI;oBACjB,aAAa,EAAE,IAAI;oBACnB,cAAc,EAAE,KAAK;oBACrB,WAAW,EAAE,KAAK;oBAClB,SAAS,EAAE,oBAAoB;iBAClC;gBACD,SAAS,EAAE;oBACP,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,qBAAqB;oBAC7B,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,6BAA6B;iBAC3C;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,KAAK;iBACzB;aACJ;SACG,CAAC;QAET,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC1D,MAAM,OAAO,GAAG;YACZ,IAAI,EAAE;gBACF,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE,EAAE;aACZ;YACD,WAAW,EAAE;gBACT,SAAS,EAAE,sBAAsB;aACpC;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,WAAW;gBACtB,KAAK,EAAE;oBACH,aAAa,EAAE,EAAE;oBACjB,cAAc,EAAE,EAAE;oBAClB,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;iBAClD;gBACD,eAAe,EAAE;oBACb,QAAQ,EAAE,UAAU;oBACpB,WAAW,EAAE,KAAK;oBAClB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,IAAI;oBACpB,WAAW,EAAE,IAAI;oBACjB,SAAS,EAAE,wBAAwB;iBACtC;gBACD,SAAS,EAAE;oBACP,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,qBAAqB;oBAC7B,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,uBAAuB;iBACrC;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,IAAI;iBACxB;aACJ;SACG,CAAC;QAET,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,OAAO,GAAG;YACZ,WAAW,EAAE;gBACT,SAAS,EAAE,sBAAsB;aACpC;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,WAAW;gBACtB,MAAM,EAAE;oBACJ,cAAc,EAAE,aAAa;oBAC7B,UAAU,EAAE,GAAG;oBACf,WAAW,EAAE,CAAC,gBAAgB,CAAC;iBAClC;gBACD,KAAK,EAAE;oBACH,aAAa,EAAE,EAAE;oBACjB,cAAc,EAAE,EAAE;oBAClB,qBAAqB,EAAE,CAAC,sBAAsB,CAAC;iBAClD;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,KAAK;iBACzB;aACJ;SACG,CAAC;QAET,MAAM,EAAE,mBAAmB,EAAE,GAAG,MAAM,MAAM,CAAC,qCAAqC,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC3E,MAAM,OAAO,GAAG;YACZ,IAAI,EAAE;gBACF,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE;oBACH,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE;iBACnF;aACJ;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,aAAa;gBACxB,KAAK,EAAE;oBACH,aAAa,EAAE,CAAC,oBAAoB,CAAC;iBACxC;gBACD,eAAe,EAAE;oBACb,QAAQ,EAAE,UAAU;oBACpB,WAAW,EAAE,KAAK;oBAClB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,KAAK;oBACrB,WAAW,EAAE,IAAI;oBACjB,SAAS,EAAE,2BAA2B;iBACzC;gBACD,SAAS,EAAE;oBACP,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,qBAAqB;oBAC7B,UAAU,EAAE,GAAG;oBACf,SAAS,EAAE,iBAAiB;iBAC/B;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,KAAK;iBACzB;aACJ;SACG,CAAC;QAET,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAG;YACZ,IAAI,EAAE;gBACF,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE,EAAE;aACZ;YACD,WAAW,EAAE;gBACT,YAAY,EAAE,CAAC,YAAY,CAAC;aAC/B;YACD,QAAQ,EAAE;gBACN,SAAS,EAAE,WAAW;gBACtB,eAAe,EAAE;oBACb,QAAQ,EAAE,YAAY;oBACtB,WAAW,EAAE,IAAI;oBACjB,aAAa,EAAE,IAAI;oBACnB,cAAc,EAAE,KAAK;oBACrB,WAAW,EAAE,KAAK;oBAClB,SAAS,EAAE,gBAAgB;iBAC9B;gBACD,SAAS,EAAE;oBACP,QAAQ,EAAE,WAAW;oBACrB,MAAM,EAAE,uBAAuB;oBAC/B,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,kBAAkB;iBAChC;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,KAAK;iBACzB;aACJ;SACG,CAAC;QAET,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAChE,MAAM,WAAW,GAAG;YAChB,QAAQ,EAAE;gBACN,eAAe,EAAE;oBACb,QAAQ,EAAE,UAAU;oBACpB,WAAW,EAAE,KAAK;oBAClB,aAAa,EAAE,KAAK;oBACpB,cAAc,EAAE,KAAK;oBACrB,WAAW,EAAE,IAAI;oBACjB,SAAS,EAAE,MAAM;iBACpB;aACJ;YACD,gBAAgB,EAAE;gBACd,WAAW,EAAE;oBACT,eAAe,EAAE,KAAK;iBACzB;aACJ;SACG,CAAC;QAET,MAAM,aAAa,GAAG,iBAAiB,CACnC,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAS,EACnE,sBAAsB,CAAC,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAS,CAAC,CAC9F,CAAC;QACF,MAAM,WAAW,GAAG,iBAAiB,CACjC,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAS,EAChE,sBAAsB,CAAC,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAS,CAAC,CAC3F,CAAC;QACF,MAAM,WAAW,GAAG,iBAAiB,CACjC;YACI,GAAG,WAAW;YACd,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE;YACrC,QAAQ,EAAE;gBACN,GAAG,WAAW,CAAC,QAAQ;gBACvB,MAAM,EAAE;oBACJ,MAAM,EAAE,WAAW;oBACnB,SAAS,EAAE,iBAAiB;iBAC/B;aACJ;SACG,EACR,sBAAsB,CAAC;YACnB,GAAG,WAAW;YACd,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE;YACrC,QAAQ,EAAE;gBACN,GAAG,WAAW,CAAC,QAAQ;gBACvB,MAAM,EAAE;oBACJ,MAAM,EAAE,WAAW;oBACnB,SAAS,EAAE,iBAAiB;iBAC/B;aACJ;SACG,CAAC,CACZ,CAAC;QAEF,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC","sourcesContent":["// Verifies GuardState resolves one authoritative loop policy from routing, readiness, and execution focus.\n// It keeps the current runtime FSM-lite by checking the resolved continuation mode directly.\n/**\n * Verifies guard routing stays stable for explicit targets, folders, and execution limits.\n */\nimport { describe, expect, it } from \"vitest\";\nimport { resolveExecutionPolicy } from \"../../agents/guards/executionPolicyResolver.js\";\nimport { resolveGuardState } from \"../../agents/guards/guardState.js\";\n\ndescribe(\"guardState\", () => {\n    it(\"resolves a single explicit target as execution-ready\", () => {\n        const filePath = \"/repo/cli/src/agents/MainAgent.ts\";\n        const context = {\n            task: {\n                status: \"active\",\n                steps: [\n                    { taskId: 1, filePath: filePath, status: \"pending\", action: \"work\" },\n                ],\n            },\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                    resolvedTargetFiles: [filePath],\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                    decision: \"has-info\",\n                    allowSearch: false,\n                    allowResearch: false,\n                    allowTransform: true,\n                    scopeLocked: true,\n                    rationale: \"explicit target\",\n                },\n                readiness: {\n                    decision: \"ready\",\n                    reason: \"sufficient-evidence\",\n                    confidence: 0.95,\n                    rationale: \"enough evidence\",\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: true,\n                },\n            },\n        } as any;\n\n        const guard = resolveGuardState(context, resolveExecutionPolicy(context));\n        expect(guard.lane).toBe(\"explicit-target\");\n        expect(guard.continuationMode).toBe(\"can-execute\");\n        expect(guard.executionReady).toBe(true);\n        expect(guard.executionLockEnabled).toBe(true);\n        expect(guard.executionRequired).toEqual([filePath]);\n    });\n\n    it(\"resolves repo-wide ready evidence as research-ready when research is allowed\", () => {\n        const context = {\n            task: {\n                status: \"active\",\n                steps: [],\n            },\n            analysis: {\n                scopeType: \"repo-wide\",\n                focus: {\n                    selectedFiles: [\"/repo/a.ts\"],\n                    candidateFiles: [\"/repo/b.ts\"],\n                },\n                routingDecision: {\n                    decision: \"needs-info\",\n                    allowSearch: true,\n                    allowResearch: true,\n                    allowTransform: false,\n                    scopeLocked: false,\n                    rationale: \"repo-wide research\",\n                },\n                readiness: {\n                    decision: \"ready\",\n                    reason: \"sufficient-evidence\",\n                    confidence: 0.91,\n                    rationale: \"enough evidence to continue\",\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: false,\n                },\n            },\n        } as any;\n\n        const guard = resolveGuardState(context, resolveExecutionPolicy(context));\n        expect(guard.lane).toBe(\"evidence\");\n        expect(guard.continuationMode).toBe(\"can-research\");\n        expect(guard.allowResearch).toBe(true);\n        expect(guard.allowTransform).toBe(false);\n    });\n\n    it(\"keeps resolved folders in the explicit-target lane\", () => {\n        const context = {\n            task: {\n                status: \"active\",\n                steps: [],\n            },\n            initContext: {\n                userQuery: \"Trace cli/src/agents\",\n            },\n            analysis: {\n                scopeType: \"repo-wide\",\n                focus: {\n                    selectedFiles: [],\n                    candidateFiles: [],\n                    resolvedTargetFolders: [\"/repo/cli/src/agents\"],\n                },\n                routingDecision: {\n                    decision: \"has-info\",\n                    allowSearch: false,\n                    allowResearch: false,\n                    allowTransform: true,\n                    scopeLocked: true,\n                    rationale: \"explicit folder target\",\n                },\n                readiness: {\n                    decision: \"ready\",\n                    reason: \"sufficient-evidence\",\n                    confidence: 0.91,\n                    rationale: \"folder scope resolved\",\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: true,\n                },\n            },\n        } as any;\n\n        const guard = resolveGuardState(context, resolveExecutionPolicy(context));\n        expect(guard.lane).toBe(\"explicit-target\");\n    });\n\n    it(\"keeps search enabled when only a folder target is resolved\", async () => {\n        const context = {\n            initContext: {\n                userQuery: \"Trace cli/src/agents\",\n            },\n            analysis: {\n                scopeType: \"repo-wide\",\n                intent: {\n                    intentCategory: \"explanation\",\n                    confidence: 0.9,\n                    targetFiles: [\"cli/src/agents\"],\n                },\n                focus: {\n                    selectedFiles: [],\n                    candidateFiles: [],\n                    resolvedTargetFolders: [\"/repo/cli/src/agents\"],\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: false,\n                },\n            },\n        } as any;\n\n        const { routingDecisionStep } = await import(\"../../agents/routingDecisionStep.js\");\n        const decision = await routingDecisionStep.run(context);\n        expect(decision.allowSearch).toBe(true);\n        expect(decision.scopeLocked).toBe(true);\n    });\n\n    it(\"keeps analyze-only lanes out of execution when transform is blocked\", () => {\n        const context = {\n            task: {\n                status: \"active\",\n                steps: [\n                    { taskId: 1, filePath: \"/repo/MainAgent.ts\", status: \"pending\", action: \"work\" },\n                ],\n            },\n            analysis: {\n                scopeType: \"single-file\",\n                focus: {\n                    selectedFiles: [\"/repo/MainAgent.ts\"],\n                },\n                routingDecision: {\n                    decision: \"has-info\",\n                    allowSearch: false,\n                    allowResearch: false,\n                    allowTransform: false,\n                    scopeLocked: true,\n                    rationale: \"analysis-only explanation\",\n                },\n                readiness: {\n                    decision: \"ready\",\n                    reason: \"sufficient-evidence\",\n                    confidence: 0.9,\n                    rationale: \"ready to answer\",\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: false,\n                },\n            },\n        } as any;\n\n        const guard = resolveGuardState(context, resolveExecutionPolicy(context));\n        expect(guard.continuationMode).toBe(\"can-execute\");\n        expect(guard.executionReady).toBe(false);\n        expect(guard.allowTransform).toBe(false);\n    });\n\n    it(\"keeps not-ready evidence in need-verify mode\", () => {\n        const context = {\n            task: {\n                status: \"active\",\n                steps: [],\n            },\n            initContext: {\n                relatedFiles: [\"/repo/a.ts\"],\n            },\n            analysis: {\n                scopeType: \"repo-wide\",\n                routingDecision: {\n                    decision: \"needs-info\",\n                    allowSearch: true,\n                    allowResearch: true,\n                    allowTransform: false,\n                    scopeLocked: false,\n                    rationale: \"needs evidence\",\n                },\n                readiness: {\n                    decision: \"not-ready\",\n                    reason: \"insufficient-evidence\",\n                    confidence: 0.34,\n                    rationale: \"missing evidence\",\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: false,\n                },\n            },\n        } as any;\n\n        const guard = resolveGuardState(context, resolveExecutionPolicy(context));\n        expect(guard.continuationMode).toBe(\"need-verify\");\n        expect(guard.blockingReason).toContain(\"Readiness not achieved\");\n    });\n\n    it(\"resolves terminal give-up, complete, and feedback states\", () => {\n        const baseContext = {\n            analysis: {\n                routingDecision: {\n                    decision: \"has-info\",\n                    allowSearch: false,\n                    allowResearch: false,\n                    allowTransform: false,\n                    scopeLocked: true,\n                    rationale: \"done\",\n                },\n            },\n            executionControl: {\n                constraints: {\n                    allowFileWrites: false,\n                },\n            },\n        } as any;\n\n        const completeGuard = resolveGuardState(\n            { ...baseContext, task: { status: \"completed\", steps: [] } } as any,\n            resolveExecutionPolicy({ ...baseContext, task: { status: \"completed\", steps: [] } } as any)\n        );\n        const pausedGuard = resolveGuardState(\n            { ...baseContext, task: { status: \"paused\", steps: [] } } as any,\n            resolveExecutionPolicy({ ...baseContext, task: { status: \"paused\", steps: [] } } as any)\n        );\n        const giveUpGuard = resolveGuardState(\n            {\n                ...baseContext,\n                task: { status: \"active\", steps: [] },\n                analysis: {\n                    ...baseContext.analysis,\n                    giveUp: {\n                        status: \"triggered\",\n                        rationale: \"bounded give-up\",\n                    },\n                },\n            } as any,\n            resolveExecutionPolicy({\n                ...baseContext,\n                task: { status: \"active\", steps: [] },\n                analysis: {\n                    ...baseContext.analysis,\n                    giveUp: {\n                        status: \"triggered\",\n                        rationale: \"bounded give-up\",\n                    },\n                },\n            } as any)\n        );\n\n        expect(completeGuard.continuationMode).toBe(\"terminal\");\n        expect(completeGuard.terminalReason).toBe(\"complete\");\n        expect(pausedGuard.terminalReason).toBe(\"request-feedback\");\n        expect(giveUpGuard.terminalReason).toBe(\"give-up\");\n    });\n});\n"]}

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

@@ -0,0 +1,72 @@
+// Verifies repo-wide verify-focus queries rank real focus-management files above broad structural/docs files.
+// It keeps the scoring deterministic so retrieval tuning does not depend on model output.
+import { describe, expect, it } from "vitest";
+import { buildMethodSelectionRetrievalQuery, scoreCandidateFiles, } from "../../agents/mainAgentHeuristics.js";
+describe("scoreCandidateFiles", () => {
+    it("boosts verify focus files above structural preload and docs", () => {
+        const candidates = [
+            "/repo/cli/src/agents/structuralPreloadStep.ts",
+            "/repo/cli/src/agents/mainAgentVerify.ts",
+            "/repo/cli/src/agents/fileCheckStep.ts",
+            "/repo/README.md",
+        ];
+        const scored = scoreCandidateFiles(candidates, {
+            "/repo/cli/src/agents/structuralPreloadStep.ts": -6.6,
+            "/repo/cli/src/agents/mainAgentVerify.ts": -1.1,
+            "/repo/cli/src/agents/fileCheckStep.ts": -0.9,
+            "/repo/README.md": -2.0,
+        }, "Trace how selectedFiles and candidateFiles evolve across verify waves for this query.");
+        const rankedPaths = scored.map(item => item.filePath);
+        const topTwo = new Set(rankedPaths.slice(0, 2));
+        expect(topTwo).toEqual(new Set([
+            "/repo/cli/src/agents/mainAgentVerify.ts",
+            "/repo/cli/src/agents/fileCheckStep.ts",
+        ]));
+        expect(rankedPaths.indexOf("/repo/README.md")).toBeGreaterThan(1);
+        expect(rankedPaths.indexOf("/repo/cli/src/agents/structuralPreloadStep.ts")).toBeGreaterThan(1);
+    });
+    it("does not boost verify focus files for generic trace queries", () => {
+        const candidates = [
+            "/repo/cli/src/agents/mainAgentVerify.ts",
+            "/repo/cli/src/db/client.ts",
+        ];
+        const scored = scoreCandidateFiles(candidates, {
+            "/repo/cli/src/agents/mainAgentVerify.ts": -0.1,
+            "/repo/cli/src/db/client.ts": -6.0,
+        }, "Trace how SQLite queries flow through db/client.ts.");
+        expect(scored[0]?.filePath).toBe("/repo/cli/src/db/client.ts");
+    });
+    it("boosts likely controller files for method-selection queries", () => {
+        const candidates = [
+            "/repo/src/agents/validationWorkflow.ts",
+            "/repo/src/agents/waveBudgetController.ts",
+            "/repo/src/agents/analysisPlanner.ts",
+        ];
+        const scored = scoreCandidateFiles(candidates, {
+            "/repo/src/agents/validationWorkflow.ts": -6.6,
+            "/repo/src/agents/waveBudgetController.ts": -0.2,
+            "/repo/src/agents/analysisPlanner.ts": -1.0,
+        }, "Which method decides the verify wave budget and why?");
+        expect(scored[0]?.filePath).toBe("/repo/src/agents/waveBudgetController.ts");
+        expect(scored.findIndex(item => item.filePath === "/repo/src/agents/waveBudgetController.ts")).toBeLessThan(scored.findIndex(item => item.filePath === "/repo/src/agents/validationWorkflow.ts"));
+    });
+    it("de-boosts selector-policy files below controller files for method-selection queries", () => {
+        const candidates = [
+            "/repo/src/agents/verifyFocusSelection.ts",
+            "/repo/src/agents/verifyBudgetResolver.ts",
+            "/repo/src/agents/sourceCandidates.ts",
+        ];
+        const scored = scoreCandidateFiles(candidates, {
+            "/repo/src/agents/verifyFocusSelection.ts": -0.4,
+            "/repo/src/agents/verifyBudgetResolver.ts": -1.2,
+            "/repo/src/agents/sourceCandidates.ts": -0.6,
+        }, "Which method decides the verify wave budget and why?");
+        expect(scored[0]?.filePath).toBe("/repo/src/agents/verifyBudgetResolver.ts");
+        expect(scored.find(item => item.filePath === "/repo/src/agents/verifyFocusSelection.ts")?.reasons).toContain("selection-policy-penalty:focus");
+    });
+    it("builds a narrowed retrieval query for method-selection prompts", () => {
+        expect(buildMethodSelectionRetrievalQuery("Which method decides the verify wave budget and why?")).toBe("verify wave budget");
+        expect(buildMethodSelectionRetrievalQuery("For repo-wide analysis, which method decides verify wave budget and why?")).toBe("verify wave budget");
+    });
+});
+//# sourceMappingURL=mainAgentHeuristics.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mainAgentHeuristics.test.js","sourceRoot":"","sources":["../../../src/__tests__/agents/mainAgentHeuristics.test.ts"],"names":[],"mappings":"AAAA,8GAA8G;AAC9G,0FAA0F;AAC1F,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACH,kCAAkC,EAClC,mBAAmB,GACtB,MAAM,qCAAqC,CAAC;AAE7C,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACnE,MAAM,UAAU,GAAG;YACf,+CAA+C;YAC/C,yCAAyC;YACzC,uCAAuC;YACvC,iBAAiB;SACpB,CAAC;QAEF,MAAM,MAAM,GAAG,mBAAmB,CAC9B,UAAU,EACV;YACI,+CAA+C,EAAE,CAAC,GAAG;YACrD,yCAAyC,EAAE,CAAC,GAAG;YAC/C,uCAAuC,EAAE,CAAC,GAAG;YAC7C,iBAAiB,EAAE,CAAC,GAAG;SAC1B,EACD,uFAAuF,CAC1F,CAAC;QAEF,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAClB,IAAI,GAAG,CAAC;YACJ,yCAAyC;YACzC,uCAAuC;SAC1C,CAAC,CACL,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACnE,MAAM,UAAU,GAAG;YACf,yCAAyC;YACzC,4BAA4B;SAC/B,CAAC;QAEF,MAAM,MAAM,GAAG,mBAAmB,CAC9B,UAAU,EACV;YACI,yCAAyC,EAAE,CAAC,GAAG;YAC/C,4BAA4B,EAAE,CAAC,GAAG;SACrC,EACD,qDAAqD,CACxD,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACnE,MAAM,UAAU,GAAG;YACf,wCAAwC;YACxC,0CAA0C;YAC1C,qCAAqC;SACxC,CAAC;QAEF,MAAM,MAAM,GAAG,mBAAmB,CAC9B,UAAU,EACV;YACI,wCAAwC,EAAE,CAAC,GAAG;YAC9C,0CAA0C,EAAE,CAAC,GAAG;YAChD,qCAAqC,EAAE,CAAC,GAAG;SAC9C,EACD,sDAAsD,CACzD,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QAC7E,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,0CAA0C,CAAC,CAAC,CAAC,YAAY,CACvG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,wCAAwC,CAAC,CACvF,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC3F,MAAM,UAAU,GAAG;YACf,0CAA0C;YAC1C,0CAA0C;YAC1C,sCAAsC;SACzC,CAAC;QAEF,MAAM,MAAM,GAAG,mBAAmB,CAC9B,UAAU,EACV;YACI,0CAA0C,EAAE,CAAC,GAAG;YAChD,0CAA0C,EAAE,CAAC,GAAG;YAChD,sCAAsC,EAAE,CAAC,GAAG;SAC/C,EACD,sDAAsD,CACzD,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QAC7E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,0CAA0C,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CACxG,gCAAgC,CACnC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACtE,MAAM,CACF,kCAAkC,CAAC,sDAAsD,CAAC,CAC7F,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC7B,MAAM,CACF,kCAAkC,CAAC,0EAA0E,CAAC,CACjH,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC","sourcesContent":["// Verifies repo-wide verify-focus queries rank real focus-management files above broad structural/docs files.\n// It keeps the scoring deterministic so retrieval tuning does not depend on model output.\nimport { describe, expect, it } from \"vitest\";\nimport {\n    buildMethodSelectionRetrievalQuery,\n    scoreCandidateFiles,\n} from \"../../agents/mainAgentHeuristics.js\";\n\ndescribe(\"scoreCandidateFiles\", () => {\n    it(\"boosts verify focus files above structural preload and docs\", () => {\n        const candidates = [\n            \"/repo/cli/src/agents/structuralPreloadStep.ts\",\n            \"/repo/cli/src/agents/mainAgentVerify.ts\",\n            \"/repo/cli/src/agents/fileCheckStep.ts\",\n            \"/repo/README.md\",\n        ];\n\n        const scored = scoreCandidateFiles(\n            candidates,\n            {\n                \"/repo/cli/src/agents/structuralPreloadStep.ts\": -6.6,\n                \"/repo/cli/src/agents/mainAgentVerify.ts\": -1.1,\n                \"/repo/cli/src/agents/fileCheckStep.ts\": -0.9,\n                \"/repo/README.md\": -2.0,\n            },\n            \"Trace how selectedFiles and candidateFiles evolve across verify waves for this query.\"\n        );\n\n        const rankedPaths = scored.map(item => item.filePath);\n        const topTwo = new Set(rankedPaths.slice(0, 2));\n\n        expect(topTwo).toEqual(\n            new Set([\n                \"/repo/cli/src/agents/mainAgentVerify.ts\",\n                \"/repo/cli/src/agents/fileCheckStep.ts\",\n            ])\n        );\n        expect(rankedPaths.indexOf(\"/repo/README.md\")).toBeGreaterThan(1);\n        expect(rankedPaths.indexOf(\"/repo/cli/src/agents/structuralPreloadStep.ts\")).toBeGreaterThan(1);\n    });\n\n    it(\"does not boost verify focus files for generic trace queries\", () => {\n        const candidates = [\n            \"/repo/cli/src/agents/mainAgentVerify.ts\",\n            \"/repo/cli/src/db/client.ts\",\n        ];\n\n        const scored = scoreCandidateFiles(\n            candidates,\n            {\n                \"/repo/cli/src/agents/mainAgentVerify.ts\": -0.1,\n                \"/repo/cli/src/db/client.ts\": -6.0,\n            },\n            \"Trace how SQLite queries flow through db/client.ts.\"\n        );\n\n        expect(scored[0]?.filePath).toBe(\"/repo/cli/src/db/client.ts\");\n    });\n\n    it(\"boosts likely controller files for method-selection queries\", () => {\n        const candidates = [\n            \"/repo/src/agents/validationWorkflow.ts\",\n            \"/repo/src/agents/waveBudgetController.ts\",\n            \"/repo/src/agents/analysisPlanner.ts\",\n        ];\n\n        const scored = scoreCandidateFiles(\n            candidates,\n            {\n                \"/repo/src/agents/validationWorkflow.ts\": -6.6,\n                \"/repo/src/agents/waveBudgetController.ts\": -0.2,\n                \"/repo/src/agents/analysisPlanner.ts\": -1.0,\n            },\n            \"Which method decides the verify wave budget and why?\"\n        );\n\n        expect(scored[0]?.filePath).toBe(\"/repo/src/agents/waveBudgetController.ts\");\n        expect(scored.findIndex(item => item.filePath === \"/repo/src/agents/waveBudgetController.ts\")).toBeLessThan(\n            scored.findIndex(item => item.filePath === \"/repo/src/agents/validationWorkflow.ts\")\n        );\n    });\n\n    it(\"de-boosts selector-policy files below controller files for method-selection queries\", () => {\n        const candidates = [\n            \"/repo/src/agents/verifyFocusSelection.ts\",\n            \"/repo/src/agents/verifyBudgetResolver.ts\",\n            \"/repo/src/agents/sourceCandidates.ts\",\n        ];\n\n        const scored = scoreCandidateFiles(\n            candidates,\n            {\n                \"/repo/src/agents/verifyFocusSelection.ts\": -0.4,\n                \"/repo/src/agents/verifyBudgetResolver.ts\": -1.2,\n                \"/repo/src/agents/sourceCandidates.ts\": -0.6,\n            },\n            \"Which method decides the verify wave budget and why?\"\n        );\n\n        expect(scored[0]?.filePath).toBe(\"/repo/src/agents/verifyBudgetResolver.ts\");\n        expect(scored.find(item => item.filePath === \"/repo/src/agents/verifyFocusSelection.ts\")?.reasons).toContain(\n            \"selection-policy-penalty:focus\"\n        );\n    });\n\n    it(\"builds a narrowed retrieval query for method-selection prompts\", () => {\n        expect(\n            buildMethodSelectionRetrievalQuery(\"Which method decides the verify wave budget and why?\")\n        ).toBe(\"verify wave budget\");\n        expect(\n            buildMethodSelectionRetrievalQuery(\"For repo-wide analysis, which method decides verify wave budget and why?\")\n        ).toBe(\"verify wave budget\");\n    });\n});\n"]}

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

@@ -0,0 +1,60 @@
+// Verifies deterministic objective checks fail safely when criteria are invalid or unreadable.
+// It writes temp files only for the positive path and asserts the evaluator output directly.
+import fs from "fs";
+import os from "os";
+import path from "path";
+import { afterEach, describe, expect, it } from "vitest";
+import { runObjectiveEvaluator } from "../../agents/objectiveEvaluatorStep.js";
+const tempDirs = [];
+afterEach(() => {
+    for (const dir of tempDirs.splice(0)) {
+        fs.rmSync(dir, { recursive: true, force: true });
+    }
+});
+// Pass example: a valid regex matching "value = 42" satisfies the objective.
+// Fail example: an invalid regex or unreadable criterion being treated as success.
+describe("objectiveEvaluatorStep", () => {
+    it("marks invalid regex criteria as unsatisfied instead of succeeding", () => {
+        const dir = fs.mkdtempSync(path.join(os.tmpdir(), "scai-objective-invalid-"));
+        tempDirs.push(dir);
+        const filePath = path.join(dir, "file.ts");
+        fs.writeFileSync(filePath, "const value = 42;\n", "utf-8");
+        const result = runObjectiveEvaluator({
+            analysis: {
+                objective: {
+                    successCriteria: [
+                        {
+                            type: "regex",
+                            filePath,
+                            pattern: "(",
+                        },
+                    ],
+                },
+            },
+        });
+        expect(result.status).toBe("unsatisfied");
+        expect(result.evidence[0].error).toContain("invalid regex");
+    });
+    it("succeeds when a regex criterion matches the target file", () => {
+        const dir = fs.mkdtempSync(path.join(os.tmpdir(), "scai-objective-"));
+        tempDirs.push(dir);
+        const filePath = path.join(dir, "file.ts");
+        fs.writeFileSync(filePath, "const value = 42;\n", "utf-8");
+        const result = runObjectiveEvaluator({
+            analysis: {
+                objective: {
+                    successCriteria: [
+                        {
+                            type: "regex",
+                            filePath,
+                            pattern: "value\\s*=\\s*42",
+                        },
+                    ],
+                },
+            },
+        });
+        expect(result.status).toBe("satisfied");
+        expect(result.evidence[0].matches).toBe(1);
+    });
+});
+//# sourceMappingURL=objectiveEvaluatorStep.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"objectiveEvaluatorStep.test.js","sourceRoot":"","sources":["../../../src/__tests__/agents/objectiveEvaluatorStep.test.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,6FAA6F;AAC7F,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,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,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,6EAA6E;AAC7E,mFAAmF;AACnF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAC9E,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC3C,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,qBAAqB,EAAE,OAAO,CAAC,CAAC;QAE3D,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACjC,QAAQ,EAAE;gBACN,SAAS,EAAE;oBACP,eAAe,EAAE;wBACb;4BACI,IAAI,EAAE,OAAO;4BACb,QAAQ;4BACR,OAAO,EAAE,GAAG;yBACf;qBACJ;iBACJ;aACJ;SACG,CAAC,CAAC;QAEV,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACtE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC3C,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,qBAAqB,EAAE,OAAO,CAAC,CAAC;QAE3D,MAAM,MAAM,GAAG,qBAAqB,CAAC;YACjC,QAAQ,EAAE;gBACN,SAAS,EAAE;oBACP,eAAe,EAAE;wBACb;4BACI,IAAI,EAAE,OAAO;4BACb,QAAQ;4BACR,OAAO,EAAE,kBAAkB;yBAC9B;qBACJ;iBACJ;aACJ;SACG,CAAC,CAAC;QAEV,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC","sourcesContent":["// Verifies deterministic objective checks fail safely when criteria are invalid or unreadable.\n// It writes temp files only for the positive path and asserts the evaluator output directly.\nimport fs from \"fs\";\nimport os from \"os\";\nimport path from \"path\";\nimport { afterEach, describe, expect, it } from \"vitest\";\nimport { runObjectiveEvaluator } from \"../../agents/objectiveEvaluatorStep.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\n// Pass example: a valid regex matching \"value = 42\" satisfies the objective.\n// Fail example: an invalid regex or unreadable criterion being treated as success.\ndescribe(\"objectiveEvaluatorStep\", () => {\n    it(\"marks invalid regex criteria as unsatisfied instead of succeeding\", () => {\n        const dir = fs.mkdtempSync(path.join(os.tmpdir(), \"scai-objective-invalid-\"));\n        tempDirs.push(dir);\n        const filePath = path.join(dir, \"file.ts\");\n        fs.writeFileSync(filePath, \"const value = 42;\\n\", \"utf-8\");\n\n        const result = runObjectiveEvaluator({\n            analysis: {\n                objective: {\n                    successCriteria: [\n                        {\n                            type: \"regex\",\n                            filePath,\n                            pattern: \"(\",\n                        },\n                    ],\n                },\n            },\n        } as any);\n\n        expect(result.status).toBe(\"unsatisfied\");\n        expect(result.evidence[0].error).toContain(\"invalid regex\");\n    });\n\n    it(\"succeeds when a regex criterion matches the target file\", () => {\n        const dir = fs.mkdtempSync(path.join(os.tmpdir(), \"scai-objective-\"));\n        tempDirs.push(dir);\n        const filePath = path.join(dir, \"file.ts\");\n        fs.writeFileSync(filePath, \"const value = 42;\\n\", \"utf-8\");\n\n        const result = runObjectiveEvaluator({\n            analysis: {\n                objective: {\n                    successCriteria: [\n                        {\n                            type: \"regex\",\n                            filePath,\n                            pattern: \"value\\\\s*=\\\\s*42\",\n                        },\n                    ],\n                },\n            },\n        } as any);\n\n        expect(result.status).toBe(\"satisfied\");\n        expect(result.evidence[0].matches).toBe(1);\n    });\n});\n"]}