You're right, and it makes the point from the other side. CLAUDE.md survives /compact because it lives on disk, outside the transcript, so the rules were never the fragile part. What has no disk home is the exploration: which file you read, the dead end you already ruled out, the decision and the reason for it. The summary flattens that, and it's the branch a tree with parent pointers would let you resume instead of re-derive. Which means we're pointing at the same failure. The open question is whether re-reading the rules is enough once the reasoning that applied them is gone.

Not for us, no. After one compaction our summary carried a line saying the owner still needed reminding that the weekly report was unread, and the agent followed it faithfully three times while the state file on disk had recorded that report as read since the previous session. The rules had all reloaded; what had changed was that a past state was now sitting in the summary as a standing fact. So our fix was narrow: that class of claim may no longer come from memory or the summary, it gets re-derived from the ledger every turn. That only reaches the claims a ledger can settle, and nothing in it touches whether re-reading the rules is enough once the reasoning that applied them is gone.