I love the idea, although it doesn't seem to perform very smoothly, even on simple examples. A related project is Penrose [^1], except the latter isn't interactive.
I was always impressed with how well Solidworks constraints could produce models of "mechanisms" — but maybe that's an easier/more easily constrained domain than arbitrary figures?
(Or software UIs: Amulet and Garnet bring up memories — but those were a different Myers)
The triangle demo doesn't seem completely stable, there are occasional flickering glitches, occasionally it also stays in a "wrong" state like this: https://ibb.co/4gD5NcB
Canvas is generally more performant so I imagine it could be a better fit depending on how complex things get. Very rarely have I encountered the performance limitations of svg, though it has happened.
[^1]: https://penrose.cs.cmu.edu/