lead/check_certificates.py --jobs 16, run once from an extracted copy of release/source.zip (sha256 de555817...8f51) on 2026-09-30: exit 0, 144 s, ALL CHECKS PASSED.
The regenerated check_certificates_output.txt equals the recorded release copy after removing timing fields ([..s], total time).
No process left running afterwards.
