Long-form overview of the project, methods, and results to date.
Wonton Soup
status:active
scope:expansion
last-activity:unknown
Perturbation experiments on MCTS proof search in Lean, focused on structural invariants, intervention response, and reproducible run analysis.
Start Here
- Read the dossier framing article.
- Use the Wonton Soup docs map for concepts, schemas, and runbooks.
- Open the dashboard for run-level and theorem-level inspection.
Latest Updates
-
March 1, 2026Cabinet docs rebuilt with updated Wonton Soup references and stable doc IDs.
-
February 6, 2026Dashboard manifest defaulted to run
corpus-2026-02-06-003808with 522 theorems. -
February 3-12, 2026Follow-up analysis window logged with 355 run entries and intervention taxonomy pressure tests.
Key Outputs
Wonton Soup Article
Documentation
Docs, ADRs, and runbooks for the dossier.
Dashboard
Interactive dashboard for run comparison and metric inspection.
Project Source
Full codebase, CLI entry points, and test harnesses.
Data & Artifacts
Dashboard Manifests
- Dashboard manifest (run selection and metadata).
- Active payloads live under the dashboard data directory and are selected by the manifest rather than a hardcoded run id.
Cabinet Contracts
Dashboard