pulseed 0.1.3 → 0.1.5

package/dist/execution/task/task-verifier-rules 2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-rules 2.js","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-rules 2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,oCAAoC;AAEpC,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,IAAkB,EAClB,IAAU;IAEV,kEAAkE;IAClE,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAEzG,sFAAsF;IACtF,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1D,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,gDAAgD;SAC9D,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1B,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,sEAAsE;SACpF,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,MAAM,iBAAiB,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;IAC9D,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,kFAAkF;SAChG,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,iBAAiB,CAAC,CAAC,CAAE,CAAC;IAC1C,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,iFAAiF;SAC/F,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,qBAAqB,GAAG,MAAM,CAAC,CAAC,8CAA8C;IAEpF,MAAM,SAAS,GAAc;QAC3B,MAAM,EAAE,mBAAmB;QAC3B,UAAU,EAAE,qBAAqB;QACjC,YAAY,EAAE,WAAW;KAC1B,CAAC;IAEF,IAAI,MAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,oDAAoD,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5F,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,0CAA0C,MAAM,EAAE;SAChE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,2CAA2C,qBAAqB,gBAAgB,mBAAmB,GAAG;SACpH,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM;QACxB,CAAC,CAAC,4CAA4C,mBAAmB,EAAE;QACnE,CAAC,CAAC,wCAAwC,MAAM,CAAC,SAAS,IAAI,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAE7I,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACnD,CAAC;AAED,sEAAsE;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAe,EACf,QAAgB,EAChB,MAAiD,EACjD,OAAgB;IAEhB,MAAM,QAAQ,GAAG,GAAG,CAAC;IACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,IAAI,CACV,iCAAiC,OAAO,cAAc,QAAQ,aAAa,OAAO,aAAa,OAAO,EAAE,CACzG,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,wDAAwD;AAExD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,iBAAkE,EAClE,YAAoB,EACpB,aAAqB,EACrB,MAAwC,EACxC,OAAgB;IAEhB,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEvE,MAAM,eAAe,GACnB,aAAa,GAAG,YAAY;QAC1B,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,aAAa,GAAG,YAAY;YAC5B,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,iBAAiB,KAAK,UAAU,IAAI,eAAe,KAAK,UAAU,EAAE,CAAC;QACvE,MAAM,EAAE,IAAI,CACV,sDAAsD,iBAAiB,yBAAyB,eAAe,YAAY,OAAO,IAAI,SAAS,EAAE,CAClJ,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,iBAAiB,KAAK,UAAU,IAAI,eAAe,KAAK,UAAU,EAAE,CAAC;QACvE,MAAM,EAAE,IAAI,CACV,sDAAsD,iBAAiB,yBAAyB,eAAe,YAAY,OAAO,IAAI,SAAS,EAAE,CAClJ,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAE9B,MAAM,UAAU,mBAAmB,CAAC,eAA4B;IAC9D,OAAO;QACL,SAAS,EAAE,eAAe,CAAC,OAAO;QAClC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAC7C,eAAe,EAAE,EAAE;QACnB,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;KAC/D,CAAC;AACJ,CAAC;AAED,6BAA6B;AAE7B,MAAM,UAAU,kBAAkB,CAAC,kBAAsC;IACvE,OAAO,kBAAkB,CAAC,OAAO,KAAK,SAAS,CAAC;AAClD,CAAC;AAED,wBAAwB;AAExB,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAkB,EAAE,IAAU;IAChE,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC;QACpD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAC;YACvD,YAAY,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YAChI,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,6CAA6C,cAAc,CAAC,MAAM,QAAQ,CAAC,CAAC;YAChG,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,8DAA8D;IAChE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAC3D,gBAAgB,EAChB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,EAAE,CACR,CAAC;QAEF,MAAM,YAAY,GAAG,gBAAgB,IAAI,CAAC,gBAAgB,2BAA2B,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;;sDAE1E,CAAC;QAEnD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAC/C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EACzC,EAAE,MAAM,EAAE,qDAAqD,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,CACvG,CAAC;QAEF,MAAM,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAEzE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CACrC,QAAQ,CAAC,OAAO,EAChB,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CACvD,CAAC;YACF,OAAO,MAAM,CAAC,OAAO,CAAC;QACxB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,gCAAgC;AAEhC,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAkB,EAClB,MAAc,EACd,aAAqB,EACrB,SAA6B;IAE7B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,MAAM,YAAY,CAAC,CAAC;IAC9E,IAAI,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAmC,CAAC;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAwD,CAAC;QACjF,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC/B,GAAG,CAAC,eAAe,GAAG,SAAS,CAAC;gBAClC,CAAC;YACH,CAAC;YACD,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC;AAED,4BAA4B;AAE5B,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAkB,EAAE,MAAc,EAAE,IAAU;IACpF,MAAM,WAAW,GAAG,SAAS,MAAM,oBAAoB,CAAC;IACxD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAExD,MAAM,iBAAiB,GACrB,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY;QAClC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE;QAC7E,CAAC,CAAC,IAAI,CAAC;IAEX,MAAM,qBAAqB,GAAG,IAAI,CAAC,kBAAkB;QACnD,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,kBAAkB,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC;IAET,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,IAAI,CAAC,EAAE;QAChB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,yBAAyB,EAAE,IAAI,CAAC,yBAAyB;QACzD,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC3D,iBAAiB;QACjB,qBAAqB;KACtB,CAAC,CAAC;IACH,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC"}

