{"id":"ftl-reasons-is-tms","text":"ftl-reasons implements actual Doyle-style TMS architecture: SL justifications with antecedents and outlists, BFS propagation cascades with restoration, entrenchment-scored dependency-directed backtracking. LLMs fill the problem-solver role Doyle left open","truth_value":"IN","source":"repo:beliefs-pi/CLAUDE.md","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["tms-doyle-1979"],"outlist":[],"label":""}],"dependents":["challenge-defend","how-to-start","hybrid-tms","multi-agent-beliefs","nogood-mechanism","sl-justification"],"metadata":{},"explanation":{"steps":[{"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"}]}}