alex/sots-re
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dashboard refresh

Browse source
This commit is contained in:
alex 2026-09-08 08:29:21 -04:00
parent 136f98b564
commit e1f038e440
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
campaign/DASHBOARD.md
View file

@ -1,16 +1,16 @@
# SotS RE campaign — coverage dashboard
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`
Generated 2026-09-08 12:29 UTC · `sots-re` @ 136f98b,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)
138 targets · mapped-or-better **117/138** `[████████░░] 85%` · verified **92/138** `[███████░░░] 67%`
139 targets · mapped-or-better **118/139** `[████████░░] 85%` · verified **93/139** `[███████░░░] 67%`
| Status | Count | % |
|---|---:|---:|
| verified | 92 | 67% |
| verified | 93 | 67% |
| mapped | 25 | 18% |
| in-progress | 2 | 1% |
| backlog | 17 | 12% |
@ -24,7 +24,7 @@ Generated 2026-09-08 12:14 UTC · `sots-re` @ c092046,2026-09-08 · `sots-engine
| engine | 16 | 0 | 0 | 0 | 0 | 16 |
| verify | 23 | 3 | 0 | 8 | 0 | 34 |
| phase2 | 10 | 3 | 1 | 2 | 0 | 16 |
| meta | 18 | 4 | 0 | 1 | 0 | 23 |
| meta | 19 | 4 | 0 | 1 | 0 | 24 |
| other | 15 | 4 | 0 | 2 | 1 | 22 |
## 2. Binary understanding
@ -38,7 +38,7 @@ Generated 2026-09-08 12:14 UTC · `sots-re` @ c092046,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: **9/9** real saves strict-clean — strict exit 0, 0 errors, 0 warnings
- Saves: **11/11** real saves strict-clean — strict exit 0, 0 errors, 0 warnings
- Design rules: **127/127** stock designs pass `[██████████] 100%`
## 4. Engine accrual (sots-engine)
@ -75,7 +75,7 @@ Board `engine:` rows: verified **16**, mapped 0, in flight 0 (of 16) — verifie
## 6. Verification ledger
- ✅ Saves strict: 9/9 (strict exit 0, 0 errors, 0 warnings)
- ✅ Saves strict: 11/11 (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: 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)
- verified targets: 92 → 93 (+1) · mapped-or-better: 117 → 118 (+1)
- engine LOC: 35,208 → 35,208 (+0) · 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": 92, "mapped_plus": 117, "targets": 138, "loc": 35208, "tests": 94, "checks": 3142, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->
<!-- dashboard-metrics {"verified": 93, "mapped_plus": 118, "targets": 139, "loc": 35208, "tests": 94, "checks": 3142, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->