Qortora · Search · Indexed page
blog.iroha1203.dev Fetched 2026-08-17T11:02:18Z
The SAGA Comparison Theorem Preprint Is Out Two independent ways to measure "locally correct, globally broken" software agree — a proved theorem, Lean-verified, measured on real microservices.
Open original source · Full cached text
The SAGA Comparison Theorem Preprint Is Out Command Palette Search for a command to run... HHiroyuki Nakahata I’m a software engineer in Japan. Outside of work, I enjoy horse racing. ORCID:0009-0008-5928-0234 Outline Command Palette The SAGA Comparison Theorem Preprint Is Out: Two Rulers, One Reading TL;DR 0. The story so far 1. No file has a bug, yet the system is broken 2. Two ways of measuring 3. Why this matters 4. How the paper is built: three layers, one snapshot 5. What the paper does not claim 6. Where this goes next: SAGA is the first theorem 7. How to read it, and where to get it 8. Closing Presented by Qortora, a product of Qortora, LLC. Content remains the property of the original publisher. This reference page supports transparent discovery within the Qortora index.