package/dist/execution/task/task-verifier-rules.d.ts

@@ -0,0 +1,31 @@
+import type { Task } from "../../types/task.js";
+import type { VerificationResult } from "../../types/task.js";
+import type { AgentResult } from "../adapter-layer.js";
+import type { VerifierDeps } from "./task-verifier-types.js";
+export declare function runMechanicalVerification(deps: VerifierDeps, task: Task): Promise<{
+    applicable: boolean;
+    passed: boolean;
+    description: string;
+}>;
+/**
+ * Clamp a proposed dimension update to within ±30% absolute or ±30% relative
+ * of the current value (whichever is larger). Logs a warning when clamping occurs.
+ *
+ * Exported for unit testing.
+ */
+export declare function clampDimensionUpdate(current: number, proposed: number, logger?: import("../../runtime/logger.js").Logger, dimName?: string): number;
+/**
+ * Check whether a proposed dimension update moves in the intended direction.
+ * Returns true if the update should be applied, false if it should be skipped.
+ *
+ * Exported for unit testing.
+ */
+export declare function checkDimensionDirection(intendedDirection: "increase" | "decrease" | "neutral" | undefined, currentValue: number, proposedValue: number, logger?: {
+    warn: (msg: string) => void;
+}, dimName?: string): boolean;
+export declare function parseExecutorReport(executionResult: AgentResult): import("./task-verifier-types.js").ExecutorReport;
+export declare function isDirectionCorrect(verificationResult: VerificationResult): boolean;
+export declare function attemptRevert(deps: VerifierDeps, task: Task): Promise<boolean>;
+export declare function setDimensionIntegrity(deps: VerifierDeps, goalId: string, dimensionName: string, integrity: "ok" | "uncertain"): Promise<void>;
+export declare function appendTaskHistory(deps: VerifierDeps, goalId: string, task: Task): Promise<void>;
+//# sourceMappingURL=task-verifier-rules.d.ts.map

package/dist/execution/task/task-verifier-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-rules.d.ts","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-rules.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAa,WAAW,EAAY,MAAM,qBAAqB,CAAC;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAI7D,wBAAsB,yBAAyB,CAC7C,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,GACT,OAAO,CAAC;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,CAsFxE;AAID;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,OAAO,yBAAyB,EAAE,MAAM,EACjD,OAAO,CAAC,EAAE,MAAM,GACf,MAAM,CAWR;AAID;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,iBAAiB,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,EAClE,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE;IAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAA;CAAE,EACxC,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAuBT;AAID,wBAAgB,mBAAmB,CAAC,eAAe,EAAE,WAAW,GAAG,OAAO,0BAA0B,EAAE,cAAc,CAOnH;AAID,wBAAgB,kBAAkB,CAAC,kBAAkB,EAAE,kBAAkB,GAAG,OAAO,CAElF;AAID,wBAAsB,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CA2CpF;AAID,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,IAAI,GAAG,WAAW,GAC5B,OAAO,CAAC,IAAI,CAAC,CAcf;AAID,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAwBrG"}

package/dist/execution/task/task-verifier-rules.js

