1. Bernstein positivity on 5 known polynomials: OK
2. corrupted six-moment certificates rejected: 111/120  by kind: {'c0-': [25, 26], 'scale0.98': [27, 27], 'c6x0.9': [25, 25], 'widen_a': [11, 19], 'widen_u': [23, 23]}
3. cell u[15540/10000,15545/10000] a[7071/10000,7072/10000] with a borrowed certificate: rejected
3. cell u[17/10,1701/1000] a[7071/10000,7072/10000] with a borrowed certificate: rejected
4. quartic boxes with c4 scaled by 3 or 1/3 rejected: 50/50
5. tiling: full cover accepted True; one cell removed accepted False; one cell enlarged accepted False
NEGATIVE TESTS: as expected
