Independent verification run 2 -- rerun of release/reproducibility from an extracted copy of release/source.zip (2026-09-30T10:13:04Z)
source.zip sha256: 890b633edaff20df551d309046bd9bdd0bd2cd55f0bbe40da02c2cca2f716a03

1. zip directory entries (zipinfo):
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/claimant/
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/claimant/outputs/
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/claimant/outputs/superseded/
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/claimant/scripts/
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/claimant/scripts/superseded/
?rw-------  2.0 unx        0 b- stor 80-Jan-01 00:00 reproducibility/verifier/
   -> directory entries have mode ?rw------- (no x bit); after 'unzip' on macOS (UnZip 6.00) the directories are drw------- and cannot be entered:
      'ls reproducibility' -> 'fts_read: Permission denied'; 'cat reproducibility/claimant/scripts/run_all.sh' -> 'Permission denied'. Rerun required 'chmod -R u+rwX'.

2. claimant: bash reproducibility/claimant/scripts/run_all.sh (python 3.13.5, numpy 2.3.1, scipy 1.16.0), 16 s wall:
   environment.txt: byte-identical to recorded output
   test_jets.txt: byte-identical to recorded output
   inequalities.txt: byte-identical to recorded output
   construction2_all.txt: byte-identical to recorded output
   cone_k0.txt: byte-identical to recorded output

3. verifier: python3 reproducibility/verifier/indep_check.py (all parts):
   differs from recorded output only in wall-clock timing fields: YES (diff after masking timings is empty)
   rerun output saved as outputs/release_verifier_rerun_output.txt
