specrails-core 6.0.1 → 6.2.0

package/dist/agent-runtime/engine/fork.js

@@ -0,0 +1,253 @@
+import { existsSync, readdirSync, readFileSync, writeFileSync, mkdirSync, renameSync, rmSync } from 'node:fs';
+import path from 'node:path';
+import { randomUUID } from 'node:crypto';
+import { pipelineStateDirectory, validatePipelineContext } from '../../pipeline/pipeline-state.js';
+import { createExecutorRegistry } from '../executors.js';
+import { artifactPath } from '../openspec.js';
+import { coreRuntimeIdentity } from '../core-host.js';
+import { sameRuntimeIdentity } from '../runtime-identity.js';
+import { canonicalJson, contentDigest } from './canonical-json.js';
+import { RunDatabase } from './checkpoint/database.js';
+import { RunLedger } from './checkpoint/ledger.js';
+import { RunLease } from './checkpoint/lease.js';
+import { EngineError } from './contracts.js';
+import { composeDefinitionRuntime } from './composition.js';
+import { EngineEventStream } from './events.js';
+import { configuredRoles } from './preflight.js';
+import { forkImplementationJournal, projectImplementationFork } from './pieces/implementation-journal.js';
+import { ensurePrivateDirectory } from './storage/private-path.js';
+import { ForkAllocation } from './storage/fork-allocation.js';
+function patchState(input) {
+    if (input === undefined)
+        return {};
+    canonicalJson(input);
+    if (!input || typeof input !== 'object' || Array.isArray(input) || Object.keys(input).some(key => !['$vars', '$outputs'].includes(key)) || Buffer.byteLength(canonicalJson(input)) > 2 * 1024 * 1024)
+        throw new EngineError('invalid_arguments', 'Fork can patch only bounded $vars and $outputs');
+    for (const value of Object.values(input))
+        if (!value || typeof value !== 'object' || Array.isArray(value) || Object.keys(value).some(key => ['__proto__', 'constructor', 'prototype'].includes(key)))
+            throw new EngineError('invalid_arguments', 'Fork state channels require safe JSON object keys');
+    return structuredClone(input);
+}
+function rebind(source, parent, change) {
+    const standalone = source.context.runId === source.parentRunId;
+    const digest = contentDigest({ parentRunId: parent.runId, scopeId: source.scopeId, nodePath: source.nodePath }).slice(0, 24);
+    const context = validatePipelineContext({ ...source.context, runId: standalone ? parent.runId : parent.runId.slice(0, 80) + '-impl-' + digest });
+    return { ...source, context, parentRunId: parent.runId, change: standalone ? change : change.slice(0, 38).replace(/-+$/, '') + '-' + digest, directory: pipelineStateDirectory(context) };
+}
+function copyActiveChange(context, source, target, allocation) {
+    const from = artifactPath(context.artifactRoot, 'openspec/changes/' + source);
+    if (!existsSync(from))
+        return; // A cut before planning has no authored artifacts yet.
+    const to = artifactPath(context.artifactRoot, 'openspec/changes/' + target);
+    if (existsSync(to))
+        throw new EngineError('run_exists', 'Fork refuses to replace an existing change');
+    allocation.reserve(to);
+    let bytes = 0, files = 0;
+    const copy = (relative) => {
+        const directory = relative ? artifactPath(from, relative) : from;
+        mkdirSync(relative ? artifactPath(to, relative) : to, { recursive: true, mode: 0o700 });
+        for (const entry of readdirSync(directory, { withFileTypes: true })) {
+            const child = relative ? relative + '/' + entry.name : entry.name;
+            if (entry.isSymbolicLink())
+                throw new EngineError('artifact_scope_mismatch', 'Fork rejects symlinked change artifacts');
+            if (entry.isDirectory())
+                copy(child);
+            else if (entry.isFile()) {
+                const content = readFileSync(artifactPath(from, child));
+                bytes += content.length;
+                files++;
+                if (bytes > 2 * 1024 * 1024 || files > 200)
+                    throw new EngineError('output_limit', 'Fork artifacts exceed their copy limit');
+                writeFileSync(artifactPath(to, child), content, { flag: 'wx', mode: 0o600 });
+            }
+            else
+                throw new EngineError('artifact_scope_mismatch', 'Fork requires ordinary change artifacts');
+        }
+    };
+    copy('');
+}
+/** A fork publishes an independently leased historical cut; the source is opened read-only. */
+export async function forkRun(directory, options) {
+    const state = patchState(options.state);
+    if (options.requestId !== undefined && !/^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/.test(options.requestId))
+        throw new EngineError('invalid_arguments', 'Fork requires a safe request ID');
+    if (!options.fromNodePath || (options.visit !== undefined && (!Number.isSafeInteger(options.visit) || options.visit < 1)))
+        throw new EngineError('invalid_arguments', 'Fork requires a node path and an optional positive visit');
+    const source = await RunDatabase.open(path.join(directory, 'run.sqlite'), { readOnly: true });
+    let destination, runtime;
+    let ledger, targetRoot, published = false;
+    let allocation, ownsAllocation = false;
+    try {
+        const sourceRun = source.sqlite.prepare('SELECT * FROM runs').get();
+        if (!sourceRun)
+            throw new EngineError('run_not_found', 'Source run does not exist');
+        if (!sameRuntimeIdentity(JSON.parse(String(sourceRun.runtime_identity_json)), coreRuntimeIdentity()))
+            throw new EngineError('resume_incompatible', 'Fork requires the original retained Core runtime');
+        const request = JSON.parse(String(sourceRun.request_json)), definition = JSON.parse(String(sourceRun.definition_json));
+        const context = validatePipelineContext({ ...request.context, runId: options.runId });
+        if (context.runId === request.context.runId)
+            throw new EngineError('invalid_arguments', 'Fork requires a different run ID');
+        targetRoot = pipelineStateDirectory(context);
+        const requestDigest = contentDigest({ sourceRunId: request.context.runId, runId: options.runId, fromNodePath: options.fromNodePath, scopeId: options.scopeId ?? null, visit: options.visit ?? null, state });
+        allocation = await ForkAllocation.open(targetRoot, context.artifactRoot, options.requestId, requestDigest);
+        if (existsSync(path.join(targetRoot, 'agent-workflow/run.sqlite'))) {
+            if (!options.requestId)
+                throw new EngineError('run_exists', 'Fork refuses to replace an existing run directory');
+            const publishedChild = await RunDatabase.open(path.join(targetRoot, 'agent-workflow/run.sqlite'), { readOnly: true });
+            try {
+                const row = publishedChild.get('piece_state', { run_id: context.runId, scope_id: 'root', node_path: '', key: 'control:fork-receipt' });
+                const receipt = row ? JSON.parse(String(row.value_json)) : null;
+                if (!receipt || receipt.requestId !== options.requestId || receipt.requestDigest !== requestDigest || receipt.result?.runId !== context.runId || receipt.result?.forkOf !== request.context.runId)
+                    throw new EngineError('run_exists', 'Fork request does not match the published child');
+                return receipt.result;
+            }
+            finally {
+                publishedChild.close();
+            }
+        }
+        allocation.recover();
+        ownsAllocation = true;
+        if (existsSync(targetRoot))
+            throw new EngineError('run_exists', 'Fork refuses to replace an existing run directory');
+        const matches = source.sqlite.prepare('SELECT * FROM visits WHERE run_id=? AND node_path=? ORDER BY global_transition').all(sourceRun.run_id, options.fromNodePath)
+            .filter(row => (options.scopeId === undefined || row.scope_id === options.scopeId) && (options.visit === undefined || Number(row.local_visit) === options.visit));
+        if (matches.length !== 1)
+            throw new EngineError('fork_ambiguous', 'Fork must identify exactly one visit; include scopeId and visit when needed');
+        const from = matches[0], cut = Number(from.before_revision);
+        const checkpointRows = source.sqlite.prepare('SELECT thread_id,checkpoint_ns,checkpoint_id FROM checkpoints WHERE thread_id=? AND checkpoint_id=?').all(sourceRun.checkpoint_thread_id, from.checkpoint_id);
+        if (checkpointRows.length !== 1)
+            throw new EngineError('fork_checkpoint_missing', 'The target visit does not identify exactly one public checkpoint');
+        const targetConfig = { configurable: { thread_id: checkpointRows[0].thread_id, checkpoint_ns: checkpointRows[0].checkpoint_ns, checkpoint_id: checkpointRows[0].checkpoint_id } };
+        allocation.reserve(targetRoot);
+        await ensurePrivateDirectory(targetRoot);
+        const staging = path.join(targetRoot, '.fork-' + randomUUID()), finalDirectory = path.join(targetRoot, 'agent-workflow');
+        destination = await RunDatabase.open(path.join(staging, 'run.sqlite'), { create: true });
+        source.forkAt(destination, { revision: cut, runId: context.runId });
+        const change = request.change ? request.change.slice(0, 42).replace(/-+$/, '') + '-fork-' + contentDigest(context.runId).slice(0, 12) : undefined;
+        const forkRequest = { ...request, context, ...(change ? { change } : {}) };
+        const sourceBindings = destination.sqlite.prepare("SELECT * FROM piece_state WHERE key='binding:implementation'").all();
+        const genericChange = !!change && sourceBindings.length === 0 && definition.journal === 'ledger-only';
+        if (genericChange)
+            copyActiveChange(context, request.change, change, allocation);
+        const restored = [];
+        for (const row of sourceBindings) {
+            // A completed implementation is inherited evidence. Rebinding its journal would
+            // create a new candidate and repeat verified work even when the workspace is unchanged.
+            const completed = destination.sqlite.prepare('SELECT 1 FROM attempts WHERE visit_id=? AND terminal_digest IS NOT NULL').get(row.visit_id);
+            const binding = JSON.parse(String(row.value_json));
+            if (completed && !binding.shared)
+                continue;
+            const childScope = binding.shared ? binding.scopeId : binding.scopeId + '/' + String(row.visit_id);
+            const results = destination.sqlite.prepare('SELECT a.output_json FROM attempts a JOIN visits v ON a.visit_id=v.visit_id WHERE a.scope_id=? AND a.output_json IS NOT NULL ORDER BY v.global_transition DESC,a.attempt DESC').all(childScope);
+            const snapshot = results.map(result => JSON.parse(String(result.output_json)).childUpdate?.journal).find(value => value !== undefined);
+            const lastOperation = results.map(result => JSON.parse(String(result.output_json))).find(result => result.childUpdate?.operationState !== undefined);
+            if (binding.shared && lastOperation?.completion?.ok)
+                continue;
+            const target = rebind(binding, context, change);
+            const changeDirectory = path.join(target.context.artifactRoot, 'openspec', 'changes', target.change);
+            if ((target.directory !== targetRoot && existsSync(target.directory)) || existsSync(changeDirectory))
+                throw new EngineError('run_exists', 'Fork refuses to replace an existing implementation journal or change');
+            if (snapshot) {
+                if (target.directory !== targetRoot)
+                    allocation.reserve(target.directory);
+                await ensurePrivateDirectory(target.directory);
+                forkImplementationJournal(snapshot, binding, target, () => allocation.reserve(changeDirectory));
+            }
+            restored.push({ source: binding, target, row });
+        }
+        const lease = new RunLease(destination, context.runId), token = lease.acquire(randomUUID());
+        ledger = new RunLedger(destination, token, { maxTransitions: definition.maxTransitions, failFast: definition.policies?.failFast });
+        destination.transaction('fork-rebound', () => {
+            lease.assert(token);
+            destination.put('runs', { ...ledger.run(), request_json: canonicalJson(forkRequest), status: 'running', completion_json: null,
+                ...(Object.keys(state).length || restored.length || genericChange ? { verified_json: null } : {}) });
+            for (const binding of restored)
+                destination.put('piece_state', { ...binding.row, value_json: canonicalJson(binding.target) });
+            destination.put('piece_state', { run_id: context.runId, scope_id: 'root', node_path: '', key: 'lineage:fork', value_json: canonicalJson({
+                    sourceRunId: request.context.runId, sourceContext: request.context, sourceBindings: sourceBindings.map(row => JSON.parse(String(row.value_json)))
+                }), updated_at: new Date().toISOString() });
+            // Fork explicitly requests a new execution of the uncommitted cut. Reads and
+            // coordinators are safe to restart even when their original retry allowance
+            // was one. Repository-writing child tasks still require explicit recovery.
+            for (const attempt of destination.sqlite.prepare("SELECT a.* FROM attempts a JOIN visits v ON a.visit_id=v.visit_id WHERE a.status IN ('running','interrupted') AND (v.effect='read' OR v.kind IN ('component','map','implementation'))").all())
+                destination.put('attempts', { ...attempt, recovery_authorized: 1 });
+        });
+        const admitted = { request: forkRequest, definition, roles: configuredRoles(request.config), budget: ledgerBudgetFromRow(ledger), registry: options.registry ?? createExecutorRegistry(request.config) };
+        runtime = await composeDefinitionRuntime(destination, ledger, admitted, new EngineEventStream(cursor => ledger.events(cursor), () => { }), new AbortController().signal);
+        const heads = new Map();
+        for await (const tuple of runtime.saver.list({ configurable: { thread_id: sourceRun.checkpoint_thread_id } })) {
+            const namespace = String(tuple.config.configurable?.checkpoint_ns ?? '');
+            if (!heads.has(namespace))
+                heads.set(namespace, tuple);
+        }
+        for (const binding of restored) {
+            if (!existsSync(path.join(binding.target.directory, 'state.json')) || binding.source.shared)
+                continue;
+            const scope = binding.source.scopeId + '/' + String(binding.row.visit_id);
+            const matching = [...heads.values()].filter(tuple => tuple.checkpoint.channel_values.$scope?.id === scope && '$next' in tuple.checkpoint.channel_values);
+            if (matching.length !== 1)
+                throw new EngineError('fork_checkpoint_missing', 'Implementation journal has no unique child checkpoint at the selected cut');
+            const tuple = matching[0], projection = projectImplementationFork(binding.target);
+            const last = destination.sqlite.prepare('SELECT a.node_path FROM attempts a JOIN visits v ON a.visit_id=v.visit_id WHERE a.scope_id=? AND a.terminal_digest IS NOT NULL ORDER BY v.global_transition DESC,a.attempt DESC LIMIT 1').get(scope);
+            const writer = last && String(last.node_path).startsWith(binding.source.nodePath + '/') ? String(last.node_path).slice(binding.source.nodePath.length + 1) : undefined;
+            if (!writer)
+                throw new EngineError('fork_checkpoint_missing', 'Implementation checkpoint has no unambiguous public previous node');
+            await runtime.graph.updateState(tuple.config, projection.update, writer);
+        }
+        if (Object.keys(state).length || genericChange) {
+            const tuple = await runtime.saver.getTuple(targetConfig);
+            if (!tuple)
+                throw new EngineError('fork_checkpoint_missing', 'Target checkpoint is not present in the historical cut');
+            const values = tuple.checkpoint.channel_values;
+            if (genericChange)
+                state.$vars = { ...(values.$outer?.$vars ?? values.$vars), ...state.$vars, changeId: change };
+            const outer = values.$outer;
+            const update = outer ? { $outer: { ...outer,
+                    ...(state.$vars ? { $vars: { ...outer.$vars, ...state.$vars } } : {}),
+                    ...(state.$outputs ? { $outputs: { ...outer.$outputs, ...state.$outputs } } : {}), $verified: null } }
+                : { ...state, $verified: null };
+            await runtime.graph.updateState(targetConfig, update);
+        }
+        destination.checkIntegrity();
+        const result = { type: 'runtime-forked', runId: context.runId, forkOf: request.context.runId, fromNodePath: options.fromNodePath,
+            scopeId: String(from.scope_id), visit: Number(from.local_visit), directory: finalDirectory, context, revision: 0 };
+        destination.transaction('fork-control-receipt', () => {
+            lease.assert(token);
+            result.revision = destination.transactionRevision;
+            destination.put('piece_state', { run_id: context.runId, scope_id: 'root', node_path: '', key: 'control:fork-receipt',
+                value_json: canonicalJson({ requestId: options.requestId ?? null, requestDigest, result }), updated_at: new Date().toISOString() });
+        });
+        runtime.close();
+        runtime = undefined;
+        lease.release(token);
+        ledger = undefined;
+        destination.sqlite.exec('PRAGMA wal_checkpoint(TRUNCATE)');
+        destination.close();
+        destination = undefined;
+        await ensurePrivateDirectory(finalDirectory);
+        if (existsSync(path.join(finalDirectory, 'run.sqlite')))
+            throw new EngineError('run_exists', 'Fork database was concurrently created');
+        renameSync(path.join(staging, 'run.sqlite'), path.join(finalDirectory, 'run.sqlite'));
+        published = true;
+        rmSync(staging, { recursive: true, force: true });
+        return result;
+    }
+    finally {
+        runtime?.close();
+        if (ledger)
+            ledger.lease.release(ledger.token);
+        destination?.close();
+        source.close();
+        try {
+            if (!published && ownsAllocation)
+                allocation?.cleanup();
+        }
+        finally {
+            allocation?.close();
+        }
+    }
+}
+function ledgerBudgetFromRow(ledger) {
+    const row = ledger.db.get('budget', { run_id: ledger.runId });
+    return { ...(row.max_cost_usd === null ? {} : { maxCostUsd: Number(row.max_cost_usd) }), ...(row.max_tokens === null ? {} : { maxTokens: Number(row.max_tokens) }), ...(row.max_duration_ms === null ? {} : { maxDurationMs: Number(row.max_duration_ms) }) };
+}

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

