# Rerun record of the computational supplement of "Twenty-one points in three-space", 2026-10-13, klein01 (AMD EPYC 7713, shared,
# load about 75/128), SageMath 10.7.
# Part 0 summarizes how the release copies were checked against the recorded outputs of the scripts they were made from, before the
# commits.  Parts 1-5 are runs of committed files (each log prints the commit and reports 0 uncommitted changes in this directory):
# Part 1 ./run_all.sh 8 (default profile) at aad36d0; Part 2 ./run_all.sh --full 8 at 513fc6a (after Part 1 only
# l21_13632222_fat_param changed: one added check); Part 3 the one script changed after Part 2 (l21_13642221: print order), at
# 6c4673f; Parts 4 and 5 ./test_harness_negative.sh and ./test_release.sh at 6c4673f.  The reference outputs <script>_output.txt
# are the outputs of the runs of Part 0 (and of the reruns listed there); Parts 1-3 compare every run with them.
# Part 6: the scripts added or extended for Thm. B.28 after Part 5 (l21_1365321_wm parts (U3), (U4); l21_1365321_tq_secant,
# l21_1365321_F1F8_abs, l21_1365321_bundle), run at df5aa01; their reference outputs are the outputs of these scripts.
# Parts 7-11 (round 2, 2026-10-18, appended at the end): the changes of round 2 and the runs at 4e27434.
# Parts 12-15 (round 3, 2026-10-18, appended after Part 11): the changes of round 3 and the runs at c67ef7b.
# Parts 16-19 (round 4, 2026-10-18, appended after Part 15): the changes of round 4 and the runs at 44e195f.
# Parts 20-23 (round 5, 2026-10-18, appended after Part 19): the changes of round 5 and the runs at 997b988.
# Parts 24-27 (final release step, 2026-10-18, appended after Part 23): the full profile and the tests at 80d13ad.

## Part 0: the release copies against the recorded outputs of their sources (2026-10-13, before the commits)
- The release copies differ from their sources only in: relative load paths (no chdir, no home-directory paths); file names (nine
  scripts and four libraries carry new l21_ names); comments and a few printed labels; the local-length guard
  lib/certified_length.sage at the call sites listed in MANIFEST.md; the lower guard 21 <= L in three sanity routines; and the
  non-mathematical fixes listed below.  l21_classify, l21_13632222_fat_param and l21_1365411_testc are new.
- 0a. ./run_all.sh --full 7, 00:53-01:20 (the 118 runs of the suite at that time, 1563 s wall, ALL RUNS OK).  Every output was
  compared, timing substrings ignored, with the recorded output of its source script:
  - identical: 108 runs, among them every script with a new guard (l21_13632222, l21_136422111, l21_1364331, l21_1364421,
    l21_1366311, l21_13633311, l21_13633221, l21_map_135_turn) and l21_135_s7plus_engine_sanity (new lower guard): every guarded
    length was finite, positive and confirmed by both methods, and no printed value changed;
  - l21_135422211, l21_135432111, l21_13543311, l21_13544211 (new lower guard through l21_135_n1sanity), l21_13542222 (new lower
    guard), l21_1354221111: identical except that the elapsed time, formerly printed on the final line after ALL CHECKS PASSED, is
    now printed on the line before (the harness requires the final line exactly);
  - l21_13642221: one label reworded ("the rank condition FAILS on" -> "does not hold on"; the harness rejects lines with FAIL);
  - l21_1365411_qt: identical up to 520 Singular warnings "// ** _ is no standard basis" (see 0c);
  - l21_1364331_line_u: its source stopped when run without arguments (a Sage Integer as random seed); the default seed is now the
    Python int 11, and the output equals the recorded output of the source (which had been run with seed 11);
  - l21_classify (rewritten) and l21_13632222_fat_param (new): no source output.
- 0b. After the renaming, ONLY="l21_1364331_line_u l21_1365411_d3rank l21_1365411_line l21_1365411_rays l21_1364421_tangent"
  ./run_all.sh 6: ALL RUNS OK; outputs identical to 0a except seven printed labels of l21_1364421_tangent.
- 0c. l21_1365411_qt with the standard-basis flag passed to Singular's vdim and reduce: ONLY="l21_1365411_qt" ./run_all.sh 2, ok,
  exit 0, 1131 s; the output is identical to the recorded output of the source (no warnings).  (The summary lines of this run are
  missing from its log, as run_all.sh was edited while it ran; the run itself and its validation line are complete.)
- 0d. ONLY="l21_1355421 l21_1355421_slide l21_1355421_slide_bad" ./run_all.sh 4: ALL RUNS OK (42, 178, 888 s).  l21_1355421: the
  vacuous check of part (b) replaced by an exact one (one label changed); l21_1355421_slide, l21_1355421_slide_bad: outputs identical
  to the recorded outputs of their sources.
- 0e. ONLY="l21_1365411_testc l21_1365321_irr" ./run_all.sh 3: ALL RUNS OK (27, 6 s); l21_1365321_irr: identical to the recorded
  output of its source up to the part labels (P1), (P2), (V).
- 0f. Revision-1 items (comments and labels of l21_1364322_r1, l21_1355421, l21_136632_line, l21_136641_O; the print order of the
  remaining equations of l21_13642221, which varied between runs, now sorted): ONLY="l21_13642221 l21_1364322_r1 l21_1355421
  l21_136632_line l21_136641_O" ./run_all.sh 6: ALL RUNS OK, outputs = references except the order of two printed lines of
  l21_13642221.
- 0g. l21_13632222_fat_param, part (K), also checks the minimal form ((eta,zeta)^2, rho zeta, rho^4) of K_v(L_def): one added
  check line, otherwise identical.
- 0h. l21_13642221 with the printed strings sorted: three consecutive runs give identical outputs.

## Part 1: ./run_all.sh 8 (default profile)
run_all.sh : 2026-10-13 10:26:21 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 855fb4987680)
git commit aad36d0; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_classify                   exit 0        4 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0       15 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       24 s   sha256 d25fe293c396   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       21 s   sha256 3fb0b2400938   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        7 s   sha256 bf343a62dd25   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      204 s   sha256 625b6fbf3cd6   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        4 s   sha256 44499f190116   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      714 s   sha256 bace88288365   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       30 s   sha256 415397f511f7   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        6 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        3 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        3 s   sha256 feb2831fa706   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        4 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        4 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      195 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       69 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       46 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       67 s   sha256 a3cb5dc4c8c3   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       37 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0       13 s   sha256 661aeafb8707   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       48 s   sha256 812eb9454c55   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      221 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      443 s   sha256 859ca9a2325b   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      249 s   sha256 8ddb6b1b1353   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        4 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        4 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        4 s   sha256 4b4bd7c4c2e4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       47 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       43 s   sha256 4ad0ccf91a47   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0       10 s   sha256 78f9c9120a0d   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      203 s   sha256 d224f9e05014   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        8 s   sha256 72728f94487c   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        5 s   sha256 9131adb8c0c1   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       25 s   sha256 aec1887ce90d   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       14 s   sha256 abbd7273d0c6   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       74 s   sha256 109b1af781f4   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0        9 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       15 s   sha256 54003076b31e   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        6 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        9 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0        7 s   sha256 ddbedaea5f60   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0       10 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        8 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0       11 s   sha256 40b9680de1fd   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       27 s   sha256 897d4c1f2353   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        8 s   sha256 f1fc183e572c   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       17 s   sha256 c10854880dfb   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      383 s   sha256 ebf31016b3bf   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       16 s   sha256 1d42c4708e2b   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0       13 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0       14 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0       11 s   sha256 c2cc4b65b38a   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        6 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0       12 s   sha256 9ce1a5533f20   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0        8 s   sha256 2240771ded4b   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       12 s   sha256 d566bf6747e9   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       18 s   sha256 90ae869cc3fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       25 s   sha256 76316e0ec1d3   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       51 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       15 s   sha256 abfe556452ef   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        7 s   sha256 da492c25a5a2   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       29 s   sha256 63d07d8f3608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        5 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       13 s   sha256 367b974dcd5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        8 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      164 s   sha256 36f956b08157   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        4 s   sha256 fe5befe66d0c   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        6 s   sha256 0782ff5029a2   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       27 s   sha256 62a92922dbb7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0        8 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        5 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0        7 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       12 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        6 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       15 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0        7 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       11 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       28 s   sha256 1f046917413d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       39 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       53 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       20 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       14 s   sha256 19f7dee5d84b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       15 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       33 s   sha256 2549613f98f1   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        5 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       44 s   sha256 6be1183f5c52   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       54 s   sha256 7a3b0e165489   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       37 s   sha256 b2c63f0d7c17   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       51 s   sha256 b65dcc659f37   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       18 s   sha256 3c41800fb74e   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0       14 s   sha256 d7bf75fd4a14   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       20 s   sha256 c262cd519cb4   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0       18 s   sha256 1e741f077602   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       21 s   sha256 e364e8875fcd   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        9 s   sha256 bc7cf07ecc4d   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       22 s   sha256 798d90143189   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       43 s   sha256 922d73f66f79   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       69 s   sha256 5f50ad26ba12   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      267 s   sha256 2049217440d5   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0      983 s   sha256 aa385b9cefd8   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       27 s   sha256 76b2ab37d8ba   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        5 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       75 s   sha256 0bbabf1f21a1   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        3 s   sha256 9e167f05be32   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       20 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      257 s   sha256 e8078067dcf1   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        7 s   sha256 c8f700c437a0   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       16 s   sha256 555bb4e43e47   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       35 s   sha256 9db37dd8e19c   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      330 s   sha256 167cc0b41c1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       18 s   sha256 d07e5eecf523   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      157 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      211 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        5 s   sha256 7fa782ab5a02   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       79 s   sha256 f520e1ed8a14   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      175 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        9 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   l21_135_s7plus_engine_sanity   exit 0      222 s   sha256 d81308a1d2ef   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      212 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 1499 s
ALL RUNS OK (default suite: 120 runs; l21_1365411_qt l21_hard_n4 are run by ./run_all.sh --full)

