MicroProfile

So it's running and passing all the tests.

So this is a 100% compatible version of the Jakarta EE runtime as well as MicroProfile.

and just a very interesting project altogether.

I haven't

Well, it's also a testament to all the years of hard work that went into building.

The TCK, by the way, is called the Technology Compatibility Kit.

So anything that's part of Jakarta EE or MicroProfile has to have one of those to prove that an implementation is actually valid, essentially.

So all this work has gone into those TCKs, and there's a ton of code in there.