specrails-core 6.4.0 → 6.6.0

package/dist/agent-runtime/engine/efficiency-summary.d.ts

@@ -2,13 +2,6 @@ import type { WorkflowState } from '../workflow-types.js';
 import type { RunLedger } from './checkpoint/ledger.js';
 /** Derive diagnostics from committed records; status never inspects or mutates a journal. */
 export declare function definitionEfficiencySummary(ledger: RunLedger, state: WorkflowState): {
-    reservations: {
-        pendingInvocations: number;
-        knownTokens: number;
-        knownCostUsd: number;
-        tokensUnknown: boolean;
-        costUnknown: boolean;
-    };
     schemaVersion: 1;
     currentEvidenceIds: string[];
     planHash: string | null;
@@ -17,7 +10,7 @@ export declare function definitionEfficiencySummary(ledger: RunLedger, state: Wo
     workflowVersion: string;
     technicalAcceptance: string;
     archive: import("../../pipeline/pipeline-state.js").PhaseStatus;
-    delivery: "pending" | "complete" | "pending-host";
+    delivery: "complete" | "pending" | "pending-host";
     roles: {
         role: string;
         provider: string | null;
@@ -59,4 +52,11 @@ export declare function definitionEfficiencySummary(ledger: RunLedger, state: Wo
         durationMs: number | null;
     };
     metrics: import("../efficiency-types.js").RuntimeEfficiency;
+    reservations: {
+        pendingInvocations: number;
+        knownTokens: number;
+        knownCostUsd: number;
+        tokensUnknown: boolean;
+        costUnknown: boolean;
+    };
 };

package/dist/agent-runtime/engine/fork.d.ts

@@ -16,7 +16,7 @@ export interface ForkRunOptions {
 }
 /** A fork publishes an independently leased historical cut; the source is opened read-only. */
 export declare function forkRun(directory: string, options: ForkRunOptions): Promise<{
-    type: "runtime-forked";
+    type: 'runtime-forked';
     runId: string;
     forkOf: string;
     fromNodePath: string;

package/dist/agent-runtime/engine/graph-description.d.ts

@@ -1,14 +1,14 @@
 import type { WorkflowDefinition } from './definition-types.js';
 /** Public topology contains no prompts, command arguments, credentials or state. */
 export declare function describeDefinition(runId: string, definition: WorkflowDefinition): {
-    type: "runtime-graph";
+    type: 'runtime-graph';
     engineVersion: number;
     runId: string;
     definitionHash: string;
     workflowId: string;
     nodes: {
         path: string;
-        kind: "join" | "map" | "verify" | "shell" | "end" | "approval" | "question" | "prompt" | "gate" | "implementation" | "role-turn" | "decider" | "condition" | "assign" | "openspec-validate" | "openspec-archive" | "component" | "implementation-step" | "artifact-contract";
+        kind: "approval" | "artifact-contract" | "assign" | "component" | "condition" | "decider" | "end" | "gate" | "implementation" | "implementation-step" | "join" | "map" | "openspec-archive" | "openspec-validate" | "prompt" | "question" | "role-turn" | "shell" | "verify";
         label: string;
     }[];
     edges: {
@@ -18,31 +18,31 @@ export declare function describeDefinition(runId: string, definition: WorkflowDe
     }[];
     mermaid: string;
     graph: {
+        entry: string;
+        nodes: {
+            id: string;
+            kind: "approval" | "artifact-contract" | "assign" | "component" | "condition" | "decider" | "end" | "gate" | "implementation" | "implementation-step" | "join" | "map" | "openspec-archive" | "openspec-validate" | "prompt" | "question" | "role-turn" | "shell" | "verify";
+            label: string;
+            ends: {
+                [x: string]: string | null;
+            };
+            component?: string | undefined;
+        }[];
+        id: string;
+        version: string;
         components?: {
             [k: string]: {
                 entry: string;
                 nodes: {
-                    component?: string | undefined;
                     id: string;
-                    kind: "join" | "map" | "verify" | "shell" | "end" | "approval" | "question" | "prompt" | "gate" | "implementation" | "role-turn" | "decider" | "condition" | "assign" | "openspec-validate" | "openspec-archive" | "component" | "implementation-step" | "artifact-contract";
+                    kind: "approval" | "artifact-contract" | "assign" | "component" | "condition" | "decider" | "end" | "gate" | "implementation" | "implementation-step" | "join" | "map" | "openspec-archive" | "openspec-validate" | "prompt" | "question" | "role-turn" | "shell" | "verify";
                     label: string;
                     ends: {
                         [x: string]: string | null;
                     };
+                    component?: string | undefined;
                 }[];
             };
         } | undefined;
-        entry: string;
-        nodes: {
-            component?: string | undefined;
-            id: string;
-            kind: "join" | "map" | "verify" | "shell" | "end" | "approval" | "question" | "prompt" | "gate" | "implementation" | "role-turn" | "decider" | "condition" | "assign" | "openspec-validate" | "openspec-archive" | "component" | "implementation-step" | "artifact-contract";
-            label: string;
-            ends: {
-                [x: string]: string | null;
-            };
-        }[];
-        id: string;
-        version: string;
     };
 };

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.d.ts

@@ -1,7 +1,12 @@
+import { type InstallOutcome } from '../../compact/environment.js';
 import { type JsonObject, type Piece, type PieceExecutionContext, type PieceResult } from '../contracts.js';
 import type { PieceDependencies, PieceDependencyProvider } from './ports.js';
 export declare function roleTurnPiece(bindings: PieceDependencyProvider): Piece;
 /** One invocation path for configured roles, including routing and exactly one repair. */
 export declare function executeRoleTurn(deps: PieceDependencies, params: JsonObject, context: PieceExecutionContext, options?: {
     normalizeStructuredOutput?: (output: Record<string, unknown> | undefined, text: string) => Record<string, unknown> | undefined;
+    /** Set on the single rerun after the host repaired an environment blocker the agent reported. */
+    environmentRetry?: {
+        installs: InstallOutcome[];
+    };
 }): Promise<PieceResult>;