Gemini 4 Carbon: 6.5M Lean Proof Lines Verify Signal [2026] shattered.io