rerun_quick.sh -- EP-963 -- 2026-10-15T11:20:34Z -- Python 3.13.5
check_note.py: exit status 0, 3 s, last line: ALL CHECKS PASSED
IDENTICAL  check_note_output.txt
dissoc_lp_search_v1_no_nogoods.py --N 6 --K 4: 1 s: DONE N=6 K=4 nodes=45 lps=212 certs=166 uncertified=0 solutions=10 stopped_early=False time=0.1s
IDENTICAL  original/outputs/tree_K4_N6.jsonl regenerated (byte for byte)
dissoc_lp_search_v1_no_nogoods.py --N 7 --K 4: 0 s: DONE N=7 K=4 nodes=30 lps=199 certs=151 uncertified=0 solutions=0 stopped_early=False time=0.1s
IDENTICAL  original/outputs/tree_K4_N7.jsonl regenerated (byte for byte)
dissoc_lp_search_v1_no_nogoods.py --N 8 --K 4: 1 s: DONE N=8 K=4 nodes=79 lps=542 certs=396 uncertified=0 solutions=0 stopped_early=False time=0.4s
IDENTICAL  original/outputs/tree_K4_N8.jsonl regenerated (byte for byte)
dissoc_lp_search.py --N 7 --K 4: 0 s: DONE N=7 K=4 nodes=56 lps=214 certs=281 nogoods=157 nghits=124 uncertified=0 solutions=0 stopped_early=False time=0.2s
IDENTICAL  original/outputs/tree_K4_N7_v2nogoods.jsonl regenerated (byte for byte)
dissoc_lp_search.py --N 8 --K 4: 1 s: DONE N=8 K=4 nodes=65 lps=313 certs=326 nogoods=199 nghits=127 uncertified=0 solutions=0 stopped_early=False time=0.3s
IDENTICAL  original/outputs/tree_K4_N8_v2nogoods.jsonl regenerated (byte for byte)
check_tree.py tree_K4_N6.jsonl: VERDICT: EXISTENCE -- 10 exact sets of 6 positive reals with
check_tree.py tree_K4_N7.jsonl: VERDICT: CLOSED -- no set 0<p_1<...<p_7 of reals has all 4-s
check_tree.py tree_K4_N7_v2nogoods.jsonl: VERDICT: CLOSED -- no set 0<p_1<...<p_7 of reals has all 4-s
check_tree.py tree_K4_N8.jsonl: VERDICT: CLOSED -- no set 0<p_1<...<p_8 of reals has all 4-s
check_tree.py tree_K4_N8_v2nogoods.jsonl: VERDICT: CLOSED -- no set 0<p_1<...<p_8 of reals has all 4-s
IDENTICAL  original/outputs/corrupt_tree_test.txt
the 11 corrupted trees of check_note.py: rejected by check_tree.py: 11, by vA_check_tree.py: 11
IDENTICAL  original/outputs/small_checks.txt
IDENTICAL  verification_run_A/outputs/out_vA_check_tree.txt (the four tree verdicts)
vA_forms_K4.py: 5 s
IDENTICAL  verification_run_A/outputs/out_vA_forms_K4.txt
IDENTICAL  verification_run_A/outputs/out_vA_small.txt
vA_forms_crossval.py 20 26: 1 s
IDENTICAL  verification_run_A/outputs/out_vA_forms_crossval.txt
IDENTICAL  verification_run_A/outputs/box_K4_M80.txt
vA_box.py 5 36: 20 s
IDENTICAL  verification_run_A/outputs/box_K5_M36.txt
IDENTICAL  verification_run_B/outputs/own_tree_K3_N4.jsonl regenerated (byte for byte)
own_reduction_proof.py 4 7: 17 s: VERDICT: CLOSED -- under (H) [g+(3) <= 6
IDENTICAL  own_tree_K4_N7.jsonl of run B (sha256 93a9fd93...4925, as recorded by run B)
own_reduction_check.py (K = 4, N = 7): 12 s: VERDICT: CLOSED (valid complete case ana
own_corrupt_test.py: 93 s: ALL CORRUPTIONS REJECTED: True
done
