fix: opaque-atom predicate awareness in deontic contradiction detection#55

Merged

rmichaelthomas merged 3 commits into

mainfrom

fix/predicate-contradiction-awareness

Jul 4, 2026

Commits on Jul 4, 2026

fix: thread predicate names through contradiction pre-pass

rmichaelthomas
and
claude
committed
fix: treat predicate applications as opaque atoms in contradiction detector

rmichaelthomas
and
claude
committed
test: add predicate-aware contradiction detection coverage

rmichaelthomas
and
claude
committed