## Part 2: ./run_all.sh --full 8
# The one difference from the references (l21_13642221, two lines) is the order of two printed lines, fixed in Part 3.
run_all.sh --full: 2026-10-13 10:53:13 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: ef8a9fcd002f)
git commit 513fc6a; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_1365411_qt                 exit 0     1393 s   sha256 8cbd135e1aa8   last line: ALL CHECKS PASSED  = reference
ok   l21_hard_n4                    exit 0     1371 s   sha256 8e85c74d6d9b   last line: ALL CHECKS PASSED  = reference
ok   l21_classify                   exit 0        3 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        9 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       19 s   sha256 d25fe293c396   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       27 s   sha256 3fb0b2400938   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        6 s   sha256 bf343a62dd25   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      189 s   sha256 625b6fbf3cd6   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        3 s   sha256 44499f190116   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      824 s   sha256 bace88288365   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       20 s   sha256 415397f511f7   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        4 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        5 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        4 s   sha256 feb2831fa706   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        4 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        4 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      195 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       72 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       45 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       62 s   sha256 a3cb5dc4c8c3   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       37 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0       11 s   sha256 661aeafb8707   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       55 s   sha256 812eb9454c55   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      218 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      461 s   sha256 859ca9a2325b   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      259 s   sha256 8ddb6b1b1353   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        3 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        3 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        3 s   sha256 4b4bd7c4c2e4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       50 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       40 s   sha256 4ad0ccf91a47   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0        8 s   sha256 78f9c9120a0d   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      230 s   sha256 d224f9e05014   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        7 s   sha256 72728f94487c   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        4 s   sha256 9131adb8c0c1   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       29 s   sha256 aec1887ce90d   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       11 s   sha256 abbd7273d0c6   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       79 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0       10 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       16 s   sha256 54003076b31e   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        5 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        8 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0        6 s   sha256 ddbedaea5f60   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        9 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        5 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0       12 s   sha256 40b9680de1fd   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       19 s   sha256 897d4c1f2353   last line: ALL CHECKS PASSED  differs from reference (2 lines)
ok   l21_1364322                    exit 0        6 s   sha256 f1fc183e572c   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       15 s   sha256 c10854880dfb   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      335 s   sha256 ebf31016b3bf   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       15 s   sha256 1d42c4708e2b   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0        9 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0       14 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0       11 s   sha256 c2cc4b65b38a   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        8 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0       11 s   sha256 9ce1a5533f20   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0        7 s   sha256 2240771ded4b   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       14 s   sha256 d566bf6747e9   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       16 s   sha256 90ae869cc3fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       24 s   sha256 76316e0ec1d3   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       44 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       12 s   sha256 abfe556452ef   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        6 s   sha256 da492c25a5a2   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       29 s   sha256 63d07d8f3608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        4 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       21 s   sha256 367b974dcd5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        7 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      174 s   sha256 36f956b08157   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        3 s   sha256 fe5befe66d0c   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        5 s   sha256 0782ff5029a2   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       25 s   sha256 62a92922dbb7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0        8 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        5 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0        7 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       16 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        6 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       15 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0        7 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       10 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       25 s   sha256 1f046917413d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       26 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       43 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       19 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       14 s   sha256 19f7dee5d84b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       13 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       33 s   sha256 2549613f98f1   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        5 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       41 s   sha256 6be1183f5c52   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       36 s   sha256 7a3b0e165489   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       34 s   sha256 b2c63f0d7c17   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       48 s   sha256 b65dcc659f37   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       17 s   sha256 3c41800fb74e   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0       12 s   sha256 d7bf75fd4a14   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       19 s   sha256 c262cd519cb4   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0       12 s   sha256 1e741f077602   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       17 s   sha256 e364e8875fcd   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        8 s   sha256 bc7cf07ecc4d   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       21 s   sha256 798d90143189   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       47 s   sha256 922d73f66f79   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       64 s   sha256 5f50ad26ba12   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      252 s   sha256 2049217440d5   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1002 s   sha256 aa385b9cefd8   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       34 s   sha256 76b2ab37d8ba   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        4 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       86 s   sha256 0bbabf1f21a1   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        4 s   sha256 9e167f05be32   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       25 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      304 s   sha256 e8078067dcf1   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        7 s   sha256 c8f700c437a0   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       13 s   sha256 555bb4e43e47   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       43 s   sha256 9db37dd8e19c   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      329 s   sha256 167cc0b41c1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       19 s   sha256 d07e5eecf523   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      174 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      219 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        4 s   sha256 7fa782ab5a02   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       67 s   sha256 f520e1ed8a14   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      180 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        9 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        3 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      176 s   sha256 d81308a1d2ef   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      196 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 1734 s
ALL RUNS OK (full profile: 122 runs, all scripts including l21_1365411_qt l21_hard_n4)

## Part 3: ONLY="l21_13642221" ./run_all.sh 2 (the script changed after Part 2)
run_all.sh : 2026-10-13 11:23:55 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: d7d122a88ac1)
git commit 6c4673f; uncommitted changes to tracked files in this directory: 0
jobs 2, timeout 7200 s per run, nice 19
ok   l21_13642221                   exit 0       19 s   sha256 0a1015b74b7a   last line: ALL CHECKS PASSED  = reference
ok   l21_classify                   exit 0        5 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
total wall time 19 s
ALL RUNS OK (subset ONLY="l21_13642221": 2 runs including the classification)

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

## Part 5: ./test_release.sh (temporary directory shown as <tmp>)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (277 files)
      extracted 277 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 152 files listed in SHA256SUMS match
      ok    fake sage 'exit1': harness exit status 1, 120 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 120 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 120 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 119 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'after_marker': harness exit status 1, 120 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, 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   l21_13692                      exit 0        2 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
      ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l21_13692": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (4) a modified lib/certified_length.sage is refused: exit status 1, lib/certified_length.sage: FAILED
ok    (4) a script not listed in SHA256SUMS is refused: exit status 1, run_all.sh: unlisted_probe.sage (needed by unlisted_probe.sage) is not listed in SHA256SUMS
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

## Part 6: ONLY="l21_1365321_wm l21_1365321_tq_secant l21_1365321_F1F8_abs l21_1365321_bundle" ./run_all.sh 2
- l21_1365321_wm: lines 1-288 of the output (parts (U1), (U2)) are identical to its previous reference output; parts (U3), (U4)
  are new.  The three other scripts are new.  ./test_harness_negative.sh at 9b2e503 (same suite): ALL HARNESS TESTS PASSED.
- The one uncommitted change reported below is this record.
run_all.sh : 2026-10-13 13:28:36 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 9a99a02b0393)
git commit df5aa01; uncommitted changes to tracked files in this directory: 1
jobs 2, timeout 7200 s per run, nice 19
ok   l21_1365321_wm                 exit 0        5 s   sha256 0ca1692fdcb8   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        3 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        3 s   sha256 4a7a2539a6f0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        7 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_classify                   exit 0        4 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
total wall time 13 s
ALL RUNS OK (subset ONLY="l21_1365321_wm l21_1365321_tq_secant l21_1365321_F1F8_abs l21_1365321_bundle": 5 runs including the classification)

# ==================================================================================================================================
# Round 2, 2026-10-18, klein01 (shared, load about 50/128), SageMath 10.7.  Appended record; Parts 0-6 above are unchanged.
# Part 7 lists the changes of round 2 and the test run at 20bd054; Parts 8-11 are runs of the committed files at 4e27434 (each log
# prints the commit and reports 0 uncommitted changes in this directory): Part 8 ./run_all.sh 8 (default profile), Part 9
# ./run_all.sh --full 8, Part 10 ./test_harness_negative.sh, Part 11 ./test_release.sh.  After these runs only this record and
# SHA256SUMS (which lists it) were changed.

## Part 7: the changes of round 2, and a test run
- Local lengths: every local-length routine of the scripts and libraries returns its value through double_checked(J, value) of
  lib/certified_length.sage, which accepts a finite positive value only if a local standard basis (ds) and stabilization give the
  same number; this covers the generic values over QQ(t), QQ(l), QQ(m), QQ(lambda) and the values over the number fields of
  l21_1364322_r2 and l21_1365321_r1lib.  Bounds are compared strictly: 21 <= L <= B for a triple in the ideal of an actual algebra of
  length 21, 0 < L <= B for model triples, chart ideals and base-point multiplicities (see MANIFEST.md).
- l21_13542222: an always-true filter, an unused helper and a placeholder line removed; the cube branch now asserts
  D_3 = <Y^3, Y^2Z, YZ^2, XY^2> exactly.
- run_all.sh: a missing reference output, or a difference from it other than in timing substrings, is a failure.  SHA256SUMS lists
  every delivered file except itself (make_bundle.sh writes it from git ls-files).  test_harness_negative.sh adds the modes mismatch
  (one changed non-timing line) and missing_ref (REF_DIR without one reference), and the positive control timing_only (every
  timing changed); test_release.sh adds the refusal of a modified reference output.
- Printed in addition, no value changed: the anchor triples of l21_13643211_fam, l21_13643211_fam2, l21_13643211_fam3 and of Part A
  of l21_13642221; the tops of M_Q in part (A5) and the triple of part (U7) of l21_1364322_r2.
- New: COVERAGE_B18_B21_B24.md (coverage tables of Theorems B.18, B.21, B.24).  MANIFEST.md: statement numbers refreshed, the
  coverage tables and the local-length policy described.
- 7a. Test run ./run_all.sh --full 8 at 20bd054 (the hooks and guards committed, the reference outputs not yet updated),
  09:24-10:02 (2260 s wall): 128 runs, every run exit 0 with last line ALL CHECKS PASSED and no FAIL, Error or Traceback line (no
  CertifiedLengthError); 124 outputs equal to their references; four differ in printed labels only: "in [1, 40]" -> "in [21, 40]"
  (l21_1355421_slide, 28 lines; l21_1355421_slide_bad, 16 lines), "0 < L <= 41" -> "21 <= L <= 41" (l21_1365411_qt, 10 lines),
  and the cube-branch label "D_3 = <Y^3, Y^2Z, YZ^2, XY^2> (cube branch)" (l21_13542222, 3 lines).  With these labels
  substituted the four outputs are identical to the old references (timings ignored), so no value changed.  Their outputs of this
  run are the new reference outputs.
