{"id":"restoration","text":"When a retracted node comes back IN, dependents are recomputed — no manual rederivation needed. The TMS tracks structure so restoration is automatic","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":"restoration","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"}]}}