ExecutionProof ARK Series: IBM Quantum Authorization-Boundary Testbeds (ARK-445, ARK-445b, ARK-447)

This dataset contains three preregistered quantum authorization-boundary experiments executed on IBM Quantum hardware (ibm_marrakesh) as part of the ExecutionProof ARK series. ARK-445: FAIL (honest negative) - deliberate Bell-state preparation error, DENY leakage 0.0512 exceeded threshold. ARK-445b: PASS - diagnostic re-run with correct Bell state (S_A=0.9837, Delta_B=0.7837). ARK-447 (v1.1 corrected): PASS (strong) - Pauli Twirling vs. Baseline; both configurations pass on raw DENY leakage (~0.12-0.13%), Pauli twirling gives a modest but statistically significant ALLOW improvement of +0.0051 (z=2.70, p=0.007). All experiments follow the preregistration-first protocol: circuits and success criteria LOCKed before execution, code committed before job submission, immutable proofrecord.json with timestamps and verdicts. Each folder contains preregistration, circuit generation, SPAM validation, job scripts, raw IBM Quantum results, analysis code, MANIFEST hashes, and documentation. Files are packaged in zenodo_upload_v4.tar.gz (extract to browse per-experiment folders ark-445/, ark-445b/, ark-447/). Source: https://github.com/derekhone/executionproof-testbeds