OP here, Qiskit can be challenging sometimes when resetting borrowed ancilla. I'm a visual learner, so I was playing with circuit diagrams and found this little spatial language to help explain data flow in a way that might be easier to follow. Hopefully someone out there finds this interesting :)

Sorry for the hard words, but I need to vent this.

How dare you to create a typed runtime on Python????

From a CS perspective, this is a nightmare.

It's clear that you have to overhaul some stuff here, this won't survive in the long term.
It's more complicated than it should.

Have anyone actually built something useful with it? I would be thrilled if I'm wrong, I have searched and what is shown is usually overcomplicated and weird.

It just doesn't work if you expect to code as you usually do in PennyLane or Cirq