v162: audited my own correction. Per-subset break-even bars (0.3304%-0.3939%) change NO verdict - path+relabel's own bar is stricter than the one I borrowed and it still clears on a zero bound. The retracted 8.685% never licensed a decision. v139's one-flip multiple was wrong the OTHER way (12x vs 1.69x). Formula error N*G/C vs N*G/(G+C) found by an internal contradiction. 1315 tests, 20/20 mutations fire
