After the depth12 candidate passed, before the depth13 calculation.
The full-prefix scan found max conditional variance/mu <=3.272 on its five
actual windows. This remains far from a proof of the candidate5 at depth109.
Try one deeper actual whole union at b13, using windows256,512,1024.
Allow common period up to2^24 for this bounded job only. Arrays are processed
one window at a time; explicit int64 guards remain. One process120seconds.
Keep the independent three-state entry density control. Retain any failing
prefix and audit its actual counts directly before making a claim.
This is an adversarial extension after seeing depth12, not an independent
confirmation or evidence of an asymptotic theorem.
