SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
data WP28: phase 0 — workspace, frozen prior draft, replication lock
docs WP28: phase 0 — workspace, frozen prior draft, replication lock
experiments WP28: final Monte Carlo section with generated numbers; complete cluster results
literature WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
paper WP28: final Monte Carlo section with generated numbers; complete cluster results
references WP28: phase 0 — workspace, frozen prior draft, replication lock
results WP28: final Monte Carlo section with generated numbers; complete cluster results
scripts WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
src WP28: valid-worker-only variants, robust baselines under failed local fits,...
tests WP28: TCP protocol + worker + benchmark launcher, processing/figures,...
theory WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
.gitignore WP28: phase 0 — workspace, frozen prior draft, replication lock
CLAUDE.md WP28: phase 0 — workspace, frozen prior draft, replication lock
FINAL_REVIEW.md WP28: displayed equations throughout, GPT-6.1 author mention removed,...
LIMITATIONS_AND_CLAIMS.md WP28: displayed equations throughout, GPT-6.1 author mention removed,...
PHASE_STATUS.md WP28: README, LIMITATIONS_AND_CLAIMS, phase status 1-6
PROJECT_MAP.md WP28: phase 0 — workspace, frozen prior draft, replication lock
pytest.ini WP28: pamle library (models, splits, Newton variants, CSL/AEE/Cox-Snell),...
README.md WP28: displayed equations throughout, GPT-6.1 author mention removed,...
requirements.txt WP28: pamle library (models, splits, Newton variants, CSL/AEE/Cox-Snell),...
research_log.md WP28: final Monte Carlo section with generated numbers; complete cluster results
SOURCE_PROVENANCE.md WP28: phase 0 — workspace, frozen prior draft, replication lock

Clone wp28_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of b354e67fe9a9dddf46e3ddc150d36f0b626c0283
Files · b354e67fe9a9dddf46e3ddc150d36f0b626c0283
Menu

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