# Rerun record of the computational supplement of "Twenty points in three-space", 2026-10-11, klein01 (AMD EPYC 7713, shared, load about 105/128),
# SageMath 10.7.  Part 1: ./run_all.sh --full 6 at commit 6b9807d (every script of the suite at that time, the three l20_1364321 scripts as
# separate runs: four c2 families and six O2 case subsets, and the classification); the reference outputs were then replaced by these
# outputs (the c2 and O2 references are the concatenations of their separate runs).  Part 2: a run of the subset that changed afterwards
# (l20_13632221, whose printed remaining polynomials are now normalized, and the four l20_r2 scripts added to the suite) at commit de92872;
# their references are these outputs.  The other scripts are unchanged since Part 1 (compare the sha256 prefixes).  Part 3:
# ./test_harness_negative.sh.  Part 4: ./test_release.sh at commit 4d7e2d3 (the bundle extracted outside any git repository).

## Part 1: ./run_all.sh --full 6
run_all.sh --full: 2026-10-11 15:03:57 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 44751fa6c969)
git commit 6b9807d; uncommitted changes to tracked files in this directory: 0
jobs 6, timeout 7200 s per run, nice 15
ok   l20_1364321_O2_A1          exit 0     1469 s   sha256 2ae8913bd203   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_O2_output.txt)
ok   l20_1364321_O1             exit 0     1411 s   sha256 02ee8684521d   last line: ALL CHECKS PASSED  = reference
ok   l20_1364321_c2_c2sA        exit 0     1016 s   sha256 6ee1472c452e   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_c2_output.txt)
ok   l20_1364321_O2_A3a0        exit 0     1065 s   sha256 2ae8913bd203   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_O2_output.txt)
ok   l20_1364321_O2_A3a1        exit 0     1121 s   sha256 2ae8913bd203   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_O2_output.txt)
ok   l20_1364321_O2_A3b         exit 0     1037 s   sha256 2ae8913bd203   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_O2_output.txt)
ok   l20_1364321_O2_B           exit 0     1013 s   sha256 2ae8913bd203   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_O2_output.txt)
ok   l20_1364321_c2_c2tA        exit 0      939 s   sha256 6ee1472c452e   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_c2_output.txt)
ok   l20_1364321_O2_A2          exit 0      483 s   sha256 2ae8913bd203   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_O2_output.txt)
ok   l20_1364321_c2_c2sB        exit 0      417 s   sha256 6ee1472c452e   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_c2_output.txt)
ok   l20_1364321_c2_c2tB        exit 0      344 s   sha256 6ee1472c452e   last line: ALL CHECKS PASSED  split run (reference: the concatenated l20_1364321_c2_output.txt)
ok   l20_135_checks             exit 0     1241 s   sha256 4b45f4a5c35c   last line: ALL CHECKS PASSED  = reference
ok   l20_1365221_nonpure        exit 0      884 s   sha256 dfd8fdeb9a08   last line: ALL CHECKS PASSED  = reference
ok   l20_line_case_d            exit 0      403 s   sha256 f436a239f2ea   last line: ALL CHECKS PASSED  = reference
ok   l20_136442                 exit 0      146 s   sha256 71d49acd2dd4   last line: ALL CHECKS PASSED  = reference
ok   l20_136451                 exit 0       58 s   sha256 514246928250   last line: ALL CHECKS PASSED  = reference
ok   l20_136433                 exit 0       47 s   sha256 a0bcf42385d3   last line: ALL CHECKS PASSED  = reference
ok   l20_1365xx_check           exit 0       59 s   sha256 8ef25813e215   last line: ALL CHECKS PASSED  = reference
ok   l20_13543211_m             exit 0       38 s   sha256 00c66b9b13ff   last line: ALL CHECKS PASSED  = reference
ok   l20_1364411                exit 0       24 s   sha256 606ea218493c   last line: ALL CHECKS PASSED  = reference
ok   l20_free_tail              exit 0       16 s   sha256 6160a6aa220a   last line: ALL CHECKS PASSED  = reference
ok   l20_socle4                 exit 0       14 s   sha256 8edebc5a502a   last line: ALL CHECKS PASSED  = reference
ok   l20_1365_lineplus          exit 0       10 s   sha256 e64b49144e7f   last line: ALL CHECKS PASSED  = reference
ok   l20_136532_embedded        exit 0       20 s   sha256 a9f9d616ece2   last line: ALL CHECKS PASSED  = reference
ok   l20_136721                 exit 0        9 s   sha256 bf033e9f9aaf   last line: ALL CHECKS PASSED  = reference
ok   l20_136631                 exit 0        9 s   sha256 a7a65e5aa485   last line: ALL CHECKS PASSED  = reference
ok   l20_136631_binary          exit 0        7 s   sha256 826670ff11f6   last line: ALL CHECKS PASSED  = reference
ok   l20_136631_pure            exit 0        7 s   sha256 66863273c94e   last line: ALL CHECKS PASSED  = reference
ok   l20_136622                 exit 0       14 s   sha256 7c002b8be2a7   last line: ALL CHECKS PASSED  = reference
ok   l20_135_lemmaR             exit 0        5 s   sha256 e315970d82f3   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                 exit 0        5 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l20_135_tails              exit 0       10 s   sha256 e21f08856447   last line: ALL CHECKS PASSED  = reference
ok   l20_1355321                exit 0        9 s   sha256 c471319ad8b9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221               exit 0       11 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111              exit 0        4 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l20_13543211               exit 0        5 s   sha256 0074bca75631   last line: ALL CHECKS PASSED  = reference
ok   l20_136322111              exit 0        9 s   sha256 a7e83bbca728   last line: ALL CHECKS PASSED  = reference
ok   l20_136322111_rho          exit 0        7 s   sha256 7f622af67fc9   last line: ALL CHECKS PASSED  differs from reference (2 lines)
ok   l20_13632221               exit 0       14 s   sha256 63cf917f28b4   last line: ALL CHECKS PASSED  differs from reference (2 lines)
ok   l20_1364222                exit 0       10 s   sha256 9357401125ec   last line: ALL CHECKS PASSED  = reference
ok   l20_13642211               exit 0       23 s   sha256 2e2ac4f0b6fc   last line: ALL CHECKS PASSED  = reference
ok   l20_case_d_rays_sanity     exit 0        7 s   sha256 a5a99a00f9b3   last line: ALL CHECKS PASSED  = reference
ok   classify_20                exit 0        5 s   sha256 035d2af297f5   last line: ALL CHECKS PASSED    199 Hilbert functions of length 20: 166 assigned, 33 unassigned
total wall time 2713 s
ALL RUNS OK (full profile: 43 runs, all scripts including the three l20_1364321 scripts)

