specrails-core 6.5.0 → 6.6.1

package/dist/agent-runtime/engine/implementation-compiler.d.ts

@@ -4,16 +4,26 @@ import type { NodeResult } from '../workflow-types.js';
 import { type AttemptFrame, type CoreDefinitionState, type ExecutionScope, type NodeExecutionPort, type PieceExecutionContext, type TerminalCommit } from './contracts.js';
 import type { ImplementationAdapter } from './pieces/implementation.js';
 declare function implementationSchema(): import("@langchain/langgraph").AnnotationRoot<{
+    plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
+    unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
+    architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
+    development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
+    verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+    review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
+    answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
+    deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
+    archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
+    verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     $scope: import("@langchain/langgraph").BaseChannel<ExecutionScope, ExecutionScope | import("@langchain/langgraph").OverwriteValue<ExecutionScope>, unknown>;
     $outer: import("@langchain/langgraph").BaseChannel<CoreDefinitionState, CoreDefinitionState | import("@langchain/langgraph").OverwriteValue<CoreDefinitionState>, unknown>;
-    $next: import("@langchain/langgraph").BaseChannel<CoreNodeId | null, CoreNodeId | import("@langchain/langgraph").OverwriteValue<CoreNodeId | null> | null, unknown>;
+    $next: import("@langchain/langgraph").BaseChannel<CoreNodeId | null, import("@langchain/langgraph").OverwriteValue<CoreNodeId | null> | CoreNodeId | null, unknown>;
     $nodeResult: import("@langchain/langgraph").BaseChannel<NodeResult<import("@langchain/langgraph").StateType<{
         plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
@@ -23,8 +33,8 @@ declare function implementationSchema(): import("@langchain/langgraph").Annotati
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
@@ -34,24 +44,14 @@ declare function implementationSchema(): import("@langchain/langgraph").Annotati
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
         verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     }>> | null> | null, unknown>;
     $commit: EphemeralValue<TerminalCommit>;
-    plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
-    unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
-    architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
-    development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-    verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-    review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
-    answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
-    deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
-    archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
-    verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
 }>;
 type ImplementationSchema = ReturnType<typeof implementationSchema>;
 export type ImplementationGraphState = ImplementationSchema['State'];
