(),
});
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: uuidv4() } };
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`](https://reference.langchain.com/javascript/classes/_langchain_langgraph.pregel.Pregel.html#updateState) 以创建分叉，然后使用 `None` 调用 [`invoke`](https://reference.langchain.com/javascript/classes/_langchain_langgraph.index.CompiledStateGraph.html#invoke) 以继续执行。
`update_state` **不会**回滚线程。它会创建一个从指定点分支的新检查点。原始执行历史记录保持不变。
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
// 找到 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`](https://reference.langchain.com/javascript/classes/_langchain_langgraph.pregel.Pregel.html#updateState) 时，值会使用指定节点的写入器（包括[归约器](/oss/javascript/langgraph/graph-api#reducers)）进行应用。检查点记录该节点产生了更新，并从该节点的后继节点恢复执行。
默认情况下，LangGraph 从检查点的版本历史推断 `as_node`。当从特定检查点分叉时，这种推断几乎总是正确的。
在以下情况下显式指定 `as_node`：
* **并行分支**：多个节点在同一步骤中更新了状态，且 LangGraph 无法确定哪个是最后一个（`InvalidUpdateError`）。
* **无执行历史**：在新线程上设置状态（常见于[测试](/oss/javascript/langgraph/test)）。
* **跳过节点**：将 `as_node` 设置为较晚的节点，使图认为该节点已经运行。
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
// 图：generateTopic -> writeJoke
// 将此更新视为 generateTopic 产生的。
// 执行在 writeJoke 处恢复（generateTopic 的后继节点）。
const forkConfig = await graph.updateState(
beforeJoke.config,
{ topic: "chickens" },
{ asNode: "generateTopic" },
);
```
## 中断
如果您的图使用 [`interrupt`](https://reference.langchain.com/javascript/langchain-langgraph/index/interrupt) 实现[人机交互](/oss/javascript/langgraph/interrupts)工作流，则在时间旅行期间中断总是会重新触发。包含中断的节点会重新执行，并且 `interrupt()` 会暂停以等待新的 `Command(resume=...)`。
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
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"] }
```
### 多个中断
如果您的图在多个点收集输入（例如，多步骤表单），您可以在中断之间分叉，以更改后续答案而无需重新询问之前的问题。
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
// 从两个中断之间分叉（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 在中断处暂停 — 等待新答案
```
## 子图
使用[子图](/oss/javascript/langgraph/use-subgraphs)进行时间旅行取决于子图是否拥有自己的检查点器。这决定了您可以进行时间旅行的检查点粒度。
默认情况下，子图继承父图的检查点器。父图将整个子图视为**单个超级步骤**——整个子图执行只有一个父级检查点。从子图之前进行时间旅行会从头重新执行子图。
您无法在默认子图中定位到节点*之间*的点进行时间旅行——只能从父级进行时间旅行。
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
// 没有自己检查点器的子图（默认）
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`](https://reference.langchain.com/javascript/classes/_langchain_langgraph.pregel.Pregel.html#getState) 并设置 `subgraphs=True` 以访问子图自己的检查点配置，然后从中分叉：
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
// 拥有自己检查点器的子图
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 的结果保留
```
有关配置子图检查点器的更多信息，请参阅[子图持久化](/oss/javascript/langgraph/use-subgraphs#subgraph-persistence)。
***
[Edit this page on GitHub](https://github.com/langchain-ai/docs/edit/main/src/i18n\zh-CN\oss\langgraph\use-time-travel.mdx) or [file an issue](https://github.com/langchain-ai/docs/issues/new/choose).
[Connect these docs](/use-these-docs) to Claude, VSCode, and more via MCP for real-time answers.
使用 [`getStateHistory`](https://reference.langchain.com/javascript/classes/_langchain_langgraph.pregel.Pregel.html#getStateHistory) 查找要重放的检查点，然后使用该检查点的配置调用 [`invoke`](https://reference.langchain.com/javascript/classes/_langchain_langgraph.index.CompiledStateGraph.html#invoke)：
```typescript theme={"theme":{"light":"catppuccin-latte","dark":"catppuccin-mocha"}}
import { v4 as uuidv4 } from "uuid";
import { StateGraph, MemorySaver, START } from "@langchain/langgraph";
const StateAnnotation = Annotation.Root({
topic: Annotation