## Part 2: ONLY="l20_13632221 l20_r2_anchors l20_r2_136532 l20_r2_13642211 l20_r2_1364321_A1" ./run_all.sh 4
run_all.sh : 2026-10-11 15:50:03 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 4a52194f3556)
git commit de92872; uncommitted changes to tracked files in this directory: 0
jobs 4, timeout 7200 s per run, nice 15
ok   l20_13632221               exit 0        8 s   sha256 ce4609dc6c59   last line: ALL CHECKS PASSED  differs from reference (4 lines)
ok   l20_r2_anchors             exit 0        4 s   sha256 2e1de6460218   last line: ALL CHECKS PASSED  = reference
ok   l20_r2_136532              exit 0        3 s   sha256 379a5704c3ba   last line: ALL CHECKS PASSED  = reference
ok   l20_r2_13642211            exit 0        4 s   sha256 0b102418db43   last line: ALL CHECKS PASSED  = reference
ok   l20_r2_1364321_A1          exit 0       10 s   sha256 fda7ae6e7499   last line: ALL CHECKS PASSED  = reference
ok   classify_20                exit 0        4 s   sha256 035d2af297f5   last line: ALL CHECKS PASSED    199 Hilbert functions of length 20: 166 assigned, 33 unassigned
total wall time 14 s
ALL RUNS OK (default suite: 6 runs; the three l20_1364321 scripts are run by ./run_all.sh --full)

## Part 3: ./test_harness_negative.sh
ok    fake sage 'exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 35 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    positive control: harness exit status 0, ALL RUNS OK
ALL HARNESS TESTS PASSED