- 7b. The five scripts with added prints, run singly (nice 19, one thread): l21_13643211_fam, l21_13643211_fam2, l21_13643211_fam3,
  l21_13642221, l21_1364322_r2: exit 0, ALL CHECKS PASSED; each output equals its old reference up to the added lines (12, 12, 27
  and 5 triples; 5 tops of M_Q and the (U7) triple).  These outputs are the new reference outputs.

## Part 8: ./run_all.sh 8 (default profile)
run_all.sh : 2026-10-18 10:02:40 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 97bd2b99b772)
git commit 4e27434; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        5 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       18 s   sha256 12e369db4655   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       20 s   sha256 87ca391f6ece   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        4 s   sha256 e9bdb208290d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      203 s   sha256 5b2ee5a9cc6a   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        4 s   sha256 b9d5d48bfa84   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      674 s   sha256 72e0d0f9616e   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       22 s   sha256 c60c10f2812f   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        3 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        3 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        3 s   sha256 afa40f3ee83b   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        5 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        3 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      191 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       61 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       41 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       56 s   sha256 a3cb5dc4c8c3   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       39 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0       13 s   sha256 8dd34676ecca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       42 s   sha256 5a794a4d5958   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      254 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      376 s   sha256 591f099c89ed   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      240 s   sha256 c68319b829dc   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        2 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        4 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        3 s   sha256 4b4bd7c4c2e4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       38 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_kernel              exit 0       15 s   sha256 baf12ce262c4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_moves               exit 0        9 s   sha256 759fb574abfd   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       28 s   sha256 52461a76db7d   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0        6 s   sha256 25d5cee90afd   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      214 s   sha256 fa3f627334e0   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        7 s   sha256 446fae9efe82   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        5 s   sha256 3e98c5ae41be   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       20 s   sha256 fcae73dc49f4   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       14 s   sha256 09ebae462f7f   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       65 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0       13 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       12 s   sha256 c39a89457ebe   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        6 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        7 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0       25 s   sha256 d31fa8526f50   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        9 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        7 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0       17 s   sha256 5857ef1c683c   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       26 s   sha256 6705a25c23d4   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        6 s   sha256 01e9e3d07a8f   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       18 s   sha256 312c20deb6b1   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      278 s   sha256 fc0cb32f69c5   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       15 s   sha256 d6a34c0e6488   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0       10 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0       12 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0        9 s   sha256 0569d8c90015   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        9 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0       11 s   sha256 9ce1a5533f20   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0       16 s   sha256 f4f18bf80c99   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       16 s   sha256 f88c36df97d2   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       20 s   sha256 471a7d675b06   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       31 s   sha256 17d98c591ee3   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       48 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       18 s   sha256 c317f22f806f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        6 s   sha256 c84547a97022   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       30 s   sha256 63d07d8f3608   last line: ALL CHECKS PASSED  = reference
ok   l21_explicit_triples           exit 0        6 s   sha256 5b592d9f46eb   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        3 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       14 s   sha256 367b974dcd5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        5 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      149 s   sha256 c147d1492859   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        8 s   sha256 75e1d506af2f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        5 s   sha256 cf075055a0fc   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       70 s   sha256 62a92922dbb7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0       10 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        7 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0       16 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       16 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        7 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       20 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0       12 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       17 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       30 s   sha256 10da857aaf4a   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       22 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       47 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       55 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       32 s   sha256 19f7dee5d84b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       29 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       37 s   sha256 2549613f98f1   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        6 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        3 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        3 s   sha256 4a7a2539a6f0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        3 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       45 s   sha256 348ff7c43107   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       25 s   sha256 67dc980d18b5   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       41 s   sha256 242def0d8a42   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       45 s   sha256 5d26820a6b12   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       13 s   sha256 d6e0b0fc965d   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0       10 s   sha256 6bafa8b9de2e   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       14 s   sha256 c10058778467   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0        9 s   sha256 03cbf58e22c8   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       17 s   sha256 e01845c392b6   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        8 s   sha256 cc590c645f80   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       22 s   sha256 eb89caecbd88   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       30 s   sha256 a2a1a6d65baf   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       57 s   sha256 a916540b3a6d   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      311 s   sha256 73e83c2eb582   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1555 s   sha256 3abbfb79b9b6   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       23 s   sha256 5cd663c84ee5   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        3 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       73 s   sha256 e6a0474f38fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        3 s   sha256 9e167f05be32   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       17 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      232 s   sha256 c921ecc0449e   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        7 s   sha256 c8f700c437a0   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       13 s   sha256 555bb4e43e47   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       27 s   sha256 e2e751ceda8a   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      262 s   sha256 167cc0b41c1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       12 s   sha256 366011df87e9   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      145 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      196 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        3 s   sha256 7fa782ab5a02   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       73 s   sha256 f520e1ed8a14   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      146 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        6 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        3 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      152 s   sha256 1cb744a2d2e5   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      174 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 2071 s
ALL RUNS OK (default suite: 126 runs; l21_1365411_qt l21_hard_n4 are run by ./run_all.sh --full)

## Part 9: ./run_all.sh --full 8
run_all.sh --full: 2026-10-18 10:37:15 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 97bd2b99b772)
git commit 4e27434; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_1365411_qt                 exit 0     1131 s   sha256 66156ab2ad89   last line: ALL CHECKS PASSED  = reference
ok   l21_hard_n4                    exit 0     1135 s   sha256 c51def17e18e   last line: ALL CHECKS PASSED  = reference
ok   l21_classify                   exit 0        5 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        7 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       25 s   sha256 12e369db4655   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       19 s   sha256 87ca391f6ece   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        5 s   sha256 e9bdb208290d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      193 s   sha256 5b2ee5a9cc6a   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        6 s   sha256 b9d5d48bfa84   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      616 s   sha256 72e0d0f9616e   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       22 s   sha256 c60c10f2812f   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        4 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        4 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        4 s   sha256 afa40f3ee83b   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        3 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        4 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      163 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       65 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       43 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       61 s   sha256 a3cb5dc4c8c3   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       37 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0       12 s   sha256 8dd34676ecca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       35 s   sha256 5a794a4d5958   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      177 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      364 s   sha256 591f099c89ed   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      229 s   sha256 c68319b829dc   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        2 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        3 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        3 s   sha256 4b4bd7c4c2e4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       39 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_kernel              exit 0       10 s   sha256 baf12ce262c4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_moves               exit 0        9 s   sha256 759fb574abfd   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       29 s   sha256 52461a76db7d   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0       10 s   sha256 25d5cee90afd   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      179 s   sha256 fa3f627334e0   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        7 s   sha256 446fae9efe82   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        4 s   sha256 3e98c5ae41be   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       22 s   sha256 fcae73dc49f4   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       14 s   sha256 09ebae462f7f   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       59 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0        9 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       12 s   sha256 c39a89457ebe   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        4 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        7 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0       24 s   sha256 d31fa8526f50   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        8 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        6 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0       10 s   sha256 5857ef1c683c   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       22 s   sha256 6705a25c23d4   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        5 s   sha256 01e9e3d07a8f   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       15 s   sha256 312c20deb6b1   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      267 s   sha256 fc0cb32f69c5   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       15 s   sha256 d6a34c0e6488   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0        8 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0        8 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0        9 s   sha256 0569d8c90015   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        6 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0        8 s   sha256 9ce1a5533f20   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0       12 s   sha256 f4f18bf80c99   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       14 s   sha256 f88c36df97d2   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       17 s   sha256 471a7d675b06   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       27 s   sha256 17d98c591ee3   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       34 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       15 s   sha256 c317f22f806f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        6 s   sha256 c84547a97022   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       22 s   sha256 63d07d8f3608   last line: ALL CHECKS PASSED  = reference
ok   l21_explicit_triples           exit 0        4 s   sha256 5b592d9f46eb   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        3 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       11 s   sha256 367b974dcd5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        5 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      145 s   sha256 c147d1492859   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        7 s   sha256 75e1d506af2f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        5 s   sha256 cf075055a0fc   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       58 s   sha256 62a92922dbb7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0       11 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        6 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0       14 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       13 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        7 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       16 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0       10 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       16 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       22 s   sha256 10da857aaf4a   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       28 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       38 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       57 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       27 s   sha256 19f7dee5d84b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       27 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       26 s   sha256 2549613f98f1   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        4 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        3 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        4 s   sha256 4a7a2539a6f0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        4 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       31 s   sha256 348ff7c43107   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       28 s   sha256 67dc980d18b5   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       26 s   sha256 242def0d8a42   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       36 s   sha256 5d26820a6b12   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       13 s   sha256 d6e0b0fc965d   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0       10 s   sha256 6bafa8b9de2e   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       15 s   sha256 c10058778467   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0        9 s   sha256 03cbf58e22c8   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       15 s   sha256 e01845c392b6   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        9 s   sha256 cc590c645f80   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       16 s   sha256 eb89caecbd88   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       32 s   sha256 a2a1a6d65baf   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       50 s   sha256 a916540b3a6d   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      245 s   sha256 73e83c2eb582   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1533 s   sha256 3abbfb79b9b6   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       23 s   sha256 5cd663c84ee5   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        3 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       66 s   sha256 e6a0474f38fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        3 s   sha256 9e167f05be32   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       17 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      240 s   sha256 c921ecc0449e   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        6 s   sha256 c8f700c437a0   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       11 s   sha256 555bb4e43e47   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       25 s   sha256 e2e751ceda8a   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      232 s   sha256 167cc0b41c1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       13 s   sha256 366011df87e9   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      133 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      168 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        3 s   sha256 7fa782ab5a02   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       48 s   sha256 f520e1ed8a14   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      146 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        6 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        3 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      148 s   sha256 1cb744a2d2e5   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      161 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 2182 s
ALL RUNS OK (full profile: 128 runs, all scripts including l21_1365411_qt l21_hard_n4)

## Part 10: ./test_harness_negative.sh
ok    positive control 'good': harness exit status 0, ALL RUNS OK
ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'missing_ref': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ALL HARNESS TESTS PASSED

