proofs

Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics

This is a v0.0 outline of the paper 'Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics', detailing Rei's proposal as a formal-verification compilation pass for AI-generated hypotheses. Current validation is at a scaffold-level smoke-run stage, with a full demonstration pending for v0.1 promotion.