v1.0

ProVerif verification artifacts for the paper "Closing the HNDL Window in Consumer eSIM Provisioning". Configurations (a)-(d): classical baselines, break_dh quantum-oracle (HNDL) scenarios, X-Wing combiner companion, forward-secrecy variants, and the scoped break_ecdsa signature-forgery models, with a run script and per-model results. All verdicts reproduce under ProVerif 2.05.