Wonton Soup Article
Article on proof-search interventions and structural comparison.
Wonton Soup
status:active
scope:expansion
last-activity:2026-03-14
MCTS proof search in Lean under controlled perturbations, with emphasis on structural invariants 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
Documentation
Docs, ADRs, and runbooks for the dossier.
Dashboard
Inspect theorem-level traces and run metrics.
Project Source
Source code, 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