LangGraph通过检查点支持时间旅行：
- 重放：从先前的检查点重试。
- 分叉：从先前的检查点分叉，修改状态以探索替代路径。
两者都通过从先前的检查点恢复来工作。检查点之前的节点不会重新执行（结果已保存）。检查点之后的节点会重新执行，包括任何LLM调用、API请求和中断（这可能会产生不同的结果）。
使用先前检查点的配置调用图，以从该点重放。
重放会重新执行节点——它不仅仅是从缓存读取。LLM调用、API请求和中断会再次触发，并可能返回不同的结果。从最终检查点（没有next节点）重放是一个空操作。 
使用getStateHistory找到要重放的检查点，然后使用该检查点的配置调用invoke：
import { v7 as uuid7 } from "uuid";
import { StateGraph, MemorySaver, START } from "@langchain/langgraph";
const StateAnnotation = Annotation.Root({
topic: Annotation<string>(),
joke: Annotation<string>(),
});
function generateTopic(state: typeof StateAnnotation.State) {
return { topic: "socks in the dryer" };
}
function writeJoke(state: typeof StateAnnotation.State) {
return { joke: `Why do ${state.topic} disappear? They elope!` };
}
const checkpointer = new MemorySaver();
const graph = new StateGraph(StateAnnotation)
.addNode("generateTopic", generateTopic)
.addNode("writeJoke", writeJoke)
.addEdge(START, "generateTopic")
.addEdge("generateTopic", "writeJoke")
.compile({ checkpointer });
// 步骤1：运行图
const config = { configurable: { thread_id: uuid7() } };
const result = await graph.invoke({}, config);
// 步骤2：找到要重放的检查点
const states = [];
for await (const state of graph.getStateHistory(config)) {
states.push(state);
}
// 步骤3：从特定检查点重放
const beforeJoke = states.find((s) => s.next.includes("writeJoke"));
const replayResult = await graph.invoke(null, beforeJoke.config);
// writeJoke重新执行（再次运行），generateTopic不执行
update_state以创建分叉，然后使用None调用invoke以继续执行。
update_state不会回滚线程。它创建一个从指定点分叉的新检查点。原始执行历史保持不变。
// 找到writeJoke之前的检查点
const states = [];
for await (const state of graph.getStateHistory(config)) {
states.push(state);
}
const beforeJoke = states.find((s) => s.next.includes("writeJoke"));
// 分叉：更新状态以更改主题
const forkConfig = await graph.updateState(
beforeJoke.config,
{ topic: "chickens" },
);
// 从分叉处恢复——writeJoke使用新主题重新执行
const forkResult = await graph.invoke(null, forkConfig);
console.log(forkResult.joke); // 关于鸡的笑话，而不是袜子
从特定节点
当你调用update_state时，值会使用指定节点的写入器（包括归约器）应用。检查点记录该节点已产生更新，执行从该节点的后续节点恢复。
默认情况下，LangGraph从检查点的版本历史推断as_node。从特定检查点分叉时，此推断几乎总是正确的。
在以下情况下显式指定as_node：
- 并行分支：多个节点在同一步骤中更新了状态，LangGraph无法确定哪个是最后的（
InvalidUpdateError）。
- 无执行历史：在全新线程上设置状态（在测试中常见）。
- 跳过节点：将
as_node设置为后面的节点，使图认为该节点已经运行。
// 图：generateTopic -> writeJoke
// 将此更新视为由generateTopic产生。
// 执行在writeJoke（generateTopic的后续节点）恢复。
const forkConfig = await graph.updateState(
beforeJoke.config,
{ topic: "chickens" },
{ asNode: "generateTopic" },
);
interrupt进行人机协作工作流，中断在时间旅行期间总是会重新触发。包含中断的节点会重新执行，interrupt()会暂停以等待新的Command(resume=...)。
import { interrupt, Command } from "@langchain/langgraph";
function askHuman(state: { value: string[] }) {
const answer = interrupt("What is your name?");
return { value: [`Hello, ${answer}!`] };
}
function finalStep(state: { value: string[] }) {
return { value: ["Done"] };
}
// ... 使用检查器构建图 ...
// 第一次运行：遇到中断
await graph.invoke({ value: [] }, config);
// 使用答案恢复
await graph.invoke(new Command({ resume: "Alice" }), config);
// 从askHuman之前重放
const states = [];
for await (const state of graph.getStateHistory(config)) {
states.push(state);
}
const beforeAsk = states.filter((s) => s.next.includes("askHuman")).pop();
const replayResult = await graph.invoke(null, beforeAsk.config);
// 在中断处暂停——等待新的Command({ resume: ... })
// 从askHuman之前分叉
const forkConfig = await graph.updateState(beforeAsk.config, { value: ["forked"] });
const forkResult = await graph.invoke(null, forkConfig);
// 在中断处暂停——等待新的Command({ resume: ... })
// 使用不同的答案恢复分叉的中断
await graph.invoke(new Command({ resume: "Bob" }), forkConfig);
// 结果：{ value: ["forked", "Hello, Bob!", "Done"] }
多个中断
如果你的图在多个点收集输入（例如，多步骤表单），你可以从两个中断之间分叉，以更改后续答案而无需重新询问之前的问题。
// 从两个中断之间分叉（在askName之后，askAge之前）
const states = [];
for await (const state of graph.getStateHistory(config)) {
states.push(state);
}
const between = states.filter((s) => s.next.includes("askAge")).pop();
const forkConfig = await graph.updateState(between.config, { value: ["modified"] });
const result = await graph.invoke(null, forkConfig);
// askName结果保留（"name:Alice"）
// askAge在中断处暂停——等待新答案
默认情况下，子图继承父图的检查点。父图将整个子图视为单个超级步骤——整个子图执行只有一个父级检查点。从子图之前进行时间旅行会从头重新执行它。你无法在默认子图中时间旅行到节点之间的点——你只能从父级进行时间旅行。// 没有自己检查点的子图（默认）
const subgraph = new StateGraph(StateAnnotation)
.addNode("stepA", stepA) // 有interrupt()
.addNode("stepB", stepB) // 有interrupt()
.addEdge(START, "stepA")
.addEdge("stepA", "stepB")
.compile(); // 没有检查点——从父图继承
const graph = new StateGraph(StateAnnotation)
.addNode("subgraphNode", subgraph)
.addEdge(START, "subgraphNode")
.compile({ checkpointer });
// 完成两个中断
await graph.invoke({ value: [] }, config);
await graph.invoke(new Command({ resume: "Alice" }), config);
await graph.invoke(new Command({ resume: "30" }), config);
// 从子图之前进行时间旅行
const states = [];
for await (const state of graph.getStateHistory(config)) {
states.push(state);
}
const beforeSub = states.filter((s) => s.next.includes("subgraphNode")).pop();
const forkConfig = await graph.updateState(beforeSub.config, { value: ["forked"] });
const result = await graph.invoke(null, forkConfig);
// 整个子图从头重新执行
// 你无法时间旅行到stepA和stepB之间的点
在子图上设置checkpointer=True以赋予其自己的检查点历史。这会在子图内部的每个步骤创建检查点，允许你从其内部的特定点进行时间旅行——例如，在两个中断之间。使用get_state并设置subgraphs=True来访问子图自己的检查点配置，然后从中分叉：// 有自己检查点的子图
const subgraph = new StateGraph(StateAnnotation)
.addNode("stepA", stepA) // 有interrupt()
.addNode("stepB", stepB) // 有interrupt()
.addEdge(START, "stepA")
.addEdge("stepA", "stepB")
.compile({ checkpointer: true }); // 自己的检查点历史
const graph = new StateGraph(StateAnnotation)
.addNode("subgraphNode", subgraph)
.addEdge(START, "subgraphNode")
.compile({ checkpointer });
// 运行直到stepA中断，然后恢复 -> 遇到stepB中断
await graph.invoke({ value: [] }, config);
await graph.invoke(new Command({ resume: "Alice" }), config);
// 获取子图自己的检查点（在stepA和stepB之间）
const parentState = await graph.getState(config, { subgraphs: true });
const subConfig = parentState.tasks[0].state.config;
// 从子图检查点分叉
const forkConfig = await graph.updateState(subConfig, { value: ["forked"] });
const result = await graph.invoke(null, forkConfig);
// stepB重新执行，stepA的结果保留
将这些文档连接到Claude、VSCode等，通过MCP获取实时答案。 
