Wonton Soup Article
Long-form overview of the project, methods, and results to date.
Wonton Soup
status:active
scope:expansionlast-activity:2026-03-15Proof search in Lean as a structured problem space: centralized MCTS maps proof families and basin structure, while distributed MCTS tests how coordination changes access to that landscape.
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
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