#adr

Intentional engineering: write the intent, let the machine verify the rest

An LLM generates non-deterministically, a compiler verifies deterministically. Eight months spent working that gap, and what came out of it.