From c9603d05083eba0154174d8d0cd36ad94ca7c658 Mon Sep 17 00:00:00 2001
From: alex <alex.camilo@gmail.com>
Date: Tue, 8 Sep 2026 06:03:18 -0400
Subject: [PATCH] dashboard refresh

---
 campaign/DASHBOARD.md | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/campaign/DASHBOARD.md b/campaign/DASHBOARD.md
index e35b5ea..4041c1e 100644
--- a/campaign/DASHBOARD.md
+++ b/campaign/DASHBOARD.md
@@ -1,19 +1,19 @@
 # SotS RE campaign — coverage dashboard
 
-Generated 2026-09-08 09:55 UTC · `sots-re` @ 3fcfd7f,2026-09-08 · `sots-engine` @ 9d685cb,2026-09-08 (88 commits) · regenerate with `tools/dashboard.py`
+Generated 2026-09-08 10:03 UTC · `sots-re` @ ce73fa9,2026-09-08 · `sots-engine` @ 0f7aba1,2026-09-08 (91 commits) · regenerate with `tools/dashboard.py`
 
 > **North star:** A functional reimplementation of the engine — behavior-equivalent, NOT byte-for-byte
 
 ## 1. Map coverage (campaign/board.md)
 
-99 targets · mapped-or-better **79/99** `[████████░░] 80%` · verified **56/99** `[██████░░░░] 57%`
+104 targets · mapped-or-better **87/104** `[████████░░] 84%` · verified **63/104** `[██████░░░░] 61%`
 
 | Status | Count | % |
 |---|---:|---:|
-| verified | 56 | 57% |
-| mapped | 23 | 23% |
+| verified | 63 | 61% |
+| mapped | 24 | 23% |
 | in-progress | 2 | 2% |
-| backlog | 16 | 16% |
+| backlog | 13 | 12% |
 | blocked | 2 | 2% |
 
 | Type | verified | mapped | in-progress | backlog | blocked | total |
@@ -22,10 +22,10 @@ Generated 2026-09-08 09:55 UTC · `sots-re` @ 3fcfd7f,2026-09-08 · `sots-engine
 | control-flow | 0 | 2 | 0 | 0 | 0 | 2 |
 | subsystems | 2 | 7 | 1 | 3 | 1 | 14 |
 | engine | 10 | 0 | 0 | 0 | 0 | 10 |
-| verify | 11 | 2 | 0 | 10 | 0 | 23 |
-| phase2 | 6 | 3 | 1 | 2 | 0 | 12 |
-| meta | 13 | 4 | 0 | 1 | 0 | 18 |
-| other | 9 | 3 | 0 | 0 | 1 | 13 |
+| verify | 14 | 4 | 0 | 7 | 0 | 25 |
+| phase2 | 8 | 2 | 1 | 2 | 0 | 13 |
+| meta | 14 | 4 | 0 | 1 | 0 | 19 |
+| other | 10 | 3 | 0 | 0 | 1 | 14 |
 
 ## 2. Binary understanding
 
@@ -96,10 +96,10 @@ Most recent open:
 
 ## 8. Delta since previous dashboard
 
-- verified targets: 47 → 56 (+9) · mapped-or-better: 67 → 79 (+12)
-- engine LOC: 30,285 → 30,662 (+377) · test files: 92 → 92 (+0) · checks: 2,994 → 2,994 (+0)
-- addresses verified: 406 → 607 (+201) · recovered layouts: 22 → 22 (+0) · open questions: 26 → 26 (+0)
+- verified targets: 56 → 63 (+7) · mapped-or-better: 79 → 87 (+8)
+- engine LOC: 30,662 → 30,662 (+0) · test files: 92 → 92 (+0) · checks: 2,994 → 2,994 (+0)
+- addresses verified: 607 → 607 (+0) · recovered layouts: 22 → 22 (+0) · open questions: 26 → 26 (+0)
 
 ---
 warnings: board.md: unknown types objects; mars-rng.md: no oracle total row parsed; mars-stream.md: no oracle total row parsed; mars-vfs.md: no oracle total row parsed
-<!-- dashboard-metrics {"verified": 56, "mapped_plus": 79, "targets": 99, "loc": 30662, "tests": 92, "checks": 2994, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->
+<!-- dashboard-metrics {"verified": 63, "mapped_plus": 87, "targets": 104, "loc": 30662, "tests": 92, "checks": 2994, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->