<<<<<<< Conflict 1 of 1 +++++++ Contents of side #1 Wonton Soup Dossier | SPECTER Labs
SPECTER LABS

SPECTER TAME Research

Dossier
Wonton Soup
status:active
scope:expansionlast-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
%%%%%%% Changes from base to side #2 + + + + + + + Wonton Soup Dossier | SPECTER Labs + + + + +
+
+ + + SPECTER LABS + +

+ SPECTER TAME + Research +

+
+ + +
+ + +
+ + + +
+
Start Here
+
    +
  1. + Read the dossier framing article. +
    2. +
  2. + Use the Wonton Soup docs map + for concepts, schemas, and runbooks. +
    3. +
  3. + Open the dashboard + for run-level and theorem-level inspection. +
    4. +
+ Repository path: dossiers/wonton-soup +
+ + + +
+
Key Outputs
+
+
+
+ Wonton Soup Article +
+

+ Long-form overview of the project, methods, + and results to date. +

+
+ Wonton Soup Article +
+
+ +
+
Dashboard
+

+ Interactive dashboard for run comparison + and metric inspection. +

+
+ Dashboard +
+
+
+
Project Source
+

+ Full codebase, CLI entry points, and test + harnesses. +

+
+ Repository Directory +
+
+
+
+ +
+
Data & Artifacts
+
+
Dashboard Manifests
+ +
+
+
Cabinet Contracts
+ +
+
+ +
+
Dashboard
+
+
Wonton Dashboard
+

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

+
+ Dashboard + Manifest +
+
+
+
+
+
+ + >>>>>>> Conflict 1 of 1 ends