{"id":"ftl-reasons-implementation","text":"ftl-reasons implements: SL justifications with antecedents and outlists, BFS propagation cascades with restoration, entrenchment-scored dependency-directed backtracking, challenge/defend dialectical argumentation (challenge→OUT, defend neutralizes, multi-level chains), LLM-driven derive, review-beliefs, and contradiction detection. SQLite-backed, Python CLI.","truth_value":"IN","source":"repo:ftl-reasons/reasons_lib/","source_url":"","source_hash":"","justifications":[],"dependents":["challenge-defend","ftl-reasons-is-tms"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"ftl-reasons-implementation","truth_value":"IN","reason":"premise"}]}}