CDN-349 converts the CDN-348 closure manifold into an external falsifier. Given caps on median concentration c0, coherence rho, and residual boundary T, monotonicity makes the strongest allowed closure the upper corner of the anchor box. Single-axis relaxations fail the P (20/20) >=20% target, while compact and mild three-axis boxes survive. The locked result is MILDANCHORBOXCLOSESSINGLEAXESFAIL.
Nicky Joseph Hubertus Catharina Hacquier (Thu,) studied this question.