Referee 2 re-run of the release package scripts (2026-09-29), in a scratch copy of
release/reproducibility/ (Python 3, numpy 2.3.1, scipy 1.16.0):
  claimant/verify_model.py        -> output byte-identical to claimant/verify_model.out
  claimant/fibre_lemma_check.py   -> output byte-identical to claimant/fibre_lemma_check.out
  claimant/examples.py            -> output byte-identical to claimant/examples.out
  lead/lead_check.py              -> output byte-identical to lead/lead_check_output.txt
  referee/indep_adversarial.py    -> output byte-identical to referee/indep_adversarial_output.txt
The referee-2 scripts in this folder were written from the text of the paper before these
scripts were read.
