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

board: B2 code-complete with 10 corrections; B4 colony/movement lane opened

Browse source
This commit is contained in:
alex 2026-09-08 00:02:10 -04:00
parent db9b561964
commit 83107f91f0
2 changed files with 19 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
campaign/DASHBOARD.md
View file

@ -1,19 +1,19 @@
# SotS RE campaign — coverage dashboard
Generated 2026-09-08 03:52 UTC · `sots-re` @ 906858f,2026-09-07 · `sots-engine` @ b791392,2026-09-07 (51 commits) · regenerate with `tools/dashboard.py`
Generated 2026-09-08 04:02 UTC · `sots-re` @ db9b561,2026-09-08 · `sots-engine` @ f28c639,2026-09-08 (54 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)
58 targets · mapped-or-better **45/58** `[████████░░] 78%` · verified **29/58** `[█████░░░░░] 50%`
59 targets · mapped-or-better **45/59** `[████████░░] 76%` · verified **29/59** `[█████░░░░░] 49%`
| Status | Count | % |
|---|---:|---:|
| verified | 29 | 50% |
| mapped | 16 | 28% |
| in-progress | 3 | 5% |
| backlog | 9 | 16% |
| verified | 29 | 49% |
| mapped | 16 | 27% |
| in-progress | 4 | 7% |
| backlog | 9 | 15% |
| blocked | 1 | 2% |
| Type | verified | mapped | in-progress | backlog | blocked | total |
@ -23,7 +23,7 @@ Generated 2026-09-08 03:52 UTC · `sots-re` @ 906858f,2026-09-07 · `sots-engine
| subsystems | 2 | 6 | 1 | 3 | 1 | 13 |
| engine | 10 | 0 | 0 | 0 | 0 | 10 |
| verify | 4 | 2 | 0 | 3 | 0 | 9 |
| phase2 | 4 | 0 | 2 | 2 | 0 | 8 |
| phase2 | 4 | 0 | 3 | 2 | 0 | 9 |
| meta | 4 | 4 | 0 | 1 | 0 | 9 |
## 2. Binary understanding
@ -47,17 +47,17 @@ Generated 2026-09-08 03:52 UTC · `sots-re` @ 906858f,2026-09-07 · `sots-engine
| `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` | 811 | 3 | 160 | yes | game-effects.md |
| `game/sim` | 1,720 | 9 | 512 | yes | game-sim.md |
| `game/effects` | 973 | 3 | 231 | yes | game-effects.md |
| `game/sim` | 1,722 | 9 | 512 | yes | game-sim.md |
| `mars/parse` | 875 | 12 | 277 | yes | mars-parse.md |
| `mars/rng` | 206 | 0 | 0 | yes | mars-rng.md |
| `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` | 4,229 | 0 | 0 | direct (WIN32) | M0.md |
| `shim/hooks` | 2,110 | 0 | 0 | direct (WIN32) | M0.md |
| `shim` | 5,051 | 0 | 0 | direct (WIN32) | M0.md |
| `shim/hooks` | 2,924 | 0 | 0 | direct (WIN32) | M0.md |
| `shim/trace` | 1,836 | 8 | 248 | direct (WIN32) | shim-trace.md |
| **total** | **20,812** | **88** | **2647** | | |
| **total** | **22,612** | **88** | **2718** | | |
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: 28 → 29 (+1) · mapped-or-better: 44 → 45 (+1)
- engine LOC: 20,812 → 20,812 (+0) · test files: 88 → 88 (+0) · checks: 2,647 → 2,647 (+0)
- addresses verified: 166 → 202 (+36) · recovered layouts: 21 → 21 (+0) · open questions: 27 → 27 (+0)
- verified targets: 29 → 29 (+0) · mapped-or-better: 45 → 45 (+0)
- engine LOC: 20,812 → 22,612 (+1,800) · test files: 88 → 88 (+0) · checks: 2,647 → 2,718 (+71)
- addresses verified: 202 → 202 (+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": 29, "mapped_plus": 45, "targets": 58, "loc": 20812, "tests": 88, "checks": 2647, "addr_verified": 202, "addr_total": 211, "layouts": 21, "open_q": 27} -->
<!-- dashboard-metrics {"verified": 29, "mapped_plus": 45, "targets": 59, "loc": 22612, "tests": 88, "checks": 2718, "addr_verified": 202, "addr_total": 211, "layouts": 21, "open_q": 27} -->

5
campaign/board.md
View file

@ -54,12 +54,13 @@ Status flow: `backlog → in-progress → mapped → verified` (or `blocked`).
| strategic formula gaps | subsystem | verified | high | 100% | 2026-09-07 | findings/subsystems/formula-gaps.md: all 8 answered with code (bankruptcy 3.3 on BnkPr, linear hazard, money tail, pbon, slider, [6] net, no speed clamp, decay hits current) |
| engine: game/design | engine | verified | high | 100% | 2026-09-07 | merged; see ShipDesignDef row |
| P2-B1 ComputeBudget (behavioral) | phase2 | verified | high | 90% | 2026-09-08 | LIVE + GREEN: 4,623 calls traced, 4,437 compared 0 divergences (all 8 End-Turn calls identical on 22 slots), REPLACE fed the game its budget for a full turn and the End-Turn oracle reproduced byte-for-byte. Corrections: out-param is int[22] not int[25] (next 3 words are a std::vector); researchMoneyKept only charged with a research target (real bug). Coverage: 8 slots verified on varied values, 8 slots always 0 in this save (expenses/aid/debt tail UNTESTED), 6 are inputs by construction |
| P2-B2 OnTechResearched (behavioral) | phase2 | in-progress | — | 0% | 2026-09-08 | offline lane (no VM): hook ServerPlayer::OnTechResearched vs src/game/effects; per-field regions; static-first per B3's lesson. Builds /srv/re-lab/build/sots-engine-b2, stages dist-b2. Coverage risk: few/no tech completions in the reference End Turn -> host tests over the whole effects table |
| P2-B2 OnTechResearched (behavioral) | phase2 | in-progress | med | 70% | 2026-09-08 | CODE-COMPLETE (engine f28c639), dist-b2 staged, ctest 28/28. TEN static corrections: all float32 w/ widened literals; AI-bonus values 0.5 (odds .1/.2); PrGtTrf is int; +0x308 is a POINTER (RAD>REND>RIP first-hit, no species gate); undocumented sticky mask at +0x1a4; capture-designs/design-masks/bore are tail checks on EVERY completion; NO already-researched guard (our early-return would have made every call a no-op); *(int*)TechDef is not a TechId; full g_TechIdNames dump found XenoTechId(Proliferate,Morrigi) returning the HUMAN node-track tech (block is 5 not 6). NEEDS VM window (queued behind B3) |
| P2-B3 ProcessResearch (behavioral, RNG) | phase2 | in-progress | med | 70% | 2026-09-08 | CODE-COMPLETE (engine 3ebc8bf), dist-b3 staged. Static analysis found 5 REAL BUGS in our code: draw = y/(2^32-1) not y*2^-32 (constant 1/4294967295; compare could NOT have caught this - 0 decision flips in 1e6); NextInt is [0,n] INCLUSIVE by pointer; spend has no floor at 0; odds/roll/ratio are float32 not double; decay constants are widened float literals. ProcessResearch arg2 = the RNG object. ctest 26/26. NEEDS VM window (queued behind M2) |
| RNG signatures (Ghidra) | meta | verified | high | 100% | 2026-09-08 | Seed/Twist/NextFloat verified (own pass) + NextInt pinned by B3: [0,n] inclusive, bound by pointer. Draw mapping = y/(2^32-1). Lazy twist, left@+0x9c4. Open: x87 precision-control mode at runtime (instrumented - hook logs fpu_cw) |
| engine: game/effects | engine | verified | high | 100% | 2026-09-08 | merged: TechId enum (196 slots @10000+i), 44 ids with typed strategic effects, species flag bits, ApplyTechEffect; 254 checks |
| VM140 exclusivity (lab rule) | meta | verified | high | 100% | 2026-09-08 | one agent at a time deploys/relaunches. Holder: B3 (window open). QUEUE: B2. Non-holders build in /srv/re-lab/build/sots-engine-<lane>, stage dist-<lane>, deploy to C:\SOTS\shimdist-<lane>. NOTE: a Windows Update dialog can hide a crash dialog and mimic a hang - screenshot before believing one |
| VM140 exclusivity (lab rule) | meta | verified | high | 100% | 2026-09-08 | one agent at a time deploys/relaunches. Holder: B3. QUEUE: B2, then B4. Non-holders build in /srv/re-lab/build/sots-engine-<lane>, stage dist-<lane>, deploy C:\SOTS\shimdist-<lane>. NOTE: a Windows Update dialog can hide a crash dialog and mimic a hang - screenshot first |
| Zuul double-roll (behavioural) | verify | backlog | — | 0% | 2026-09-08 | the reference save may have no species-5 player; if so the Zuul double roll is verified only by disassembly. Needs one extra compare from a Zuul save |
| budget tail coverage (expenses/aid/debt) | verify | backlog | — | 0% | 2026-09-08 | 8 ComputeBudget slots were always 0 in ref-turn2 (no sliders, no aid, no debt, no handicap). Need a save with expense sliders, a debtor and a research-aid treaty to exercise ExpenseTotal + the aid/bonus tail |
| hook GetDifficultyMods | meta | backlog | — | 0% | 2026-09-08 | B1 derived the two difficulty rows from trace values (AI maintenance divisor 3, research x1.5) instead of snapshotting them; hook it properly so they stop being constants |
| section-loader compare crash | verify | backlog | — | 0% | 2026-09-08 | SectionDictionary compare crashes the engine while the identical weapon path succeeds -> fault is in re-running LoadSection, not the manifest reader. Next boundary: hook LoadSection itself. docs/M2.md has 3 ranked leads |
| P2-B4 colony + movement (behavioral) | phase2 | in-progress | — | 0% | 2026-09-08 | offline lane + Ghidra: verify ServerSystem::ProcessTurn / MoveFleet signatures (unverified), then hook vs game/sim colony+movement; RNG-snapshot design (colony consumes RNG for plague/rebellion) |