SPB Git
spboucher.ai

spb/wp28_uqo

Public
History of experiments Clear filter
page 1

  1. Thu, Oct 29, 2026 7

    1. WP28: macro name fix, final validated build
      Simon-Pierre Boucher · 1 file +1 −1
    2. WP28: supplementary benchmarks (p=32, K=256), final build
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 2 files +7 −4
    3. WP28: reruns integrated (valid-worker-only variants), small-block and ill-conditioned tables, 55-page build
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 3 files +29 −14
    4. WP28: table spacing, display fixes, project map
      Simon-Pierre Boucher · 2 files +6 −6
    5. WP28: benchmarks section, final review verdict, phase log, delivery note
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 3 files +42 −1
    6. WP28: final Monte Carlo section with generated numbers; complete cluster results
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 3 files +81 −20
    7. WP28: valid-worker-only variants, robust baselines under failed local fits, pseudo-true target for misspecified designs, benchmark launcher fixes, Lean docs
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 4 files +30 −9

  2. Wed, Oct 28, 2026 7

    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 · 2 files +108 −2
    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 · 3 files +12 −3
    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 · 2 files +26 −1
    4. WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 1 file +18 −20
    5. WP28: table generator, PDF validation, boundary finite-m prediction
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 4 files +315
    6. WP28: TCP protocol + worker + benchmark launcher, processing/figures, boundary/ablation/skew experiments
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 7 files +487
    7. 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 · 8 files +1,181
Menu

Theme
↑↓ navigate ↵ open esc close / or ⌘K anywhere