{"id":"bounded-collections-trade-completeness-for-memory","text":"Four systems use fixed-capacity collections (deque maxlen, list pruning) that silently drop oldest entries to bound memory growth, accepting silent data loss as the tradeoff for guaranteed memory bounds.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["news-feed-cache-is-bounded-deque","nearby-friends-history-bounded-100","url-shortener-click-history-bounded","gdrive-version-list-bounded"],"outlist":[],"label":"Silent eviction via capped collections is the repo's standard memory-bounding pattern"}],"dependents":["memory-is-bounded-at-the-cost-of-silent-information-loss","pedagogical-tradeoffs-are-safe-within-module-boundaries"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"bounded-collections-trade-completeness-for-memory","truth_value":"IN","reason":"SL justification valid","antecedents":["news-feed-cache-is-bounded-deque","nearby-friends-history-bounded-100","url-shortener-click-history-bounded","gdrive-version-list-bounded"],"label":"Silent eviction via capped collections is the repo's standard memory-bounding pattern"},{"node":"news-feed-cache-is-bounded-deque","truth_value":"IN","reason":"premise"},{"node":"nearby-friends-history-bounded-100","truth_value":"IN","reason":"premise"},{"node":"url-shortener-click-history-bounded","truth_value":"IN","reason":"premise"},{"node":"gdrive-version-list-bounded","truth_value":"IN","reason":"premise"}]}}