Ideal diode switching with multiple voltage sources in ModelingToolkit , solver gets stuck at t=0

By the way, what is the status of derivative discontinuity detection these days in MTK/Dyad. Would it be now possible to implement a piecewise linear diode model like I posted back in late 2023?

It should work (it may need you to set iflifting on the MTK side which hopefully will become on by default soon)