Proof Gap Self-Assessment