Re-run of the recorded programs from a fresh extraction of the version-1 source package (source.zip),
each run inside its own folder with PYTHONDONTWRITEBYTECODE=1 (Python 3.13, standard library only).
lead/verify_note.py: output byte-identical to lead/verify_note_output.txt; last line: ALL CHECKS PASSED
lead/negative_control.py: output byte-identical to lead/negative_control_output.txt; last line: SOME CHECK FAILED
finder/check_constructions.py: output byte-identical to finder/out_check_constructions.txt; last line: ALL CHECKS PASSED
independent/indep_check.py: output byte-identical to independent/indep_check_output.txt; last line: V-checks: ALL PASSED
independent/indep_check_v1b.py: output byte-identical to independent/indep_check_v1b_output.txt; last line: V1b: ALL PASSED
independent/neg_control.py: output byte-identical to independent/neg_control_output.txt; last line: V-checks: 610 FAILURES: V1 block sum k=1; V1 block sum k=2; V1 block sum k=5; V1 block sum k=6; V2 adversarial case count; V4 localisation x(k) in S_z(k)
