03 / Immunize

Correction immunity lab

Convert one human correction into a generated eval and candidate patch, preview the deterministic proof, then choose whether policy changes.