Lec 10: auditing the artifact and the judge

Lab 10

Outline to come.


Page updated August 25, 2026.