@@ -0,0 +1,48 @@
+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";
+    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";
+        label: string;
+    }[];
+    edges: {
+        from: string;
+        label: string;
+        to: string | null;
+    }[];
+    mermaid: string;
+    graph: {
+        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";
+                    label: string;
+                    ends: {
+                        [x: string]: string | null;
+                    };
+                }[];
+            };
+        } | 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/graph-description.js

@@ -0,0 +1,16 @@
+/** Public topology contains no prompts, command arguments, credentials or state. */
+export function describeDefinition(runId, definition) {
+    const describe = (body) => ({ entry: body.entry,
+        nodes: Object.entries(body.nodes).map(([id, node]) => ({ id, kind: node.kind, label: node.label ?? id, ends: { ...node.ends },
+            ...(node.kind === 'component' ? { component: String(node.params.ref) } : node.kind === 'map' ? { component: String(node.params.body) } : {}) })) });
+    const body = describe(definition);
+    const edges = body.nodes.flatMap(node => Object.entries(node.ends).map(([label, to]) => ({ from: node.id, label, to })));
+    const ids = new Map(body.nodes.map((node, index) => [node.id, 'n' + index]));
+    const quote = (value) => value.replaceAll('&', '&amp;').replaceAll('<', '&lt;').replaceAll('>', '&gt;').replaceAll('"', '#34;').replace(/[\r\n]/g, ' ');
+    const mermaid = ['flowchart TD', ...body.nodes.map(node => `  ${ids.get(node.id)}["${quote(node.label)}"]`),
+        ...edges.filter(edge => edge.to !== null).map(edge => `  ${ids.get(edge.from)} -->|"${quote(edge.label)}"| ${ids.get(edge.to)}`)].join('\n');
+    return { type: 'runtime-graph', engineVersion: 2, runId, definitionHash: definition.version, workflowId: definition.id,
+        nodes: body.nodes.map(node => ({ path: node.id, kind: node.kind, label: node.label })), edges, mermaid,
+        graph: { id: definition.id, version: definition.version, ...body,
+            ...(definition.components ? { components: Object.fromEntries(Object.entries(definition.components).map(([id, component]) => [id, describe(component)])) } : {}) } };
+}

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

@@ -0,0 +1,214 @@
+import { EphemeralValue } from '@langchain/langgraph/channels';
+import { type CoreNodeId } from '../graph/state.js';
+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<{
+    $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>;
+    $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>;
+        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, 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>;
+        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").OverwriteValue<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>;
+        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'];
+export declare function implementationInput(parent: CoreDefinitionState, frame: AttemptFrame): Pick<ImplementationGraphState, '$outer' | '$scope'>;
+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<{
+    $scope: ExecutionScope;
+    $outer: CoreDefinitionState;
+    $next: CoreNodeId | null;
+    $nodeResult: 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>;
+        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[];
+}, {
+    $scope?: ExecutionScope | undefined;
+    $outer?: CoreDefinitionState | undefined;
+    $next?: CoreNodeId | null | undefined;
+    $nodeResult?: 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>;
+        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, {
+    $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>;
+    $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>;
+        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, 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>;
+        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").OverwriteValue<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>;
+        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>;
+}, {
+    $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>;
+    $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>;
+        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, 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>;
+        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").OverwriteValue<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>;
+        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 {};