I build checks that can fail, and I try to keep what I claim under what I can show.
Mostly CPython free-threading memory safety, C-extension lifetime bugs, and tooling that refuses to pass quietly. When I report a concurrency bug, I try to bring an exact revision, a base-positive reproducer, negative and decoy controls, and an exact-head re-test of the eventual fix.
Code I authored and maintainers merged:
python-rapidjson#236— made the free-threading branch run CI, added a real 3.14t job with a fail-closed GIL assertion, and repaired the Python <3.13 collection failure.python-rapidjson#237— restoredstubtest, aligned constructor stubs with the C extension, and restricted wheel uploads to release tags.nox#1153— fixed tests that only passed whenuvhappened to be installed.mutmut#546— added ternary-condition mutation for a branch the mutation engine previously never touched.
Reports that maintainers turned into fixes:
CodeQL#22305→CodeQL#22310— reported lost Python taint flow throughlist.extend,list.insert, and+=; the merged maintainer/bot PR closesextendandinsert. The larger+=gap is not claimed fixed.wrapt#347— reported a free-threaded double-free. The maintainer made a broader repair and released2.4.0rc1; I re-ran the same controlled harness at their request: 10/10 SIGSEGV → 0/10. The fix is theirs, not mine.StringZilla#328— reported a stale-size borrowed-list-item crash; the maintainer fixed it inv5.1.1. Again: I found and reproduced it; they fixed it.
Status in this section was rechecked on 2026-08-29.
python-rapidjson#235— my free-threaded container-walk fix; open, with its visible checks green at this refresh, but not merged.Pillow#9892→Pillow#9893,tree#143→tree#144, andconfluent-kafka#2319→confluent-kafka#2334— reproduced free-threading memory-safety faults with fix PRs now open. Those PRs are authored by their maintainers or other contributors, not by me.zope.interface#380— reproduced a free-threaded borrowed-cache lifetime fault; open, with no fix claimed here.
PyO3#5774— closed, and rightly. The maintainer's objection was better than my patch, and CodSpeed measured an 11.6% regression. A record that shows only accepted work is not a record.
- firing-checks — every check ships
negative controls and a
--selftestthat runs them, because a guardrail nobody has seen fire is theater. It enforces that rule on three of my own tools. - scanner-false-negatives — I predicted where a scanner's false negatives cluster, and the data killed the claim twice. All 61 labels are public; they were LLM-produced, have no independent human regrade, and the repository is a post-hoc export.
I am an external contributor, not a maintainer or core developer of the projects above. Open PRs and reports are not accepted work. Private reports are not public evidence and are deliberately omitted. My own tools still have no independent adopter, so their value outside my repositories remains unmeasured.
Reach me: espressolee1@gmail.com · ORCID 0009-0003-0423-6686

