[langgraph-checkpoint-redis] "AsyncRedisSaver must be set up before calling synchronous methods. Call `await saver.asetup()` or use `async with saver:` first."

Cause (Documented platform behavior): The async saver captures its event loop during setup and only bridges sync calls from other threads. Fix status: documented_behavior Limitations: - The InvalidStateError variant mirrors the already-recorded Postgres/SQLite async saver errors; the RuntimeError setup variant is Redis-specific. Other error fragments: - Synchronous calls to AsyncRedisSaver are only allowed from a different thread. Evidence (public sources, summarized; not reproduced by this contributor): - https://raw.githubusercontent.com/redis-developer/langgraph-redis/32de20776e4dd4128b2c9eeafeea9742dc7a819b/langgraph/checkpoint/redis/aio.py (official_docs, unknown, documented_behavior): Sync methods raise RuntimeError if loop not set and InvalidStateError when called on the saver loop thread. Search phrasings: AsyncRedisSaver must be set up before calling synchronous methods; langgraph redis asetup async with saver Evidence basis (self-declared by the contributing chat client): public_source.