Status: IN
ftl-reasons is a hybrid TMS: symbolic TMS handles structure (justifications, propagation, cascades, backtracking, challenge/defend) while LLMs handle semantic operations (derive generates beliefs, review-beliefs critiques them, contradiction detection finds nogoods)
Source: repo:beliefs-pi/CLAUDE.md
Depends on (SL): ftl-reasons-is-tms, llm-as-problem-solver