## Part 11: ./test_release.sh (temporary directory shown as <tmp>)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (292 files)
      extracted 292 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 291 files listed in SHA256SUMS match
      ok    positive control 'good': harness exit status 0, ALL RUNS OK
      ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
      ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'missing_ref': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l21_13692                      exit 0        3 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
      ok   l21_classify                   exit 0        3 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l21_13692": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (4) a modified reference output is refused: exit status 1, l21_13692_output.txt: FAILED
ok    (4) a modified lib/certified_length.sage is refused: exit status 1, lib/certified_length.sage: FAILED
ok    (4) a script not listed in SHA256SUMS is refused: exit status 1, run_all.sh: unlisted_probe.sage (needed by unlisted_probe.sage) is not listed in SHA256SUMS
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

# ==================================================================================================================================
# Round 3, 2026-10-18, klein01, SageMath 10.7.  Appended record; Parts 0-11 above are unchanged.  Part 12 lists the changes of
# round 3 and the test runs; Parts 13-15 are runs of the committed files at c67ef7b (the log prints the commit and reports 0
# uncommitted changes): Part 13 ./run_all.sh 8 (default profile), Part 14 ./test_harness_negative.sh, Part 15 ./test_release.sh.
# After these runs only MANIFEST.md (five table rows regenerated from the revised Appendix D), this record and SHA256SUMS changed.

## Part 12: the changes of round 3, and test runs
- run_all.sh, function norm: the timing normalization replaces only the time value of the seven elapsed-time formats that the
  scripts print (listed at norm() and in MANIFEST.md); every other character of an output is compared exactly.  Survey of the 128
  reference outputs: of the 705 matches of the former pattern (numbers followed by s, sec or seconds), 646 are timing fields in 77
  files (a "timing: member+triples ..., stabilization ..." line carries two matches) and are normalized; 8 are mathematics or
  labels and are now compared exactly: "2s+c+19" and "3s+c+15" (l21_13632222), "Part D4s" (l21_1364331, l21_1364421) and the
  sector name "1354221111 sec" (four lines of l21_135_s7plus_cube_sanity).
- test_harness_negative.sh: negative modes math_2s (2s+c+19 -> 9s+c+19 in l21_13632222) and math_sec (1354221111 sec ->
  1354221112 sec in l21_135_s7plus_cube_sanity); the positive control timing_only changes exactly the elapsed-time fields.
- Literal successes replaced by checks: l21_1356321, part N3 (the conditions on p are homogeneous linear, 2 on 3 unknowns and 1 on
  2, and the binary part of T_3 is injective in p); l21_13552221 (the non-cube report passes its condition); l21_136322211 (the
  Macaulay bound 3^<3> = 3 is computed).
- l21_13643211_fam2, split_kernel (stratum R5): M(beta, gamma) has rank 3 exactly on (beta, gamma) != (0, 0), as its 3x3 minors
  generate an ideal containing beta^3 and gamma^3.
- l21_136632, part (Ad): the random construction is replaced by an explicit closed module with the graded data of the family and
  the triple x^3 + xz^3, y^3 + yz^3, x^2y + xy^2 + (x+2y)z^3 + z^5, of local length 41.
- l21_136632_line5, part (K): F_1, F_2, the syzygies s_1 = (x, 0), s_2 = (-c(2ty + z), x - 3ct^2 y), s_3 = (-y, z - 2ty) and the
  identity g_1 s_3 - g_2 s_2 + g_3 s_1 = (0, 0), all over QQ[t, c].
- l21_13553211_O, part (U3): in the three free-pair rows u is printed, the remaining condition is one homogeneous linear equation
  in (be, ga), and pi(u_3) is injective in (be, ga).
- l21_1365321_F1F8_abs, part (U4): K_1, K_2, K_3 are the saturations (G_i : f^inf) of graph ideals over six free coordinates.
- Universal in place of sampled: l21_136332111 (U2), the substitutions preserve nu_k(Gamma) for every mu; l21_1354221111, the
  rank-drop split of the line 60 xi p0 + 12 kap p1 = 0; l21_13543221_cube (U0), the dual action with a and a general quintic
  symbolic.  l21_1364421_tangent: a timeout of the minimal-prime block is a failure.  Comments of l21_136632_moves and l21_1354332
  named files that are not in the archive (fixed).
- B28_COVERAGE.md, COVERAGE_B18_B21_B24.md: the end section is now "Proof dependencies and non-computational steps" (no genuine
  omissions; the steps proved in the text; quantities not computed and not needed).
- 12a. ONLY="l21_1356321 l21_13552221 l21_136322211 l21_13643211_fam2 l21_136632 l21_136632_line5 l21_13553211_O
  l21_1365321_F1F8_abs" ./run_all.sh 8 and ONLY="l21_136332111 l21_1354221111 l21_13543221_cube l21_1364421_tangent
  l21_136632_moves l21_1354332" ./run_all.sh 7 (uncommitted edits): every run exit 0 and ALL CHECKS PASSED.  The outputs of
  l21_1356321, l21_13643211_fam2, l21_136632, l21_136632_line5, l21_13553211_O, l21_1365321_F1F8_abs and l21_136332111 differ from
  their old references exactly by the added or reworded lines described above; these outputs are their new references.  The other
  edited scripts reproduce their references.
- 12b. ./run_all.sh 8 at 601bcbc: ALL RUNS OK, 126 runs, 1883 s.  A test of the new normalization on fresh outputs of every
  script; some scripts of the second ONLY run were edited while it ran, so Part 13 supersedes it.

## Part 13: ./run_all.sh 8 (default profile)
run_all.sh : 2026-10-18 14:35:36 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 014c70f4e473)
git commit c67ef7b; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_classify                   exit 0        3 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        8 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       18 s   sha256 12e369db4655   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       26 s   sha256 87ca391f6ece   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        5 s   sha256 e9bdb208290d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      217 s   sha256 5b2ee5a9cc6a   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        6 s   sha256 b9d5d48bfa84   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      618 s   sha256 72e0d0f9616e   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       18 s   sha256 c60c10f2812f   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        3 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        2 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        3 s   sha256 afa40f3ee83b   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        3 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        3 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      166 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       61 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       42 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       56 s   sha256 a3cb5dc4c8c3   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       30 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0        8 s   sha256 8dd34676ecca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       22 s   sha256 1715d930d7ca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      176 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      355 s   sha256 591f099c89ed   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      212 s   sha256 c68319b829dc   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        2 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        3 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        4 s   sha256 348d1d1ffdfa   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       38 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_kernel              exit 0       11 s   sha256 baf12ce262c4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_moves               exit 0        8 s   sha256 e0704c2cf346   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       27 s   sha256 52461a76db7d   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0       10 s   sha256 25d5cee90afd   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      179 s   sha256 fa3f627334e0   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        5 s   sha256 4abcb907015e   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        3 s   sha256 3e98c5ae41be   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       20 s   sha256 fcae73dc49f4   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       13 s   sha256 09ebae462f7f   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       58 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0        7 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       12 s   sha256 c39a89457ebe   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        4 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        6 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0       17 s   sha256 ac86158dabf7   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        9 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        7 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0       10 s   sha256 5857ef1c683c   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       19 s   sha256 6705a25c23d4   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        6 s   sha256 01e9e3d07a8f   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       14 s   sha256 312c20deb6b1   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      256 s   sha256 fc0cb32f69c5   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       16 s   sha256 d6a34c0e6488   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0        7 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0        9 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0        8 s   sha256 0569d8c90015   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        7 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0        9 s   sha256 fb22d8f15cc2   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0       12 s   sha256 f4f18bf80c99   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       15 s   sha256 f88c36df97d2   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       19 s   sha256 bfb2ddc014f7   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       25 s   sha256 17d98c591ee3   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       33 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       15 s   sha256 c317f22f806f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        5 s   sha256 c84547a97022   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       21 s   sha256 63d07d8f3608   last line: ALL CHECKS PASSED  = reference
ok   l21_explicit_triples           exit 0        5 s   sha256 5b592d9f46eb   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        3 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       11 s   sha256 367b974dcd5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        7 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      143 s   sha256 c147d1492859   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        7 s   sha256 75e1d506af2f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        5 s   sha256 cf075055a0fc   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       55 s   sha256 62a92922dbb7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0        9 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        6 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0       12 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       13 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        9 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       16 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0        9 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       20 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       21 s   sha256 10da857aaf4a   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       24 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       34 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       48 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       29 s   sha256 19f7dee5d84b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       30 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       29 s   sha256 2549613f98f1   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        4 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        4 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        3 s   sha256 f35ee51a2773   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        4 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       40 s   sha256 348ff7c43107   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       26 s   sha256 67dc980d18b5   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       25 s   sha256 922e3eff9d35   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       36 s   sha256 5d26820a6b12   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       13 s   sha256 d6e0b0fc965d   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0       11 s   sha256 6bafa8b9de2e   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       14 s   sha256 c10058778467   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0        9 s   sha256 03cbf58e22c8   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       15 s   sha256 e01845c392b6   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        8 s   sha256 cc590c645f80   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       16 s   sha256 66033af6a034   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       36 s   sha256 a2a1a6d65baf   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       47 s   sha256 a916540b3a6d   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      250 s   sha256 73e83c2eb582   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1477 s   sha256 3abbfb79b9b6   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       26 s   sha256 5cd663c84ee5   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        3 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       61 s   sha256 e6a0474f38fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        2 s   sha256 dd0dab5893f5   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       16 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      237 s   sha256 c921ecc0449e   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        6 s   sha256 c8f700c437a0   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       10 s   sha256 555bb4e43e47   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       23 s   sha256 e2e751ceda8a   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      224 s   sha256 f4d9a2145da7   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       15 s   sha256 366011df87e9   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      129 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      169 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        3 s   sha256 bcf522561da0   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       59 s   sha256 cf16f3d9c77b   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      143 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        6 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        2 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      144 s   sha256 1cb744a2d2e5   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      160 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 1928 s
ALL RUNS OK (default suite: 126 runs; l21_1365411_qt l21_hard_n4 are run by ./run_all.sh --full)

