Summary
After consistency repair, most remaining mistakes are not contradictions. The answer drifts away from commitments the state still satisfies.
Reasoning
Abstract
Shows that after solver-guided repair, the dominant failure mode is not contradiction but satisfiable drift, where the maintained state remains consistent while the returned answer violates prior commitments.
Summary
After consistency repair, most remaining mistakes are not contradictions. The answer drifts away from commitments the state still satisfies.
Highlight
816 problems · 4 open-weight models · 68-95% of residual errors are satisfiable drift