RERUN_LOG -- AMR-105-0051 reproducibility package

1. Programs of the note, run from the extracted archive source.zip (2026-10-14; Python 3.13.5):
   sh run_note.sh  (17 s)
   reproduced: check_note
   reproduced: exhaustive
   reproduced: figure_tikz
   reproduced: figure_check
   ALL OUTPUTS REPRODUCED

2. All programs of original/, verification_run_A/ and verification_run_B/, run again from copies of their
   folders on 2026-10-14 (Python 3.13.5, NetworkX 3.6.1; nice 10, at most three at a time); the new output of
   each command was compared with the recorded output named in the second column.

   original             all_minimal_diagrams.out           identical                          0.5 s   (all_minimal_diagrams.py)
   original             all_minimal_knot.out               identical                          0.5 s   (all_minimal_knot.py)
   original             knot_analysis.out                  identical                          1.5 s   (knot_analysis.py)
   original             kus_check.out                      identical                          0.5 s   (kus_check.py)
   original             local_moves_check.out              identical                          0.5 s   (local_moves_check.py)
   original             negative_control.out               identical                          0.5 s   (negative_control.py)
   original             remark_delta.out                   identical                          0.5 s   (remark_delta.py)
   original             sanity_small_diagrams.out          identical                         22.9 s   (sanity_small_diagrams.py)
   original             search_knots.out                   identical                          3.5 s   (search_knots.py 3; search_knots.py 4; search_knots.py 5; search_knots.py 6; search_knots.py 7)
   original             search_two_comp_m1_m5.out          identical                          0.5 s   (search_two_comp.py 5)
   original             search_two_comp_m6_m7.out          identical                         12.8 s   (run_search_two_comp.py)
   original             test_invariance_random.out         identical                          9.7 s   (test_invariance_random.py)
   original             verify_candidates_independent.out  identical                         47.3 s   (verify_candidates_independent.py)
   original             verify_independent.out             identical                          0.5 s   (verify_independent.py)
   original             verify_knot_independent.out        identical                          0.5 s   (verify_knot_independent.py)
   verification_run_A   A10_burnside.out                   identical                         12.2 s   (A10_burnside.py)
   verification_run_A   A1_examples.out                    identical                          0.5 s   (A1_examples.py)
   verification_run_A   A2_local_tables.out                identical                          0.5 s   (A2_local_tables.py)
   verification_run_A   A3_enum_knots.out                  identical up to running times      6.6 s   (A3_enum_knots.py)
   verification_run_A   A4_enum_links.out                  identical up to running times      2.5 s   (A4_enum_links.py)
   verification_run_A   A5_prior_examples.out              identical                          2.6 s   (A5_prior_examples.py)
   verification_run_A   A6_nonuniq_figure.out              identical                          0.5 s   (A6_nonuniq_figure.py)
   verification_run_A   A7_random_tests.out                identical                          3.6 s   (A7_random_tests.py)
   verification_run_A   A8_search_knots.out                identical                          4.6 s   (A8_search_knots.py)
   verification_run_A   A9_r3_classes.out                  identical                          0.5 s   (A9_r3_classes.py)
   verification_run_B   b10_km_links.out                   identical up to running times     66.1 s   (b10_km_links.py)
   verification_run_B   b1_selftest.out                    identical                          4.6 s   (b1_selftest.py)
   verification_run_B   b2_certificates.out                identical                          0.5 s   (b2_certificates.py)
   verification_run_B   b3_invariance.out                  identical up to running times     16.8 s   (b3_invariance.py)
   verification_run_B   b4_exactly_two.out                 identical up to running times    143.4 s   (b4_exactly_two.py)
   verification_run_B   b5_bfs_knot_N10.out                identical                          3.6 s   (b5_bfs.py knot 10)
   verification_run_B   b5_bfs_knot_N11.out                identical up to running times     82.9 s   (b5_bfs.py knot 11)
   verification_run_B   b5_bfs_knot_N8.out                 identical                          0.5 s   (b5_bfs.py knot 8)
   verification_run_B   b5_bfs_knot_N9.out                 identical                          0.5 s   (b5_bfs.py knot 9)
   verification_run_B   b5_bfs_link_N10.out                identical up to running times      7.6 s   (b5_bfs.py link 10)
   verification_run_B   b5_bfs_link_N11.out                identical up to running times    190.2 s   (b5_bfs.py link 11)
   verification_run_B   b5_bfs_link_N8.out                 identical                          0.5 s   (b5_bfs.py link 8)
   verification_run_B   b5_bfs_link_N9.out                 identical                          0.5 s   (b5_bfs.py link 9)
   verification_run_B   b5_control.out                     identical                        914.9 s   (b5_control.py)
   verification_run_B   b6_kus.out                         identical up to running times    846.7 s   (b6_kus.py)
   verification_run_B   b7_km_examples.out                 identical                         11.7 s   (b7_km_examples.py)
   verification_run_B   b8_bfs_km_N10.out                  identical                          2.0 s   (b8_bfs_km.py 10)
   verification_run_B   b8_bfs_km_N11.out                  identical up to running times     44.2 s   (b8_bfs_km.py 11)
   verification_run_B   b9_section8.out                    identical up to running times     14.2 s   (b9_section8.py)

   44 recorded outputs: 33 identical, 11 identical up to the fields that report running times, 0 different.
   Total running time: original/ 102 s, verification_run_A/ 34 s, verification_run_B/ 2351 s.
   (search_knots.out is the concatenation of the outputs for n = 3, 4, 5, 6, 7.)
   (Times were measured with a resolution of about 0.5 s.)