## Part 14: ./test_harness_negative.sh
ok    positive control 'good': harness exit status 0, ALL RUNS OK
ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'missing_ref': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ALL HARNESS TESTS PASSED

## Part 15: ./test_release.sh (temporary directory shown as <tmp>)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (292 files)
      extracted 292 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 291 files listed in SHA256SUMS match
      ok    positive control 'good': harness exit status 0, ALL RUNS OK
      ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
      ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'missing_ref': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l21_13692                      exit 0        2 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
      ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l21_13692": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (4) a modified reference output is refused: exit status 1, l21_13692_output.txt: FAILED
ok    (4) a modified lib/certified_length.sage is refused: exit status 1, lib/certified_length.sage: FAILED
ok    (4) a script not listed in SHA256SUMS is refused: exit status 1, run_all.sh: unlisted_probe.sage (needed by unlisted_probe.sage) is not listed in SHA256SUMS
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

# ==================================================================================================================================
# Round 4, 2026-10-18, klein01, SageMath 10.7.  Appended record; Parts 0-15 above are unchanged.  Part 16 lists the changes of
# round 4 and the test runs; Parts 17-19 are runs of the committed files at 44e195f (the log prints the commit and reports 0
# uncommitted changes): Part 17 ./run_all.sh 8 (default profile), Part 18 ./test_harness_negative.sh, Part 19 ./test_release.sh.
# After these runs only this record and SHA256SUMS changed.

## Part 16: the changes of round 4, and test runs
- run_all.sh: RERUN_DIR and RUN_LOG are resolved (physical paths, symbolic links included) before anything is deleted or truncated;
  the run is refused if the output directory is this directory, one of its ancestors, or a directory holding files listed in
  SHA256SUMS, or if the log is a listed file, a symbolic link, or a file that the runs write.  The outputs are compared with private
  copies of the reference outputs, made after the integrity check and verified against SHA256SUMS again.  REF_DIR is refused.
- test_harness_negative.sh: missing_ref now runs in a disposable copy of the release; new required negative modes, all with the
  2s+c+19 -> 9s+c+19 mutation: attack_rerun_is_ref (RERUN_DIR = the release directory, in a disposable copy), attack_rerun_alias
  (RERUN_DIR = a symbolic link to it, in a disposable copy), attack_ref_dir (REF_DIR = a copy of the references with the mutated
  reference); both attacks on copies must leave every checksummed file of the copy intact.  The positive controls are unchanged.
- Class labels of seeded parts corrected in the headers: l21_general_N234 part D3 (S), l21_13552221 (no universal part; the
  universal argument is [Twenty points, Thm B.14]), l21_135453 (S, symbolic in t), l21_136542 (R4, no pencil containing q^5 has
  r = 4: S).  l21_1364322_r1: an unused helper removed.
- l21_1365411_testc, part (U42): the equality ((K')^2)_n = (J'K')_n and the reduction J'_n of K'_n are stated at the origin n (the
  colengths are local); a new check shows that globally the colengths of J', J'K', (K')^2 are 21, 45, 39 and that rho^6 lies in
  (K')^2 but not in J'K'.
- l21_1365321_b2t, part (S4): an actual algebra with R = X^2Y^2 and D_3 in N (closed, H = (1,3,6,5,3,2,1), D_3 = C[X,Y]_3 + C Z^3,
  B = V(z) + [Z]); B28_COVERAGE.md, the (U4) line corrected (these data contain the line z = 0 and are settled with the sector B2T).
- MANIFEST.md: the local-length paragraph says exactly which routines certify accepted bounds and which inherited helpers
  (l20_135_s6lib.sage: loclen, loclen_cert) are unused; the directory checks and the new tests are described.
- 16a. ONLY="l21_1365411_testc l21_1365321_b2t l21_1364322_r1 l21_general_N234 l21_13552221 l21_135453 l21_136542" ./run_all.sh 8
  (uncommitted edits): every run exit 0, ALL CHECKS PASSED; l21_1365411_testc and l21_1365321_b2t differ from their old references
  exactly by the reworded and added lines above (their outputs of this run are the new references); the other five reproduce
  their references.
- l21_13552221 (also run as l21_135522111): the header names the universal proof ([Twenty points, Thm B.14], implemented in
  l20_13542221 and l20_135422111) and calls this script a sanity check; the final check requires at least one accepted sample in
  every listed case (accepted per case: 3, 3, 3, 3, 3, 3, resp. 2, 2, 2, 1, 1) instead of allowing 0 = 0.
- l21_136322211, part (S): relabelled as an observation (two sampled undeformed triples of I* have local lengths greater than 41).
- l21_1364421_tangent: the dimensions 47 and 46 are printed as dimensions of auxiliary parameter spaces (rho in C^3, phi~ on
  C[X,Y]_4/G); only irreducibility is used.
- l21_1365321_B3, part (F): split into [U] (sufficiency of the criterion (1), (2) with F, q, G, the binary parts of R5, R4, the
  element of D_3 and R3 symbolic; z o : T_5 -> T_4, T_4 -> T_3 onto with binary kernels, hence ranks 9 and 10) and [S] (the eight
  sampled members and the two negative controls).  B28_COVERAGE.md updated.
- 16b. The default run, ./test_harness_negative.sh and ./test_release.sh at ea4eec4 (before the items just listed): ALL RUNS OK
  (126 runs, 2020 s), ALL HARNESS TESTS PASSED, ALL RELEASE TESTS PASSED.
- 16c. ONLY="l21_13552221 l21_135522111 l21_136322211 l21_1364421_tangent l21_1365321_B3" ./run_all.sh 6 (uncommitted edits):
  every run exit 0, ALL CHECKS PASSED; the five outputs differ from their old references exactly by the reworded and added lines
  above (in l21_1365321_B3 the sampled members and the anchor are unchanged); these outputs are their new references.
- MANIFEST.md: the table rows regenerated from the revised Appendix D (twenty_one_points.aux and a4_computations.tex of 19:08).

## Part 17: ./run_all.sh 8 (default profile)
run_all.sh : 2026-10-18 19:22:19 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: fe5b75d513ae)
git commit 44e195f; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_classify                   exit 0        3 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        6 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       21 s   sha256 12e369db4655   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       17 s   sha256 87ca391f6ece   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        4 s   sha256 e9bdb208290d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      165 s   sha256 5b2ee5a9cc6a   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        5 s   sha256 b9d5d48bfa84   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      629 s   sha256 4a4f25c99146   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       19 s   sha256 c60c10f2812f   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        2 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        2 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        3 s   sha256 afa40f3ee83b   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        3 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        3 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      157 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       60 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       42 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       61 s   sha256 d53cbf9e587b   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       32 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0        8 s   sha256 8dd34676ecca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       22 s   sha256 1715d930d7ca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      172 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      350 s   sha256 591f099c89ed   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      217 s   sha256 c68319b829dc   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        3 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        3 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        3 s   sha256 348d1d1ffdfa   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       36 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_kernel              exit 0        9 s   sha256 baf12ce262c4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_moves               exit 0       11 s   sha256 e0704c2cf346   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       27 s   sha256 52461a76db7d   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0        6 s   sha256 25d5cee90afd   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      177 s   sha256 fa3f627334e0   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        7 s   sha256 4abcb907015e   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        4 s   sha256 3e98c5ae41be   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       24 s   sha256 fcae73dc49f4   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       11 s   sha256 09ebae462f7f   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       58 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0        7 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       12 s   sha256 c39a89457ebe   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        4 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        6 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0       16 s   sha256 2bcc7a463941   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        7 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        5 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0        9 s   sha256 5857ef1c683c   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       21 s   sha256 6705a25c23d4   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        5 s   sha256 01e9e3d07a8f   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       14 s   sha256 07d1028afd92   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      254 s   sha256 fc0cb32f69c5   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       13 s   sha256 d6a34c0e6488   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0        8 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0        9 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0        8 s   sha256 0569d8c90015   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        6 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0        8 s   sha256 6dc65961dd9e   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0       14 s   sha256 f4f18bf80c99   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       13 s   sha256 f88c36df97d2   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       16 s   sha256 bfb2ddc014f7   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       25 s   sha256 17d98c591ee3   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       32 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       16 s   sha256 c317f22f806f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        5 s   sha256 c84547a97022   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       20 s   sha256 ba4b62e2981b   last line: ALL CHECKS PASSED  = reference
ok   l21_explicit_triples           exit 0        4 s   sha256 5b592d9f46eb   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        3 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       11 s   sha256 367b974dcd5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        5 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      145 s   sha256 7452c668cc41   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        7 s   sha256 75e1d506af2f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        4 s   sha256 cf075055a0fc   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       52 s   sha256 5a8f644bace8   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0        9 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        6 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0       13 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       13 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        6 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       15 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0       11 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       13 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       20 s   sha256 10da857aaf4a   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       26 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       33 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       45 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       25 s   sha256 19f7dee5d84b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       29 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       23 s   sha256 2549613f98f1   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        3 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        2 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        3 s   sha256 f35ee51a2773   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        3 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       29 s   sha256 348ff7c43107   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       26 s   sha256 67dc980d18b5   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       24 s   sha256 922e3eff9d35   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       33 s   sha256 5d26820a6b12   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       12 s   sha256 d6e0b0fc965d   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0        9 s   sha256 6bafa8b9de2e   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       14 s   sha256 c10058778467   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0       11 s   sha256 1b1709d2d35e   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       14 s   sha256 e01845c392b6   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        8 s   sha256 cc590c645f80   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       14 s   sha256 66033af6a034   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       34 s   sha256 a2a1a6d65baf   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       45 s   sha256 a916540b3a6d   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      252 s   sha256 73e83c2eb582   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1463 s   sha256 3abbfb79b9b6   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       27 s   sha256 5cd663c84ee5   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        3 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       58 s   sha256 e6a0474f38fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        3 s   sha256 dd0dab5893f5   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       15 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      227 s   sha256 c921ecc0449e   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        6 s   sha256 c8f700c437a0   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       13 s   sha256 555bb4e43e47   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       23 s   sha256 e2e751ceda8a   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      223 s   sha256 f4d9a2145da7   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       13 s   sha256 366011df87e9   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      131 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      168 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        3 s   sha256 bcf522561da0   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       48 s   sha256 3170143d62cd   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      147 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        6 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        2 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      145 s   sha256 1cb744a2d2e5   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      161 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 1896 s
ALL RUNS OK (default suite: 126 runs; l21_1365411_qt l21_hard_n4 are run by ./run_all.sh --full)

