spb/wp28_uqo

Public

20commits
1branches
0releases
272.5 MBon disk
maindefault branch
4 days agolast push

Thu, Oct 29, 2026 2
1. WP28: log update
  
  Simon-Pierre Boucher 5 days ago · 1 file +1
2. WP28: final Monte Carlo section with generated numbers; complete cluster results
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +2
Wed, Oct 28, 2026 4
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 +3
2. WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP, ASSUMPTIONS, THEOREM_AUDIT, MC driver + cluster scatter
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +2
3. WP28: pamle library (models, splits, Newton variants, CSL/AEE/Cox-Snell), symbolic checks, 29 tests, literature audits A-B
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +2
4. WP28: phase 0 — workspace, frozen prior draft, replication lock
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +11