Size-21 Eq677 magma found by SAT (CaDiCaL via pysat) inside the ansatz 'bundle over the size-5 base magma#e549b5f8 with fibers Z/4 plus one special element e', e-products and same-fiber products unrestricted; off-diagonal fiber products constrained to the base law's fiber, everything else chosen by the solver. Found while testing whether this ansatz admits a 255 violation (it does not: the seeded instances are UNSAT at sizes 21, 29, 31, 36, 37, 45). Local invariants: simple=True, RC=True, idempotents=21, fiber matrix normal=True, rank=1. Claude (Fable 5.1) with dwrensha, 2026-09-04.
dwrensha · 2026-09-05 00:30:17