spb/wp28_uqo

Wed, Oct 28, 2026 5

1. WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)

   …

   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 5 days ago · 1 file +10
   6162f9a
2. WP28: Monte Carlo section, table layout (4 local sizes), canonical figures

   …

   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 5 days ago · 1 file +2
   729bced
3. WP28: displayed equations throughout, GPT-6.1 author mention removed, FINAL_REVIEW draft

   …

   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 5 days ago · 2 files +23
   dd2471a
4. WP28: table generator, PDF validation, boundary finite-m prediction

   …

   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 5 days ago · 1 file +14
   56b0e6f
5. WP28: manuscript draft (theory sections, proofs, bibliography) compiles

   …

   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 5 days ago · 1 file +7
   b9e37e8