## Part 18: ./test_harness_negative.sh (temporary directory shown as <tmp>)
ok    positive control 'good': harness exit status 0, ALL RUNS OK
ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'missing_ref': harness exit status 1, refused: files differ from SHA256SUMS
ok    fake sage 'attack_rerun_is_ref': harness exit status 1, refused: the output directory <tmp>/rel_same (<tmp>/rel_same) is, or contains, 
ok    fake sage 'attack_rerun_alias': harness exit status 1, refused: the output directory <tmp>/alias_link (<tmp>/rel_alias) is, or contain
ok    fake sage 'attack_ref_dir': harness exit status 1, refused: REF_DIR is not supported: outputs are compared only with the checksummed reference outputs of this
ALL HARNESS TESTS PASSED

## Part 19: ./test_release.sh (temporary directory shown as <tmp>)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (292 files)
      extracted 292 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 291 files listed in SHA256SUMS match
      ok    positive control 'good': harness exit status 0, ALL RUNS OK
      ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
      ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'missing_ref': harness exit status 1, refused: files differ from SHA256SUMS
      ok    fake sage 'attack_rerun_is_ref': harness exit status 1, refused: the output directory <tmp>/rel_same (<tmp>/rel_same) is, or contains, 
      ok    fake sage 'attack_rerun_alias': harness exit status 1, refused: the output directory <tmp>/alias_link (<tmp>/rel_alias) is, or contain
      ok    fake sage 'attack_ref_dir': harness exit status 1, refused: REF_DIR is not supported: outputs are compared only with the checksummed reference outputs of this
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l21_13692                      exit 0        2 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
      ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l21_13692": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (4) a modified reference output is refused: exit status 1, l21_13692_output.txt: FAILED
ok    (4) a modified lib/certified_length.sage is refused: exit status 1, lib/certified_length.sage: FAILED
ok    (4) a script not listed in SHA256SUMS is refused: exit status 1, run_all.sh: unlisted_probe.sage (needed by unlisted_probe.sage) is not listed in SHA256SUMS
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

# ==================================================================================================================================
# Round 5, 2026-10-18, klein01, SageMath 10.7.  Appended record; Parts 0-19 above are unchanged.  Part 20 lists the changes of
# round 5 and the test run; Parts 21-23 are runs of the committed files at 997b988 (the log prints the commit and reports 0
# uncommitted changes): Part 21 ./run_all.sh 8 (default profile), Part 22 ./test_harness_negative.sh, Part 23 ./test_release.sh.
# After these runs only this record and SHA256SUMS changed.  MANIFEST.md is not re-synchronized with Appendix D in this round.

## Part 20: the changes of round 5, and a test run
- l21_13633221, part (U3): the kernel of theta (the y^3-coefficient) on I*_3 is computed as a subspace (dimension 6) and compared
  with the span of xy^2, xyz, xz^2, y^2z, yz^2, z^3 (both inclusions); a negative control (adding y^3) fails as it should.
- Vacuous predicates removed: l21_1365411_qt (an assert with "or True"); l21_1365321_F1F8_f8 (a check passed the literal True: it
  now re-evaluates the member conditions and the length bounds); "if __name__ == '__main__' or True" in l21_13543311, l21_13544211
  (now unconditional); "if True" filters or conditionals in l21_135552, l21_135732, l21_13643211, l21_general_WM.
- l21_1365321_r1fq: class U now: for each of the seven torus cases a diagonal change v -> lambda v with lambda^k = t^(-+1) maps
  R + tW to a multiple of the certified representative, as an identity modulo that relation; for (F4) the identity
  (a X^2Y^2 + b XY^3 + c Y^4 + t Y^3Z)(Z -> Z - (bX + cY)/t) = a X^2Y^2 + t Y^3Z over QQ[a, b, c, t, 1/t]; the sampled tests are S.
- l21_general_LD part H: scope stated (the five monomial models; two nonsquare-Q examples).  l21_general_WM part F: the length
  labels say "certified: ds = stabilization" (no "stable N = ds").  l21_1355421_slide, l21_1355421_slide_bad: the tau checks require
  H(I_tau) = H.  l21_1365411_line: the top pivot minor is asserted in both branches, and the base scheme at t = 1/3 in (v-a).
- l21_13553211_O: the chart g = z^2 y, A != 0 = B, a4 != 0 of C.23(e) is proved empty: (z^2 - (A/105) y^3) o Phi has degree <= 3 and
  cubic part 12 a4 XZ^2 + (binary cubic), identically, so closedness forces a4 = 0.
- l21_1365321_r1b: the routing of the two (F4) q = 1 orbits R = Y^4, X^2Y^2 is printed, with an actual non-free algebra (R = Y^4,
  D_3 in N).  B28_COVERAGE.md and COVERAGE_B18_B21_B24.md ("covering families") updated; comments of l21_13643211_fam, _fam2, _fam3.
- 20a. ONLY="<the 20 edited scripts, l21_1365411_qt included>" ./run_all.sh 8 (uncommitted edits): every run exit 0, ALL CHECKS
  PASSED; l21_13633221, l21_general_WM, l21_1365321_r1fq, l21_general_LD, l21_1365411_line, l21_13553211_O and l21_1365321_r1b differ
  from their old references exactly by the reworded and added lines above (these outputs are their new references); the other
  thirteen reproduce their references.

## Part 21: ./run_all.sh 8 (default profile)
run_all.sh : 2026-10-18 20:45:46 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 6e53c50a6a19)
git commit 997b988; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        6 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       18 s   sha256 3bc40743e075   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       16 s   sha256 87ca391f6ece   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        4 s   sha256 e9bdb208290d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      178 s   sha256 0c555b7b9e4e   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        5 s   sha256 b9d5d48bfa84   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      612 s   sha256 4a4f25c99146   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       18 s   sha256 c60c10f2812f   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        3 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        2 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        3 s   sha256 afa40f3ee83b   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        2 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        2 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      158 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       60 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       44 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       55 s   sha256 d53cbf9e587b   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       30 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0        7 s   sha256 8dd34676ecca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       22 s   sha256 1715d930d7ca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      177 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      345 s   sha256 591f099c89ed   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      208 s   sha256 c68319b829dc   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        2 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        3 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        2 s   sha256 348d1d1ffdfa   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       36 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_kernel              exit 0        9 s   sha256 baf12ce262c4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_moves               exit 0        9 s   sha256 e0704c2cf346   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       26 s   sha256 52461a76db7d   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0        6 s   sha256 25d5cee90afd   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      175 s   sha256 fa3f627334e0   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        5 s   sha256 4abcb907015e   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        5 s   sha256 3e98c5ae41be   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       20 s   sha256 f3d0575383ca   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       11 s   sha256 09ebae462f7f   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       56 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0        7 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       12 s   sha256 c39a89457ebe   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        3 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        8 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0       16 s   sha256 2bcc7a463941   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        6 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        6 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0        9 s   sha256 5857ef1c683c   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       20 s   sha256 6705a25c23d4   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        7 s   sha256 01e9e3d07a8f   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       13 s   sha256 07d1028afd92   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      248 s   sha256 fc0cb32f69c5   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       13 s   sha256 d6a34c0e6488   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0        6 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0       10 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0        7 s   sha256 0569d8c90015   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        5 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0        7 s   sha256 6dc65961dd9e   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0       11 s   sha256 1897cfc55723   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       13 s   sha256 256d153406fb   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       18 s   sha256 ce3b82c58821   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       23 s   sha256 c34f4e5fc808   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       31 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       14 s   sha256 c317f22f806f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        5 s   sha256 c84547a97022   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       20 s   sha256 ba4b62e2981b   last line: ALL CHECKS PASSED  = reference
ok   l21_explicit_triples           exit 0        4 s   sha256 5b592d9f46eb   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        2 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       10 s   sha256 140d69c7a58f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        6 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      142 s   sha256 7452c668cc41   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        7 s   sha256 75e1d506af2f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        4 s   sha256 cf075055a0fc   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       53 s   sha256 5a8f644bace8   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0        8 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        6 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0       11 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       13 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        6 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       16 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0       12 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       12 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       32 s   sha256 a46e9d735b2b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       25 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       33 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       42 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       26 s   sha256 765e212b817d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       24 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       25 s   sha256 d84876db49ba   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        4 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        3 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        3 s   sha256 f35ee51a2773   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        4 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       30 s   sha256 348ff7c43107   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       26 s   sha256 67dc980d18b5   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       26 s   sha256 922e3eff9d35   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       31 s   sha256 5d26820a6b12   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       17 s   sha256 8386261f3d11   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0        8 s   sha256 6bafa8b9de2e   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       13 s   sha256 c10058778467   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0        9 s   sha256 7024b4bac655   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       14 s   sha256 e01845c392b6   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        6 s   sha256 4b93aafd6152   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       15 s   sha256 66033af6a034   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       32 s   sha256 a2a1a6d65baf   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       46 s   sha256 a916540b3a6d   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      247 s   sha256 dbc72f69ce1e   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1442 s   sha256 f0d0f00084de   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       24 s   sha256 5cd663c84ee5   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        2 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       62 s   sha256 e6a0474f38fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        2 s   sha256 0f874f0dc799   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       15 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      231 s   sha256 c921ecc0449e   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        6 s   sha256 12974cc5a6bb   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       10 s   sha256 6b652da453ea   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       24 s   sha256 e2e751ceda8a   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      223 s   sha256 f4d9a2145da7   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       12 s   sha256 366011df87e9   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      130 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      164 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        3 s   sha256 bcf522561da0   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       47 s   sha256 3170143d62cd   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      144 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        5 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        2 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      143 s   sha256 1cb744a2d2e5   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      161 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 1873 s
ALL RUNS OK (default suite: 126 runs; l21_1365411_qt l21_hard_n4 are run by ./run_all.sh --full)

