mirror of
https://github.com/bytedance/deer-flow.git
synced 2026-08-15 01:08:53 +00:00
* feat(checkpoint): dual-mode checkpoint storage with LangGraph DeltaChannel
Add a restart-required database.checkpoint_channel_mode ("full" default,
"delta") that stores the messages channel via LangGraph 1.2 DeltaChannel,
cutting checkpoint storage from O(n^2) to O(n) for append-only history.
Existing full checkpoints seed delta state transparently; no data migration.
- config: mode schema + freeze-on-first-use with
CheckpointModeReconfigurationError; mode marker persisted in checkpoint
metadata; unsafe delta->full downgrade rejected fail-closed with
CheckpointModeMismatchError (run-level error, failed state read)
- state: delta message state schema; CheckpointStateAccessor centralizes
materialized reads for all consumers (threads API, branches,
regeneration, compaction, state updates, memory, goal workers)
- runtime: raw writers (run durations, interrupted title, thread goal)
parent their checkpoints to the checkpoint they derive from, preserving
delta ancestry; rollback forks the pre-run lineage through a state
mutation graph with Overwrite restores; InMemorySaver delta-history
override delegates to the base walk (fixes dropped first write after
migration, also present upstream)
- tests: conformance suite over {memory, sqlite, postgres} covering
migration replay, stable message IDs, storage shape and writer
preservation; conftest fixture isolates the frozen mode between tests;
stale config fakes refreshed
- ci: backend unit tests gain a postgres service
* fix(checkpoint): close materialization gaps in goal flow, guard public factory
- Route goal-continuation message reads through CheckpointStateAccessor:
raw channel_values reads see the delta sentinel in delta mode, which
disabled goal continuation (stand_down=no_durable_end_of_turn) after
durable assistant turns. Raw tuples remain for tuple-only metadata
(checkpoint id, pending_writes).
- Reject checkpoint_channel_mode='delta' + checkpointer in
create_deerflow_agent at construction: factory-built persisted graphs
bypass mode-marker injection and the fail-closed gate, reproducing
silent mixed-mode state loss. Delta without persistence stays allowed.
- Import the postgres saver lazily (pytest.importorskip in the fixture)
so the documented default install collects the suite; add a CI job
running pytest --collect-only on uv sync --group dev without extras.
- Fix test_checkpointer fallback test to patch get_app_config at its
use site (provider module), making it deterministic when a local
config.yaml selects a persistent backend.
* fix(gateway): preserve extension-owned channels in state mutations, bump config version
- build_state_mutation_graph / build_checkpoint_state_mutation_accessor
accept an explicit state_schema; branch and POST /state now compile the
mutation graph from the thread's effective schema
(graph_state_schema on the assistant graph). The base-ThreadState
fallback silently discarded channels contributed by custom
AgentMiddleware.state_schema on branch (data loss) and returned a
false-success 200 on POST /state.
- POST /state validates values keys against the mutation graph's
channels and rejects unknown fields with 422 instead of ignoring
them; reducer detection covers extension channels
(BinaryOperatorAggregate or DeltaChannel) so Overwrite replace
semantics work for middleware reducers in both modes.
- Endpoint regression: custom AgentMiddleware.state_schema value
survives branch, updates through POST /state, and an unknown field
receives 422.
- config_version 26 -> 27 for the new database.checkpoint_channel_mode
(example, Helm chart values + README, support-bundle fixture), so
existing installs get the outdated-config warning and
make config-upgrade merges the field; covered by a test driving the
real example file and the real config-upgrade script.
* fix(gateway): resolve assistant schema via one boundary, copy branch reducer values with Overwrite
GET /threads/{id}/state now resolves the thread's assistant_id through a
single reusable boundary (thread metadata -> assistant_id -> effective
graph), so channels contributed by a custom AgentMiddleware.state_schema
are materialized instead of dropped by the default lead schema. POST
/state uses the same boundary instead of resolving the schema ad hoc.
Branch writes wrap every copied reducer channel in Overwrite (derived
from the effective mutation graph: BinaryOperatorAggregate + DeltaChannel),
not just messages, so already-aggregated values are never re-merged.
Regression tests use a real AgentMiddleware.state_schema with a
non-identity reducer in both full and delta modes: GET /state returns the
extension value, POST /state replaces it, branch preserves it
byte-for-byte; the unknown-field 422 is a separate assertion.
* refactor(checkpoint): collapse read-path round-trips and ship dual-mode parity tests
Address review round 4 on PR #4292:
- Push ahistory/history limit through Pregel into checkpointer.alist
(SQL LIMIT) instead of materializing all rows and breaking in Python
- Fold the read-side mode-compat gate onto the returned snapshot's
metadata; only writes keep the pre-write tuple fetch (fail-closed)
- Cache factory-built accessor graphs per (assistant_id, mode) with
factory-identity revalidation; state reads no longer build a lead
agent per request
- get_thread: one snapshot fetch + one raw pending_writes fetch on the
resolved checkpoint (post-checkpoint __error__ writes never surface
in snapshot.tasks; verified empirically)
- DeerFlowClient.get_thread: single checkpointer.list walk collects
pending_writes per checkpoint instead of N get_tuple calls
- InMemorySaver delta-history patch: stand-down when the upstream
override disappears, try/except guard, validated-version warning,
guard tests
- make_lead_agent mode precedence: first freeze is owned by app_config
(client-supplied configurable key ignored); once frozen, injected
key/app_config must match or fail closed
- Rollback: lock in non-message channel restoration via fork
inheritance with a dedicated reducer-channel test
- Add tests/test_threads_checkpoint_mode.py and
tests/test_gateway_checkpoint_mode.py referenced by AGENTS.md and
the PR validation section: lifecycle parity (memory + sqlite),
per-step blob-count storage guard, gateway endpoint parity
Counted-saver tests pin checkpoint round-trips for aget/ahistory so
these regressions cannot silently return.
* fix(checkpoint): precise mode-mismatch HTTP mapping, gate E2E, and accessor resilience
- threads router: map CheckpointModeMismatchError to 409 (with cause and
thread id) and CheckpointModeReconfigurationError to 503 across all state
endpoints instead of swallowing both into a generic 500
- gate coverage: seed a real delta checkpoint into AsyncSqliteSaver and
assert aget/aupdate/ahistory fail closed; assert 409 at the HTTP boundary
through the real route stack
- rollback: compile the restore mutation graph with the thread's effective
state schema per the build_state_mutation_graph contract
- inheritance contract locks: rollback and manual compaction preserve
middleware-contributed channels via checkpoint fork cloning
- services: revalidate the accessor-graph cache against app_config identity
so config.yaml hot-reloads never serve a stale compiled graph
- services: degrade full-mode state reads to raw checkpointer reads when the
agent factory is unavailable (delta gate still applies; delta mode has no
fallback)
- deps: override websockets==16.0 (langgraph-sdk 0.4.2's <16 pin silently
downgraded 16.0 -> 15.0.1; pin is not grounded in any API incompatibility)
and bump the langchain lower bound to what the lockfile actually resolves
* fix(checkpoint): include anchor checkpoint in degraded history walk + cover get_thread
- _RawCheckpointReadAccessor.ahistory: alist(before=...) is exclusive while
pregel's get_state_history treats config.checkpoint_id as the inclusive
start; fetch the anchor explicitly so both read paths paginate identically
- extend the degraded-path gateway test: GET /thread returns raw values, and
POST /history with before starts at the anchor checkpoint
* fix(gateway): preserve degraded checkpoint timestamps
* fix(gateway): harden degraded checkpoint access
* fix(gateway): resolve assistants for checkpoint reads
---------
Co-authored-by: Willem Jiang <willem.jiang@gmail.com>
185 lines
6.2 KiB
Python
185 lines
6.2 KiB
Python
from typing import get_type_hints
|
|
|
|
import pytest
|
|
from hypothesis import given
|
|
from hypothesis import strategies as st
|
|
from langchain.agents import AgentState, create_agent
|
|
from langchain.agents.middleware import AgentMiddleware
|
|
from langchain_core.language_models.fake_chat_models import FakeMessagesListChatModel
|
|
from langchain_core.messages import AIMessage, AIMessageChunk, HumanMessage, RemoveMessage
|
|
from langgraph.channels import DeltaChannel
|
|
from langgraph.checkpoint.memory import InMemorySaver
|
|
from langgraph.graph import StateGraph
|
|
from langgraph.graph.message import REMOVE_ALL_MESSAGES, add_messages
|
|
|
|
from deerflow.agents.thread_state import (
|
|
DeltaThreadState,
|
|
ThreadState,
|
|
adapt_state_schema_for_mode,
|
|
get_thread_state_schema,
|
|
merge_message_writes,
|
|
normalize_middleware_state_schemas,
|
|
)
|
|
|
|
|
|
def _fold(state: list, writes: list) -> list:
|
|
result = list(state)
|
|
for write in writes:
|
|
result = list(add_messages(result, write))
|
|
return result
|
|
|
|
|
|
@pytest.mark.parametrize(
|
|
"writes",
|
|
[
|
|
[[HumanMessage(id="h1", content="one")], [AIMessage(id="a1", content="two")]],
|
|
[[AIMessage(id="same", content="old")], [AIMessage(id="same", content="new")]],
|
|
[[HumanMessage(id="h1", content="one")], [RemoveMessage(id="h1")]],
|
|
[
|
|
[HumanMessage(id="h1", content="one"), AIMessage(id="a1", content="two")],
|
|
[RemoveMessage(id=REMOVE_ALL_MESSAGES), HumanMessage(id="h2", content="kept")],
|
|
],
|
|
],
|
|
)
|
|
def test_merge_message_writes_matches_sequential_add_messages(writes: list) -> None:
|
|
assert merge_message_writes([], writes) == _fold([], writes)
|
|
|
|
|
|
@given(split=st.integers(min_value=0, max_value=3))
|
|
def test_merge_message_writes_is_batching_invariant(split: int) -> None:
|
|
state = [HumanMessage(id="h0", content="seed")]
|
|
writes = [
|
|
[AIMessage(id="a1", content="first")],
|
|
[AIMessage(id="a1", content="replacement")],
|
|
[HumanMessage(id="h2", content="last")],
|
|
]
|
|
xs = writes[:split]
|
|
ys = writes[split:]
|
|
assert merge_message_writes(merge_message_writes(state, xs), ys) == merge_message_writes(state, writes)
|
|
|
|
|
|
def test_merge_message_writes_matches_unknown_remove_error() -> None:
|
|
writes = [[RemoveMessage(id="missing")]]
|
|
|
|
with pytest.raises(ValueError) as expected:
|
|
_fold([], writes)
|
|
with pytest.raises(type(expected.value)) as actual:
|
|
merge_message_writes([], writes)
|
|
|
|
assert str(actual.value) == str(expected.value)
|
|
|
|
|
|
@pytest.mark.parametrize(
|
|
"write",
|
|
[
|
|
[{"role": "user", "content": "from a dict", "id": "dict-1"}],
|
|
AIMessageChunk(id="chunk-1", content="from a chunk"),
|
|
],
|
|
)
|
|
def test_merge_message_writes_matches_message_coercion(write: object) -> None:
|
|
assert merge_message_writes([], [write]) == _fold([], [write])
|
|
|
|
|
|
def test_raw_tuple_coercion_matches_add_messages_reducer_parity(monkeypatch: pytest.MonkeyPatch) -> None:
|
|
monkeypatch.setattr("langgraph.graph.message.uuid.uuid4", lambda: "tuple-id")
|
|
writes = [[("human", "from a tuple")]]
|
|
|
|
assert merge_message_writes([], writes) == _fold([], writes)
|
|
|
|
|
|
def test_mode_selects_expected_state_schema() -> None:
|
|
assert get_thread_state_schema("full") is ThreadState
|
|
assert get_thread_state_schema("delta") is DeltaThreadState
|
|
message_hint = get_type_hints(DeltaThreadState, include_extras=True)["messages"]
|
|
assert any(isinstance(item, DeltaChannel) for item in message_hint.__metadata__)
|
|
|
|
|
|
def test_delta_adaptation_replaces_agent_state_message_reducer() -> None:
|
|
adapted = adapt_state_schema_for_mode(AgentState, "delta")
|
|
hint = get_type_hints(adapted, include_extras=True)["messages"]
|
|
assert any(isinstance(item, DeltaChannel) for item in hint.__metadata__)
|
|
|
|
|
|
def test_agents_package_exports_delta_thread_state() -> None:
|
|
from deerflow.agents import DeltaThreadState as ExportedDeltaThreadState
|
|
|
|
assert ExportedDeltaThreadState is DeltaThreadState
|
|
|
|
|
|
class _FirstState(AgentState):
|
|
first: str
|
|
|
|
|
|
class _SecondState(AgentState):
|
|
second: int
|
|
|
|
|
|
class _FirstMiddleware(AgentMiddleware):
|
|
state_schema = _FirstState
|
|
|
|
|
|
class _SecondMiddleware(AgentMiddleware):
|
|
state_schema = _SecondState
|
|
|
|
|
|
class _FakeModel(FakeMessagesListChatModel):
|
|
def bind_tools(self, tools, **kwargs): # type: ignore[override]
|
|
return self
|
|
|
|
|
|
def _compile_with_middleware(middleware: list[AgentMiddleware], mode: str):
|
|
return create_agent(
|
|
model=_FakeModel(responses=[AIMessage(id="response", content="done")]),
|
|
tools=None,
|
|
middleware=normalize_middleware_state_schemas(middleware, mode),
|
|
state_schema=get_thread_state_schema(mode),
|
|
)
|
|
|
|
|
|
def test_delta_normalization_compiles_stable_channel_without_mutating_middleware() -> None:
|
|
first = _FirstMiddleware()
|
|
second = _SecondMiddleware()
|
|
middleware = [first, second]
|
|
|
|
for _ in range(10):
|
|
graph = _compile_with_middleware(middleware, "delta")
|
|
assert isinstance(graph.channels["messages"], DeltaChannel)
|
|
|
|
assert first.state_schema is _FirstState
|
|
assert second.state_schema is _SecondState
|
|
|
|
full_graph = _compile_with_middleware(middleware, "full")
|
|
assert type(full_graph.channels["messages"]).__name__ == "BinaryOperatorAggregate"
|
|
assert first.state_schema is _FirstState
|
|
assert second.state_schema is _SecondState
|
|
|
|
|
|
@pytest.mark.parametrize(
|
|
"write",
|
|
[
|
|
HumanMessage(content="root BaseMessage"),
|
|
{"role": "user", "content": "root message dict"},
|
|
[HumanMessage(content="BaseMessage in list")],
|
|
[{"role": "user", "content": "message dict in list"}],
|
|
],
|
|
ids=["base-message", "dict", "base-message-list", "dict-list"],
|
|
)
|
|
def test_production_message_forms_keep_assigned_ids_across_delta_replay(write: object) -> None:
|
|
builder = StateGraph(DeltaThreadState)
|
|
|
|
def write_messages(_state):
|
|
return {"messages": write}
|
|
|
|
builder.add_node("writer", write_messages)
|
|
builder.set_entry_point("writer")
|
|
builder.set_finish_point("writer")
|
|
graph = builder.compile(checkpointer=InMemorySaver())
|
|
config = {"configurable": {"thread_id": "stable-message-replay"}}
|
|
|
|
graph.invoke({}, config)
|
|
first = graph.get_state(config).values["messages"]
|
|
second = graph.get_state(config).values["messages"]
|
|
|
|
assert first[0].id is not None
|
|
assert second[0].id == first[0].id
|