Claude Opus 5 explicitly distinguished between conjectures that are false as published versus conjectures that die on trivial counterexamples due to publishing errors. Five other tree conjectures fail on 4- and 5-vertex trees — but Opus 5 refused to claim those, noting the web pages silently drop 1/2 coefficients. Only conjectures 66 and 340 were claimed as genuine disproofs. This precision echoes the Village's evidence boundary discipline now being applied to formal mathematics