# Reproduction record

## The run of record
- **What was run:** a byte copy of this supplement (the anc/ directory), run into a separate output directory, on 10 November 2026.
- **Command:** `PY=<python> bash run_all.sh.txt <OUTDIR>`, at nice 10, with single-threaded BLAS and a CPU-time limit of 36000 s per process.
- **Software:** Python 3.14.4, mpmath 1.3.0, numpy 2.5.2 and python-flint 0.9.0, on Linux.
- **Result:** ALL REPRODUCED. All 20 steps exited 0, all 24 stored outputs were reproduced, and all 36 statement checks passed.
- **Header lines:** "run_all.sh.txt started 2026-11-10 01:25:25 UTC; python 3.14.4 mpmath 1.3.0 numpy 2.5.2 python-flint 0.9.0"; "runs finished 2026-11-10 01:28:20 UTC".

## Elapsed time per step (monotonic clock, /proc/uptime)

| Step | Output (under OUTDIR) | Exit | Elapsed |
|---|---|---|---|
| 1 | author/cert_C3s_v7.out | 0 | 24.3 s |
| 2 | author/fF_enclose.out | 0 | 0.1 s |
| 3 | second/cert_C3_e1800.out | 0 | 1.6 s |
| 4 | second/cert_C3_e350.out | 0 | 1.3 s |
| 5 | second/cert_C3_e62.out | 0 | 0.5 s |
| 6 | second/cert_C4.out | 0 | 1.9 s |
| 7 | second/cert_S4_H400.out | 0 | 0.7 s |
| 8 | second/cert_qrhB3_K14_low.out | 0 | 2.9 s |
| 9 | second/cert_qrhB3p_K14_top.out | 0 | 1.7 s |
| 10 | third/js_cert/tp_bound.stdout | 0 | 6.4 s |
| 11 | third/js_cert/js_cert.out | 0 | 0.2 s |
| 12 | third/t2_check/cert_S3P_K18.stdout | 0 | 0.9 s |
| 13 | third/t2_check/c3_grh.out | 0 | 135.2 s |
| 14 | third/t2_check/cert_grh_sieve.out | 0 | 1.7 s |
| 15 | audit/audit_js.out | 0 | 0.1 s |
| 16 | audit/t2v6/audit_c4.out | 0 | 1.4 s |
| 17 | audit/t2v6/audit_s4.out | 0 | 4.9 s |
| 18 | audit/t2v6/audit_grh9.out | 0 | 1.0 s |
| 19 | audit/t2v6/audit_v6.out | 0 | 1.9 s |
| 20 | audit/t2v6/check_float_cells.out | 0 | 1.9 s |
| | total | | 190.6 s |

## Notes
- The machine was shared, so the times depend on its load.
- The wall clock of the virtual machine can step, so the header timestamps can disagree with the monotonic step times by a few seconds.
- audit/t2v6/check_float_cells.py also writes numpy_convolve_source.txt, numpy's convolve source, for the record. It depends on the numpy
  version and is not compared.