Status: IN
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
Source: repo:beliefs-pi/CLAUDE.md
Depends on (SL): frame-problem, staleness-detection