I took a look at the ada spark RFC repo recently and there is a RFC for a new language called Flare, but it doesn’t really explain what it is like at all:
It reads almost like an attempt at another SPARK, but I’m curious to hear more for sure.
I skimmed through the document and I think it’s just a pragma that enables a bunch of AdaCore-specific features that come from their RFCs and extensions to GNAT.