ShannonProver Dashboard

⚠ Development runs. These single-lemma records come from unstandardized development runs, not a controlled model comparison. We'll keep updating as new experiments land.