@@ -0,0 +1,207 @@
+import { z } from "zod";
+// ─── runMechanicalVerification ───
+export async function runMechanicalVerification(deps, task) {
+    // Mechanical prefixes that indicate a command can be run directly
+    const mechanicalPrefixes = ["npm", "npx", "pytest", "sh", "bash", "node", "make", "cargo", "go ", "gh "];
+    // Find the first success criterion with a mechanically-verifiable verification_method
+    const mechanicalCriterion = task.success_criteria.find((c) => {
+        const method = c.verification_method.toLowerCase().trim();
+        return mechanicalPrefixes.some((prefix) => method.startsWith(prefix));
+    });
+    if (!mechanicalCriterion) {
+        return {
+            applicable: false,
+            passed: false,
+            description: "No mechanical verification criteria applicable",
+        };
+    }
+    // If no adapter registry is available, fall back to assumed pass (backward compat)
+    if (!deps.adapterRegistry) {
+        return {
+            applicable: true,
+            passed: true,
+            description: "Mechanical verification criteria detected (no adapter: assumed pass)",
+        };
+    }
+    // Select the first available adapter from the registry for command execution
+    const availableAdapters = deps.adapterRegistry.listAdapters();
+    if (availableAdapters.length === 0) {
+        return {
+            applicable: true,
+            passed: true,
+            description: "Mechanical verification criteria detected (no adapters registered: assumed pass)",
+        };
+    }
+    const adapterType = availableAdapters[0];
+    let adapter;
+    try {
+        adapter = deps.adapterRegistry.getAdapter(adapterType);
+    }
+    catch {
+        return {
+            applicable: true,
+            passed: true,
+            description: "Mechanical verification criteria detected (adapter lookup failed: assumed pass)",
+        };
+    }
+    // Execute the verification command via the adapter
+    const verificationCommand = mechanicalCriterion.verification_method.trim();
+    const verificationTimeoutMs = 30_000; // 30 seconds default for L1 mechanical checks
+    const agentTask = {
+        prompt: verificationCommand,
+        timeout_ms: verificationTimeoutMs,
+        adapter_type: adapterType,
+    };
+    let result;
+    try {
+        result = await adapter.execute(agentTask);
+    }
+    catch (err) {
+        const errMsg = err instanceof Error ? err.message : String(err);
+        deps.logger?.error("runMechanicalVerification: adapter.execute() threw", { error: errMsg });
+        return {
+            applicable: true,
+            passed: false,
+            description: `Mechanical verification command threw: ${errMsg}`,
+        };
+    }
+    if (result.stopped_reason === "timeout") {
+        return {
+            applicable: true,
+            passed: false,
+            description: `Mechanical verification timed out after ${verificationTimeoutMs}ms (command: ${verificationCommand})`,
+        };
+    }
+    const passed = result.exit_code === 0 && result.success;
+    const description = passed
+        ? `Mechanical verification passed (exit 0): ${verificationCommand}`
+        : `Mechanical verification failed (exit ${result.exit_code ?? "null"}): ${verificationCommand}${result.error ? ` — ${result.error}` : ""}`;
+    return { applicable: true, passed, description };
+}
+// ─── P0 Guard 1: dimension_updates change magnitude limit (§3.2) ───
+/**
+ * Clamp a proposed dimension update to within ±30% absolute or ±30% relative
+ * of the current value (whichever is larger). Logs a warning when clamping occurs.
+ *
+ * Exported for unit testing.
+ */
+export function clampDimensionUpdate(current, proposed, logger, dimName) {
+    const absLimit = 0.3;
+    const relLimit = Math.abs(current) * 0.3;
+    const maxDelta = Math.max(absLimit, relLimit);
+    const clamped = Math.max(current - maxDelta, Math.min(current + maxDelta, proposed));
+    if (clamped !== proposed) {
+        logger?.warn(`dimension_update clamped: dim=${dimName}, proposed=${proposed}, applied=${clamped}, current=${current}`);
+    }
+    return clamped;
+}
+// ─── §4.5 Guard: dimension_updates direction check ───
+/**
+ * Check whether a proposed dimension update moves in the intended direction.
+ * Returns true if the update should be applied, false if it should be skipped.
+ *
+ * Exported for unit testing.
+ */
+export function checkDimensionDirection(intendedDirection, currentValue, proposedValue, logger, dimName) {
+    if (!intendedDirection || intendedDirection === "neutral")
+        return true;
+    const actualDirection = proposedValue > currentValue
+        ? "increase"
+        : proposedValue < currentValue
+            ? "decrease"
+            : "neutral";
+    if (intendedDirection === "increase" && actualDirection === "decrease") {
+        logger?.warn(`dimension_update direction mismatch: task intended ${intendedDirection}, but update suggests ${actualDirection} for dim ${dimName ?? "unknown"}`);
+        return false;
+    }
+    if (intendedDirection === "decrease" && actualDirection === "increase") {
+        logger?.warn(`dimension_update direction mismatch: task intended ${intendedDirection}, but update suggests ${actualDirection} for dim ${dimName ?? "unknown"}`);
+        return false;
+    }
+    return true;
+}
+// ─── parseExecutorReport ───
+export function parseExecutorReport(executionResult) {
+    return {
+        completed: executionResult.success,
+        summary: executionResult.output.slice(0, 500),
+        partial_results: [],
+        blockers: executionResult.error ? [executionResult.error] : [],
+    };
+}
+// ─── isDirectionCorrect ───
+export function isDirectionCorrect(verificationResult) {
+    return verificationResult.verdict === "partial";
+}
+// ─── attemptRevert ───
+export async function attemptRevert(deps, task) {
+    try {
+        const filesToRestore = task.scope_boundary.in_scope;
+        if (filesToRestore.length > 0) {
+            const { execFileSync } = await import("child_process");
+            execFileSync("git", ["restore", ...filesToRestore], { cwd: process.cwd(), encoding: "utf-8", stdio: ["pipe", "pipe", "pipe"] });
+            deps.logger?.info?.(`[attemptRevert] git restore succeeded for ${filesToRestore.length} files`);
+            return true;
+        }
+    }
+    catch {
+        // git not available or failed — fall back to LLM-based revert
+    }
+    try {
+        const revertSession = await deps.sessionManager.createSession("task_execution", task.goal_id, task.id);
+        const revertPrompt = `Revert task "${task.work_description}". Undo all changes in: ${task.scope_boundary.in_scope.join(", ")}.
+
+Return JSON: {"success": true|false, "reason": "..."}`;
+        const response = await deps.llmClient.sendMessage([{ role: "user", content: revertPrompt }], { system: "Revert failed task changes. Respond with JSON only.", max_tokens: 512, model_tier: "main" });
+        await deps.sessionManager.endSession(revertSession.id, response.content);
+        try {
+            const parsed = deps.llmClient.parseJSON(response.content, z.object({ success: z.boolean(), reason: z.string() }));
+            return parsed.success;
+        }
+        catch {
+            return false;
+        }
+    }
+    catch {
+        return false;
+    }
+}
+// ─── setDimensionIntegrity ───
+export async function setDimensionIntegrity(deps, goalId, dimensionName, integrity) {
+    const goalData = await deps.stateManager.readRaw(`goals/${goalId}/goal.json`);
+    if (goalData && typeof goalData === "object") {
+        const goal = goalData;
+        const dimensions = goal.dimensions;
+        if (dimensions) {
+            for (const dim of dimensions) {
+                if (dim.name === dimensionName) {
+                    dim.state_integrity = integrity;
+                }
+            }
+            await deps.stateManager.writeRaw(`goals/${goalId}/goal.json`, goal);
+        }
+    }
+}
+// ─── appendTaskHistory ───
+export async function appendTaskHistory(deps, goalId, task) {
+    const historyPath = `tasks/${goalId}/task-history.json`;
+    const existing = await deps.stateManager.readRaw(historyPath);
+    const history = Array.isArray(existing) ? existing : [];
+    const actual_elapsed_ms = task.started_at && task.completed_at
+        ? new Date(task.completed_at).getTime() - new Date(task.started_at).getTime()
+        : null;
+    const estimated_duration_ms = task.estimated_duration
+        ? deps.durationToMs(task.estimated_duration)
+        : null;
+    history.push({
+        task_id: task.id,
+        status: task.status,
+        primary_dimension: task.primary_dimension,
+        consecutive_failure_count: task.consecutive_failure_count,
+        completed_at: task.completed_at ?? new Date().toISOString(),
+        actual_elapsed_ms,
+        estimated_duration_ms,
+    });
+    await deps.stateManager.writeRaw(historyPath, history);
+}
+//# sourceMappingURL=task-verifier-rules.js.map

