The official Posita compiler uses Cranelift to turn source code into native code, and it also offers an optional strict mode for SMT‑based contract verification. The frontend development hasn't been going all that well, and it looks like I need your help—if you're willing to take a bit of break time to pitch in on the next‑gen safe systems programming language, that would be awesome.