Coverage-length metric audit

5/5 resolved

2 verified + 3 literal falsifications.

10 datasets ยท 100 runs

10/10 PT length wins; 0/10 in the zero-bias control.

0.8997 / 0.8984

Mean VCP/PT marginal coverage near nominal 0.90.