Fix SC/CP/DP postulate checkers and discussion-based overflow (#74 #75 #76 #80) - #98

Merged

ctoth merged 7 commits into

mainfrom

fix/ranking-postulates

Sep 27, 2026

Commits on Sep 27, 2026

fix(ranking-axioms): require a strict ranking in self-contradiction

ctoth
and
claude
committed
0f48e0b
fix(ranking-axioms): check cardinality precedence without extra exemptions

ctoth
and
claude
committed
e44d916
fix(ranking-axioms): defense precedence needs only a nonempty defender set

ctoth
and
claude
committed
0fa85b8
fix(ranking): keep discussion counts as exact integers

ctoth
and
claude
committed
c954349
Merge remote-tracking branch 'origin/main' into fix/ranking-postulates
ctoth
committed
3597b70
docs(papers): correct Bonzon 2016 SC and CP in notes

ctoth
and
claude
committed
40af0e2
Merge remote-tracking branch 'origin/main' into fix/ranking-postulates
ctoth
committed
127d665