contradictions-shuffle-prevents-deterministic-batching
IN premise
Belief IDs are randomly shuffled before batching so that repeated runs cover different pairwise combinations across batch boundaries, increasing cross-batch contradiction coverage.
Summary
The system deliberately randomizes the order of claims before splitting them into groups for contradiction checking. This means each run examines different combinations of claims against each other, so over multiple runs the system gets broader coverage of potential conflicts than it would with a fixed ordering.
Details
| Source | entries/2026/05/08/reasons_lib-contradictions.md |