fragile-proof-audit: gate-locked replay of published mathematical claims

Bilar, Daniyel Yaacov · 2026-10-07 · software · mit-license

Version of record (canonical): https://doi.org/10.5281/zenodo.23200768

Abstract

Software snapshot matching paper v1.0.4: 32-gate verdict lock (17 BREAK / 15 PASS). GitHub→Zenodo archival of the campaign repository. Paper PDF stays on the separate paper concept 10.5281/zenodo.22926995 (this version 10.5281/zenodo.23200273).

Keywords

proof audit · reproducibility · mathematical claims · computer-assisted proof · Lean 4 · fail-closed replay

← All research