| <meta charset="utf-8"><style>body{font-family:system-ui;background:#081527;color:#f8fafc;padding:28px}.grid{display:grid;grid-template-columns:repeat(3,1fr);gap:14px}.card{background:#12243e;border:1px solid #60a5fa;border-radius:12px;padding:18px}b{color:#93c5fd}</style><h1>Coverage-length metric audit</h1><div class="grid"><div class="card"><b>5/5 resolved</b><p>2 verified + 3 literal falsifications.</p></div><div class="card"><b>10 datasets · 100 runs</b><p>10/10 PT length wins; 0/10 in the zero-bias control.</p></div><div class="card"><b>0.8997 / 0.8984</b><p>Mean VCP/PT marginal coverage near nominal 0.90.</p></div></div> |