package/dist/execution/task/task-verifier-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-rules.js","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-rules.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,oCAAoC;AAEpC,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,IAAkB,EAClB,IAAU;IAEV,kEAAkE;IAClE,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAEzG,sFAAsF;IACtF,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1D,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,gDAAgD;SAC9D,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1B,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,sEAAsE;SACpF,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,MAAM,iBAAiB,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;IAC9D,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,kFAAkF;SAChG,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,iBAAiB,CAAC,CAAC,CAAE,CAAC;IAC1C,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,iFAAiF;SAC/F,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;IAC3E,MAAM,qBAAqB,GAAG,MAAM,CAAC,CAAC,8CAA8C;IAEpF,MAAM,SAAS,GAAc;QAC3B,MAAM,EAAE,mBAAmB;QAC3B,UAAU,EAAE,qBAAqB;QACjC,YAAY,EAAE,WAAW;KAC1B,CAAC;IAEF,IAAI,MAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,oDAAoD,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5F,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,0CAA0C,MAAM,EAAE;SAChE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,2CAA2C,qBAAqB,gBAAgB,mBAAmB,GAAG;SACpH,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM;QACxB,CAAC,CAAC,4CAA4C,mBAAmB,EAAE;QACnE,CAAC,CAAC,wCAAwC,MAAM,CAAC,SAAS,IAAI,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAE7I,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACnD,CAAC;AAED,sEAAsE;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAe,EACf,QAAgB,EAChB,MAAiD,EACjD,OAAgB;IAEhB,MAAM,QAAQ,GAAG,GAAG,CAAC;IACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,IAAI,CACV,iCAAiC,OAAO,cAAc,QAAQ,aAAa,OAAO,aAAa,OAAO,EAAE,CACzG,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,wDAAwD;AAExD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,iBAAkE,EAClE,YAAoB,EACpB,aAAqB,EACrB,MAAwC,EACxC,OAAgB;IAEhB,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEvE,MAAM,eAAe,GACnB,aAAa,GAAG,YAAY;QAC1B,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,aAAa,GAAG,YAAY;YAC5B,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,iBAAiB,KAAK,UAAU,IAAI,eAAe,KAAK,UAAU,EAAE,CAAC;QACvE,MAAM,EAAE,IAAI,CACV,sDAAsD,iBAAiB,yBAAyB,eAAe,YAAY,OAAO,IAAI,SAAS,EAAE,CAClJ,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,iBAAiB,KAAK,UAAU,IAAI,eAAe,KAAK,UAAU,EAAE,CAAC;QACvE,MAAM,EAAE,IAAI,CACV,sDAAsD,iBAAiB,yBAAyB,eAAe,YAAY,OAAO,IAAI,SAAS,EAAE,CAClJ,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAE9B,MAAM,UAAU,mBAAmB,CAAC,eAA4B;IAC9D,OAAO;QACL,SAAS,EAAE,eAAe,CAAC,OAAO;QAClC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAC7C,eAAe,EAAE,EAAE;QACnB,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;KAC/D,CAAC;AACJ,CAAC;AAED,6BAA6B;AAE7B,MAAM,UAAU,kBAAkB,CAAC,kBAAsC;IACvE,OAAO,kBAAkB,CAAC,OAAO,KAAK,SAAS,CAAC;AAClD,CAAC;AAED,wBAAwB;AAExB,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAkB,EAAE,IAAU;IAChE,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC;QACpD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAC;YACvD,YAAY,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YAChI,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,6CAA6C,cAAc,CAAC,MAAM,QAAQ,CAAC,CAAC;YAChG,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,8DAA8D;IAChE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAC3D,gBAAgB,EAChB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,EAAE,CACR,CAAC;QAEF,MAAM,YAAY,GAAG,gBAAgB,IAAI,CAAC,gBAAgB,2BAA2B,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;;sDAE1E,CAAC;QAEnD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAC/C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EACzC,EAAE,MAAM,EAAE,qDAAqD,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,CACvG,CAAC;QAEF,MAAM,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAEzE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CACrC,QAAQ,CAAC,OAAO,EAChB,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CACvD,CAAC;YACF,OAAO,MAAM,CAAC,OAAO,CAAC;QACxB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,gCAAgC;AAEhC,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAkB,EAClB,MAAc,EACd,aAAqB,EACrB,SAA6B;IAE7B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,MAAM,YAAY,CAAC,CAAC;IAC9E,IAAI,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAmC,CAAC;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAwD,CAAC;QACjF,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC/B,GAAG,CAAC,eAAe,GAAG,SAAS,CAAC;gBAClC,CAAC;YACH,CAAC;YACD,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC;AAED,4BAA4B;AAE5B,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAkB,EAAE,MAAc,EAAE,IAAU;IACpF,MAAM,WAAW,GAAG,SAAS,MAAM,oBAAoB,CAAC;IACxD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAExD,MAAM,iBAAiB,GACrB,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY;QAClC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE;QAC7E,CAAC,CAAC,IAAI,CAAC;IAEX,MAAM,qBAAqB,GAAG,IAAI,CAAC,kBAAkB;QACnD,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,kBAAkB,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC;IAET,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,IAAI,CAAC,EAAE;QAChB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,yBAAyB,EAAE,IAAI,CAAC,yBAAyB;QACzD,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC3D,iBAAiB;QACjB,qBAAqB;KACtB,CAAC,CAAC;IACH,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC"}

