v1.2.1

1.2.1 (2026-08-29)

Bug Fixes

• atomize: a scope is never empty, and never eats an article (e0e48ea)
• atomize: a symbolic comparator must survive normalization (282a3b6)
• check: a guard is both EARS slots, so two exclusive states are two contexts (e035458)
• check: an "I don't know" is not a comparison, so it must not certify (ffaad06)
• check: an eligibility-only finding is not a comparison, so it must not certify (c3c5203)
• contradiction: a culprit set is the document's, not the solver's iteration order (cabb8c6)
• numeric: a quantity subject is the whole phrase, not a three-word window (33ece44)
• relational: a discloser wants a COARSER key than the prover it shares one with (6cdcc49)
• subsumption: a degenerate body relates two formulas, not two requirements (8681348)
• three error-severity fabrications, and the gates that were missing (b20e371)