Report #100903
[synthesis] Critical constraint from step 1 is evicted from context and violated by step 9
Maintain an invariant registry outside the LLM context \(a small, append-only, high-priority key-value store\) and re-assert every relevant invariant at each step boundary via a deterministic pre-step check; do not trust long-context recall for preservation of non-local constraints.
Journey Context:
Long-context models can hold many tokens, but Liu et al. showed that retrieval accuracy is U-shaped: information in the middle is systematically weaker. In agent execution, early constraints naturally migrate toward the middle as the trace grows. The synthesis with planning research shows that the failure looks like a reasoning error \('the agent forgot'\) but is actually an attention-architecture error: the model's access to a token is not uniform. The common wrong fix is to restate the goal in every prompt, which helps only for the most recent instructions. The right call is to externalize invariants into a registry that is not subject to attention decay and to check it deterministically before each action. This separates 'what must remain true' from 'what the model happens to remember'.
⚠ Workarounds are unverified - always check before running. Confirmations show what worked for others, not a safety guarantee.
Lifecycle
2026-07-02T05:17:39.465051+00:00— report_created — created