{"id":"nogood-mechanism","text":"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)","truth_value":"IN","source":"repo:beliefs-pi/CLAUDE.md","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["ftl-reasons-is-tms","agm-belief-revision"],"outlist":[],"label":""}],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"nogood-mechanism","truth_value":"IN","reason":"SL justification valid","antecedents":["ftl-reasons-is-tms","agm-belief-revision"],"label":""},{"node":"ftl-reasons-is-tms","truth_value":"IN","reason":"SL justification valid","antecedents":["tms-doyle-1979"],"label":""},{"node":"tms-doyle-1979","truth_value":"IN","reason":"premise"},{"node":"agm-belief-revision","truth_value":"IN","reason":"premise"}]}}