## Part 22: ./test_harness_negative.sh (temporary directory shown as <tmp>)
ok    positive control 'good': harness exit status 0, ALL RUNS OK
ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'missing_ref': harness exit status 1, refused: files differ from SHA256SUMS
ok    fake sage 'attack_rerun_is_ref': harness exit status 1, refused: the output directory <tmp>/rel_same (<tmp>/rel_same) is, or contains, 
ok    fake sage 'attack_rerun_alias': harness exit status 1, refused: the output directory <tmp>/alias_link (<tmp>/rel_alias) is, or contain
ok    fake sage 'attack_ref_dir': harness exit status 1, refused: REF_DIR is not supported: outputs are compared only with the checksummed reference outputs of this
ALL HARNESS TESTS PASSED

## Part 23: ./test_release.sh (temporary directory shown as <tmp>)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (292 files)
      extracted 292 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 291 files listed in SHA256SUMS match
      ok    positive control 'good': harness exit status 0, ALL RUNS OK
      ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
      ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'missing_ref': harness exit status 1, refused: files differ from SHA256SUMS
      ok    fake sage 'attack_rerun_is_ref': harness exit status 1, refused: the output directory <tmp>/rel_same (<tmp>/rel_same) is, or contains, 
      ok    fake sage 'attack_rerun_alias': harness exit status 1, refused: the output directory <tmp>/alias_link (<tmp>/rel_alias) is, or contain
      ok    fake sage 'attack_ref_dir': harness exit status 1, refused: REF_DIR is not supported: outputs are compared only with the checksummed reference outputs of this
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l21_13692                      exit 0        2 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
      ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l21_13692": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (4) a modified reference output is refused: exit status 1, l21_13692_output.txt: FAILED
ok    (4) a modified lib/certified_length.sage is refused: exit status 1, lib/certified_length.sage: FAILED
ok    (4) a script not listed in SHA256SUMS is refused: exit status 1, run_all.sh: unlisted_probe.sage (needed by unlisted_probe.sage) is not listed in SHA256SUMS
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

# ==================================================================================================================================
# Final release step, 2026-10-18, klein01, SageMath 10.7.  Appended record; Parts 0-23 above are unchanged.  Part 24: changes;
# Parts 25-27 are runs of the committed files at 80d13ad (the log prints the commit and reports 0 uncommitted changes): Part 25
# ./run_all.sh --full 8 (full profile, 128 runs), Part 26 ./test_harness_negative.sh, Part 27 ./test_release.sh.  After these runs
# only this record and SHA256SUMS changed.

## Part 24: changes
- MANIFEST.md: the table rows re-synchronized with Appendix D and the statement numbers of Revision 6 (af92e51); no script or
  reference output changed after Part 23.
- Cross-check of the paper against the archive: every script cited in the .tex files as \texttt{l21_...} or \texttt{l20_...} (262
  citations) and in Table 3 as an abbreviation \texttt{\_...} of l21_1365321_... (36 citations) exists, and every part label cited
  with it (153 + 45 = 198 labels, ranges counted by their endpoints) occurs in the script or its reference output.  The one citation without a script of that exact name is the
  prefix l21\_1365321 in "script names abbreviate l21\_1365321" (a2b_socle6.tex, the Table 3 caption), which is intended.

