diff --git a/whitepaper/outreach/lean4.md b/whitepaper/outreach/lean4.md
index a64f8b868..50cb22918 100644
--- a/whitepaper/outreach/lean4.md
+++ b/whitepaper/outreach/lean4.md
@@ -3,8 +3,8 @@
 **Project:** Lean 4 (leanprover/lean4)
 **Disclosure date:** 2026-04-13
 **Severity:** HIGH
-**Speedup:** varies (O(N^2) to O(N); up to 1000x on deep dependency chains)
-**Status:** draft — patches in progress
+**Speedup:** varies by defect: 34x (lean4-0001 N=2000), 678x (lean4-0002 K=N=1000), 210x (lean4-0003 N=1000) — all confirmed by benchmark
+**Status:** patch-ready — 7 patches on unlean4 branch, benchmarks complete
 
 ---