The verification-aware codebase, one piece at a time.

Short pieces that start with the whole idea and zoom into each part of it: the architecture, the tooling, and the way agents work inside it.