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 03:10:23 -04:00
parent 6f81b048e0
commit 1b893e57c3
1 changed files with 14 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
campaign/DASHBOARD.md
View file

@ -1,20 +1,20 @@
# SotS RE campaign — coverage dashboard
Generated 2026-09-08 06:52 UTC · `sots-re` @ bd9b8f2,2026-09-08 · `sots-engine` @ 82ef52f,2026-09-08 (71 commits) · regenerate with `tools/dashboard.py`
Generated 2026-09-08 07:10 UTC · `sots-re` @ 6f81b04,2026-09-08 · `sots-engine` @ 45bdf7d,2026-09-08 (74 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)
66 targets · mapped-or-better **51/66** `[████████░░] 77%` · verified **33/66** `[█████░░░░░] 50%`
72 targets · mapped-or-better **54/72** `[████████░░] 75%` · verified **35/72** `[█████░░░░░] 49%`
| Status | Count | % |
|---|---:|---:|
| verified | 33 | 50% |
| mapped | 18 | 27% |
| in-progress | 3 | 5% |
| backlog | 11 | 17% |
| blocked | 1 | 2% |
| verified | 35 | 49% |
| mapped | 19 | 26% |
| in-progress | 3 | 4% |
| backlog | 14 | 19% |
| blocked | 1 | 1% |
| Type | verified | mapped | in-progress | backlog | blocked | total |
|---|---:|---:|---:|---:|---:|---:|
@ -22,9 +22,9 @@ Generated 2026-09-08 06:52 UTC · `sots-re` @ bd9b8f2,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 | 5 | 2 | 2 | 5 | 0 | 14 |
| phase2 | 6 | 1 | 0 | 2 | 0 | 9 |
| meta | 5 | 4 | 0 | 1 | 0 | 10 |
| verify | 7 | 2 | 1 | 8 | 0 | 18 |
| phase2 | 5 | 2 | 1 | 2 | 0 | 10 |
| meta | 6 | 4 | 0 | 1 | 0 | 11 |
## 2. Binary understanding
@ -95,10 +95,10 @@ Most recent open:
## 8. Delta since previous dashboard
- verified targets: 33 → 33 (+0) · mapped-or-better: 50 → 51 (+1)
- engine LOC: 28,644 → 29,095 (+451) · test files: 89 → 92 (+3) · checks: 2,830 → 2,942 (+112)
- addresses verified: 317 → 373 (+56) · recovered layouts: 21 → 21 (+0) · open questions: 27 → 27 (+0)
- verified targets: 33 → 35 (+2) · mapped-or-better: 51 → 54 (+3)
- engine LOC: 29,095 → 29,095 (+0) · test files: 92 → 92 (+0) · checks: 2,942 → 2,942 (+0)
- addresses verified: 373 → 373 (+0) · recovered layouts: 21 → 21 (+0) · open questions: 27 → 27 (+0)
---
warnings: 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": 33, "mapped_plus": 51, "targets": 66, "loc": 29095, "tests": 92, "checks": 2942, "addr_verified": 373, "addr_total": 380, "layouts": 21, "open_q": 27} -->
<!-- dashboard-metrics {"verified": 35, "mapped_plus": 54, "targets": 72, "loc": 29095, "tests": 92, "checks": 2942, "addr_verified": 373, "addr_total": 380, "layouts": 21, "open_q": 27} -->