The method, carried all the way through — in public
Tetradrome: a generation of research tools, rebuilt as one trusted system
Tetradrome is an open-source Python workbench for computational topology: it computes knot invariants — Khovanov homology, the Rasmussen s-invariant, knot Floer homology — that constrain smooth 4-dimensional topology, the class of numbers behind results like the 2020 resolution of the Conway knot. In this domain, the number is the product: a wrong value doesn't crash anything; it propagates silently into work people cite. Swap "invariant" for "price," "dosage," or "invoice line" and it's the failure mode every business system shares — the error that doesn't announce itself.
The capability existed, scattered across a generation of legacy tools: a Java GUI, a C++ engine shipped only as prebuilt binaries, a gigabyte-scale algebra system pulled in for a handful of functions, single-maintainer codebases — none agreeing with the others without expert reconciliation, and the whole estate license-entangled against the project's goals.
I ran the method above, literally. The inventory. The wrap-vs-rebuild decision, priced and rejected in a written decision record, for four named reasons. The validation harness before the engines: a published 12,967-knot reference table as the known-answer oracle, independent implementations as second witnesses, internal mathematical checks backstopping both. Then the rebuild — smallest engine first, each promoted only on exact oracle agreement, acceleration added last behind the same gates.
Public, in production, Apache-2.0. Where most case studies ask for your trust, this one is a repository — every claim on this page is auditable, commit by commit.