Blueprints, Not Prompts: Using TLA+ to Guide AI-Written Code

Code used to be where a team's understanding of a system lived. Now that LLMs write most of it, that...