Re-run of all programs of the package by the third verification run (verification run of the written note),
20 October 2026, from a fresh extraction of release/source.zip into a new directory (outputs written to another
new directory; verification_run_B/ run inside a copy). Python 3.13.5, numpy 2.5.2, nice 10, one core each.

check_note.py                          exit 0  10 s  identical to check_note_output.txt except the printed
                                                     running time (10 s instead of 9 s)
original/brauer_pair_729.py            exit 0  22 s  byte-identical to original/brauer_pair_729_output.txt
original/double_indicators.py          exit 0   8 s  byte-identical to original/double_indicators_output.txt
original/q7_q8_check.py                exit 0   0 s  identical up to the order of the three lines
                                                     "K of order 4 = ..."; this order follows Python's string
                                                     hash seed (iteration over a set); with PYTHONHASHSEED=10
                                                     the recorded file is reproduced byte for byte, other seeds
                                                     (0..12 tried) give one of five orders of the same lines
verification_run_A/recheck_729.py      exit 0  10 s  identical except the printed running time
verification_run_B/vb_main.py          exit 0   4 s  vb_main.out.txt byte-identical to recorded/
verification_run_B/vb_controls.py      exit 0   4 s  vb_controls.out.txt byte-identical to recorded/
verification_run_B/vb_double.py        exit 0  20 s  vb_double.out.txt byte-identical to recorded/
verification_run_B/vb_pointed.py       exit 0   0 s  standard output byte-identical to recorded/vb_pointed.out.txt

Every recorded output was reproduced (q7_q8_check.py up to line order, as explained).
