Thanks, and thanks for the suggestions! I was indeed thinking of dual graphs when designing the rules so good catch there :) Now, one place where I think this breaks is in levels with both kinds of clues (last level in this demo). If I modify your example a bit you could do something like this, where on the right the 2-line crossing the two edges means both of them are lit. There probably will be such "cut clues" in later levels but it might be quite difficult to cleanly generate them for dual graphs.
These "cut clues" also make the spring idea more difficult to implement since you'd have to bend the cut lines so that they cross the correct edges. It's unfortunate because I really liked the idea of being able to switch between the arrangement needed for the image and a different arrangement more suitable for solving :|
