Open-source agent runtime replaces chat logs with a belief graph to fix context rot
Dapper_Ad599 · reddit · 2026-10-04
The author open-sourced a pre-alpha project, Corollary, tackling "context rot" in long-running agents: conventional frameworks store state as an ever-growing chat log, so bad data from step 3 stays in context forever, and changing a key fact forces a full wipe or rerun.
Corollary instead stores state as a belief base backed by a truth maintenance system (Doyle, 1979):
- Every belief/conclusion tracks its justifications
- Retracting or updating a base fact automatically retracts and re-derives downstream conclusions
- Independent conclusions are untouched, yielding a clean diff instead of re-running LLM calls
- The LLM only sees currently valid ("IN") beliefs, so retracted facts can't leak back via the transcript
The author is seeking feedback and edge cases, and asks how others handle context rot in long-running agents.
More from coding & agent
- Dialkit macOS ships open source: tune iOS interfaces live from your Mac — mikelikesdesign · 2026-10-04
- KMP: recovering project decisions and evidence across Claude and Codex via MCP — Mountain-Raise-4556 · 2026-10-04
- (Lean)DOOM: DOOM fully rewritten in the Lean proof assistant, with formal proofs included — akbirthko · 2026-10-04
- Jin: a minimalist coding agent that swaps MCP/plugins for prompts and bash — aldapsiger · 2026-10-04
- Kepler hits server-verified 100 on all 25 ARC-AGI-3 games with Opus 5, for $777.72 — rohanpaul_ai · 2026-10-04
- Agent hit 100 on ARC-AGI-3 game by reading its source code; clean rerun scored 46.91 — rohanpaul_ai · 2026-10-04