@User , @User: I just fixed a bug in magic that was probably causing a lot of false positive errors about rules like "m1 minimum size hole". This was an integer overflow issue and I think was compiler-dependent, so your experience there may vary. For the other minor false positives, I need to track those down one by one, if you can toss at me a (hopefully short) list of rule error descriptions and an example cell they occur in.