My question is: does the superposition of mesh currents to obtain branch currents (and by extension, KCL) still apply when it comes to diodes, given, using a mesh analysis procedure in this example, i2 shouldn't be permitted to pass through the cathode side of D1?
You wrote a pretty intense decoy for that actual question.
Yes, of course that holds. Where should the currents go, if they don't form lightning beams?
I think your whole problem was that you were assuming something paradoxical about your diodes being in forward bias, due to confusing two variants of a circuit.
(note that it makes very little sense to talk about Q-points of ideal diodes; that's a bit boring, considering how their I/V "curves" look like. Maybe that contributed to the confusion; we did very little of this graphical solving for such simple circuits, for good reason, I think. I find it neither overly intuitive, nor is it applicable for anything complicated, whereas you can write down the circuit as system of equations with exponentials if you leave the domain of "ideal" diodes, and then numerically solve that, which actually works (and is how every circuit simulator works. There's not a little program inside that draws curves on virtual paper and marks a crossing point). The core takeaway, that an operating point happens when the constraints from multiple equations are met, can be easily communicated, imho, by showing such a graph once; no use training students in the not-really-working-for-anything-but-toy-examples-or-incredibly-complicated graphical technique from the early 20th century.)