Prompting is non-deterministic, weakly specified, and difficult to verify1

        -
1.
Agents Need Control Flow, Not More Prompts. https://bsuh.bearblog.dev/agents-need-control-flow/ (2026).