dashboard: 50/65 mapped, 33 verified after B4 integration
This commit is contained in:
parent
3b5eca29a2
commit
84d5609af8
1 changed files with 17 additions and 17 deletions
|
|
@ -1,30 +1,30 @@
|
|||
# SotS RE campaign — coverage dashboard
|
||||
|
||||
Generated 2026-09-08 05:30 UTC · `sots-re` @ cdada28,2026-09-08 · `sots-engine` @ e1cbb81,2026-09-08 (65 commits) · regenerate with `tools/dashboard.py`
|
||||
Generated 2026-09-08 06:13 UTC · `sots-re` @ 3b5eca2,2026-09-08 · `sots-engine` @ 7584bad,2026-09-08 (68 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)
|
||||
|
||||
63 targets · mapped-or-better **48/63** `[████████░░] 76%` · verified **31/63** `[█████░░░░░] 49%`
|
||||
65 targets · mapped-or-better **50/65** `[████████░░] 77%` · verified **33/65** `[█████░░░░░] 51%`
|
||||
|
||||
| Status | Count | % |
|
||||
|---|---:|---:|
|
||||
| verified | 31 | 49% |
|
||||
| mapped | 17 | 27% |
|
||||
| in-progress | 1 | 2% |
|
||||
| backlog | 12 | 19% |
|
||||
| verified | 33 | 51% |
|
||||
| mapped | 17 | 26% |
|
||||
| in-progress | 3 | 5% |
|
||||
| backlog | 11 | 17% |
|
||||
| blocked | 1 | 2% |
|
||||
|
||||
| Type | verified | mapped | in-progress | backlog | blocked | total |
|
||||
|---|---:|---:|---:|---:|---:|---:|
|
||||
| objects | 5 | 2 | 0 | 0 | 0 | 7 |
|
||||
| control-flow | 0 | 2 | 0 | 0 | 0 | 2 |
|
||||
| subsystems | 2 | 6 | 1 | 3 | 1 | 13 |
|
||||
| subsystems | 2 | 6 | 2 | 3 | 1 | 14 |
|
||||
| engine | 10 | 0 | 0 | 0 | 0 | 10 |
|
||||
| verify | 5 | 2 | 0 | 6 | 0 | 13 |
|
||||
| phase2 | 5 | 1 | 0 | 2 | 0 | 9 |
|
||||
| meta | 4 | 4 | 0 | 1 | 0 | 9 |
|
||||
| verify | 5 | 2 | 1 | 5 | 0 | 13 |
|
||||
| phase2 | 6 | 1 | 0 | 2 | 0 | 9 |
|
||||
| meta | 5 | 4 | 0 | 1 | 0 | 10 |
|
||||
|
||||
## 2. Binary understanding
|
||||
|
||||
|
|
@ -54,10 +54,10 @@ Generated 2026-09-08 05:30 UTC · `sots-re` @ cdada28,2026-09-08 · `sots-engine
|
|||
| `mars/stream` | 3,703 | 6 | 222 | yes | mars-stream.md |
|
||||
| `mars/text` | 899 | 8 | 245 | yes | mars-text.md |
|
||||
| `mars/vfs` | 788 | 9 | 140 | yes | mars-vfs.md |
|
||||
| `shim` | 7,551 | 0 | 0 | direct (WIN32) | M0.md |
|
||||
| `shim/hooks` | 4,981 | 0 | 0 | direct (WIN32) | M0.md |
|
||||
| `shim` | 7,620 | 0 | 0 | direct (WIN32) | M0.md |
|
||||
| `shim/hooks` | 5,050 | 0 | 0 | direct (WIN32) | M0.md |
|
||||
| `shim/trace` | 2,258 | 9 | 273 | direct (WIN32) | shim-trace.md |
|
||||
| **total** | **28,506** | **89** | **2830** | | |
|
||||
| **total** | **28,644** | **89** | **2830** | | |
|
||||
|
||||
Board `engine:` rows: verified **10**, mapped 0, in flight 0 (of 10) — verified & merged `[██████████] 100%`
|
||||
|
||||
|
|
@ -94,10 +94,10 @@ Most recent open:
|
|||
|
||||
## 8. Delta since previous dashboard
|
||||
|
||||
- verified targets: 30 → 31 (+1) · mapped-or-better: 47 → 48 (+1)
|
||||
- engine LOC: 26,883 → 28,506 (+1,623) · test files: 88 → 89 (+1) · checks: 2,805 → 2,830 (+25)
|
||||
- verified targets: 33 → 33 (+0) · mapped-or-better: 50 → 50 (+0)
|
||||
- engine LOC: 28,644 → 28,644 (+0) · test files: 89 → 89 (+0) · checks: 2,830 → 2,830 (+0)
|
||||
- addresses verified: 317 → 317 (+0) · recovered layouts: 21 → 21 (+0) · open questions: 27 → 27 (+0)
|
||||
|
||||
---
|
||||
warnings: board.md line 66: unknown status 'code-complete' for 'P2-B4 colony + movement (behavioral)'; 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": 31, "mapped_plus": 48, "targets": 63, "loc": 28506, "tests": 89, "checks": 2830, "addr_verified": 317, "addr_total": 324, "layouts": 21, "open_q": 27} -->
|
||||
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": 50, "targets": 65, "loc": 28644, "tests": 89, "checks": 2830, "addr_verified": 317, "addr_total": 324, "layouts": 21, "open_q": 27} -->
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue