The research record for EML-native computation. ⌁ Frontier Current state: EML Advantage Lab, guarded lowering, proof skeletons, and proof-carrying rescue. ▣ SuperBEST The cost-model and routing table surface. Treat savings claims as bounded by the current evidence notes. ✓ Proofs Machine-checked and candidate proof artifacts, with explicit limits and non-claims. ◉ Live Status CI-emitted verification dashboard. Sorry counts, axiom audit, Forge @verify closure. Numbers refresh from lake build, never hand-typed. ◈ Lessons & Electronics Lab EML lessons and the Electronics Lab on monogate.dev. The Rescue Suite, packet builder, Advantage Lab and evidence browser that were there are archived (2026-09-12). ∫ Paper The full arXiv:2603.21852 treatment and theorem catalog. ? About Who's behind Monogate, how the multi-model orchestration works, and the explicit non-claims.
Read the full story →
Current Frontier
