dashboard refresh

campaign/DASHBOARD.md

@@ -1,31 +1,31 @@
 # SotS RE campaign — coverage dashboard
 
-Generated 2026-09-08 11:36 UTC · `sots-re` @ 996f445,2026-09-08 · `sots-engine` @ c75931f,2026-09-08 (103 commits) · regenerate with `tools/dashboard.py`
+Generated 2026-09-08 12:14 UTC · `sots-re` @ c092046,2026-09-08 · `sots-engine` @ c883a32,2026-09-08 (106 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)
 
-130 targets · mapped-or-better **111/130** `[█████████░] 85%` · verified **87/130** `[███████░░░] 67%`
+138 targets · mapped-or-better **117/138** `[████████░░] 85%` · verified **92/138** `[███████░░░] 67%`
 
 | Status | Count | % |
 |---|---:|---:|
-| verified | 87 | 67% |
-| mapped | 24 | 18% |
-| in-progress | 2 | 2% |
-| backlog | 15 | 12% |
-| blocked | 2 | 2% |
+| verified | 92 | 67% |
+| mapped | 25 | 18% |
+| in-progress | 2 | 1% |
+| backlog | 17 | 12% |
+| blocked | 2 | 1% |
 
 | Type | verified | mapped | in-progress | backlog | blocked | total |
 |---|---:|---:|---:|---:|---:|---:|
 | objects | 5 | 2 | 0 | 0 | 0 | 7 |
-| control-flow | 0 | 2 | 0 | 0 | 0 | 2 |
+| control-flow | 2 | 2 | 0 | 1 | 0 | 5 |
 | subsystems | 3 | 7 | 1 | 3 | 1 | 15 |
 | engine | 16 | 0 | 0 | 0 | 0 | 16 |
-| verify | 21 | 3 | 0 | 8 | 0 | 32 |
-| phase2 | 10 | 2 | 1 | 2 | 0 | 15 |
-| meta | 17 | 4 | 0 | 1 | 0 | 22 |
-| other | 15 | 4 | 0 | 1 | 1 | 21 |
+| verify | 23 | 3 | 0 | 8 | 0 | 34 |
+| phase2 | 10 | 3 | 1 | 2 | 0 | 16 |
+| meta | 18 | 4 | 0 | 1 | 0 | 23 |
+| other | 15 | 4 | 0 | 2 | 1 | 22 |
 
 ## 2. Binary understanding
 
@@ -38,7 +38,7 @@ Generated 2026-09-08 11:36 UTC · `sots-re` @ 996f445,2026-09-08 · `sots-engine
 - Catalogs: **1,595/1,595** files parsed (91 block kinds in `schema_stats.json`), dangling cross-refs **0** (`crosslink.json`)
 - Oracle `mars-parse`: **1,531/1,531** files agree `[██████████] 100%`
 - Oracle `mars-text`: **64/64** files agree `[██████████] 100%`
-- Saves: **4/4** real saves strict-clean — strict exit 0, 0 errors, 0 warnings
+- Saves: **9/9** real saves strict-clean — strict exit 0, 0 errors, 0 warnings
 - Design rules: **127/127** stock designs pass `[██████████] 100%`
 
 ## 4. Engine accrual (sots-engine)
@@ -56,10 +56,10 @@ Generated 2026-09-08 11:36 UTC · `sots-re` @ 996f445,2026-09-08 · `sots-engine
 | `mars/stream` | 5,096 | 7 | 282 | yes | mars-stream.md |
 | `mars/text` | 899 | 8 | 245 | yes | mars-text.md |
 | `mars/vfs` | 788 | 9 | 140 | yes | mars-vfs.md |
-| `shim` | 8,947 | 0 | 0 | direct (WIN32) | M0.md |
-| `shim/hooks` | 6,008 | 0 | 0 | direct (WIN32) | M0.md |
+| `shim` | 9,883 | 0 | 0 | direct (WIN32) | M0.md |
+| `shim/hooks` | 6,937 | 0 | 0 | direct (WIN32) | M0.md |
 | `shim/trace` | 2,258 | 9 | 273 | direct (WIN32) | shim-trace.md |
-| **total** | **33,343** | **94** | **3142** | | |
+| **total** | **35,208** | **94** | **3142** | | |
 
 Board `engine:` rows: verified **16**, mapped 0, in flight 0 (of 16) — verified & merged `[██████████] 100%`
 
@@ -75,7 +75,7 @@ Board `engine:` rows: verified **16**, mapped 0, in flight 0 (of 16) — verifie
 
 ## 6. Verification ledger
 
-- ✅ Saves strict: 4/4 (strict exit 0, 0 errors, 0 warnings)
+- ✅ Saves strict: 9/9 (strict exit 0, 0 errors, 0 warnings)
 - ✅ Design rules: 127/127
 - ✅ oracle mars-parse 1531/1531 · ✅ oracle mars-text 64/64
 - ✅ Compare harness present (`verify/harness/compare/`)
@@ -96,10 +96,10 @@ Most recent open:
 
 ## 8. Delta since previous dashboard
 
-- verified targets: 83 → 87 (+4) · mapped-or-better: 107 → 111 (+4)
-- engine LOC: 33,045 → 33,343 (+298) · test files: 94 → 94 (+0) · checks: 3,106 → 3,142 (+36)
+- verified targets: 87 → 92 (+5) · mapped-or-better: 111 → 117 (+6)
+- engine LOC: 33,343 → 35,208 (+1,865) · test files: 94 → 94 (+0) · checks: 3,142 → 3,142 (+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": 87, "mapped_plus": 111, "targets": 130, "loc": 33343, "tests": 94, "checks": 3142, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->
+<!-- dashboard-metrics {"verified": 92, "mapped_plus": 117, "targets": 138, "loc": 35208, "tests": 94, "checks": 3142, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->