Staal is the programming language for agents: code whose authority is enforced, not prompted. Its compiler refuses programs that could act without permission, trust an unchecked model answer or overspend, and its runtime never repeats a payment after a crash.