|
data
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
|
docs
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
|
experiments
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
literature
|
WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,... |
|
|
paper
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
references
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
|
results
|
WP28: log update |
|
|
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_DELIVERY.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
FINAL_REVIEW.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
LIMITATIONS_AND_CLAIMS.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
PHASE_STATUS.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
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: benchmarks section, final review verdict, phase log, delivery note |
|
|
requirements.txt
|
WP28: pamle library (models, splits, Newton variants, CSL/AEE/Cox-Snell),... |
|
|
research_log.md
|
WP28: log update |
|
|
SOURCE_PROVENANCE.md
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
|
WP28_Experiment_Results.csv
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
WP28_Final_Review.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
WP28_Prior_Art_and_Novelty.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
WP28_Research_Summary.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|
|
WP28_Theorem_Audit.md
|
WP28: benchmarks section, final review verdict, phase log, delivery note |
|