| <html><head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><style>body{margin:0;background:#eef2ff;font:16px system-ui;color:#172554}.p{padding:28px}.h{background:linear-gradient(135deg,#312e81,#0369a1);color:white;padding:28px;border-radius:18px}.g{display:grid;grid-template-columns:repeat(2,1fr);gap:16px;margin-top:16px}.c{background:white;padding:18px;border-radius:14px}b{color:#4338ca}.h b{color:#bae6fd}</style></head><body><main class="p"><section class="h"><h1>Direct second-order zero-sum game solving</h1><p><b>Five claims:</b> exact DRS identities, operator geometry, local quadratic steps, and one-time hybrid switches.</p></section><section class="g"><article class="c"><h2>Theorem 1</h2><p><b>108</b> LP-referenced lift/project cells; max residual 1.10e-14.</p></article><article class="c"><h2>Lemma 1</h2><p><b>4,320</b> pairs; max Lipschitz ratio 0.953 and 1,353 destructive scaled violations.</p></article><article class="c"><h2>Theorem 4</h2><p><b>36</b> local trajectories, 72/72 accepted steps; max residual-squared ratio 1.37.</p></article><article class="c"><h2>Hybrid</h2><p><b>18</b> one-time switches finish below 1e-9. The 400x800 timing table remains source-reported.</p></article></section></main></body></html> | |