package/dist/execution/task/task-verifier-types 2.d.ts

@@ -0,0 +1,78 @@
+import { z } from "zod";
+import { StateManager } from "../../state/state-manager.js";
+import type { ILLMClient } from "../../llm/llm-client.js";
+import { SessionManager } from "../session-manager.js";
+import { TrustManager } from "../../traits/trust-manager.js";
+import { StallDetector } from "../../drive/stall-detector.js";
+import { AdapterRegistry } from "../adapter-layer.js";
+import type { Logger } from "../../runtime/logger.js";
+import type { IPromptGateway } from "../../prompt/gateway.js";
+export interface ExecutorReport {
+    completed: boolean;
+    summary: string;
+    partial_results: string[];
+    blockers: string[];
+}
+export interface VerdictResult {
+    action: "completed" | "keep" | "discard" | "escalate";
+    task: import("../../types/task.js").Task;
+}
+export interface FailureResult {
+    action: "keep" | "discard" | "escalate";
+    task: import("../../types/task.js").Task;
+}
+export declare const CompletionJudgerResponseSchema: z.ZodObject<{
+    verdict: z.ZodDefault<z.ZodEnum<["pass", "partial", "fail"]>>;
+    reasoning: z.ZodDefault<z.ZodString>;
+    criteria_met: z.ZodOptional<z.ZodNumber>;
+    criteria_total: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    verdict: "pass" | "partial" | "fail";
+    reasoning: string;
+    criteria_met?: number | undefined;
+    criteria_total?: number | undefined;
+}, {
+    verdict?: "pass" | "partial" | "fail" | undefined;
+    reasoning?: string | undefined;
+    criteria_met?: number | undefined;
+    criteria_total?: number | undefined;
+}>;
+export interface CompletionJudgerConfig {
+    /** Timeout for each LLM call in ms (default: 30000) */
+    timeoutMs?: number;
+    /** Maximum number of retries after the first attempt (default: 2) */
+    maxRetries?: number;
+    /** Base backoff delay in ms — doubles each retry (default: 1000) */
+    retryBackoffMs?: number;
+}
+export interface VerifierDeps {
+    stateManager: StateManager;
+    llmClient: ILLMClient;
+    /** Optional separate LLM client for review (忖度防止 — sycophancy mitigation) */
+    reviewerLlmClient?: ILLMClient;
+    sessionManager: SessionManager;
+    trustManager: TrustManager;
+    stallDetector: StallDetector;
+    adapterRegistry?: AdapterRegistry;
+    logger?: Logger;
+    onTaskComplete?: (strategyId: string) => void;
+    durationToMs: (duration: {
+        value: number;
+        unit: string;
+    }) => number;
+    completionJudgerConfig?: CompletionJudgerConfig;
+    /** Optional knowledge manager for enriching LLM review prompts */
+    knowledgeManager?: {
+        getRelevantKnowledge?(goalId: string): Promise<Array<{
+            question: string;
+            answer: string;
+            confidence: number;
+        }>>;
+    };
+    /** Optional PromptGateway — when provided, LLM review calls are routed through it */
+    gateway?: IPromptGateway;
+    /** Enable post-verification impact analysis (default: false). Disabled by default to avoid
+     *  consuming extra LLM calls in contexts that only care about verification. */
+    enableImpactAnalysis?: boolean;
+}
+//# sourceMappingURL=task-verifier-types%202.d.ts.map

