Main Update 4
Canonical archive entry for 2026-02-12 to 2026-02-13.
Dossiers
- wonton-soup: added local-first runtime path routing across the main CLI, Lean orchestration, prover, corpus, graphs, and viz server.
- wonton-soup: added runtime-path tests for prover logs and artifact environment handling.