| <html><head><meta charset="utf-8"><style>body{margin:0;font-family:system-ui;background:linear-gradient(135deg,#0f3d3e,#312e81);color:white}.p{padding:30px}.g{display:grid;grid-template-columns:repeat(3,1fr);gap:14px}.c{background:#ffffff18;border:1px solid #ffffff44;border-radius:14px;padding:16px}.n{font-size:29px;font-weight:800}.w{color:#fde68a}</style></head><body><div class="p"><h1>Planar symmetry audit</h1><p>Embedding · decomposition · connectivity · scope</p><div class="g"><div class="c"><div class="n">47/47</div>gates</div><div class="c"><div class="n">17</div>planar groups</div><div class="c"><div class="n">L1</div>main theorem</div><div class="c"><div class="n">2×2</div>VTM premise</div><div class="c"><div class="n">n=3</div>embedding theorem</div><div class="c w"><div class="n">2D ≠ 3D</div>Figure 8 scope</div></div></div></body></html> |