Status: IN
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
Source: repo:beliefs-pi/CLAUDE.md
Depends on (SL): tms-doyle-1979