corrupt-log tests of own_reduction_check.py on own_tree_K4_N7.jsonl
  bad_vector_not_forbidden     -> VERDICT: REJECTED (log is not a valid proof)     FAIL: F=((1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, -1), (0, 1, 1), (1, -1, -1), (1, 1, 0)): b not a forbidden vector: (2, 3, 5)
  bad_vector_not_in_span       -> VERDICT: REJECTED (log is not a valid proof)     FAIL: F=((1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, -1), (0, 1, 1), (1, -1, 0), (1, -1, 1)): b not in rowspan(W): b=(1, 0, 0) W=[(0, 0, 1)]
  child_deleted                -> VERDICT: REJECTED (log is not a valid proof)     FAIL: F=((1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, -1), (0, 1, 1), (1, -1, 0), (1, 1, 0)): children do not cover exactly the candidate set for Q=((1, 
  F_line_deleted               -> VERDICT: REJECTED (log is not a valid proof)   
  fake_solution_leaf           -> VERDICT: REJECTED (log is not a valid proof)     FAIL: F=((1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, -1), (0, 1, 1), (1, -1, -1), (1, 0, 1)): solution point: values not distinct positive
  fake_solution_generic        -> VERDICT: REJECTED (log is not a valid proof)     FAIL: F=((1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, -1), (0, 1, 1), (1, -1, -1), (1, 0, 1)): solution point has a dissociated K-subset (Fraction(1, 1),
ALL CORRUPTIONS REJECTED: True
