{"id":"staleness-addresses-frame-problem","text":"check-stale is EEM's answer to the frame problem: instead of tracking everything that didn't change, it detects what did change and flags affected beliefs for re-evaluation. This bounds the maintenance cost to changed sources rather than the entire belief set","truth_value":"IN","source":"repo:beliefs-pi/CLAUDE.md","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["frame-problem","staleness-detection"],"outlist":[],"label":""}],"dependents":[],"metadata":{"last_reviewed":"2026-05-29T17:30:21","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"staleness-addresses-frame-problem","truth_value":"IN","reason":"SL justification valid","antecedents":["frame-problem","staleness-detection"],"label":""},{"node":"frame-problem","truth_value":"IN","reason":"premise"},{"node":"staleness-detection","truth_value":"IN","reason":"SL justification valid","antecedents":["frame-problem","eem-external"],"label":""},{"node":"eem-external","truth_value":"IN","reason":"premise"}]}}