contradiction-in-only-filter

Summary

When you ask the system to check specific beliefs for contradictions, it silently skips any that are currently retracted (OUT status). This means you cannot detect contradictions involving retracted beliefs, even when you explicitly request them by ID — the filter overrides your explicit selection, which could hide important conflicts that should inform whether those beliefs stay retracted.