## Part 4: ./test_release.sh
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (97 files)
      extracted 97 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 55 files listed in SHA256SUMS match
      ok    fake sage 'exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 35 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    positive control: harness exit status 0, ALL RUNS OK
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l20_136322111_rho          exit 0        5 s   sha256 7f622af67fc9   last line: ALL CHECKS PASSED  = reference
      ok   classify_20                exit 0        5 s   sha256 035d2af297f5   last line: ALL CHECKS PASSED    199 Hilbert functions of length 20: 166 assigned, 33 unassigned
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l20_136322111_rho": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (5) a missing SHA256SUMS is refused: exit status 1, run_all.sh: SHA256SUMS missing
ALL RELEASE TESTS PASSED

## Part 5: ONLY="l20_r2_anchors l20_r2_136532 l20_r2_13642211 l20_r2_1364321_A1 l20_136322111_rho l20_1364222" ./run_all.sh 3
# 2026-10-11, commit a39071b: every script whose bytes changed since its last recorded run above.  After Part 2, l20_r2_anchors
# and l20_r2_136532 changed in the exit call and l20_r2_13642211 in a variable name; then l20_r2_anchors gained part (B12),
# l20_r2_1364321_A1 and l20_136322111_rho changed in comments, and l20_1364222 in one printed label.  Their reference outputs are these outputs (the two
# that differ: the new part (B12), and the label "every tested solution").  All other scripts and all libraries are unchanged
# since their last recorded run (compare the sha256 prefixes; SHA256SUMS lists the full hashes).
run_all.sh : 2026-10-11 18:09:39 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 26a301a4ba09)
git commit a39071b; uncommitted changes to tracked files in this directory: 0
jobs 3, timeout 7200 s per run, nice 15
ok   l20_r2_anchors             exit 0       10 s   sha256 c7067285107e   last line: ALL CHECKS PASSED  differs from reference (5 lines)
ok   l20_r2_136532              exit 0        6 s   sha256 75ce7f52e1e4   last line: ALL CHECKS PASSED  = reference
ok   l20_r2_13642211            exit 0        8 s   sha256 292a27808752   last line: ALL CHECKS PASSED  = reference
ok   l20_r2_1364321_A1          exit 0       15 s   sha256 ab5b1ca3d428   last line: ALL CHECKS PASSED  = reference
ok   l20_136322111_rho          exit 0        7 s   sha256 4e10d5ad9d8e   last line: ALL CHECKS PASSED  = reference
ok   l20_1364222                exit 0       16 s   sha256 98396bbd6248   last line: ALL CHECKS PASSED  differs from reference (2 lines)
ok   classify_20                exit 0        5 s   sha256 035d2af297f5   last line: ALL CHECKS PASSED    199 Hilbert functions of length 20: 166 assigned, 33 unassigned
total wall time 26 s
ALL RUNS OK (subset ONLY="l20_r2_anchors l20_r2_136532 l20_r2_13642211 l20_r2_1364321_A1 l20_136322111_rho l20_1364222": 7 runs including the classification)

## Part 6: ./test_harness_negative.sh (commit a39071b)
ok    fake sage 'exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 35 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
ok    positive control: harness exit status 0, ALL RUNS OK
ALL HARNESS TESTS PASSED

## Part 7: ./test_release.sh (commit e8386d8; the bundle extracted outside any git repository; (6) in a temporary clone)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (97 files)
      extracted 97 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 55 files listed in SHA256SUMS match
      ok    fake sage 'exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 36 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 35 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL, SOME RUNS NEED ATTENTION
      ok    positive control: harness exit status 0, ALL RUNS OK
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l20_136322111_rho          exit 0        7 s   sha256 4e10d5ad9d8e   last line: ALL CHECKS PASSED  = reference
      ok   classify_20                exit 0        5 s   sha256 035d2af297f5   last line: ALL CHECKS PASSED    199 Hilbert functions of length 20: 166 assigned, 33 unassigned
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l20_136322111_rho": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (5) a missing SHA256SUMS is refused: exit status 1, run_all.sh: SHA256SUMS missing
ok    (6) a staged, uncommitted change is refused by make_bundle.sh: exit status 1, make_bundle.sh: uncommitted changes to tracked files; commit them first
ALL RELEASE TESTS PASSED