3. Verification run 2 (of the written note), 2026-10-14: the previous version of this archive (source.zip,
   sha256 b3d1f983...b12ee66c) was extracted into a scratch folder and every program was run there
   (Python 3.13.5, NetworkX 3.6.1; nice 10, at most four at a time), the new outputs written to a separate folder.
   sh run_note.sh (17 s): reproduced: check_note, exhaustive, figure_tikz, figure_check; ALL OUTPUTS REPRODUCED.

   original             all_minimal_diagrams.out           identical                            0 s
   original             all_minimal_knot.out               identical                            0 s
   original             knot_analysis.out                  identical                            2 s
   original             kus_check.out                      identical                            0 s
   original             local_moves_check.out              identical                            0 s
   original             negative_control.out               identical                            0 s
   original             remark_delta.out                   identical                            0 s
   original             sanity_small_diagrams.out          identical                           26 s
   original             search_knots.out                   identical                            1 s
   original             search_two_comp_m1_m5.out          identical                            1 s
   original             search_two_comp_m6_m7.out          identical                           13 s
   original             test_invariance_random.out         identical                           12 s
   original             verify_candidates_independent.out  identical                           58 s
   original             verify_independent.out             identical                            0 s
   original             verify_knot_independent.out        identical                            0 s
   verification_run_A   A10_burnside.out                   identical                           12 s
   verification_run_A   A1_examples.out                    identical                            0 s
   verification_run_A   A2_local_tables.out                identical                            0 s
   verification_run_A   A3_enum_knots.out                  identical up to running times        7 s
   verification_run_A   A4_enum_links.out                  identical up to running times        2 s
   verification_run_A   A5_prior_examples.out              identical                            3 s
   verification_run_A   A6_nonuniq_figure.out              identical                            0 s
   verification_run_A   A7_random_tests.out                identical                            4 s
   verification_run_A   A8_search_knots.out                identical                            5 s
   verification_run_A   A9_r3_classes.out                  identical                            0 s
   verification_run_B   b10_km_links.out                   identical up to running times       77 s
   verification_run_B   b1_selftest.out                    identical                            5 s
   verification_run_B   b2_certificates.out                identical                            0 s
   verification_run_B   b3_invariance.out                  identical up to running times       20 s
   verification_run_B   b4_exactly_two.out                 identical up to running times      172 s
   verification_run_B   b5_bfs_knot_N10.out                identical up to running times        4 s
   verification_run_B   b5_bfs_knot_N11.out                identical up to running times      102 s
   verification_run_B   b5_bfs_knot_N8.out                 identical                            0 s
   verification_run_B   b5_bfs_knot_N9.out                 identical                            0 s
   verification_run_B   b5_bfs_link_N10.out                identical up to running times        9 s
   verification_run_B   b5_bfs_link_N11.out                identical up to running times      330 s
   verification_run_B   b5_bfs_link_N8.out                 identical                            0 s
   verification_run_B   b5_bfs_link_N9.out                 identical                            1 s
   verification_run_B   b5_control.out                     identical                         1259 s
   verification_run_B   b6_kus.out                         identical up to running times     1243 s
   verification_run_B   b7_km_examples.out                 identical                           13 s
   verification_run_B   b8_bfs_km_N10.out                  identical                            2 s
   verification_run_B   b8_bfs_km_N11.out                  identical up to running times       51 s
   verification_run_B   b9_section8.out                    identical up to running times       18 s

   44 recorded outputs: 32 identical, 12 identical up to the fields that report running times, 0 different
   (every difference was inspected; the running times depend on the load).

4. Final archive (this package), 2026-10-14: built, extracted into a scratch folder and run there; afterwards only
   this section and the text of ../verification_report.md were changed (no program, recorded output, main.tex or
   references.bib).
   sh run_note.sh (19 s): reproduced: check_note, exhaustive, figure_tikz, figure_check; ALL OUTPUTS REPRODUCED.
   independent_run_2: r2_certificates.out identical; r2_figure_kus.out identical (run with non_uniq.eps from the
   source archive of arXiv:1409.2823v1); r2_enum.out (14 s) and r2_invariance.out (5 s) identical up to the lines
   that report running times.
