kinds: {'cell10f': 296, 'cell10d': 114, 'cell10f_3': 1528, 'cell10d_3': 376, 'comp3': 337, 'ns': 63}
base cell10f record accepted: ['64/25', '129/50', '1/10', '3/20', '1/20', '1/10']
REJECTED (good): cell10f: c0 - (float W1 slack 1.98e-03 + 1e-4): W1
REJECTED (good): cell10f: c0 + W2 slack: W2f
REJECTED (good): cell10f: F - 1e-4: W2f
REJECTED (good): cell10f: a-box enlarged 9x in the last coordinate: W2f
REJECTED (good): cell10f: c10 < 0: deg
base cell10f_3 record accepted: ['1/2', '21/40', '1/2', '21/40', '63/320', '21/80']
REJECTED (good): cell10f_3: c0 - (float W1 slack 3.09e-03 + 1e-4): W1
REJECTED (good): cell10f_3: c0 + W2 slack: W2f
REJECTED (good): cell10f_3: F - 1e-4: W2f
REJECTED (good): cell10f_3: a-box enlarged 9x in the last coordinate: W2f
REJECTED (good): cell10f_3: c10 < 0: deg
base cell10d record accepted: ['64/25', '129/50', '2/5', '9/20', '2/5', '9/20']
REJECTED (good): cell10d: one point's certificate removed: missing point
REJECTED (good): cell10d: every P_v lowered by 1e-2: W1
REJECTED (good): cell10d: F_v - 1e-4 at one point: W2f
REJECTED (good): cell10d: P_v raised by its W2 slack at one point: W2f
REJECTED (good): cell10d: a point moved (b - 1e-2): missing point
base cell10d_3 record accepted: ['1/2', '21/40', '1/2', '21/40', '21/64', '63/160']
REJECTED (good): cell10d_3: one point's certificate removed: missing point
REJECTED (good): cell10d_3: every P_v lowered by 1e-2: W1
REJECTED (good): cell10d_3: F_v - 1e-4 at one point: W2f
REJECTED (good): cell10d_3: P_v raised by its W2 slack at one point: W2f
REJECTED (good): cell10d_3: a point moved (b - 1e-2): missing point
base ns record accepted: ['23/40', '3/5', '21/40', '11/20', '33/64', '11/20']
REJECTED (good): ns: all lower a-ends - 1/10: ns
base comp3 record accepted: ['64/25', '129/50'] ['1/2', '41/80', '1/2', '41/80', '231/512', '147/320']
REJECTED (good): comp3: leading t -> -t: deg
REJECTED (good): comp3: t0 - 1: K1
REJECTED (good): comp3: a3lo - 1/10: K2
REJECTED (good): comp3: u-range extended 4x: K2
REJECTED (good): comp3: t1 * 3/2: K3
REJECTED (good): comp3: s3 -> -1: sign
REJECTED (good): comp3: last t dropped (odd degree): deg
REJECTED (good): comp3: a1-width x5: K1
REJECTED (good): phase-1 leaf removed: tiling
REJECTED (good): phase-1 leaf duplicated: tiling
REJECTED (good): phase-2 leaf removed: tiling
REJECTED (good): phase-2 leaf u-range doubled: tiling
REJECTED (good): phase-1 skipped box moved onto the domain: tiling
REJECTED (good): phase-1 cell sign flipped (tiling): tiling
REJECTED (good): phase-2 certified box declared empty: tiling
RESULT: 36/36 corruptions rejected -- ALL REJECTED
