AutoPQC-Certify: code, corpus and run outputs for "Certified Crypto Agility through Substitution Semantics with a Decidability Boundary and a Measured Repair Distance for Post Quantum Readiness"

Research artefact for the paper "Certified Crypto Agility through Substitution Semantics with a Decidability Boundary and a Measured Repair Distance for Post Quantum Readiness" (S. K. Sridhara and K. K. Kamarajugadda, 2026, under review). It contains the AutoPQC-Certify static certifier for Python (carrier typing, violation classes V1/V2/V3/V5/V6, minimum-cut Agility Index), the inventory-differential migration miner used in Experiment 3, 28 planted-ground-truth tests, the 64-repository corpus frame with URLs, and every run output: E1 per-project certifier reports for 60 open-source Python projects; E2 certifier and Bandit outputs on identical checkouts; E3 mined migration events with exact pre- and post-migration revisions, rejected candidates and the stalled-transition scan; E5 SLH-DSA overflow fields. Every number in the paper is regenerated from these files by the included scripts (see README.md). Code is under Apache-2.0; run outputs are under CC BY 4.0. The analysed repositories are public GitHub projects and are not redistributed; they are listed with URLs.