Before the added marked-count moment checks.
The bad atom's six-copy filter splits as
 A(T)+B(T), A=1+T^54+T^90=P(T^18),
 B=T^81*(1+T^36+T^54)=T^81*V(T^18), V=1+u^2+u^3.
Gate out old row-i defect2, retaining the3-copy A channel. This needs one
binary tag on the bad component only and leaves a positive observable.
The already peer-verified Q certificate for P=1+u^3+u^5 should also bound
V/P through ||VQ||_1/(1-||1-PQ||_1), without another numerical search.

If this ratio is below8.1, original bad-component recovery costs below9.1.
Together with5 unchanged components and mean_bad=2*mean_gate, Cauchy gives
a global conditional square-root-moment loss below7.
This is a reduction of six actual marked inputs, not a proof of those inputs.
Test exact means and sixth-moment consumer on the same fixed fixture and
fixed-total slices, windows17,513,8193. Keep small-mean qualifications.
