pulseed 0.6.3 → 0.6.4

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

@@ -5,6 +5,7 @@ import { SessionManager } from "../session-manager.js";
 import { TrustManager } from "../../../platform/traits/trust-manager.js";
 import { StallDetector } from "../../../platform/drive/stall-detector.js";
 import { AdapterRegistry } from "../adapter-layer.js";
+import type { AgentResult } from "../adapter-layer.js";
 import type { Logger } from "../../../runtime/logger.js";
 import type { IPromptGateway } from "../../../prompt/gateway.js";
 import type { ToolExecutor } from "../../../tools/executor.js";
@@ -28,6 +29,18 @@ export interface FailureResult {
     action: "keep" | "discard" | "escalate";
     task: import("../../../base/types/task.js").Task;
 }
+export interface RevertAttemptResult {
+    success: boolean;
+    concretePaths: string[];
+    unsafePaths?: string[];
+    reason: string;
+    method?: "git_restore_tool" | "git_restore_child_process";
+}
+export interface VerdictHandlingContext {
+    stoppedReason?: AgentResult["stopped_reason"] | null;
+    verificationGuardsApplied?: boolean;
+    agentLoopWorkspace?: Pick<NonNullable<AgentResult["agentLoop"]>, "requestedCwd" | "executionCwd" | "isolatedWorkspace" | "workspaceCleanupStatus" | "workspaceCleanupReason" | "workspaceDirty" | "workspaceDisposition">;
+}
 export declare const CompletionJudgerResponseSchema: z.ZodObject<{
     verdict: z.ZodDefault<z.ZodEnum<["pass", "partial", "fail"]>>;
     reasoning: z.ZodDefault<z.ZodString>;

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

@@ -1 +1 @@
-{"version":3,"file":"task-verifier-types.d.ts","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAI/D,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;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACtD,IAAI,EAAE,OAAO,6BAA6B,EAAE,IAAI,CAAC;CAClD;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,OAAO,6BAA6B,EAAE,IAAI,CAAC;CAClD;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,sEAAsE;IACtE,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,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;IAC/B;4DACwD;IACxD,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,iBAAiB,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5C"}
+{"version":3,"file":"task-verifier-types.d.ts","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAI/D,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;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACtD,IAAI,EAAE,OAAO,6BAA6B,EAAE,IAAI,CAAC;CAClD;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,OAAO,6BAA6B,EAAE,IAAI,CAAC;CAClD;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,kBAAkB,GAAG,2BAA2B,CAAC;CAC3D;AAED,MAAM,WAAW,sBAAsB;IACrC,aAAa,CAAC,EAAE,WAAW,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAAC;IACrD,yBAAyB,CAAC,EAAE,OAAO,CAAC;IACpC,kBAAkB,CAAC,EAAE,IAAI,CACvB,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,EACnC,cAAc,GACd,cAAc,GACd,mBAAmB,GACnB,wBAAwB,GACxB,wBAAwB,GACxB,gBAAgB,GAChB,sBAAsB,CACzB,CAAC;CACH;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,sEAAsE;IACtE,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,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;IAC/B;4DACwD;IACxD,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,iBAAiB,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5C"}

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

@@ -1 +1 @@
-{"version":3,"file":"task-verifier-types.js","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAoCxB,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"}
+{"version":3,"file":"task-verifier-types.js","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA4DxB,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/orchestrator/execution/task/task-verifier.d.ts

@@ -17,10 +17,11 @@
  */
 import type { Task, VerificationResult } from "../../../base/types/task.js";
 import type { AgentResult } from "../adapter-layer.js";
-export type { ExecutorReport, VerdictResult, FailureResult, CompletionJudgerConfig, VerifierDeps, } from "./task-verifier-types.js";
+export type { ExecutorReport, VerdictResult, FailureResult, VerdictHandlingContext, 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";
+import type { VerifierDeps, VerdictResult, FailureResult, VerdictHandlingContext } from "./task-verifier-types.js";
+export declare function applyVerdictHandlingContextGuards(verificationResult: VerificationResult, context: VerdictHandlingContext): VerificationResult;
 /**
  * Verify task execution results using 3-layer verification.
  *
@@ -39,10 +40,10 @@ export declare function verifyTask(deps: VerifierDeps, task: Task, executionResu
 /**
  * Handle a verification verdict (pass/partial/fail).
  */
-export declare function handleVerdict(deps: VerifierDeps, task: Task, verificationResult: VerificationResult): Promise<VerdictResult>;
+export declare function handleVerdict(deps: VerifierDeps, task: Task, verificationResult: VerificationResult, context?: VerdictHandlingContext): 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>;
+export declare function handleFailure(deps: VerifierDeps, task: Task, verificationResult: VerificationResult, context?: VerdictHandlingContext): Promise<FailureResult>;
 //# sourceMappingURL=task-verifier.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"task-verifier.d.ts","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAwB,MAAM,6BAA6B,CAAC;AAClG,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;AA8I3F;;;;;;;;;;;;;GAaG;AACH,wBAAsB,UAAU,CAC9B,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,eAAe,EAAE,WAAW,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CAsQ7B;AAID;;GAEG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,kBAAkB,EAAE,kBAAkB,GACrC,OAAO,CAAC,aAAa,CAAC,CA+LxB;AAID;;;GAGG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,kBAAkB,EAAE,kBAAkB,GACrC,OAAO,CAAC,aAAa,CAAC,CAsGxB"}
+{"version":3,"file":"task-verifier.d.ts","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAwB,MAAM,6BAA6B,CAAC;AAClG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAMvD,YAAY,EACV,cAAc,EACd,aAAa,EACb,aAAa,EACb,sBAAsB,EACtB,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,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAyInH,wBAAgB,iCAAiC,CAC/C,kBAAkB,EAAE,kBAAkB,EACtC,OAAO,EAAE,sBAAsB,GAC9B,kBAAkB,CAmBpB;AA2ID;;;;;;;;;;;;;GAaG;AACH,wBAAsB,UAAU,CAC9B,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,eAAe,EAAE,WAAW,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CA8R7B;AAID;;GAEG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,kBAAkB,EAAE,kBAAkB,EACtC,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,aAAa,CAAC,CAiNxB;AAID;;;GAGG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,IAAI,EACV,kBAAkB,EAAE,kBAAkB,EACtC,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,aAAa,CAAC,CAkKxB"}

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

@@ -25,6 +25,7 @@ import { runMechanicalVerification, clampDimensionUpdate, checkDimensionDirectio
 import { runLLMReview } from "./task-verifier-llm.js";
 import { appendTaskOutcomeEvent } from "./task-outcome-ledger.js";
 import { resolveTaskWorkspacePath } from "./task-workspace.js";
+import { verifyTaskArtifactContract } from "./task-artifact-contract.js";
 function formatSelfReportEvidence(executorReport) {
     const segments = [
         executorReport.summary.trim(),
@@ -41,6 +42,112 @@ function formatSelfReportEvidence(executorReport) {
     ].filter((segment) => segment.length > 0);
     return segments.join("\n");
 }
+function statusAfterIncompleteVerification(task) {
+    if (task.status === "timed_out" || task.status === "cancelled" || task.status === "blocked")
+        return task.status;
+    return "error";
+}
+function getDimensionThresholdType(dim) {
+    return dim && typeof dim.threshold === "object" && dim.threshold !== null
+        ? dim.threshold.type
+        : undefined;
+}
+function applyThresholdProgressDelta(prevVal, scaledDelta, thresholdType) {
+    const directionalDelta = thresholdType === "max" ? -scaledDelta : scaledDelta;
+    return prevVal !== null ? prevVal + directionalDelta : directionalDelta;
+}
+function isDimensionUpdateDirectionAllowed(input) {
+    const thresholdType = getDimensionThresholdType(input.dim);
+    if (thresholdType === "min" && input.newValue < input.previousValue) {
+        input.logger?.warn?.(`[handleVerdict] Skipping dimension update for ${String(input.dim.name)}: update moves away from min threshold`);
+        return false;
+    }
+    if (thresholdType === "max" && input.newValue > input.previousValue) {
+        input.logger?.warn?.(`[handleVerdict] Skipping dimension update for ${String(input.dim.name)}: update moves away from max threshold`);
+        return false;
+    }
+    return checkDimensionDirection(input.intendedDirection, input.previousValue, input.newValue, input.logger, String(input.dim.name));
+}
+function isolatedWorkspaceHandoff(context) {
+    const workspace = context.agentLoopWorkspace;
+    if (workspace?.isolatedWorkspace === true &&
+        workspace.workspaceDisposition === "handoff_required") {
+        return workspace;
+    }
+    return null;
+}
+function discardedDirtyIsolatedWorkspace(context) {
+    const workspace = context.agentLoopWorkspace;
+    if (workspace?.isolatedWorkspace === true &&
+        workspace.workspaceDirty === true &&
+        workspace.workspaceDisposition === "discarded") {
+        return workspace;
+    }
+    return null;
+}
+function shouldCollectDiffsFromRequestedWorkspace(executionResult) {
+    if (executionResult.agentLoop?.isolatedWorkspace !== true)
+        return true;
+    if (executionResult.agentLoop.workspaceDirty !== true)
+        return true;
+    return executionResult.agentLoop.workspaceDisposition !== "handoff_required" &&
+        executionResult.agentLoop.workspaceDisposition !== "discarded";
+}
+function formatIsolatedWorkspaceHandoffReason(workspace) {
+    const executionCwd = workspace.executionCwd ?? "unknown isolated worktree";
+    const requestedCwd = workspace.requestedCwd ?? "unknown requested workspace";
+    return [
+        `dirty isolated worktree retained at ${executionCwd}`,
+        `requested workspace ${requestedCwd} was not reverted or discarded`,
+        "operator review is required before completion",
+    ].join("; ");
+}
+function formatDiscardedDirtyIsolatedWorkspaceReason(workspace) {
+    const executionCwd = workspace.executionCwd ?? "unknown isolated worktree";
+    const requestedCwd = workspace.requestedCwd ?? "unknown requested workspace";
+    return [
+        `dirty isolated worktree changes were discarded from ${executionCwd}`,
+        `requested workspace ${requestedCwd} was not reverted or discarded`,
+        "task must be retried from the requested workspace",
+    ].join("; ");
+}
+export function applyVerdictHandlingContextGuards(verificationResult, context) {
+    const workspace = isolatedWorkspaceHandoff(context) ?? discardedDirtyIsolatedWorkspace(context);
+    if (!workspace)
+        return verificationResult;
+    const reason = workspace.workspaceDisposition === "discarded"
+        ? formatDiscardedDirtyIsolatedWorkspaceReason(workspace)
+        : formatIsolatedWorkspaceHandoffReason(workspace);
+    return {
+        ...verificationResult,
+        verdict: "fail",
+        confidence: Math.max(verificationResult.confidence ?? 0, 0.95),
+        evidence: [
+            {
+                layer: "mechanical",
+                description: reason,
+                confidence: 0.95,
+            },
+            ...(verificationResult.evidence ?? []),
+        ],
+    };
+}
+function mergeMechanicalAndArtifactVerification(mechanical, artifact) {
+    if (!artifact.applicable)
+        return mechanical;
+    if (!mechanical.applicable) {
+        return {
+            applicable: true,
+            passed: artifact.passed,
+            description: artifact.description,
+        };
+    }
+    return {
+        applicable: true,
+        passed: mechanical.passed && artifact.passed,
+        description: `${mechanical.description}; ${artifact.description}`,
+    };
+}
 function quoteShellArg(value) {
     return `'${value.replace(/'/g, `'\\''`)}'`;
 }
@@ -48,16 +155,20 @@ async function collectVerificationDiffs(deps, task, executionResult) {
     if (executionResult.fileDiffs && executionResult.fileDiffs.length > 0) {
         return executionResult.fileDiffs;
     }
+    if (!shouldCollectDiffsFromRequestedWorkspace(executionResult))
+        return [];
     if (!deps.toolExecutor)
         return [];
     const cwd = executionResult.agentLoop?.requestedCwd ??
         executionResult.agentLoop?.executionCwd ??
-        await resolveTaskWorkspacePath({ stateManager: deps.stateManager, task }) ??
+        await resolveTaskWorkspacePath({ stateManager: deps.stateManager, task, fallbackCwd: deps.revertCwd }) ??
         process.cwd();
     const changedPaths = [
         ...(executionResult.filesChangedPaths ?? []),
         ...(executionResult.agentLoop?.filesChangedPaths ?? []),
     ].filter((path, index, all) => path.length > 0 && all.indexOf(path) === index);
+    const hasExplicitExecutionDiffPaths = executionResult.filesChangedPaths !== undefined ||
+        executionResult.agentLoop?.filesChangedPaths !== undefined;
     const toolContext = {
         cwd,
         goalId: task.goal_id,
@@ -102,6 +213,9 @@ async function collectVerificationDiffs(deps, task, executionResult) {
         const diffs = await Promise.all(changedPaths.slice(0, 5).map((path) => collectForPath(path)));
         return diffs.filter((diff) => diff !== null);
     }
+    if (hasExplicitExecutionDiffPaths) {
+        return [];
+    }
     try {
         const result = await deps.toolExecutor.execute("git_diff", { target: "unstaged", maxLines: 240 }, toolContext);
         if (!result.success || typeof result.data !== "string" || !result.data.trim())
@@ -139,6 +253,16 @@ async function collectVerificationDiffs(deps, task, executionResult) {
  * - L1 SKIP → use L2 only (lower confidence)
  */
 export async function verifyTask(deps, task, executionResult) {
+    let goalForArtifactContract = null;
+    try {
+        goalForArtifactContract = await deps.stateManager.loadGoal(task.goal_id);
+    }
+    catch {
+        goalForArtifactContract = null;
+    }
+    const artifactResult = await verifyTaskArtifactContract(task, executionResult.agentLoop?.executionCwd
+        ?? executionResult.agentLoop?.requestedCwd
+        ?? await resolveTaskWorkspacePath({ stateManager: deps.stateManager, task, fallbackCwd: deps.revertCwd }), { goal: goalForArtifactContract });
     // ─── Short-circuit: GitHub issue URL evidence ───
     // When execution succeeded and output contains a GitHub issue URL,
     // treat as mechanical pass without running full L1/L2 verification.
@@ -146,7 +270,8 @@ export async function verifyTask(deps, task, executionResult) {
     const githubIssueUrlPattern = /github\.com\/.+\/issues\/\d+/;
     if (executionResult.success === true &&
         executionResult.output &&
-        githubIssueUrlPattern.test(executionResult.output)) {
+        githubIssueUrlPattern.test(executionResult.output) &&
+        (!artifactResult.applicable || artifactResult.passed)) {
         const scResult = VerificationResultSchema.parse({
             task_id: task.id,
             verdict: "pass",
@@ -157,6 +282,13 @@ export async function verifyTask(deps, task, executionResult) {
                     description: "GitHub issue URL found in execution output — mechanical evidence of successful issue creation",
                     confidence: 0.95,
                 },
+                ...(artifactResult.applicable
+                    ? [{
+                            layer: "mechanical",
+                            description: artifactResult.description,
+                            confidence: 0.9,
+                        }]
+                    : []),
             ],
             dimension_updates: [],
             timestamp: new Date().toISOString(),
@@ -165,6 +297,7 @@ export async function verifyTask(deps, task, executionResult) {
     }
     // ─── Layer 1: Mechanical verification ───
     const l1Result = await runMechanicalVerification(deps, task);
+    const effectiveL1Result = mergeMechanicalAndArtifactVerification(l1Result, artifactResult);
     // ─── Build optional enrichment blocks for LLM review ───
     let knowledgeBlock = "";
     if (deps.knowledgeManager?.getRelevantKnowledge) {
@@ -200,17 +333,17 @@ export async function verifyTask(deps, task, executionResult) {
     let verdict;
     let confidence;
     let l2Retry;
-    if (l1Result.applicable) {
-        if (l1Result.passed && l2Result.passed) {
+    if (effectiveL1Result.applicable) {
+        if (effectiveL1Result.passed && l2Result.passed) {
             verdict = "pass";
             confidence = 0.9;
         }
-        else if (l1Result.passed && l2Result.partial) {
+        else if (effectiveL1Result.passed && l2Result.partial) {
             // L1 pass + L2 partial → partial
             verdict = "partial";
             confidence = 0.7;
         }
-        else if (l1Result.passed && !l2Result.passed && !l2Result.partial) {
+        else if (effectiveL1Result.passed && !l2Result.passed && !l2Result.partial) {
             // L1 pass + L2 fail → re-review
             l2Retry = await runLLMReview(deps, task, executionResult, knowledgeBlock, stateBlock, 'main');
             if (l2Retry.passed) {
@@ -226,7 +359,7 @@ export async function verifyTask(deps, task, executionResult) {
                 confidence = 0.8;
             }
         }
-        else if (!l1Result.passed && l2Result.passed) {
+        else if (!effectiveL1Result.passed && l2Result.passed) {
             // Mechanical verification takes priority
             verdict = "fail";
             confidence = 0.85;
@@ -253,18 +386,18 @@ export async function verifyTask(deps, task, executionResult) {
         }
     }
     // Handle partial from L2 when L1 is applicable but didn't fail
-    if (l1Result.applicable && l2Result.partial && verdict !== "fail") {
+    if (effectiveL1Result.applicable && l2Result.partial && verdict !== "fail") {
         verdict = "partial";
     }
     // Use retry result for evidence when a retry occurred, to keep audit trail accurate
     const effectiveL2 = l2Retry ?? l2Result;
     const now = new Date().toISOString();
     const evidence = [
-        ...(l1Result.applicable
+        ...(effectiveL1Result.applicable
             ? [
                 {
                     layer: "mechanical",
-                    description: l1Result.description,
+                    description: effectiveL1Result.description,
                     confidence: 0.9,
                 },
             ]
@@ -320,7 +453,8 @@ export async function verifyTask(deps, task, executionResult) {
                     scaledDelta = progressDelta * (threshold.high - threshold.low);
                 }
             }
-            const newVal = prevVal !== null ? prevVal + scaledDelta : scaledDelta;
+            const thresholdType = threshold?.type;
+            const newVal = applyThresholdProgressDelta(prevVal, scaledDelta, thresholdType);
             return {
                 dimension_name: dimName,
                 previous_value: prevVal,
@@ -374,7 +508,7 @@ export async function verifyTask(deps, task, executionResult) {
 /**
  * Handle a verification verdict (pass/partial/fail).
  */
-export async function handleVerdict(deps, task, verificationResult) {
+export async function handleVerdict(deps, task, verificationResult, context = {}) {
     // P0: Progress-verdict contradiction check (§4.1)
     if (verificationResult.verdict === "pass" && verificationResult.dimension_updates?.length > 0) {
         const goalRawForGuard = await deps.stateManager.readRaw(`goals/${task.goal_id}/goal.json`);
@@ -405,6 +539,9 @@ export async function handleVerdict(deps, task, verificationResult) {
             verificationResult = { ...verificationResult, verdict: "partial" };
         }
     }
+    if (context.verificationGuardsApplied !== true) {
+        verificationResult = applyVerdictHandlingContextGuards(verificationResult, context);
+    }
     // Save failure context for fail/partial verdicts (§4.7)
     if (verificationResult.verdict === "fail" || verificationResult.verdict === "partial") {
         const firstEvidence = verificationResult.evidence?.[0];
@@ -466,7 +603,13 @@ export async function handleVerdict(deps, task, verificationResult) {
                         const update = verificationResult.dimension_updates.find((u) => u.dimension_name === dim.name);
                         if (update !== undefined && typeof update.new_value === "number") {
                             const prev = typeof dim.current_value === "number" ? dim.current_value : 0;
-                            if (!checkDimensionDirection(task.intended_direction, prev, update.new_value, deps.logger, String(dim.name))) {
+                            if (!isDimensionUpdateDirectionAllowed({
+                                intendedDirection: task.intended_direction,
+                                dim,
+                                previousValue: prev,
+                                newValue: update.new_value,
+                                logger: deps.logger,
+                            })) {
                                 continue;
                             }
                             dim.current_value = clampDimensionUpdate(prev, update.new_value, deps.logger, String(dim.name));
@@ -505,7 +648,13 @@ export async function handleVerdict(deps, task, verificationResult) {
                             const update = verificationResult.dimension_updates.find((u) => u.dimension_name === dim.name);
                             if (update !== undefined && typeof update.new_value === "number") {
                                 const prev = typeof dim.current_value === "number" ? dim.current_value : 0;
-                                if (!checkDimensionDirection(task.intended_direction, prev, update.new_value, deps.logger, String(dim.name))) {
+                                if (!isDimensionUpdateDirectionAllowed({
+                                    intendedDirection: task.intended_direction,
+                                    dim,
+                                    previousValue: prev,
+                                    newValue: update.new_value,
+                                    logger: deps.logger,
+                                })) {
                                     continue;
                                 }
                                 dim.current_value = clampDimensionUpdate(prev, update.new_value, deps.logger, String(dim.name));
@@ -518,6 +667,7 @@ export async function handleVerdict(deps, task, verificationResult) {
                 }
                 const partialTask = {
                     ...task,
+                    status: statusAfterIncompleteVerification(task),
                     verification_verdict: verificationResult.verdict,
                     verification_evidence: verificationResult.evidence?.map((e) => e.description ?? String(e)) ?? [],
                 };
@@ -530,13 +680,14 @@ export async function handleVerdict(deps, task, verificationResult) {
                     action: "keep",
                     verificationResult,
                     reason: "partial progress kept for follow-up work",
+                    stoppedReason: context.stoppedReason ?? undefined,
                 });
                 return { action: "keep", task: partialTask };
             }
-            return handleFailure(deps, task, verificationResult);
+            return handleFailure(deps, task, verificationResult, context);
         }
         case "fail": {
-            return handleFailure(deps, task, verificationResult);
+            return handleFailure(deps, task, verificationResult, context);
         }
     }
 }
@@ -545,9 +696,10 @@ export async function handleVerdict(deps, task, verificationResult) {
  * Handle a task failure: increment failure count, record failure,
  * decide keep/discard/escalate.
  */
-export async function handleFailure(deps, task, verificationResult) {
+export async function handleFailure(deps, task, verificationResult, context = {}) {
     const updatedTask = {
         ...task,
+        status: statusAfterIncompleteVerification(task),
         consecutive_failure_count: task.consecutive_failure_count + 1,
         verification_verdict: verificationResult.verdict,
         verification_evidence: verificationResult.evidence?.map((e) => e.description ?? String(e)) ?? [],
@@ -559,6 +711,7 @@ export async function handleFailure(deps, task, verificationResult) {
         type: "failed",
         attempt: updatedTask.consecutive_failure_count,
         verificationResult,
+        stoppedReason: context.stoppedReason ?? undefined,
     });
     if (updatedTask.consecutive_failure_count >= 3) {
         deps.stallDetector.checkConsecutiveFailures(task.goal_id, task.primary_dimension, updatedTask.consecutive_failure_count);
@@ -570,9 +723,40 @@ export async function handleFailure(deps, task, verificationResult) {
             action: "escalate",
             verificationResult,
             reason: "consecutive failure threshold reached",
+            stoppedReason: context.stoppedReason ?? undefined,
+        });
+        return { action: "escalate", task: updatedTask };
+    }
+    const handoffWorkspace = isolatedWorkspaceHandoff(context);
+    if (handoffWorkspace) {
+        const reason = formatIsolatedWorkspaceHandoffReason(handoffWorkspace);
+        await appendTaskHistory(deps, task.goal_id, updatedTask);
+        await appendTaskOutcomeEvent(deps.stateManager, {
+            task: updatedTask,
+            type: "abandoned",
+            attempt: updatedTask.consecutive_failure_count,
+            action: "escalate",
+            verificationResult,
+            reason,
+            stoppedReason: context.stoppedReason ?? undefined,
         });
         return { action: "escalate", task: updatedTask };
     }
+    const discardedWorkspace = discardedDirtyIsolatedWorkspace(context);
+    if (discardedWorkspace) {
+        const reason = formatDiscardedDirtyIsolatedWorkspaceReason(discardedWorkspace);
+        await appendTaskHistory(deps, task.goal_id, updatedTask);
+        await appendTaskOutcomeEvent(deps.stateManager, {
+            task: updatedTask,
+            type: "abandoned",
+            attempt: updatedTask.consecutive_failure_count,
+            action: "discard",
+            verificationResult,
+            reason,
+            stoppedReason: context.stoppedReason ?? undefined,
+        });
+        return { action: "discard", task: updatedTask };
+    }
     const directionCorrect = isDirectionCorrect(verificationResult);
     if (directionCorrect) {
         await appendTaskHistory(deps, task.goal_id, updatedTask);
@@ -583,20 +767,36 @@ export async function handleFailure(deps, task, verificationResult) {
             action: "keep",
             verificationResult,
             reason: "failure kept for retry because direction remained correct",
+            stoppedReason: context.stoppedReason ?? undefined,
         });
         return { action: "keep", task: updatedTask };
     }
     if (updatedTask.reversibility === "reversible") {
+        const fileDiffs = verificationResult.file_diffs ?? [];
         const concreteRevertPaths = [
-            ...new Set((verificationResult.file_diffs ?? [])
+            ...new Set(fileDiffs
+                .filter((diff) => diff.safe_to_revert !== false)
+                .map((diff) => diff.path)
+                .filter((filePath) => filePath.trim().length > 0)),
+        ];
+        const unsafeRevertPaths = [
+            ...new Set(fileDiffs
+                .filter((diff) => diff.safe_to_revert === false)
                 .map((diff) => diff.path)
                 .filter((filePath) => filePath.trim().length > 0)),
         ];
         const revertSuccess = await attemptRevert(deps, updatedTask, {
             concretePaths: concreteRevertPaths,
+            unsafePaths: unsafeRevertPaths,
+        });
+        deps.logger?.warn(`[task] revert attempted`, {
+            taskId: task.id,
+            success: revertSuccess.success,
+            reason: revertSuccess.reason,
+            concretePaths: revertSuccess.concretePaths,
+            unsafePaths: revertSuccess.unsafePaths,
         });
-        deps.logger?.warn(`[task] revert attempted`, { taskId: task.id, success: revertSuccess });
-        if (revertSuccess) {
+        if (revertSuccess.success) {
             await appendTaskHistory(deps, task.goal_id, updatedTask);
             await appendTaskOutcomeEvent(deps.stateManager, {
                 task: updatedTask,
@@ -604,7 +804,8 @@ export async function handleFailure(deps, task, verificationResult) {
                 attempt: updatedTask.consecutive_failure_count,
                 action: "discard",
                 verificationResult,
-                reason: "task discarded after successful revert",
+                reason: `task discarded after successful ${revertSuccess.method ?? "revert"} for ${revertSuccess.concretePaths.length} concrete paths`,
+                stoppedReason: context.stoppedReason ?? undefined,
             });
             return { action: "discard", task: updatedTask };
         }
@@ -617,7 +818,12 @@ export async function handleFailure(deps, task, verificationResult) {
             attempt: updatedTask.consecutive_failure_count,
             action: "escalate",
             verificationResult,
-            reason: "revert failed after wrong-direction result",
+            reason: (revertSuccess.unsafePaths?.length ?? 0) > 0
+                ? `revert could not safely discard all task changes because some share pre-existing dirty paths: ${revertSuccess.unsafePaths?.join(", ")}`
+                : revertSuccess.concretePaths.length === 0
+                    ? "revert skipped because no concrete changed paths were captured; task output requires operator review"
+                    : `revert failed after wrong-direction result: ${revertSuccess.reason}`,
+            stoppedReason: context.stoppedReason ?? undefined,
         });
         return { action: "escalate", task: updatedTask };
     }
@@ -629,6 +835,7 @@ export async function handleFailure(deps, task, verificationResult) {
         action: "escalate",
         verificationResult,
         reason: "task cannot be safely retried or reverted",
+        stoppedReason: context.stoppedReason ?? undefined,
     });
     return { action: "escalate", task: updatedTask };
 }