SPECTER LABS

SPECTER TAME Research

Dossier
Wonton Soup
status:active
scope:expansion last-activity:2026-03-15

Proof 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
  1. Read the dossier framing article.
  2. Use the Wonton Soup docs map for concepts, schemas, and runbooks.
  3. Open the dashboard to map the structural landscape from centralized runs, then compare distributed runs to test coordination effects on that same theorem slice.
Repository path: dossiers/wonton-soup
Key Outputs
Wonton Soup Article

Framing article for the dossier: proof-space morphology under interventions, with centralized MCTS as the structural baseline and distributed MCTS as the coordination layer.

Wonton Soup Article
Dashboard

Inspect theorem-level traces and run metrics across the structural baseline and the distributed coordination layer.

Dashboard
Data & Artifacts
Dashboard Manifests
Cabinet Contracts
Dashboard
Wonton Dashboard

Theorem-level traces, intervention splits, and run metrics.

Dashboard Manifest