Finds cached values that a write never invalidates, cache keys that leave out a user, tenant or version, and entries with no expiry. Returns each stale read path, the write that should evict it, the fix, and a test that reads after the update.