| <html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>Context-free transformer audit</title><style>body{margin:0;background:#071a18;color:#f3fffb;font:16px system-ui}.wrap{padding:28px;max-width:1100px;margin:auto}.hero{background:linear-gradient(135deg,#047857,#4338ca);padding:30px;border-radius:20px}h1{margin:0 0 10px;font-size:38px}.grid{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin-top:18px}.card{background:#102a2c;padding:18px;border-radius:14px}.n{font-size:30px;color:#6ee7b7;font-weight:800}.wide{grid-column:span 3}img{width:100%;border-radius:12px;background:white}@media(max-width:760px){.grid{grid-template-columns:1fr}.wide{grid-column:span 1}}</style></head><body><div class="wrap"><div class="hero"><h1>Context-free Recognition</h1><p>Exact item counts, parser controls, resource tradeoffs, and parallel Boolean-formula contraction.</p></div><div class="grid"><div class="card"><div class="n">17/17</div><p>scientific gates pass</p></div><div class="card"><div class="n">880</div><p>formula contractions</p></div><div class="card"><div class="n">0</div><p>extra BFVP padding</p></div><div class="card wide"><img src="outputs/context_free_transformers_audit.png" alt="Three-panel context-free transformer audit"></div><div class="card wide"><b>Scope.</b> Finite diagnostics accompany the pinned universal transformer constructions; they do not replace them.</div></div></div></body></html> | |