package/dist/execution/task/task-verifier-types 2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-types 2.d.ts","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-types 2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAI9D,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACtD,IAAI,EAAE,OAAO,qBAAqB,EAAE,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,OAAO,qBAAqB,EAAE,IAAI,CAAC;CAC1C;AAID,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;EAKzC,CAAC;AAIH,MAAM,WAAW,sBAAsB;IACrC,uDAAuD;IACvD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAID,MAAM,WAAW,YAAY;IAC3B,YAAY,EAAE,YAAY,CAAC;IAC3B,SAAS,EAAE,UAAU,CAAC;IACtB,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,cAAc,EAAE,cAAc,CAAC;IAC/B,YAAY,EAAE,YAAY,CAAC;IAC3B,aAAa,EAAE,aAAa,CAAC;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,IAAI,CAAC;IAC9C,YAAY,EAAE,CAAC,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,CAAC;IACpE,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,kEAAkE;IAClE,gBAAgB,CAAC,EAAE;QACjB,oBAAoB,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;YAAE,QAAQ,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC,CAAC;KACjH,CAAC;IACF,qFAAqF;IACrF,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB;mFAC+E;IAC/E,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC"}

package/dist/execution/task/task-verifier-types 2.js

@@ -0,0 +1,9 @@
+import { z } from "zod";
+// ─── CompletionJudgerResponseSchema: Zod schema for LLM completion judgment response ───
+export const CompletionJudgerResponseSchema = z.object({
+    verdict: z.enum(["pass", "partial", "fail"]).default("fail"),
+    reasoning: z.string().default(""),
+    criteria_met: z.number().int().min(0).optional(),
+    criteria_total: z.number().int().min(0).optional(),
+});
+//# sourceMappingURL=task-verifier-types%202.js.map

