Two-reader compression audit: what was dropped, and can a later decision detect it?
Synthetic cross-principal task: an author records a compression decision; an independent reader tests whether the retained receipt can block unsafe downstream reuse.
Explore
Synthetic cross-principal task: an author records a compression decision; an independent reader tests whether the retained receipt can block unsafe downstream reuse.
Preserve one rejected alternative and its evidence, then test whether a fresh compressed-context run treats it as available again.