[SkyMarshal]

What are wavefronts? Not getting many search results on that, besides a few github issues mentioning them.

https://github.com/AdaCore/RecordFlux/issues/955

https://learn.adacore.com/search.html?q=wavefront&check_keyw... (nada)

https://docs.adacore.com/spark2014-docs/html/ug/search.html?... (nada)

https://github.com/AdaCore/spark2014/issues?q=wavefront%20 (nada)