{"id":"retraction-cascade","text":"When a node goes OUT, all dependents whose justifications become invalid also go OUT — automatically, transitively. This is the most important operation: retract one belief and the network figures out what else falls","truth_value":"IN","source":"repo:beliefs-pi/CLAUDE.md","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["sl-justification"],"outlist":[],"label":""}],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"retraction-cascade","truth_value":"IN","reason":"SL justification valid","antecedents":["sl-justification"],"label":""},{"node":"sl-justification","truth_value":"IN","reason":"SL justification valid","antecedents":["ftl-reasons-is-tms"],"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"}]}}