A working engineer’s course on building agents that hold up outside a demo. It starts from the harness rather than the prompt — the action space, the observation function, the verifier — and treats the model as one component of a system whose behaviour you have to measure.
The mathematical prelude is not decoration. Evaluation statistics decide whether a result is real; verification theory decides whether a check catches what it claims to; the cost model decides whether a deployment pays for itself. Everything after that leans on those three, and the course returns to them in every module.
Modules run from tool interfaces and structured action, through context engineering and long-horizon state, into harness optimisation, inference engineering, and trajectory fine-tuning. The later third is about what happens at scale: multi-agent architectures, sandboxing and execution environments, agent security, oversight and governance, and production operations. It ends with a cheat sheet — the whole curriculum compressed to the propositions, thresholds and decision rules worth carrying.