package/dist/execution/task/task-verifier-types 2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-types 2.js","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-types 2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA6BxB,0FAA0F;AAE1F,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,MAAM,CAAC;IACrD,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACjC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACnD,CAAC,CAAC"}

package/dist/execution/task/task-verifier-types.d.ts

@@ -0,0 +1,78 @@
+import { z } from "zod";
+import { StateManager } from "../../state/state-manager.js";
+import type { ILLMClient } from "../../llm/llm-client.js";
+import { SessionManager } from "../session-manager.js";
+import { TrustManager } from "../../traits/trust-manager.js";
+import { StallDetector } from "../../drive/stall-detector.js";
+import { AdapterRegistry } from "../adapter-layer.js";
+import type { Logger } from "../../runtime/logger.js";
+import type { IPromptGateway } from "../../prompt/gateway.js";
+export interface ExecutorReport {
+    completed: boolean;
+    summary: string;
+    partial_results: string[];
+    blockers: string[];
+}
+export interface VerdictResult {
+    action: "completed" | "keep" | "discard" | "escalate";
+    task: import("../../types/task.js").Task;
+}
+export interface FailureResult {
+    action: "keep" | "discard" | "escalate";
+    task: import("../../types/task.js").Task;
+}
+export declare const CompletionJudgerResponseSchema: z.ZodObject<{
+    verdict: z.ZodDefault<z.ZodEnum<["pass", "partial", "fail"]>>;
+    reasoning: z.ZodDefault<z.ZodString>;
+    criteria_met: z.ZodOptional<z.ZodNumber>;
+    criteria_total: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    verdict: "pass" | "partial" | "fail";
+    reasoning: string;
+    criteria_met?: number | undefined;
+    criteria_total?: number | undefined;
+}, {
+    verdict?: "pass" | "partial" | "fail" | undefined;
+    reasoning?: string | undefined;
+    criteria_met?: number | undefined;
+    criteria_total?: number | undefined;
+}>;
+export interface CompletionJudgerConfig {
+    /** Timeout for each LLM call in ms (default: 30000) */
+    timeoutMs?: number;
+    /** Maximum number of retries after the first attempt (default: 2) */
+    maxRetries?: number;
+    /** Base backoff delay in ms — doubles each retry (default: 1000) */
+    retryBackoffMs?: number;
+}
+export interface VerifierDeps {
+    stateManager: StateManager;
+    llmClient: ILLMClient;
+    /** Optional separate LLM client for review (忖度防止 — sycophancy mitigation) */
+    reviewerLlmClient?: ILLMClient;
+    sessionManager: SessionManager;
+    trustManager: TrustManager;
+    stallDetector: StallDetector;
+    adapterRegistry?: AdapterRegistry;
+    logger?: Logger;
+    onTaskComplete?: (strategyId: string) => void;
+    durationToMs: (duration: {
+        value: number;
+        unit: string;
+    }) => number;
+    completionJudgerConfig?: CompletionJudgerConfig;
+    /** Optional knowledge manager for enriching LLM review prompts */
+    knowledgeManager?: {
+        getRelevantKnowledge?(goalId: string): Promise<Array<{
+            question: string;
+            answer: string;
+            confidence: number;
+        }>>;
+    };
+    /** Optional PromptGateway — when provided, LLM review calls are routed through it */
+    gateway?: IPromptGateway;
+    /** Enable post-verification impact analysis (default: false). Disabled by default to avoid
+     *  consuming extra LLM calls in contexts that only care about verification. */
+    enableImpactAnalysis?: boolean;
+}
+//# sourceMappingURL=task-verifier-types.d.ts.map

package/dist/execution/task/task-verifier-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-types.d.ts","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAI9D,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACtD,IAAI,EAAE,OAAO,qBAAqB,EAAE,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,OAAO,qBAAqB,EAAE,IAAI,CAAC;CAC1C;AAID,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;EAKzC,CAAC;AAIH,MAAM,WAAW,sBAAsB;IACrC,uDAAuD;IACvD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAID,MAAM,WAAW,YAAY;IAC3B,YAAY,EAAE,YAAY,CAAC;IAC3B,SAAS,EAAE,UAAU,CAAC;IACtB,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,cAAc,EAAE,cAAc,CAAC;IAC/B,YAAY,EAAE,YAAY,CAAC;IAC3B,aAAa,EAAE,aAAa,CAAC;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,IAAI,CAAC;IAC9C,YAAY,EAAE,CAAC,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,CAAC;IACpE,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,kEAAkE;IAClE,gBAAgB,CAAC,EAAE;QACjB,oBAAoB,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;YAAE,QAAQ,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC,CAAC;KACjH,CAAC;IACF,qFAAqF;IACrF,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB;mFAC+E;IAC/E,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC"}

