Reviewing recency before eviction

Trace the linked-state invariant, repair the cache in stages, and disprove a read-only-get shortcut.