[spease]

Has there been any external verification of Jai?

[jstimpfle]

How do you mean? The compiler is not released yet, but he has done many streams working on the compiler and on the game engine (both written in that language) and answering questions. You can find them all on youtube.