Status: IN
A nogood is a set of nodes that cannot all be IN simultaneously. When detected, dependency-directed backtracking traces backward through justification chains and retracts the responsible premise with fewest dependents (minimal disruption)
Source: repo:beliefs-pi/CLAUDE.md
Depends on (SL): ftl-reasons-is-tms, agm-belief-revision