lane BS merged: the per-history residue is an absent Colonize task; BR's generator row scoped to encounter-free turns

campaign/DASHBOARD.md

@@ -1,16 +1,16 @@
 # SotS RE campaign — coverage dashboard
 
-Generated 2026-09-09 07:03 UTC · `sots-re` @ 2ad6652,2026-09-09 · `sots-engine` @ dea127d,2026-09-09 (242 commits) · regenerate with `tools/dashboard.py`
+Generated 2026-09-09 07:14 UTC · `sots-re` @ 1bae655,2026-09-09 · `sots-engine` @ dea127d,2026-09-09 (242 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)
 
-438 targets · mapped-or-better **390/438** `[█████████░] 89%` · verified **348/438** `[████████░░] 79%`
+441 targets · mapped-or-better **393/441** `[█████████░] 89%` · verified **351/441** `[████████░░] 80%`
 
 | Status | Count | % |
 |---|---:|---:|
-| verified | 348 | 79% |
+| verified | 351 | 80% |
 | mapped | 42 | 10% |
 | in-progress | 5 | 1% |
 | backlog | 41 | 9% |
@@ -19,19 +19,19 @@ Generated 2026-09-09 07:03 UTC · `sots-re` @ 2ad6652,2026-09-09 · `sots-engine
 | Type | verified | mapped | in-progress | backlog | blocked | total |
 |---|---:|---:|---:|---:|---:|---:|
 | objects | 46 | 6 | 0 | 3 | 1 | 56 |
-| control-flow | 38 | 2 | 1 | 0 | 0 | 41 |
+| control-flow | 40 | 2 | 1 | 0 | 0 | 43 |
 | subsystems | 4 | 8 | 0 | 2 | 1 | 15 |
 | engine | 31 | 0 | 0 | 0 | 0 | 31 |
 | verify | 105 | 15 | 3 | 35 | 0 | 158 |
 | phase2 | 13 | 3 | 1 | 0 | 0 | 17 |
-| meta | 92 | 6 | 0 | 1 | 0 | 99 |
+| meta | 93 | 6 | 0 | 1 | 0 | 100 |
 | other | 19 | 2 | 0 | 0 | 0 | 21 |
 
 ## 2. Binary understanding
 
 - RTTI type descriptors: **1,924** (`Game::` 1,404, `Mars::` 194; serializable types 179)
 - Classes with recovered member layouts: **384** / 1,598 named classes `[██░░░░░░░░] 24%` — `objects/layouts.json` (serializer recovery) plus classes recovered by hand in `struct-recovery.md` + `schema-gaps-resolved.md`. Note 179 types are *serializable*; the recovery also reaches non-serializable ones, so this is not a subset of that
-- Functions: **41,411** (parsed from `01-fingerprint.md`); named/annotated in the **address contract** (`ghidra/addresses.json`, not Ghidra's full rename count): **1291**, verified **1160** `[█████████░] 90%`
+- Functions: **41,411** (parsed from `01-fingerprint.md`); named/annotated in the **address contract** (`ghidra/addresses.json`, not Ghidra's full rename count): **1294**, verified **1163** `[█████████░] 90%`
 
 ## 3. Data layer
 
@@ -133,11 +133,11 @@ Most recent open:
 
 ## 9. Delta since previous dashboard
 
-- verified targets: 343 → 348 (+5) · mapped-or-better: 385 → 390 (+5)
+- verified targets: 348 → 351 (+3) · mapped-or-better: 390 → 393 (+3)
 - engine LOC: 58,647 → 58,647 (+0) · test files: 122 → 122 (+0) · checks: 4,257 → 4,257 (+0)
-- addresses verified: 1,160 → 1,160 (+0) · recovered layouts: 384 → 384 (+0) · open questions: 26 → 26 (+0)
+- addresses verified: 1,160 → 1,163 (+3) · recovered layouts: 384 → 384 (+0) · open questions: 26 → 26 (+0)
 - standalone leaves closed: 45 → 45 (+0) · leaves still diverging: 63 → 63 (+0)
 
 ---
 warnings: board.md: unknown types subsystems; 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": 348, "mapped_plus": 390, "targets": 438, "loc": 58647, "tests": 122, "checks": 4257, "addr_verified": 1160, "addr_total": 1291, "layouts": 384, "open_q": 26, "sa_closed": 45, "sa_left": 63} -->
+<!-- dashboard-metrics {"verified": 351, "mapped_plus": 393, "targets": 441, "loc": 58647, "tests": 122, "checks": 4257, "addr_verified": 1163, "addr_total": 1294, "layouts": 384, "open_q": 26, "sa_closed": 45, "sa_left": 63} -->

guides/method-rules.md

@@ -418,7 +418,12 @@ mechanism.
 >   *"no combat occurs"* — the defender's planet still fires, and its kill count varied.
 > * **A fourth term is not a predicate on the save at all.** The same turn ran one way by
 >   continuation and another way after a load, **both reproducibly** — so exposure is a property of
->   `(save, procedure, load history)`, not of `(save, turn)`. The instruction to record a pair as
+>   `(save, procedure, load history)`, not of `(save, turn)`. **The mechanism is now measured
+>   (lane BS): the difference is that the load route does not run the machinery at all.** A
+>   `Colonize` task alive in the AI agent by continuation is simply *absent* after a load —
+>   `AITColonize::Execute` fires twice one way and zero times the other, and the fleet-gathering hub
+>   is never reached. AI agent state that the save does not carry is a real input, and no amount of
+>   reading the save will find it. The instruction to record a pair as
 >   `(save, procedure, hashes)` was already right, and is now load-bearing for a reason it did not
 >   anticipate.
 >