Okay, I understand everything you're saying. Let me get into your way of thinking. When you say this is where the choice of current convention can come into play, and the part about applying to electron flow. What about conventional current and electron flow makes you say that?Nope. You can flip a coin.
Consider the following assignments for the voltages and currents in each component in the circuit:
View attachment 198911
Note that I avoided using V1 and V2 since these are the symbolic voltages of the two given supplies.
These were literally made by flipping a coin for each current and each voltage polarity. Absolutely no attempt was made to pick the "right" directions. We therefore have ten unknowns (two for each component -- a voltage and a current) that we have to solve for. So we need ten linearly independent equations.
In terms of these symbolic voltages, we can apply KVL around any closed loop in the circuit. For each loop we sum the voltage gains (or drops) going around the loop. We can flip a coin to determine if we sum the gains or the drops and we can flip a coin to determine if we go clockwise or counterclockwise around the loop.
Left loop: (+V6) + (+V7) + (-V3) = 0 [Sum of voltage gains going clockwise starting at A]
Right loop: (-V3) + (-V4) + (-V5) = 0 [Sum of voltage drops going clockwise starting at B]
Perimeter: (-V6) + (-V5) + (-V4) + (-V7) = 0 [Sum of voltage gains going counterclockwise starting at A]
We can use any two of these, since the third is a linear combination of the other two. For instance, if you add the equations for the Left and Perimeter loops, you get the equation for the Right loop.
In terms of these symbolic currents, we can apply KCL at every node in the circuit. For each node we sum the currents into (or out of) the node and set it equal to zero. We can flip a coin to determine if we sum the currents into or out of the node.
Node A: (+I5) + (-I1) = 0 [Sum of currents into the node]
Node B: (+I1) + (+I2) + (+I4) = 0 [Sum of currents into the node]
Node C: (-I2) + (-I3) = 0 [Sum of currents into the node]
Node D: (+I5) + (+I4) + (-I3) = 0 [Sum of currents out of the node]
We can use any three of these; the fourth is a linear combination of the others. For instance, if we sum the equations for Nodes A, B, and C, we get the equation for Node D.
For all of these equations, the choice of conventional current or electron current is completely immaterial (as long as we are consistent and use the same definition for all of the currents in the circuit).
So our KVL and KCL equations give us five of the ten equations we need. The other five come from the constitutive equation for each component, which relates the voltage across that component to the current through that component.
V6 = V1
V7 = (-I1)·R1
V3 = (-I4)·R3
V4 = (+I2)·R2
V5 = -V2
This is where the choice of current convention can come into play. The above equations are for conventional current and they would also apply to electron flow IF the electron-flow crowd were internally consistent. But they aren't, and so they need to apply a minus sign to the three middle equations (the Ohm's Law equations).
With these ten equations we can now solve for every voltage and current in the circuit.
Not surprisingly, if this is the way we solved circuits in practice, we would almost never get correct results because there are just too many opportunities to make silly mistakes. So we develop analysis techniques the embed most of the constraints into the technique itself. For example, Node Voltage Analysis is merely a systematic application of KCL in such a way that KVL is guaranteed to be satisfied and the constitutive equations are taken into account. Similarly, Mesh Current Analysis is merely a systematic application of KVL in such a way that KCL is guaranteed to be satisfied and, again, the constitutive equations are taken into account.