## Part 25: ./run_all.sh --full 8 (full profile)
run_all.sh --full: 2026-10-18 21:28:40 CEST on klein01, SageMath version 10.7, Release Date: 2025-08-09
files verified against SHA256SUMS (sha256 of SHA256SUMS: 195a3f1ac713)
git commit 80d13ad; uncommitted changes to tracked files in this directory: 0
jobs 8, timeout 7200 s per run, nice 19
ok   l21_1365411_qt                 exit 0     1099 s   sha256 5a4878cda2bd   last line: ALL CHECKS PASSED  = reference
ok   l21_hard_n4                    exit 0     1162 s   sha256 c51def17e18e   last line: ALL CHECKS PASSED  = reference
ok   l21_classify                   exit 0        3 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok   l21_general_s6                 exit 0        6 s   sha256 8d9e8ba5d51d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_WM                 exit 0       18 s   sha256 3bc40743e075   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N1                 exit 0       17 s   sha256 87ca391f6ece   last line: ALL CHECKS PASSED  = reference
ok   l21_map_135_turn               exit 0        4 s   sha256 e9bdb208290d   last line: ALL CHECKS PASSED  = reference
ok   l21_general_LD                 exit 0      164 s   sha256 0c555b7b9e4e   last line: ALL CHECKS PASSED  = reference
ok   l21_map_LD                     exit 0        5 s   sha256 b9d5d48bfa84   last line: ALL CHECKS PASSED  = reference
ok   l21_general_N234               exit 0      616 s   sha256 4a4f25c99146   last line: ALL CHECKS PASSED  = reference
ok   l21_general_Q5MC               exit 0       19 s   sha256 c60c10f2812f   last line: ALL CHECKS PASSED  = reference
ok   l21_13692                      exit 0        3 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
ok   l21_13683                      exit 0        3 s   sha256 87667863aaff   last line: ALL CHECKS PASSED  = reference
ok   l21_13674                      exit 0        3 s   sha256 afa40f3ee83b   last line: ALL CHECKS PASSED  = reference
ok   l21_13665                      exit 0        3 s   sha256 63d14cc2b15c   last line: ALL CHECKS PASSED  = reference
ok   l21_13656                      exit 0        4 s   sha256 ad1aad44e653   last line: ALL CHECKS PASSED  = reference
ok   l21_136452                     exit 0      168 s   sha256 fa89484bff64   last line: ALL CHECKS PASSED  = reference
ok   l21_136443                     exit 0       67 s   sha256 1b4c7ec7db3a   last line: ALL CHECKS PASSED  = reference
ok   l21_136551                     exit 0       47 s   sha256 063390d8841b   last line: ALL CHECKS PASSED  = reference
ok   l21_136542                     exit 0       69 s   sha256 d53cbf9e587b   last line: ALL CHECKS PASSED  = reference
ok   l21_136533                     exit 0       31 s   sha256 b4bc4bcb9b51   last line: ALL CHECKS PASSED  = reference
ok   l21_136641_O                   exit 0        8 s   sha256 8dd34676ecca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632                     exit 0       23 s   sha256 1715d930d7ca   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_fat                 exit 0      174 s   sha256 7bd5ef826b77   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line                exit 0      362 s   sha256 591f099c89ed   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line2               exit 0      216 s   sha256 c68319b829dc   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line3               exit 0        2 s   sha256 63f8e1c37fea   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line4               exit 0        3 s   sha256 bfc806f77787   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_line5               exit 0        3 s   sha256 348d1d1ffdfa   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_k2count             exit 0       44 s   sha256 df299d60b92c   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_kernel              exit 0       13 s   sha256 baf12ce262c4   last line: ALL CHECKS PASSED  = reference
ok   l21_136632_moves               exit 0       12 s   sha256 e0704c2cf346   last line: ALL CHECKS PASSED  = reference
ok   l21_136731                     exit 0       27 s   sha256 52461a76db7d   last line: ALL CHECKS PASSED  = reference
ok   l21_136722                     exit 0        6 s   sha256 25d5cee90afd   last line: ALL CHECKS PASSED  = reference
ok   l21_136821                     exit 0      193 s   sha256 fa3f627334e0   last line: ALL CHECKS PASSED  = reference
ok   l21_136332111                  exit 0        8 s   sha256 4abcb907015e   last line: ALL CHECKS PASSED  = reference
ok   l21_13633311                   exit 0        4 s   sha256 3e98c5ae41be   last line: ALL CHECKS PASSED  = reference
ok   l21_13633221                   exit 0       22 s   sha256 f3d0575383ca   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222                   exit 0       10 s   sha256 09ebae462f7f   last line: ALL CHECKS PASSED  = reference
ok   l21_13632222_fat_param         exit 0       57 s   sha256 e7a08aaafeba   last line: ALL CHECKS PASSED  = reference
ok   l21_1363221111                 exit 0        7 s   sha256 8f509ef50b24   last line: ALL CHECKS PASSED  = reference
ok   l21_136422111                  exit 0       12 s   sha256 c39a89457ebe   last line: ALL CHECKS PASSED  = reference
ok   l21_1364511                    exit 0        4 s   sha256 014b8518b63e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365222                    exit 0        5 s   sha256 29be9d2c8166   last line: ALL CHECKS PASSED  = reference
ok   l21_136322211                  exit 0       17 s   sha256 2bcc7a463941   last line: ALL CHECKS PASSED  = reference
ok   l21_1366311                    exit 0        9 s   sha256 89024f92bd04   last line: ALL CHECKS PASSED  = reference
ok   l21_1366221                    exit 0        5 s   sha256 cfc1fd491ac4   last line: ALL CHECKS PASSED  = reference
ok   l21_13652211                   exit 0        9 s   sha256 5857ef1c683c   last line: ALL CHECKS PASSED  = reference
ok   l21_13642221                   exit 0       19 s   sha256 6705a25c23d4   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322                    exit 0        6 s   sha256 01e9e3d07a8f   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r1                 exit 0       15 s   sha256 07d1028afd92   last line: ALL CHECKS PASSED  = reference
ok   l21_1364322_r2                 exit 0      260 s   sha256 fc0cb32f69c5   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331                    exit 0       18 s   sha256 d6a34c0e6488   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line               exit 0        8 s   sha256 64bcbb269bb2   last line: ALL CHECKS PASSED  = reference
ok   l21_1364331_line_u             exit 0       10 s   sha256 d1387fb51641   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421                    exit 0        9 s   sha256 0569d8c90015   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_line               exit 0        5 s   sha256 71700b6020b9   last line: ALL CHECKS PASSED  = reference
ok   l21_1364421_tangent            exit 0        8 s   sha256 6dc65961dd9e   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211                   exit 0       12 s   sha256 1897cfc55723   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam               exit 0       12 s   sha256 256d153406fb   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam2              exit 0       15 s   sha256 ce3b82c58821   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_fam3              exit 0       29 s   sha256 c34f4e5fc808   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_ray            exit 0       33 s   sha256 c044d3236b1a   last line: ALL CHECKS PASSED  = reference
ok   l21_13643211_cl_tangent        exit 0       13 s   sha256 c317f22f806f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411                    exit 0        6 s   sha256 c84547a97022   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_testc              exit 0       21 s   sha256 ba4b62e2981b   last line: ALL CHECKS PASSED  = reference
ok   l21_explicit_triples           exit 0        5 s   sha256 5b592d9f46eb   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_d3rank             exit 0        3 s   sha256 3ba091a0c941   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_line               exit 0       12 s   sha256 140d69c7a58f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365411_rays               exit 0        5 s   sha256 ce16d4cb683f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_B3                 exit 0      151 s   sha256 7452c668cc41   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_wm                 exit 0        8 s   sha256 75e1d506af2f   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_cfg                exit 0        4 s   sha256 cf075055a0fc   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2t                exit 0       54 s   sha256 5a8f644bace8   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b2s                exit 0        8 s   sha256 8b7d802a0f5e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_b23                exit 0        7 s   sha256 a363c4f0cc22   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p1t                exit 0       12 s   sha256 a8e267cab6fe   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_p2g                exit 0       13 s   sha256 817f6ecfaef0   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_f4                 exit 0        6 s   sha256 94ba151897a6   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F2_family          exit 0       14 s   sha256 47b7f82b8c1d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1nf          exit 0        8 s   sha256 126cf87b03fd   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f1fr          exit 0       13 s   sha256 2d6579826ed7   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_f8            exit 0       21 s   sha256 a46e9d735b2b   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_rays               exit 0       23 s   sha256 2ba5a7dc5adf   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1s                exit 0       33 s   sha256 d8c7c51a7806   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1a                exit 0       43 s   sha256 797454e6987e   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1b                exit 0       26 s   sha256 765e212b817d   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1f2               exit 0       27 s   sha256 5d36fa537cfa   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_r1fq               exit 0       25 s   sha256 d84876db49ba   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_irr                exit 0        4 s   sha256 f95afb8a4608   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_tq_secant          exit 0        2 s   sha256 30caf8b79173   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_F1F8_abs           exit 0        3 s   sha256 f35ee51a2773   last line: ALL CHECKS PASSED  = reference
ok   l21_1365321_bundle             exit 0        5 s   sha256 91d153308dca   last line: ALL CHECKS PASSED  = reference
ok   l21_1354422                    exit 0       31 s   sha256 348ff7c43107   last line: ALL CHECKS PASSED  = reference
ok   l21_1354431                    exit 0       29 s   sha256 67dc980d18b5   last line: ALL CHECKS PASSED  = reference
ok   l21_1354332                    exit 0       36 s   sha256 922e3eff9d35   last line: ALL CHECKS PASSED  = reference
ok   l21_1355322                    exit 0       35 s   sha256 5d26820a6b12   last line: ALL CHECKS PASSED  = reference
ok   l21_135732                     exit 0       13 s   sha256 8386261f3d11   last line: ALL CHECKS PASSED  = reference
ok   l21_135642                     exit 0       10 s   sha256 6bafa8b9de2e   last line: ALL CHECKS PASSED  = reference
ok   l21_135543                     exit 0       17 s   sha256 c10058778467   last line: ALL CHECKS PASSED  = reference
ok   l21_135453                     exit 0       10 s   sha256 7024b4bac655   last line: ALL CHECKS PASSED  = reference
ok   l21_135444                     exit 0       15 s   sha256 e01845c392b6   last line: ALL CHECKS PASSED  = reference
ok   l21_135552                     exit 0        7 s   sha256 4b93aafd6152   last line: ALL CHECKS PASSED  = reference
ok   l21_1356321                    exit 0       18 s   sha256 66033af6a034   last line: ALL CHECKS PASSED  = reference
ok   l21_1355331                    exit 0       37 s   sha256 a2a1a6d65baf   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421                    exit 0       60 s   sha256 a916540b3a6d   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide              exit 0      291 s   sha256 dbc72f69ce1e   last line: ALL CHECKS PASSED  = reference
ok   l21_1355421_slide_bad          exit 0     1496 s   sha256 f0d0f00084de   last line: ALL CHECKS PASSED  = reference
ok   l21_1354521                    exit 0       25 s   sha256 5cd663c84ee5   last line: ALL CHECKS PASSED  = reference
ok   l20_135_s6                     exit 0        3 s   sha256 7692b5d4cd14   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211                   exit 0       77 s   sha256 e6a0474f38fa   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_O                 exit 0        2 s   sha256 0f874f0dc799   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_F                 exit 0       20 s   sha256 0f2210bbb005   last line: ALL CHECKS PASSED  = reference
ok   l21_13553211_slide6            exit 0      330 s   sha256 c921ecc0449e   last line: ALL CHECKS PASSED  = reference
ok   l21_13544211                   exit 0        6 s   sha256 12974cc5a6bb   last line: ALL CHECKS PASSED  = reference
ok   l21_13543311                   exit 0       12 s   sha256 6b652da453ea   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221                   exit 0       23 s   sha256 e2e751ceda8a   last line: ALL CHECKS PASSED  = reference
ok   l21_13543221_cube              exit 0      257 s   sha256 f4d9a2145da7   last line: ALL CHECKS PASSED  = reference
ok   l21_13542222                   exit 0       15 s   sha256 366011df87e9   last line: ALL CHECKS PASSED  = reference
ok   l21_135422211                  exit 0      157 s   sha256 be387fce6afb   last line: ALL CHECKS PASSED  = reference
ok   l21_135432111                  exit 0      194 s   sha256 a4f20e484d53   last line: ALL CHECKS PASSED  = reference
ok   l21_1354221111                 exit 0        4 s   sha256 bcf522561da0   last line: ALL CHECKS PASSED  = reference
ok   l21_13552221                   exit 0       66 s   sha256 3170143d62cd   last line: ALL CHECKS PASSED  = reference
ok   l21_135522111                  exit 0      160 s   sha256 14f478cb0eb9   last line: ALL CHECKS PASSED  = reference
ok   l20_13542221                   exit 0        8 s   sha256 fb464cc894f0   last line: ALL CHECKS PASSED  = reference
ok   l20_135422111                  exit 0        3 s   sha256 a2032d9a2966   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_engine_sanity   exit 0      153 s   sha256 1cb744a2d2e5   last line: ALL CHECKS PASSED  = reference
ok   l21_135_s7plus_cube_sanity     exit 0      162 s   sha256 afe68c9e3249   last line: ALL CHECKS PASSED  = reference
total wall time 2130 s
ALL RUNS OK (full profile: 128 runs, all scripts including l21_1365411_qt l21_hard_n4)

## Part 26: ./test_harness_negative.sh (temporary directory shown as <tmp>)
ok    positive control 'good': harness exit status 0, ALL RUNS OK
ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
ok    fake sage 'missing_ref': harness exit status 1, refused: files differ from SHA256SUMS
ok    fake sage 'attack_rerun_is_ref': harness exit status 1, refused: the output directory <tmp>/rel_same (<tmp>/rel_same) is, or contains, 
ok    fake sage 'attack_rerun_alias': harness exit status 1, refused: the output directory <tmp>/alias_link (<tmp>/rel_alias) is, or contain
ok    fake sage 'attack_ref_dir': harness exit status 1, refused: REF_DIR is not supported: outputs are compared only with the checksummed reference outputs of this
ALL HARNESS TESTS PASSED

## Part 27: ./test_release.sh (temporary directory shown as <tmp>)
ok    make_bundle.sh: wrote <tmp>/bundle.tar.gz (292 files)
      extracted 292 files into <tmp>/x
ok    (1) the extracted bundle is not inside a git work tree
ok    (1) all 291 files listed in SHA256SUMS match
      ok    positive control 'good': harness exit status 0, ALL RUNS OK
      ok    positive control 'timing_only': harness exit status 0, ALL RUNS OK
      ok    fake sage 'exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'marker_exit1': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'nomarker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'fail_line': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'after_marker': harness exit status 1, 126 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'bad_classify': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_FAIL': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Error': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_Traceback': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'classify_nomarker': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'timeout': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'mismatch': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_2s': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'math_sec': harness exit status 1, 1 runs marked FAIL or TIMEOUT, SOME RUNS NEED ATTENTION
      ok    fake sage 'missing_ref': harness exit status 1, refused: files differ from SHA256SUMS
      ok    fake sage 'attack_rerun_is_ref': harness exit status 1, refused: the output directory <tmp>/rel_same (<tmp>/rel_same) is, or contains, 
      ok    fake sage 'attack_rerun_alias': harness exit status 1, refused: the output directory <tmp>/alias_link (<tmp>/rel_alias) is, or contain
      ok    fake sage 'attack_ref_dir': harness exit status 1, refused: REF_DIR is not supported: outputs are compared only with the checksummed reference outputs of this
      ALL HARNESS TESTS PASSED
ok    (2) test_harness_negative.sh in the extracted bundle: ALL HARNESS TESTS PASSED
      ok   l21_13692                      exit 0        2 s   sha256 ee3101e01e7c   last line: ALL CHECKS PASSED  = reference
      ok   l21_classify                   exit 0        2 s   sha256 f110672008dd   last line: ALL CHECKS PASSED  = reference  254 Hilbert functions of length 21: 196 general, 58 individual
ok    (3) real harness run of a subset in the extracted bundle: ALL RUNS OK (subset ONLY="l21_13692": 2 runs including the classification)
ok    (4) a modified library is refused: exit status 1, invsys.sage: FAILED
ok    (4) a modified reference output is refused: exit status 1, l21_13692_output.txt: FAILED
ok    (4) a modified lib/certified_length.sage is refused: exit status 1, lib/certified_length.sage: FAILED
ok    (4) a script not listed in SHA256SUMS is refused: exit status 1, run_all.sh: unlisted_probe.sage (needed by unlisted_probe.sage) is not listed in SHA256SUMS
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