package/dist/execution/task/task-verifier-types.js

@@ -0,0 +1,9 @@
+import { z } from "zod";
+// ─── CompletionJudgerResponseSchema: Zod schema for LLM completion judgment response ───
+export const CompletionJudgerResponseSchema = z.object({
+    verdict: z.enum(["pass", "partial", "fail"]).default("fail"),
+    reasoning: z.string().default(""),
+    criteria_met: z.number().int().min(0).optional(),
+    criteria_total: z.number().int().min(0).optional(),
+});
+//# sourceMappingURL=task-verifier-types.js.map

package/dist/execution/task/task-verifier-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier-types.js","sourceRoot":"","sources":["../../../src/execution/task/task-verifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA6BxB,0FAA0F;AAE1F,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,MAAM,CAAC;IACrD,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACjC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACnD,CAAC,CAAC"}

package/dist/execution/task/task-verifier.d.ts

@@ -0,0 +1,48 @@
+/**
+ * task-verifier.ts
+ *
+ * Verification logic extracted from TaskLifecycle:
+ *   - verifyTask
+ *   - handleVerdict
+ *   - handleFailure
+ *
+ * All functions are standalone and receive explicit dependencies instead of
+ * relying on `this`. TaskLifecycle keeps thin wrapper methods for backward
+ * compatibility.
+ *
+ * Implementation is split across:
+ *   - task-verifier-types.ts  — interfaces, Zod schemas
+ *   - task-verifier-rules.ts  — mechanical verification, dimension guards, history
+ *   - task-verifier-llm.ts    — LLM review, timeout, retry
+ */
+import type { Task, VerificationResult } from "../../types/task.js";
+import type { AgentResult } from "../adapter-layer.js";
+export type { ExecutorReport, VerdictResult, FailureResult, CompletionJudgerConfig, VerifierDeps, } from "./task-verifier-types.js";
+export { CompletionJudgerResponseSchema } from "./task-verifier-types.js";
+export { clampDimensionUpdate, checkDimensionDirection, } from "./task-verifier-rules.js";
+import type { VerifierDeps, VerdictResult, FailureResult } from "./task-verifier-types.js";
+/**
+ * Verify task execution results using 3-layer verification.
+ *
+ * Layer 1: Mechanical verification (via adapter in review session)
+ * Layer 2: LLM task reviewer (independent, no self-report)
+ * Layer 3: Executor self-report (reference only)
+ *
+ * Contradiction resolution:
+ * - L1 PASS + L2 PASS → pass
+ * - L1 PASS + L2 FAIL → re-review; if still FAIL → fail
+ * - L1 FAIL + L2 PASS → fail (mechanical priority)
+ * - L1 FAIL + L2 FAIL → fail
+ * - L1 SKIP → use L2 only (lower confidence)
+ */
+export declare function verifyTask(deps: VerifierDeps, task: Task, executionResult: AgentResult): Promise<VerificationResult>;
+/**
+ * Handle a verification verdict (pass/partial/fail).
+ */
+export declare function handleVerdict(deps: VerifierDeps, task: Task, verificationResult: VerificationResult): Promise<VerdictResult>;
+/**
+ * Handle a task failure: increment failure count, record failure,
+ * decide keep/discard/escalate.
+ */
+export declare function handleFailure(deps: VerifierDeps, task: Task, verificationResult: VerificationResult): Promise<FailureResult>;
+//# sourceMappingURL=task-verifier.d.ts.map

package/dist/execution/task/task-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier.d.ts","sourceRoot":"","sources":["../../../src/execution/task/task-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAMvD,YAAY,EACV,cAAc,EACd,aAAa,EACb,aAAa,EACb,sBAAsB,EACtB,YAAY,GACb,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAG1E,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAe3F;;;;;;;;;;;;;GAaG;AACH,wBAAsB,UAAU,CAC9B,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,eAAe,EAAE,WAAW,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CAmQ7B;AAID;;GAEG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,kBAAkB,EAAE,kBAAkB,GACrC,OAAO,CAAC,aAAa,CAAC,CA4KxB;AAID;;;GAGG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,kBAAkB,EAAE,kBAAkB,GACrC,OAAO,CAAC,aAAa,CAAC,CA+CxB"}