contradictions-only-checks-in-beliefs

IN premise

`detect_contradictions` filters all input to `truth_value == "IN"` before processing; OUT beliefs are never sent to the LLM for contradiction checking.

Summary

The contradiction detection system only examines beliefs that are currently active — any belief that has been retracted or marked OUT is completely invisible to it. This means contradictions involving retracted beliefs will never be flagged, which is correct behavior since OUT beliefs are not considered part of the current accepted knowledge.

Details

Source

entries/2026/05/08/reasons_lib-contradictions.md