105 lines
5.6 KiB
Markdown
105 lines
5.6 KiB
Markdown
# SotS RE campaign — coverage dashboard
|
||
|
||
Generated 2026-09-08 10:36 UTC · `sots-re` @ 314ca20,2026-09-08 · `sots-engine` @ 241e7fa,2026-09-08 (94 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)
|
||
|
||
110 targets · mapped-or-better **93/110** `[████████░░] 85%` · verified **69/110** `[██████░░░░] 63%`
|
||
|
||
| Status | Count | % |
|
||
|---|---:|---:|
|
||
| verified | 69 | 63% |
|
||
| mapped | 24 | 22% |
|
||
| in-progress | 2 | 2% |
|
||
| backlog | 13 | 12% |
|
||
| blocked | 2 | 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 | 7 | 1 | 3 | 1 | 14 |
|
||
| engine | 14 | 0 | 0 | 0 | 0 | 14 |
|
||
| verify | 15 | 4 | 0 | 7 | 0 | 26 |
|
||
| phase2 | 8 | 2 | 1 | 2 | 0 | 13 |
|
||
| meta | 14 | 4 | 0 | 1 | 0 | 19 |
|
||
| other | 11 | 3 | 0 | 0 | 1 | 15 |
|
||
|
||
## 2. Binary understanding
|
||
|
||
- RTTI type descriptors: **1,924** (`Game::` 1,404, `Mars::` 194; serializable types 179)
|
||
- Classes with recovered member layouts: **22** / 179 serializable types `[█░░░░░░░░░] 12%` — heuristic: distinct `Game::X`/`Mars::X` in `##`–`####` headings of `struct-recovery.md` + `schema-gaps-resolved.md`
|
||
- Functions: **41,411** (parsed from `01-fingerprint.md`); named/annotated in the **address contract** (`ghidra/addresses.json`, not Ghidra's full rename count): **615**, verified **607** `[██████████] 99%`
|
||
|
||
## 3. Data layer
|
||
|
||
- 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
|
||
- Design rules: **127/127** stock designs pass `[██████████] 100%`
|
||
|
||
## 4. Engine accrual (sots-engine)
|
||
|
||
| Module | LOC | Test files | Checks | Wired | Doc |
|
||
|---|---:|---:|---:|---|---|
|
||
| `game/config` | 558 | 4 | 131 | yes | M1.md |
|
||
| `game/data` | 2,053 | 12 | 462 | yes | game-data.md |
|
||
| `game/design` | 1,024 | 17 | 250 | yes | game-design.md |
|
||
| `game/effects` | 973 | 3 | 231 | yes | game-effects.md |
|
||
| `game/events` | 558 | 3 | 152 | yes | E-events.md |
|
||
| `game/sim` | 2,720 | 9 | 611 | yes | game-sim.md |
|
||
| `mars/parse` | 875 | 12 | 277 | yes | mars-parse.md |
|
||
| `mars/rng` | 206 | 0 | 0 | yes | mars-rng.md |
|
||
| `mars/stream` | 4,376 | 7 | 226 | yes | mars-stream.md |
|
||
| `mars/text` | 899 | 8 | 245 | yes | mars-text.md |
|
||
| `mars/vfs` | 788 | 9 | 140 | yes | mars-vfs.md |
|
||
| `shim` | 8,493 | 0 | 0 | direct (WIN32) | M0.md |
|
||
| `shim/hooks` | 5,554 | 0 | 0 | direct (WIN32) | M0.md |
|
||
| `shim/trace` | 2,258 | 9 | 273 | direct (WIN32) | shim-trace.md |
|
||
| **total** | **31,335** | **93** | **2998** | | |
|
||
|
||
Board `engine:` rows: verified **14**, mapped 0, in flight 0 (of 14) — verified & merged `[██████████] 100%`
|
||
|
||
## 5. Phase 2 milestones
|
||
|
||
| Milestone | Status | Coverage | Notes |
|
||
|---|---|---:|---|
|
||
| P2-M0 shim bootstrap | ✅ verified | 100% | sots-engine 5f5bc41: proxy binkw32.dll (66 exports identical), MinHook, asm-stub trace hoo |
|
||
| P2-M1 flat-KV config loader | ✅ verified | 100% | LIVE: GlobalConsts::LoadFile hooked; trace 19 calls/1088 regions (tracecmp 0); compare 19/ |
|
||
| P2-M2 manifest/id registry | ✅ verified | 80% | LIVE: trace 22 calls (tracecmp 0); weapons compare 1/1 0 divergences; REPLACE+oracle byte- |
|
||
| P2-M3 Mars brace-block parser | ⬜ backlog | 0% | Mars::Script pull tokenizer (Open 0x008cd7d0, ReadToken 0x008cd2f0, Next 0x008cd3e0, SkipB |
|
||
| P2-M4 gobio VFS read | ⬜ backlog | 0% | choke point: bool __cdecl gobio::ReadFile(const char*, IBuffer**) 0x008d5140; FileSystemSe |
|
||
|
||
## 6. Verification ledger
|
||
|
||
- ✅ Saves strict: 4/4 (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/`)
|
||
- ✅ M0 evidence present (`verify/results/shim/m0.log`)
|
||
- ✅ Determinism oracle: verified
|
||
|
||
## 7. Open questions
|
||
|
||
Open **26** · resolved/parked 11 · backlog items: Now 4, Next 3, Later 2, Breadth queue 7, Parked 1, From the RE how-to 4, Behavioral slice 4
|
||
|
||
Most recent open:
|
||
|
||
- Some truths are unreachable by compare — B3's draw-divisor bug differed on 0.78% of draws yet flip…
|
||
- x87 precision-control mode at runtime — 53-bit MSVC default vs 24-bit if D3D9 grabbed the FPU; mov…
|
||
- Struct-modelling hazard (found by M2) — an MSVC-2010 `std::vector` member is three words, so a…
|
||
- SAVE_FORMAT tag corrections (fix Python reader + spec) — real on-disk tags: `otnF` (not `ontF`) in…
|
||
- Not traced end-to-end — `Species/_NPC/weapons/*.weapon` loading and the `.effect` dictionary entry…
|
||
|
||
## 8. Delta since previous dashboard
|
||
|
||
- verified targets: 63 → 69 (+6) · mapped-or-better: 87 → 93 (+6)
|
||
- engine LOC: 30,662 → 31,335 (+673) · test files: 92 → 93 (+1) · checks: 2,994 → 2,998 (+4)
|
||
- 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": 69, "mapped_plus": 93, "targets": 110, "loc": 31335, "tests": 93, "checks": 2998, "addr_verified": 607, "addr_total": 615, "layouts": 22, "open_q": 26} -->
|