fix(autoresearch): retain verified proof artifacts

Persist exact Lean-accepted OProver proof bodies in immutable content-addressed artifacts so verified results remain safely recompilable and integrable after restart.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: 2 people