Cruxes for AI Control via Proof Carrying Code at the End of 2025

What does a high quality, cheap, and binary grader add to a control protocol?

1-2 more posts planned/​drafting for next month