CAPRI: Contract-Aware Proof Repair for Isabelle — Reproducibility Artefact

Reproducibility package for the CAPRI proof-repair study. It preserves the terminal audited 180-run evaluation, comprising the 108-run C0–C2 experiment and the prospectively frozen 72-run C3/C4 extension, together with a separately labelled post-hoc OpenRouter/Luna/Sol exploratory companion. The package includes machine-readable experimental records, audit evidence, contracts, analysis material, integrity metadata, and offline verification scripts. The two scientific source ZIPs are retained byte-identically rather than flattened into a synthetic combined source tree.