Twenty open-source projects, each run through the same four non-compensatory proof gates. Every report is self-contained, reads in English and 中文, and is pinned to a public commit you can re-measure.
Apps whose teams believed a Rust rewrite was the answer. Six of the ten already bet on Rust: two are dead, two have stalled, two are thriving. Same language, opposite outcomes.
The projects people most often demand a rewrite of.