Yesterday verified as a moderate risk, as expected, the cloud/fog cover did nothing to deter the development of dryline convection.

The storm in Oklahoma after if produced a couple of short lived tornadoes struggled from mid level dry air as the only support it had was nebulous forcing. Which left it with no supporting convection to reinforce it which made it susceptible to dry air entrainment enhanced by the LLJ.
The dryline cells in Kansas and Nebraska were closer to the trough and therefore had a stronger forcing mechanism, and therefore more mini supercells to merge with and keep them going. Inversion layer was weaker in these locations as well looking at the Skew Ts.
I would say the hrrr verified, but every cam model pretty much had the same solution, although they underestimated the strength of the inversion layer in Oklahoma.
Remember, while cloud decks can prevent destabilization, in the face of a strong LLJ, a lot of the stability can be mixed out, which is what happened when night fell. (Important footnote: even where the cloud deck was present, the atmosphere was still plenty unstable, laspe rates were in between 5.5 to 6.5 c/km, which isn’t great, but still sufficient for tornado production).
It also helps that this was dry line convection, not OWS convection, as OWS convection is completely at the mercy of how much destabilization occurs to allow confluence bands to initiate in the first place, and then having to break through the inversion layer.
While dry line convection also needs sufficient destabilization, the forcing from the trough and or convergence along the front negates the total reliance on sufficient destabilization.
Which is why the cells in Kansas were able to put down wedges despite the cloud cover throughout the day, while western Oklahoma completed cleared out and the convection still died.