genuine (9,12): True ok
tile removed                       -> rejected (3 cells uncovered)
tile duplicated                    -> rejected (cell (-3, -1, 5) covered twice)
letter changed                     -> rejected (tile 0 letter V but geometry F)
file renamed to (10,14)            -> rejected (27 cells uncovered)
file renamed to (12,15)            -> rejected (69 cells uncovered)
tile shifted                       -> rejected (cell (0, -4, 5) covered twice)
cells exchanged between two tiles  -> rejected (tile 0 is not a prototile translate)
phone classified                   -> classify = None (rejected)
SAT-free tiling of (6,9) by all five prototiles: #R=6 #L=4; as stones-and-bones: True; as type 103: False (tile 0 is a forbidden L)
