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?

In this sequence, we do not actually push on this in great detail, we only map out the foundations and premises of such a project.

1-2 more posts planned/​drafting for Soon (TM).

For­mal con­fine­ment prototype

Beliefs about for­mal meth­ods and AI safety

Please Mea­sure Ver­ifi­ca­tion Burden