xiaonan.dev / open-source

Open-source contributions

A curated record of contributions to projects I use and study. Each entry explains the bug, the design boundary, the proof, and exactly how far the change has progressed upstream.

Issue and pull-request links are the public record. Statuses are snapshots, not release claims.