Replication Package for Vulnerable Code Generation

This release contains all prompt data, model outputs, ESBMC analysis reports, and final results, as required for full reproducibility.