Verification engineering — making "done" machine-checkable

If a loop or workflow runs until a goal is met, the whole approach is only as good as
the check that defines "met". Verification engineering is the discipline of building
that signal. Students learn the spectrum — unit tests, type checks, linters,
benchmark suites, security scans, and LLM-as-judge — and the central rule taught
across the course: the approach only works where the validation signal is strong
(tests, type checks, clear acceptance criteria are friendly terrain; vague UX polish
is not). They learn to choose deterministic checks over model judgement wherever
possible, and how a code-plus-LLM split handles hard constraints with code and soft
constraints with a judge. This is the EB-6 evaluation discipline and the EB-10 holdout
gate, reframed as the thing that drives autonomous work rather than just measuring
it after the fact.