@@ -59,6 +59,16 @@ export declare function implementationInput(parent: CoreDefinitionState, frame:
 export declare function implementationContext(state: CoreDefinitionState, frame: AttemptFrame, signal: AbortSignal, execution: NodeExecutionPort): PieceExecutionContext;
 /** Six actual Core nodes use the parent's saver; every state update shares its terminal commit. */
 export declare function compileImplementationGraph(adapter: ImplementationAdapter, execution: NodeExecutionPort): import("@langchain/langgraph").CompiledStateGraph<{
+    plan: import("../../pipeline/pipeline-state.js").VerificationCommand[];
+    unverifiedRepositories: string[];
+    architecture: import("../graph/state.js").ArchitectureRecord | null;
+    development: import("../graph/state.js").DeveloperRecord | null;
+    verifyResult: import("../graph/state.js").VerificationRecord | null;
+    review: import("../graph/state.js").ReviewRecord | null;
+    answers: string[];
+    deepenPasses: number;
+    archived: import("../graph/state.js").ArchiveRecord | null;
+    verifyHistory: import("../graph/convergence.js").VerifyOutcome[];
     $scope: ExecutionScope;
     $outer: CoreDefinitionState;
     $next: CoreNodeId | null;
@@ -67,25 +77,25 @@ export declare function compileImplementationGraph(adapter: ImplementationAdapte
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
         verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     }>> | null;
     $commit: TerminalCommit;
-    plan: import("../../pipeline/pipeline-state.js").VerificationCommand[];
-    unverifiedRepositories: string[];
-    architecture: import("../graph/state.js").ArchitectureRecord | null;
-    development: import("../graph/state.js").DeveloperRecord | null;
-    verifyResult: import("../graph/state.js").VerificationRecord | null;
-    review: import("../graph/state.js").ReviewRecord | null;
-    answers: string[];
-    deepenPasses: number;
-    archived: import("../graph/state.js").ArchiveRecord | null;
-    verifyHistory: import("../graph/convergence.js").VerifyOutcome[];
 }, {
+    plan?: import("../../pipeline/pipeline-state.js").VerificationCommand[] | undefined;
+    unverifiedRepositories?: string[] | undefined;
+    architecture?: import("../graph/state.js").ArchitectureRecord | null | undefined;
+    development?: import("../graph/state.js").DeveloperRecord | null | undefined;
+    verifyResult?: import("../graph/state.js").VerificationRecord | null | undefined;
+    review?: import("../graph/state.js").ReviewRecord | null | undefined;
+    answers?: string[] | undefined;
+    deepenPasses?: number | undefined;
+    archived?: import("../graph/state.js").ArchiveRecord | null | undefined;
+    verifyHistory?: import("../graph/convergence.js").VerifyOutcome[] | undefined;
     $scope?: ExecutionScope | undefined;
     $outer?: CoreDefinitionState | undefined;
     $next?: CoreNodeId | null | undefined;
@@ -94,35 +104,35 @@ export declare function compileImplementationGraph(adapter: ImplementationAdapte
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
         verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     }>> | null | undefined;
     $commit?: TerminalCommit | undefined;
-    plan?: import("../../pipeline/pipeline-state.js").VerificationCommand[] | undefined;
-    unverifiedRepositories?: string[] | undefined;
-    architecture?: import("../graph/state.js").ArchitectureRecord | null | undefined;
-    development?: import("../graph/state.js").DeveloperRecord | null | undefined;
-    verifyResult?: import("../graph/state.js").VerificationRecord | null | undefined;
-    review?: import("../graph/state.js").ReviewRecord | null | undefined;
-    answers?: string[] | undefined;
-    deepenPasses?: number | undefined;
-    archived?: import("../graph/state.js").ArchiveRecord | null | undefined;
-    verifyHistory?: import("../graph/convergence.js").VerifyOutcome[] | undefined;
 }, string, {
+    plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
+    unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
+    architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
+    development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
+    verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+    review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
+    answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
+    deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
+    archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
+    verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     $scope: import("@langchain/langgraph").BaseChannel<ExecutionScope, ExecutionScope | import("@langchain/langgraph").OverwriteValue<ExecutionScope>, unknown>;
     $outer: import("@langchain/langgraph").BaseChannel<CoreDefinitionState, CoreDefinitionState | import("@langchain/langgraph").OverwriteValue<CoreDefinitionState>, unknown>;
-    $next: import("@langchain/langgraph").BaseChannel<CoreNodeId | null, CoreNodeId | import("@langchain/langgraph").OverwriteValue<CoreNodeId | null> | null, unknown>;
+    $next: import("@langchain/langgraph").BaseChannel<CoreNodeId | null, import("@langchain/langgraph").OverwriteValue<CoreNodeId | null> | CoreNodeId | null, unknown>;
     $nodeResult: import("@langchain/langgraph").BaseChannel<NodeResult<import("@langchain/langgraph").StateType<{
         plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
@@ -132,8 +142,8 @@ export declare function compileImplementationGraph(adapter: ImplementationAdapte
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
@@ -143,35 +153,35 @@ export declare function compileImplementationGraph(adapter: ImplementationAdapte
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
         verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     }>> | null> | null, unknown>;
     $commit: EphemeralValue<TerminalCommit>;
+}, {
     plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
     unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
     architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
     development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-    verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-    review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+    verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+    review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
     answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
     deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
     archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
     verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
-}, {
     $scope: import("@langchain/langgraph").BaseChannel<ExecutionScope, ExecutionScope | import("@langchain/langgraph").OverwriteValue<ExecutionScope>, unknown>;
     $outer: import("@langchain/langgraph").BaseChannel<CoreDefinitionState, CoreDefinitionState | import("@langchain/langgraph").OverwriteValue<CoreDefinitionState>, unknown>;
-    $next: import("@langchain/langgraph").BaseChannel<CoreNodeId | null, CoreNodeId | import("@langchain/langgraph").OverwriteValue<CoreNodeId | null> | null, unknown>;
+    $next: import("@langchain/langgraph").BaseChannel<CoreNodeId | null, import("@langchain/langgraph").OverwriteValue<CoreNodeId | null> | CoreNodeId | null, unknown>;
     $nodeResult: import("@langchain/langgraph").BaseChannel<NodeResult<import("@langchain/langgraph").StateType<{
         plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
@@ -181,8 +191,8 @@ export declare function compileImplementationGraph(adapter: ImplementationAdapte
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
@@ -192,23 +202,13 @@ export declare function compileImplementationGraph(adapter: ImplementationAdapte
         unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
         development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
+        verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | import("../graph/state.js").VerificationRecord | null, unknown>;
+        review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | import("../graph/state.js").ReviewRecord | null, unknown>;
         answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
         deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
         archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
         verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
     }>> | null> | null, unknown>;
     $commit: EphemeralValue<TerminalCommit>;
-    plan: import("@langchain/langgraph").BaseChannel<import("../../pipeline/pipeline-state.js").VerificationCommand[], import("../../pipeline/pipeline-state.js").VerificationCommand[] | import("@langchain/langgraph").OverwriteValue<import("../../pipeline/pipeline-state.js").VerificationCommand[]>, unknown>;
-    unverifiedRepositories: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
-    architecture: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchitectureRecord | null, import("../graph/state.js").ArchitectureRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchitectureRecord | null> | null, unknown>;
-    development: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").DeveloperRecord | null, import("../graph/state.js").DeveloperRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").DeveloperRecord | null> | null, unknown>;
-    verifyResult: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").VerificationRecord | null, import("../graph/state.js").VerificationRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").VerificationRecord | null> | null, unknown>;
-    review: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ReviewRecord | null, import("../graph/state.js").ReviewRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ReviewRecord | null> | null, unknown>;
-    answers: import("@langchain/langgraph").BaseChannel<string[], string[] | import("@langchain/langgraph").OverwriteValue<string[]>, unknown>;
-    deepenPasses: import("@langchain/langgraph").BaseChannel<number, number | import("@langchain/langgraph").OverwriteValue<number>, unknown>;
-    archived: import("@langchain/langgraph").BaseChannel<import("../graph/state.js").ArchiveRecord | null, import("../graph/state.js").ArchiveRecord | import("@langchain/langgraph").OverwriteValue<import("../graph/state.js").ArchiveRecord | null> | null, unknown>;
-    verifyHistory: import("@langchain/langgraph").BaseChannel<import("../graph/convergence.js").VerifyOutcome[], import("../graph/convergence.js").VerifyOutcome[] | import("@langchain/langgraph").OverwriteValue<import("../graph/convergence.js").VerifyOutcome[]>, unknown>;
 }, import("@langchain/langgraph").StateDefinition, unknown, unknown, unknown, []>;
 export {};

package/dist/agent-runtime/engine/piece-dependencies.js

@@ -1,6 +1,6 @@
 import { existsSync, mkdirSync } from 'node:fs';
 import path from 'node:path';
-import { fingerprintCandidate, persistCheckEvidence, readCandidateScope, pipelineStateDirectory } from '../../pipeline/pipeline-state.js';
+import { candidateChangedReceipt, candidateManifest, candidateManifestHash, fingerprintCandidate, persistCheckEvidence, readCandidateScope, pipelineStateDirectory } from '../../pipeline/pipeline-state.js';
 import { resolveRoleDescriptor } from '../config.js';
 import { prepareOpenSpec, roleOpenSpecContext } from '../openspec.js';
 import { contentDigest } from './canonical-json.js';
@@ -215,11 +215,11 @@ export class RunPieceDependencies {
         }));
     }
     verification(context) {
-        const candidateHash = this.fingerprint(), scope = this.candidateScope();
+        const scope = this.candidateScope(), manifest = candidateManifest(scope), candidateHash = candidateManifestHash(manifest);
         const row = this.ledger.db.sqlite.prepare("SELECT receipt_json FROM receipts WHERE run_id=? AND valid=1 AND candidate_hash=? ORDER BY created_at DESC LIMIT 1").get(this.ledger.runId, candidateHash);
         const previous = row ? JSON.parse(String(row.receipt_json)).evidence : undefined;
         return {
-            candidateHash, scopeHash: scope.scopeHash, ...(previous ? { previous } : {}),
+            candidateHash, candidateManifest: manifest, currentManifest: () => candidateManifest(this.candidateScope()), scopeHash: scope.scopeHash, ...(previous ? { previous } : {}),
             isCurrent: () => { this.ledger.lease.assert(this.ledger.token); return this.fingerprint() === candidateHash; },
             persistCheck: (result, planHash, candidate) => {
                 this.ledger.lease.assert(this.ledger.token);
@@ -231,7 +231,7 @@ export class RunPieceDependencies {
             },
             commitReceipt: receipt => {
                 this.ledger.lease.assert(this.ledger.token);
-                const result = this.fingerprint() === candidateHash ? receipt : { ...receipt, valid: false, reason: 'Candidate changed during verification' };
+                const result = this.fingerprint() === candidateHash ? receipt : candidateChangedReceipt(receipt, manifest, () => candidateManifest(this.candidateScope()));
                 this.ledger.writePieceState(context.frame, 'evidence:receipt:' + receipt.id, json(result));
                 return result;
             },

package/dist/agent-runtime/engine/pieces/implementation-step.d.ts

@@ -1,5 +1,5 @@
 import { type Piece } from '../contracts.js';
 import type { PieceDependencyProvider } from './ports.js';
 /** Outcomes are facts, not destinations. Only the host definition chooses the next node. */
-export declare const IMPLEMENTATION_STEP_OUTCOMES: readonly ["next", "incomplete", "rejected", "replan", "reverify", "rereview", "failed"];
+export declare const IMPLEMENTATION_STEP_OUTCOMES: readonly ['next', 'incomplete', 'rejected', 'replan', 'reverify', 'rereview', 'failed'];
 export declare function implementationStepPiece(bindings: PieceDependencyProvider): Piece;

package/dist/agent-runtime/engine/pieces/role-turn.js

@@ -58,7 +58,8 @@ export async function executeRoleTurn(deps, params, context, options = {}) {
         ? saved.notes.value.text.slice(0, 4000) : '';
     const task = text(params.prompt) + environment + (priorNote ? '\n\n## Prior project review note\nTreat this bounded note as prior evidence to check against the current task; frozen requirements remain authoritative.\n' + JSON.stringify(priorNote) : '');
     const verification = descriptor.access === 'write' ? hostVerificationPlan(deps, context, params) : undefined;
-    const full = roleInstructions(descriptor, deps.context, openspec?.[roleId]?.change, { definition: descriptor.prompt, verification }) + '\n## Current workflow task\n' + task;
+    const adopted = adoptedVerificationOutputs(context.state.$outputs);
+    const full = roleInstructions(descriptor, deps.context, openspec?.[roleId]?.change, { definition: descriptor.prompt, verification, ...(adopted.length ? { adoptedOutputs: adopted } : {}) }) + '\n## Current workflow task\n' + task;
     const result = await invoke(roleId, deps.stepContext(context), { prompt: previous ? task : full, ...(previous ? { resumeSessionId: previous, fallbackPrompt: full } : {}),
         structured: schema !== undefined, lenient: options.normalizeStructuredOutput !== undefined, outputSchema: schema, timeoutMs: params.timeoutMs, idleTimeoutMs: params.idleTimeoutMs }, (output, responseText) => {
         const normalized = options.normalizeStructuredOutput ? options.normalizeStructuredOutput(output, responseText) : output;
@@ -97,6 +98,14 @@ export async function executeRoleTurn(deps, params, context, options = {}) {
     return { outcome: 'next', output: { candidateHash: deps.executionSnapshot(context).candidate?.hash ?? null, text: boundedText(result.text), ...(result.value ? { structured: json(result.value) } : {}) },
         history: [historyEntry(context, result.text)], ...(params.sessionContinuity !== 'none' && session ? { session: { sessionId: session.sessionId, identity: session.identity } } : {}) };
 }
+/** Files any committed `verify` output reports as host-adopted verification output (sticky for the run), so no role is told to revert them. */
+function adoptedVerificationOutputs(outputs) {
+    return Object.values(outputs).flatMap(output => {
+        const listed = output && typeof output === 'object' && !Array.isArray(output) ? output.adoptedOutputs : undefined;
+        return Array.isArray(listed) ? listed.flatMap(item => item && typeof item === 'object' && !Array.isArray(item) && typeof item.path === 'string'
+            ? [{ ...(typeof item.repositoryId === 'string' ? { repositoryId: item.repositoryId } : {}), path: item.path }] : []) : [];
+    });
+}
 const REPAIRABLE_BLOCKERS = new Set(['toolchain', 'setup', 'environment']);
 /** The text of a structured `blocker` the host may be able to install away; undefined for other kinds (credentials, network, scope). */
 function repairableBlocker(value) {

package/dist/agent-runtime/engine/pieces/shared.d.ts

@@ -14,14 +14,14 @@ export declare const positiveInteger: {
 };
 export declare const invocationTimers: {
     timeoutMs: {
-        minimum: number;
         type: string;
         maximum: number;
+        minimum: number;
     };
     idleTimeoutMs: {
-        minimum: number;
         type: string;
         maximum: number;
+        minimum: number;
     };
 };
 export declare const variableNameSchema: {

package/dist/agent-runtime/engine/pieces/verify.js

@@ -2,13 +2,13 @@ import { admitVerificationProposals } from '../../verification-proposals.js';
 import { stripVTControlCharacters } from 'node:util';
 import { contentDigest } from '../canonical-json.js';
 import { advisoryMemory } from './project-memory.js';
-import { executeVerification, validateVerificationRequest } from '../../../pipeline/pipeline-state.js';
+import { describeModifiedFiles, executeVerification, validateVerificationRequest } from '../../../pipeline/pipeline-state.js';
 import { withScopeDefault } from '../../change-scope.js';
 import { verificationDiagnosticPriority, verificationFailureSummary } from '../../verification-diagnostics.js';
 import { boundedText, json, paramsSchema, positiveInteger } from './shared.js';
-import { isEnvironmentFailure } from '../../compact/environment.js';
+import { describeDrift } from '../../compact/environment.js';
 import { guardrailEnabled } from '../../guardrails.js';
-import { checkoutRelative, preconditionBlock, repairEnvironment } from '../../verification-repair.js';
+import { NONDETERMINISTIC_OUTPUT_CODE, adoptedOutputNote, checkoutRelative, environmentFailure, nondeterministicOutputBlocker, preconditionBlock, repairEnvironment, selfMutationOnly } from '../../verification-repair.js';
 /** Keep real subprocess diagnostics in committed outputs for subsequent agents.
  * The full command evidence remains in the receipt; prioritize failed checks
  * when the output budget is exhausted. */
@@ -169,10 +169,16 @@ export function verifyPiece(bindings) {
             // fresh worktree has no node_modules whatever wrote the code. Install
             // once where the failing command runs and verify again; only the second
             // receipt becomes feedback.
+            // Installed versions outside their declared ranges (a stale warm-linked
+            // tree) count as environmental whatever the failing output says.
             let environmentRepair;
-            if (!blocker && !receipt.valid && guardrailEnabled(deps.config.guardrails, 'environment-repair') && receipt.commands.some(command => isEnvironmentFailure(command.exitCode, command.output))) {
+            const environment = !blocker && !receipt.valid && guardrailEnabled(deps.config.guardrails, 'environment-repair') ? environmentFailure(deps.context, receipt) : undefined;
+            if (environment) {
+                const drift = environment.drift.flatMap(item => item.drift.map(entry => ({ root: checkoutRelative(deps.context, item.root), ...entry }))).slice(0, 20);
+                if (drift.length)
+                    progress(`[environment] Installed dependencies do not satisfy their declared ranges (${describeDrift(drift)}); the host reinstalls them before judging the failure.`);
                 const repair = repairEnvironment(deps.context, receipt, deps.config.guardrails, progress);
-                environmentRepair = { attempted: true, reverified: false, installs: repair.installs.map(install => ({ command: install.command, args: install.args, root: checkoutRelative(deps.context, install.root), ok: install.ok, detail: boundedText(install.detail, 1_000) })) };
+                environmentRepair = { attempted: true, reverified: false, installs: repair.installs.map(install => ({ command: install.command, args: install.args, root: checkoutRelative(deps.context, install.root), ok: install.ok, detail: boundedText(install.detail, 1_000) })), ...(drift.length ? { drift } : {}) };
                 if (repair.refused)
                     blocker = repair.refused;
                 else if (repair.installs.some(install => install.ok)) {
@@ -182,6 +188,29 @@ export function verifyPiece(bindings) {
                     blocker = receipt.valid ? undefined : preconditionBlock(deps.context, receipt);
                 }
             }
+            // Verification that rewrote candidate files itself (a lint pre-step
+            // regenerating a tracked mapping) is not a code failure: reverting the
+            // file only makes the next run regenerate it. Keep it in the candidate
+            // and verify once more; output that changes again is the repository's
+            // or operator's to fix, never a correction round.
+            let adopted, nondeterministic;
+            if (!blocker && selfMutationOnly(receipt) && !context.signal.aborted && (verificationDeadline(deps, context) ?? Infinity) > Date.now()) {
+                const first = receipt.selfMutation;
+                if (!guardrailEnabled(deps.config.guardrails, 'verification-output-adoption'))
+                    nondeterministic = nondeterministicOutputBlocker(deps.context, receipt, false);
+                else {
+                    progress(`[verification] Verification commands modified ${describeModifiedFiles(first)}; keeping them in the candidate and verifying once more.`);
+                    receipt = await run(request, concurrency);
+                    if (receipt.valid) {
+                        adopted = first.files;
+                        progress(adoptedOutputNote(first));
+                    }
+                    else if (selfMutationOnly(receipt))
+                        nondeterministic = nondeterministicOutputBlocker(deps.context, receipt, true);
+                    else
+                        blocker = preconditionBlock(deps.context, receipt);
+                }
+            }
             await advisoryMemory(context, () => deps.memory(context).put(['verification', 'known-commands'], memoryKey, {
                 ...identity, observations: Math.min(1_000_000, typeof known?.value.observations === 'number' ? known.value.observations + 1 : 1),
                 lastAttemptId: context.frame.attemptId, lastReceiptId: receipt.id, lastValid: receipt.valid,
@@ -193,12 +222,18 @@ export function verifyPiece(bindings) {
             const fingerprint = contentDigest(json({ candidateHash: identity.candidateHash,
                 failures: receipt.commands.filter(command => command.exitCode !== 0).map(command => ({ repositoryId: command.repositoryId, command: command.command, args: command.args, cwd: command.cwd, exitCode: command.exitCode })) }));
             const previous = context.state.$vars[progressKey];
+            // Adopted output stays adopted for the rest of the run: a later pass that no longer mutates must not invite its revert.
+            const adoptedOutputs = [...new Map([...(Array.isArray(previous?.adopted) ? previous.adopted : []), ...(adopted ?? [])].map(file => [file.repositoryId + '\0' + file.path, file])).values()].slice(0, 200);
             const count = receipt.valid ? 0 : previous?.fingerprint === fingerprint ? (previous.count ?? 0) + 1 : 1;
             const stalled = !infrastructure && !receipt.valid && count >= 3;
             const verified = receipt.valid && receipt.commands.length > 0 && !receipt.unverifiedRepositories?.length;
-            const output = { receiptId: receipt.id, valid: receipt.valid, candidateHash: identity.candidateHash, noProgressCount: count, ...(receipt.reason ? { reason: receipt.reason } : {}), ...(stalled ? { reason: 'Verification failed three times without candidate changes' } : {}),
-                ...(setup ? { setup } : {}), ...(environmentRepair ? { environmentRepair } : {}), ...verificationDiagnostics(receipt) };
-            const vars = { [progressKey]: { fingerprint, count } };
+            const output = { receiptId: receipt.id, valid: receipt.valid, candidateHash: adopted ? receipt.candidateHash : identity.candidateHash, noProgressCount: count, ...(receipt.reason ? { reason: receipt.reason } : {}), ...(stalled ? { reason: 'Verification failed three times without candidate changes' } : {}),
+                ...(setup ? { setup } : {}), ...(environmentRepair ? { environmentRepair } : {}), ...(receipt.selfMutation ? { selfMutation: json(receipt.selfMutation) } : {}),
+                ...(adoptedOutputs.length ? { adoptedOutputs: json(adoptedOutputs) } : {}), ...verificationDiagnostics(receipt) };
+            const vars = { [progressKey]: { fingerprint, count, ...(adoptedOutputs.length ? { adopted: json(adoptedOutputs) } : {}) } };
+            if (nondeterministic)
+                return { outcome: params.hostBlockers === true ? 'blocked' : 'failed', status: params.hostBlockers === true ? 'blocked' : 'failed', vars, receipt: receiptEvidence(receipt), verified: null,
+                    error: { code: NONDETERMINISTIC_OUTPUT_CODE, message: `${nondeterministic.reason}. ${nondeterministic.requiredAction}` }, output: { ...output, valid: false, blocker: json(nondeterministic) } };
             // Without the opt-in outcome a blocker still travels in the output, and the no-progress stop keeps bounding the loop.
             if (blocker && (params.hostBlockers === true || !stalled))
                 return { ...blocked(blocker, output), vars, receipt: receiptEvidence(receipt) };