Imagine you're an accountant auditing a company's books. The company has been self-reporting its financial health for years — and everyone cites those numbers. Now you build an independent audit tool and discover that 10 out of 26 companies overstated their assets, one by a factor of eight. That's what this paper does for quantum error correction. The committed claim: the authors express quantum code distance and circuit distance as tropical partition functions, then evaluate them exactly using rank-based dynamic programming and weight-bounded search — certifying distances for codes up to 31,200 qubits and circuits with up to 800,000 fault mechanisms. No other exact solver comes close to this scale. On two standard benchmarks, their method certifies more instances than all other tested exact solvers combined. The technical architecture sits in the family of combinatorial optimization over binary weight enumerators, but reformulated through tropical semiring algebra — replacing the sum-product structure of standard partition functions with min-sum operations that track minimum-weight logical operators. The key structural insight is that this reformulation enables dynamic programming over qubit ranks, with circuit-level reductions (removing idle and Clifford gates, exploiting stabilizer structure) that shrink the search space before the heavy computation begins. Lower bounds come with certificates: explicit logical operators of matching weight that prove the distance is exact, not just bounded. The audit results are the headline. Reviewing 26 recent QEC papers, the authors find non-tight upper bounds or outright overestimates in 10 of them, with the worst discrepancy being at least 8 (a claimed distance was off by 8 or more from the certified value). This matters enormously because code distance directly governs logical error suppression — an overestimate of distance means the code protects less than advertised. IBM's two-gross memory circuit, for instance, turns out to have circuit distance 16 under the standard schedule, not the assumed 18. The authors show a redesigned schedule can recover distance 18 at the cost of one extra timestep per cycle. The practical payoff extends to defective hardware. At 99.98% junction yield, if you only accept perfect gross-code blocks, roughly 53% of manufactured chips are usable. But by certifying that blocks with dead checks still achieve distance 10 or more, the usable share jumps to 94% with an improved schedule. This is a direct manufacturing yield argument — certified distances turn hardware defects from fatal flaws into manageable imperfections. Integrity is strong for this category of work. The authors benchmark against all available exact solvers (ILP-based, SAT-based, and specialized QEC solvers), provide explicit certificates for their results, release code and data on GitHub, and name the specific papers where they found discrepancies. The validation is not circular — certificates are independently verifiable proofs. The main limitation is that this remains a classical computation about quantum codes, not an experimental quantum result. The field fight this paper enters is foundational: can we trust the distance claims that underpin quantum error correction resource estimates? The answer, after this audit, is "not always." If the QEC community adopts certified distances as a standard (rather than heuristic upper bounds), every existing resource estimate built on unverified distances becomes suspect. The tool exists, the code is public, and the precedent is set.
