pins configured as output pins are not set to low by the cleanup method, which I think they should. If in a new program the pin is again configured as OUT, it immediately switches to HIGH again.
This is debatable, so please close if you do not agree.
Cleanup returns the pins to inputs - as you would get from a freshly booted Pi. If your circuit cannot cope with this then I suggest that you have a design fault in your circuit. There is an initial value parameter to the setup function if you want to force a particular value. Anyway - why should the module set outputs to an initial value of LOW? It is possible to create circuits with the opposite logic to your design!
I suggest you read the manual!
https://sourceforge.net/p/raspberry-gpio-python/wiki/Examples/
Not related to a specific design. The intent was just a safety measure to prevent damage to the board by unexpected power being drawn. Especially while working on multiple different designs, and not rebooting the PI while switching a the design.
Regarding the initial value to the setup function; IIRC the code first sets the pin to out, and then sets the value. So that wouldn't prevent anything.
Closing is no problem. Like I said it's debatable. Thx for your time on this.