contradiction-min-two-claims

IN premise

`parse_contradiction_response` drops any nogood with fewer than 2 valid claim IDs; this is enforced both before and after `valid_ids` filtering.

Summary

A contradiction only makes sense when at least two claims conflict with each other — a single claim cannot contradict itself in this system. The parser enforces this by rejecting any proposed contradiction that names fewer than two valid claims, both as an early check on the raw input and again after filtering to only known claim IDs. This prevents meaningless or dangling contradiction records from entering the database.

Details

Sourceentries/2026/05/08/tests-test_contradictions.md