AD: the trade-raid roll is per fleet - 2 raiders = 2 entries, 2 words; B returns without drawing; no oracle pair (AI-only variation)
This commit is contained in:
alex
parent
de1f168c56
commit
6d33a748c5
7 changed files with 688 additions and 121 deletions
|
|
@ -1,28 +1,55 @@
|
|||
# Trade-raid gate multiplicity — does the tail draw once per turn, or once per qualifying fleet?
|
||||
# Trade-raid gate multiplicity — the tail draws **once per qualifying fleet**, and `B` returns without drawing
|
||||
|
||||
- **Type:** control-flow (static decode + live measurement)
|
||||
- **Status:** **predictions committed, not yet measured** — this header block is replaced when the
|
||||
run lands
|
||||
- **Type:** control-flow (full static decode of the callee + live measurement)
|
||||
- **Status:** **verified** for the multiplicity claim and for `B`'s zero cost on sector 832;
|
||||
**not run** for the sector-816 reachability probe (§6 says why, with the numbers)
|
||||
- **Confidence:** high on the counts (two turns, one process, reproduced turn-to-turn; the control
|
||||
agrees bit-for-bit on the sub-tree the measurement reads — §5)
|
||||
- **Owner / date:** lane AD · 2026-09-08 · guest **VM141** (`sots-re-win10-b`, 192.168.10.143)
|
||||
- **Follows:** the resolution `findings/resolutions/2026-09-09-tail-draws.md` §4 (the one probe),
|
||||
lane AC's `findings/control-flow/trade-raid-rng-gate.md`
|
||||
- **Instrument:** lane Z's return-address ledger (`draw_sites`) + lane H's entry probes at
|
||||
**`probes=8`** — the configuration lane H bisected as byte-neutral. **Not `probes=11`.**
|
||||
**`probes=8`** — the byte-neutral set. **Not `probes=11`.** Shim build
|
||||
`ad-0c6d0a3-20260909T0159Z`, config `src/shim/shim.cfg.hp8` **unmodified**.
|
||||
- **Follows:** `findings/resolutions/2026-09-09-tail-draws.md` §4; lane AC's
|
||||
`findings/control-flow/trade-raid-rng-gate.md`; lane AG's
|
||||
`findings/control-flow/gate-indexed-rng-audit.md` §3.3
|
||||
|
||||
---
|
||||
|
||||
## 0. Headline
|
||||
|
||||
> **The trade-raid roll is per **fleet**, not per sector, and the word cost scales linearly.**
|
||||
> With **two** permitted raiders parked on sector 6 instead of lane AC's one,
|
||||
> `TradeManager::Slot13RngCalleeA` is entered **2×** per End Turn and
|
||||
> `StrategyServer::OnAllCombatDone_Tail` costs **2** strategic words — against AC's **1** and **1** on
|
||||
> the same lineage, the same guest and the same build. Reproduced on two consecutive turns.
|
||||
> The return-address ledger prices the site exactly: `0x00820e18`, **calls = 2, words = 2**, on both
|
||||
> turns. H-sector is dead.
|
||||
|
||||
> **And `Slot13RngCalleeB` fired once, at zero words — a second, independent confirmation of lane
|
||||
> AG's §3.3 diagnosis.** `RNG_NextInt` has no zero-bound early-out, so a `B` that costs nothing
|
||||
> never reached its target pick. On sector 832 that is the candidate list being empty, and my
|
||||
> two-fleet state reproduces it with a fleet lane AC never had.
|
||||
|
||||
> **There is no oracle pair for this state, and I am not going to pretend otherwise (rule 26).**
|
||||
> Two `hooks=off` runs in two fresh processes produced **different** post-turn autosaves — 94 leaves
|
||||
> apart. But the difference is **entirely** the AI empire's design/build/fleet decisions, and
|
||||
> `/Sim/RNG`, `/Sim/trdmgr` and every player-0 fleet are **bit-identical across all three processes**,
|
||||
> instrumented and not. §5 gives the digests. Every number in §3 is read off that reproducible
|
||||
> sub-tree; none of them is read off a leaf that moved.
|
||||
|
||||
---
|
||||
|
||||
## 1. Predictions, committed before the build (rule 2)
|
||||
|
||||
Written on the host, before the shim was built, before the workload was played and before any
|
||||
counter was read. What follows in §1 is frozen; everything after it is the run.
|
||||
Committed in `d98f435` before the shim was built, before the workload was played and before any
|
||||
counter was read. Reproduced verbatim below with the verdicts added.
|
||||
|
||||
### 1.0 The callee, decoded in full first
|
||||
|
||||
Lane AC read the *caller* (`ServerTradeManagerImpl::vslot13`, `0x0088ef80`) and reported the
|
||||
short-circuit inside the callee from a partial read. This lane decompiled the whole of
|
||||
`TradeManager::Slot13RngCalleeA` `0x00820ca0` (436 bytes, 89 decompiled lines, both the loop and
|
||||
its converge point visible — rule 4), because the prediction depends on where the draw sits
|
||||
relative to the loop. Transcribed to a model:
|
||||
Lane AC read the *caller* and reported the short-circuit inside the callee from a partial read. This
|
||||
lane decompiled the whole of `TradeManager::Slot13RngCalleeA` `0x00820ca0` (436 bytes, 89 decompiled
|
||||
lines, loop and converge point both visible — rule 4), because the prediction depends on where the
|
||||
draw sits relative to the loop:
|
||||
|
||||
```
|
||||
A(fleet, freighterInSector) -> bool:
|
||||
|
|
@ -33,7 +60,7 @@ A(fleet, freighterInSector) -> bool:
|
|||
allSuppressed= AND over ships of ( ship+0x18 & 0x80 )
|
||||
nDE = #{ ships : !(flags & 0x80) and *(design+0x12c) == 0 }
|
||||
nCR = #{ ships : !(flags & 0x80) and *(design+0x12c) == 1 }
|
||||
bestScale = max over ships of ( (flags & 0x100000) ? K : 1.0 ) # K a float global
|
||||
bestScale = max over ships of ( (flags & 0x100000) ? K : 1.0 )
|
||||
if anyBig: return TRUE # 0 words <-- short-circuit
|
||||
if allSuppressed: return false # 0 words
|
||||
odds = (nCR >= 1 ? ODDS_CR : (nDE > 0 ? ODDS_DE : 0.0)) + (nCR + nDE) * PER_SHIP
|
||||
|
|
@ -42,122 +69,410 @@ A(fleet, freighterInSector) -> bool:
|
|||
return (odds * bestScale > r)
|
||||
```
|
||||
|
||||
Three consequences that the measurement is against:
|
||||
Three consequences the measurement was against:
|
||||
|
||||
1. **The draw is inside the callee, and the callee is called once per fleet.** So the word cost of
|
||||
the site is `Σ over fleets passing G0–G4 of (0 if short-circuited or shipless or all-suppressed,
|
||||
else 1)`. Not a per-sector constant.
|
||||
2. `design + 0x12c` takes the values **0, 1 and >1** and is used to bucket ships into two counted
|
||||
classes plus a third that short-circuits. That is a **hull class** field, and lane AC's fleet —
|
||||
one `Repair and Salvage`, built with `IND_CruisCon` — is the `== 1` bucket. `> 1` is therefore
|
||||
the next hull up (a dreadnought, if the ordering is DE/CR/DN), which this game has not
|
||||
researched.
|
||||
3. There is exactly **one** `NextFloat` on the path, with no rejection loop around it, so a fleet
|
||||
that reaches the roll costs exactly one word — never two.
|
||||
1. **The draw is inside the callee and the callee is called once per fleet**, so the site's cost is
|
||||
`Σ over fleets passing G0–G4`, not a per-sector constant.
|
||||
2. `design + 0x12c` takes values 0, 1 and >1 and buckets ships into two counted classes plus a third
|
||||
that short-circuits — a **hull class** field. AC's `Repair and Salvage` (`IND_CruisCon`) is the
|
||||
`== 1` bucket, so `> 1` is a hull above cruiser.
|
||||
3. There is exactly **one** `NextFloat` on the path with no rejection loop, so a fleet that reaches
|
||||
the roll costs exactly one word — never two.
|
||||
|
||||
### 1.1 The state this lane will build
|
||||
**The constants, read out of the image afterwards** (rule 23 — read the four bytes, and these are
|
||||
all **widened floats**, not decimals):
|
||||
|
||||
From `verify/results/saves/ac-turn22-raider.sav`, read on the host before touching the guest:
|
||||
| symbol | address | bytes | value |
|
||||
|---|---|---|---|
|
||||
| `ODDS_CR` | `0x009e20d8` | `00 00 00 A0 99 99 C9 3F` | `(double)0.2f` = **0.20000000298023224** |
|
||||
| `ODDS_DE` | `0x009e5060` | `00 00 00 A0 99 99 A9 3F` | `(double)0.05f` = **0.05000000074505806** |
|
||||
| `PER_SHIP` | `0x009e31c0` | `00 00 00 40 E1 7A 84 3F` | `(double)0.01f` = **0.009999999776482582** |
|
||||
| `K` (flag `0x100000`) | `0x009f8d48` | `C3 F5 A8 3E` | float **0.33** — it *reduces* the odds |
|
||||
|
||||
| field | value read |
|
||||
|---|---|
|
||||
| player 0 | `PlryName "re"`, `PlyrIdx 0`, `HomeSys 48`, `Sav 63,032,174`, `CnRad true` |
|
||||
| player 0 fleets | **exactly one**: `FltID 3744` `"Alpha Fleet"` `PID 16`, `NShips 1`, `LocID 832`, `Pos [0, 0, 8.0]`, `FtFlg 4`, ship `DesID 17` (`Repair and Salvage`, `IND_CruisCon`) |
|
||||
| sector 6 | `TradeID 832`, `tsgridID 6`, `Pos [0, 0, 8.0]`, `tssec 0`, **`tsct 0`**, **`tscr 253`**, `tsnumsys 4` (`tssys` 256, 416, **48**, 96), `tsnumflt 1`, `tsflt 3744` |
|
||||
| all six sectors | `tscr 253` / `ptscr 253` |
|
||||
| player 0 designs | `Armor`, `Tanker`, `Colonizer`, `Extended Range`, `Light Defense Platform`, `Repair and Salvage` (`DesID 17`), `Default Assault Shuttle` |
|
||||
This confirms AC's `0.20 / 0.05 / +0.01·nShips` read for **this** function (AC quoted the same two
|
||||
decimals for `GenerateTradeRaidEncounters`, a different site; they happen to agree) and adds the
|
||||
per-ship scale, which had not been valued. **A one-cruiser fleet's odds are
|
||||
`0.20000000298023224 + 0.009999999776482582 = 0.21000000275671482`, times 1.0, not doubled** —
|
||||
sector 832 holds no freighter.
|
||||
|
||||
Sector 6 contains the home system (48), `tsct` is 0 so the `FtFlg & 0x800` conjunct is not armed,
|
||||
and `tscr` bit 0 is set. Every conjunct of the gate is already satisfied for a **second** fleet
|
||||
parked on the same node.
|
||||
### 1.1 The state, read from the save before touching the guest
|
||||
|
||||
**The workload:** build one more `Repair and Salvage` cruiser at system 48, keep it as its own
|
||||
fleet, order it to the sector-6 node, and confirm `LocID 832` + `Pos` bit-equality **from the
|
||||
autosave, not the panel** (lane AC's gotcha). That makes two single-cruiser fleets on one sector.
|
||||
`verify/results/saves/ac-turn22-raider.sav`: player 0 `re`, `PlyrIdx 0`, `HomeSys 48`,
|
||||
`Sav 63,032,174`, `CnRad true`; **exactly one** player-0 fleet (`FltID 3744` `"Alpha Fleet"`,
|
||||
`NShips 1`, `LocID 832`, `Pos [0, 0, 8.0]`, `FtFlg 4`, `DesID 17`); sector 6 = `TradeID 832`,
|
||||
`tsgridID 6`, `Pos [0, 0, 8.0]`, `tssec 0`, **`tsct 0`**, **`tscr 253`**, `tsnumsys 4`,
|
||||
`tsnumflt 1`; all six sectors `tscr 253`.
|
||||
|
||||
**Deliberate deviation from the brief, stated up front.** The brief and the resolution §4 ask for a
|
||||
**The workload built:** one more `Repair and Salvage` cruiser at system 48, kept as its own fleet,
|
||||
ordered to the sector-6 node — two single-cruiser fleets on one sector.
|
||||
|
||||
**Deliberate deviation from the brief, stated up front.** The brief and resolution §4 asked for a
|
||||
second raider *of a hull satisfying `design+0x12c > 1`*, to price the short-circuit. §1.0 shows that
|
||||
field is a hull class and `> 1` means a hull above cruiser, which this game has not researched and
|
||||
cannot research and build inside five turns. Pricing the short-circuit is also the *second* question;
|
||||
the first is multiplicity, and a second **cruiser** answers it with the cleanest possible signal —
|
||||
under H-fleet the word count doubles, under H-sector it does not move. A dreadnought would leave the
|
||||
word count at 1 under both hypotheses and force the entry counter to carry the whole result alone.
|
||||
So: second cruiser, and the short-circuit stays unpriced. Recorded as a gap, not skipped.
|
||||
field is a hull class and `> 1` means a hull above cruiser. **The Build screen's Dreadnought category
|
||||
is empty in this game** (screenshot `b4`), so no such hull exists to build, and pricing the
|
||||
short-circuit is the *second* question anyway. A second **cruiser** answers the first with the
|
||||
cleanest signal: under H-fleet the word count doubles, under H-sector it does not move. The
|
||||
short-circuit stays unpriced — recorded as a gap in §7, not skipped.
|
||||
|
||||
### 1.2 P1 — H-fleet (primary)
|
||||
### 1.2–1.8 The predictions, with verdicts
|
||||
|
||||
**With two single-cruiser fleets on sector 6, `TradeManager::Slot13RngCalleeA` is entered `2` times
|
||||
per End Turn and `StrategyServer::OnAllCombatDone_Tail` costs `2` strategic words per turn**, against
|
||||
lane AC's `1` and `1` on the same lineage with one fleet.
|
||||
|
||||
Confidence: **high**, on §1.0 plus lane AC's read of the caller's loop over
|
||||
`StrategyServer+0x64..+0x68`.
|
||||
|
||||
*Falsification and symptom.* `calls = 1` on the `TradeManager::Slot13RngCalleeA` probe row with two
|
||||
fleets confirmed on the node kills it, and P2 is then the answer.
|
||||
|
||||
### 1.3 P2 — H-sector (the hypothesis this lane exists to kill)
|
||||
|
||||
If the roll is per *sector* and not per *fleet*, `Slot13RngCalleeA` is entered `1` time and the tail
|
||||
costs `1` word with two fleets exactly as with one.
|
||||
|
||||
Confidence: **low**. It is stated because four lanes have now been wrong about this call site by
|
||||
reasoning rather than measuring, and because a `1` here would mean §1.0's model — and therefore the
|
||||
generator model the standalone is about to gain — is wrong about the loop.
|
||||
|
||||
### 1.4 P3 — per-site attribution
|
||||
|
||||
`draw_sites` reports exactly **one** strategic-generator row inside the callee's body, entry kind
|
||||
`NextFloat`, `ret_rva` in `0x00420ca0..0x00420e53`, with `calls == words == 2` and
|
||||
`no_draw_calls == 0`. The site sum for the tail bracket equals the boundary ledger's tail delta.
|
||||
|
||||
Confidence: **high** on the row existing and on the equality; **moderate** on `calls == 2`, because
|
||||
that is P1 restated through the other instrument. The two instruments disagreeing is itself the
|
||||
interesting outcome and would be reported as one.
|
||||
|
||||
### 1.5 P4 — `Slot13RngCalleeB` and its inner `NextInt`
|
||||
|
||||
`B` is entered once per fleet whose roll **succeeded**, so `0`, `1` or `2` times per turn, and it
|
||||
costs **0 words** on every entry — i.e. **no** strategic `draw_sites` row inside
|
||||
`0x0048b440..0x0048b976`.
|
||||
|
||||
Confidence: **low-to-moderate**. "0 words" rests on lane AC's single observation and the resolution
|
||||
itself flags the gate above that `NextInt` as unread (§3.1's unfilled rows). A row appearing there is
|
||||
a **result**, not a failure: it prices a site the gate-indexed audit currently has to leave blank.
|
||||
|
||||
### 1.6 P5 — the oracle pair
|
||||
|
||||
Two `hooks=off` runs of the same End Turn from the same input save, in two fresh processes, produce
|
||||
**byte-identical** `(Autosave EndTurn).sav` and `(Autosave).sav`.
|
||||
|
||||
Confidence: **moderate, and this is the prediction most likely to fail.** Rule 26's counter-example
|
||||
is exactly this shape: three `hooks=off` runs on `turn1-state` gave three different files, pinned to
|
||||
a per-process AI seed. That save has three AI empires; this one has **seven**, at turn 22, all of
|
||||
them making research and build choices every turn. If the pair does not agree I will localise the
|
||||
difference to named leaves with the state-checksum tool, report whether it is confined to the known
|
||||
AI-seed leaves, and — if it is not — say plainly that **no oracle pair exists for this state** and
|
||||
that the numbers in §3 are entry counts and word deltas rather than calibration data. Rule 26: a
|
||||
control that does not agree with itself exonerates nothing.
|
||||
|
||||
### 1.7 P6 — instrument neutrality on this state (rule 19)
|
||||
|
||||
The `(Autosave).sav` produced by the `probes=8` run is byte-identical to the `hooks=off` oracle
|
||||
above. This is lane H's `probes=8` neutrality claim re-tested on a state it was never tested on,
|
||||
and it costs nothing to check because both files exist anyway.
|
||||
|
||||
Confidence: moderate. Conditional on P5: if the control does not agree with itself, this comparison
|
||||
means nothing and will not be reported as evidence (rule 26's second half — agreeing with one run of
|
||||
a varying control is a `1/k` coincidence).
|
||||
|
||||
### 1.8 What would make this lane report a zero (rule 28)
|
||||
|
||||
If `Slot13RngCalleeA` is entered `0` times, the failed conjunct will be named from the save, not
|
||||
guessed. The four to read on the post-move autosave are: `Flt.LocID == 832` for **both** fleets;
|
||||
`Flt.Pos` bit-equal to `Trade.Pos` `[0, 0, 8.0]` for both; `tscr` bit 0 still set (`253`); and
|
||||
`tsct` still `0` on sector 6 — because if the AI starts trading through sector 6 during the five
|
||||
turns, `tsct` bit 0 arms the `FtFlg & 0x800` conjunct and **both** fleets fail it, taking the site
|
||||
back to zero for a reason that has nothing to do with multiplicity.
|
||||
| # | prediction | verdict |
|
||||
|---|---|---|
|
||||
| **P1** | H-fleet: with two single-cruiser fleets, `Slot13RngCalleeA` entered **2×/turn** and the tail costs **2 words/turn** | **CONFIRMED**, both turns (§3) |
|
||||
| **P2** | H-sector: `A` entered 1×, tail 1 word regardless of fleet count | **FALSIFIED** — as intended; this is the hypothesis the lane existed to kill |
|
||||
| **P3** | `draw_sites` shows exactly one strategic row inside the callee body, `NextFloat`, `ret_rva` in `0x00420ca0..0x00420e53`, `calls == words == 2`, `no_draw_calls == 0`, and the site sum equals the boundary ledger's tail delta | **CONFIRMED exactly** — row at call `0x00820e18`, calls 2, words 2, both turns; bracket residual 0 |
|
||||
| **P4** | `B` entered once per succeeding fleet (0–2×/turn) and costs **0 words** — no strategic row in `0x0048b440..0x0048b976` | **CONFIRMED as a number, and its *meaning* was wrong in my brief.** `B` entered 1× / 0× on the two turns and cost 0 words both times. Lane AG (posted after this prediction was committed) read all 139 bytes of `RNG_NextInt` and found **no zero-bound early-out**, so `B` cannot reach its pick without spending a word. `B` costing 0 therefore **proves `B` returned before the pick** — it is not a cheap success, it is a non-success. My predicted number was right for the wrong reason and I am recording that plainly. |
|
||||
| **P5** | two `hooks=off` runs in two fresh processes give byte-identical autosaves | **FALSIFIED.** I flagged it as the most likely failure and it failed. §5. |
|
||||
| **P6** | the `probes=8` post-turn autosave is byte-identical to the `hooks=off` oracle | **Unanswerable as stated** (P5 failed, so there is no oracle to compare to), **and answered in a better form**: the instrumented run and both control runs are bit-identical on every sub-tree except the AI's decisions. §5. |
|
||||
| **P8** | if `A` reads 0, name the failed conjunct from the save | not triggered; the conjuncts were read anyway (§4) |
|
||||
|
||||
---
|
||||
|
||||
*(Sections 2 onward are written after the run.)*
|
||||
## 2. What was run
|
||||
|
||||
Four fresh processes on VM141, all with the same guest, the same dist
|
||||
(`C:\SOTS\shimdist-ad`, `BUILD_ID ad-0c6d0a3-20260909T0159Z`, built in
|
||||
`/srv/re-lab/build/sots-engine-ad` after `rm -rf` of the tree and with no local `build*` shipped —
|
||||
rule 24) and the same input save.
|
||||
|
||||
| run | config | End Turns | purpose |
|
||||
|---|---|---|---|
|
||||
| play-forward | `shim.cfg.hoff` | 4 (turn 23 → 27) | build the workload |
|
||||
| **R1** | `shim.cfg.hp8` (`probes=8`) | 2 (turn 27 → 29) | the measurement |
|
||||
| **OA** | `shim.cfg.hoff` | 1 (turn 27 → 28) | control |
|
||||
| **OB** | `shim.cfg.hoff` | 1 (turn 27 → 28) | control, second fresh process |
|
||||
|
||||
Input save `ad-turn27-two-raiders.sav`, sha256
|
||||
`1c8baa27680809d585ab1728391e82729642d32aaedffd5bf95b616f0a11a436`. It is the post-turn autosave of
|
||||
turn 26, produced by ordinary play from `ac-turn22-raider.sav`: queue two `CR Repair and Salvage`,
|
||||
End Turn ×2, form the first completed hull into `Beta Fleet`, `Move` → sector-6 node, End Turn ×2.
|
||||
|
||||
**Instrument armed and verified from `shim.log`, not assumed:** all seven `drawsite:` detours
|
||||
`create=MH_OK enable=MH_OK`; `probe: installing 8 of 12 (probes= in shim.cfg)` and all eight
|
||||
`create=MH_OK enable=MH_OK`. Probe indices 8–11 report **NOT INSTALLED**, never 0 (rule 1) — index 8
|
||||
is `GenerateTradeRaidEncounters`, the detour lane H bisected as *not* byte-neutral, and it is
|
||||
excluded by construction.
|
||||
|
||||
**The gate, read from the save for the measured turns** (rule 28 — the field values, not a summary).
|
||||
From R1's own post-turn autosave at turn 29:
|
||||
|
||||
| conjunct | field | value |
|
||||
|---|---|---|
|
||||
| G2 fleet at a `TradeSector` node | `Flt["Alpha Fleet"].LocID` / `Flt["Beta Fleet"].LocID` | **832 / 832** |
|
||||
| G3b owner's bit in the raid mask | `Trade[832].tscr` | **253** = `0b11111101`, bit 0 = player 0 ✓ |
|
||||
| G3c `FtFlg & 0x800` armed? | `Trade[832].tsct` | **0** → not armed; neither fleet carries `0x800` (`FtFlg` 4 and 4) |
|
||||
| G4 arrived, `Pos` bit-equal | `Flt.Pos` vs `Trade[832].Pos` | both **`[0, 0, 8.0]`**, bit-identical |
|
||||
| — | `Trade[832].tsnumflt` / `tsflt` | **2** / **3744, 6544** |
|
||||
|
||||
---
|
||||
|
||||
## 3. The numbers
|
||||
|
||||
### 3.1 Entry counts (`probes=8`, R1)
|
||||
|
||||
| probe | turn 28 | turn 29 | lane AC, one raider |
|
||||
|---|---|---|---|
|
||||
| `ServerSpyManager::vslot13` | 1 | 1 | 1 |
|
||||
| `ServerSpyManager::vslot14` | 1 | 1 | 1 |
|
||||
| `ServerTradeManagerImpl::vslot13` | 1 | 1 | 1 |
|
||||
| `ServerTradeManagerImpl::vslot15` | 1 | 1 | 1 |
|
||||
| `SpyManager::Slot13RngCallee` | 0 | 0 | 0 |
|
||||
| **`TradeManager::Slot13RngCalleeA`** | **2** | **2** | **1** |
|
||||
| **`TradeManager::Slot13RngCalleeB`** | **1** | **0** | 1 then 0 |
|
||||
| `ServerTradeManager::CreateRaidEncounter` | 1 | 2 | 0 then 1 |
|
||||
| indices 8–11 | NOT INSTALLED | NOT INSTALLED | — |
|
||||
|
||||
`vslot13` is still entered **once** per turn while `A` is entered **twice**: the multiplicity is
|
||||
inside the callee's caller loop over the fleet vector, exactly as AC read it. That is the cleanest
|
||||
possible separation of H-fleet from H-sector — one instrument row moves, the other does not.
|
||||
|
||||
### 3.2 The boundary ledger
|
||||
|
||||
```
|
||||
turn 28 BeginProcessTurn 575 -> 575 delta 0
|
||||
ProcessTurn 575 -> 593 delta 20
|
||||
OnAllCombatDone_Tail 593 -> 595 delta 2
|
||||
BRACKET total 22 attributed 22 residual 0
|
||||
|
||||
turn 29 BeginProcessTurn 595 -> 595 delta 0
|
||||
ProcessTurn 595 -> 615 delta 20
|
||||
OnAllCombatDone_Tail 615 -> 617 delta 2
|
||||
```
|
||||
|
||||
**Two words per turn in the tail, on both turns.** Lane AC's control (no raider) was 0; AC's active
|
||||
state (one raider) was 1; two raiders give 2. The bracket residual is **0** on turn 28, so nothing
|
||||
else moved.
|
||||
|
||||
### 3.3 Per-site attribution by return address (`draw_sites`)
|
||||
|
||||
Turn 28, strategic rows only (helper-internal rows and other generators elided; the report tool
|
||||
marks them):
|
||||
|
||||
```
|
||||
* NextFloat call 0x0050329d calls= 1 words= 1
|
||||
* Chance call 0x00753d87 calls=14 words= 0
|
||||
* NextInt call 0x007929a4 calls= 1 words= 1
|
||||
* NextFloat call 0x00820e18 <-- the raid roll calls= 2 words= 2
|
||||
* Chance call 0x00893426 GenerateTradeRaidEncounters calls= 8 words= 8
|
||||
* Chance call 0x00893513 GenerateTradeRaidEncounters calls= 8 words= 8
|
||||
=> attributed strategic words: 20
|
||||
```
|
||||
|
||||
Turn 29 is the same plus `ProcessResearch+0x1c8` (1 word) and a `NextFloat` at call `0x0088df4f`
|
||||
(1 word) — two sites inside `ProcessTurn`, not the tail; **`0x00820e18` is again calls = 2, words = 2**.
|
||||
|
||||
**`0x00820e18` is lane V2's site**, listed in `indirect-edges.md` §3.1 as trade slot 13's `NextFloat`,
|
||||
fired once by lane AC and now priced at **one word per qualifying fleet**.
|
||||
|
||||
**No strategic row anywhere in `0x0088b440..0x0088b976`** on either turn, and none in
|
||||
`ServerTradeManager::CreateRaidEncounter`'s body on the turn it ran twice. So `B` cost 0 and
|
||||
`CreateRaidEncounter` cost 0 — both by return-address attribution, not by a word count that could
|
||||
have hidden them.
|
||||
|
||||
### 3.4 The odds arithmetic, first measured support
|
||||
|
||||
Two fleets × two turns = **four fleet-rolls** at `p = 0.21000000275671482` (one cruiser, no
|
||||
freighter in sector 832, `bestScale` 1.0). Expected successes 0.84; **observed 1** (turn 28's single
|
||||
`B` entry). Lane AC's two rolls at the same `p` gave 1. Six rolls, two successes, expectation 1.26 —
|
||||
consistent, and stated as consistency rather than validation: six Bernoulli trials cannot
|
||||
distinguish 0.21 from 0.15 or 0.30.
|
||||
|
||||
---
|
||||
|
||||
## 4. What this settles about `Slot13RngCalleeB` — a verdict on lane AG §3.3
|
||||
|
||||
Lane AG's §3.3 posted while this lane was measuring. Two of its results bear directly on my numbers:
|
||||
|
||||
1. **`RNG_NextInt` (`0x004271c0`) has no zero-bound early-out.** A single-candidate list still costs
|
||||
one word.
|
||||
2. `FUN_00820af0`, called at `0x0088b62c` right after the pick, draws again at `0x00820c1b`.
|
||||
|
||||
So a `B` that costs **0 words** did not reach `0x0088b613`. My turn 28 has `B` entered once and the
|
||||
tail's whole cost accounted for by `A`'s two words — **`B` returned before its pick, on a fleet lane
|
||||
AC never had, on the same sector.** That is an independent reproduction of AG's diagnosis rather
|
||||
than a re-reading of AC's single observation.
|
||||
|
||||
**Which conjunct failed, from the save.** `trdmgr` at turn 27 and again at turn 29 holds **three**
|
||||
route records, `trfr = 18, 14, 14` (`tro = 32`, the AI, on all three). Resolving each source system
|
||||
to the sector whose node it sits nearest: system 18 (`Ko'Kotan`, `[9.56, 0.06, 2.27]`) → sector
|
||||
**816** at 2.20 ly; system 14 (`Ko'Graapa`, `[1.44, 1.42, -2.22]`) → sector **768** at 2.03 ly.
|
||||
**No route is sourced in sector 832.** So `G_B1b` (`containingSector[rt->trfr] == sector`) rejects
|
||||
all three routes and the candidate list is empty — `G_B4`.
|
||||
|
||||
**What my run does *not* settle, and I want this said clearly.** AG flagged one unproven reading:
|
||||
that `TradeManager+0x0c` is a **per-system** "containing trade sector" table, versus a
|
||||
**sector-indexed vector of six**, in which case `trfr ∈ {14, 18}` fails the bounds check `G_B1a` and
|
||||
`0x0088b613` is unreachable in principle. **My measurement cannot distinguish those two readings**,
|
||||
because on sector 832 both of them predict exactly what I saw: `B` entered, `B` returns before the
|
||||
draw. The experiment that separates them is a raider parked on a sector that *does* source a route,
|
||||
and §6 explains why this game cannot produce one without further engineering.
|
||||
|
||||
---
|
||||
|
||||
## 5. The control — rule 26, honestly
|
||||
|
||||
**The `hooks=off` control does not agree with itself.** Two fresh processes, same guest, same build,
|
||||
same input save, one End Turn each:
|
||||
|
||||
```
|
||||
input ad-turn27-two-raiders.sav 1c8baa27680809d585ab1728391e82729642d32aaedffd5bf95b616f0a11a436
|
||||
|
||||
OA (Autosave EndTurn).sav 16f63adbf383946db17c381998957172bca803406b7df78f3b03805fef0bbcb8
|
||||
(Autosave).sav a634510e7208cceb10d8ce016ceb0153601f11d7291f08122bcdb6418e313331
|
||||
|
||||
OB (Autosave EndTurn).sav 16f63adbf383946db17c381998957172bca803406b7df78f3b03805fef0bbcb8
|
||||
(Autosave).sav 676b1778880b5d4784ba7f6ef48b1a8e56745adab70a815943b7744876686260
|
||||
|
||||
R1 (probes=8) turn 28 pre 16f63adbf383946db17c381998957172bca803406b7df78f3b03805fef0bbcb8
|
||||
turn 28 post 01d6367e051cec539a9266b95b5f41cd1d6434bc8c100c96e8008fc59268da9c
|
||||
turn 29 pre 5b5618ad1557ae346dc1624ccea38485e3afac967134c7517b17a50dbc88a807
|
||||
turn 29 post bf6eec6d4a70a3a6d80baf8df12d6f1cc87ad66d948233adcc7a259d829c4248
|
||||
```
|
||||
|
||||
The **pre**-turn autosave is byte-identical in all three processes and across both configurations —
|
||||
the load path is deterministic and the instrument does not touch it. The **post**-turn autosave is
|
||||
different in all three. **So there is no oracle pair for this state and no rung-A calibration pair
|
||||
came out of this lane** (rule 26: a control that varies exonerates nothing, and one instrumented run
|
||||
agreeing with one control run would be a `1/k` coincidence, not evidence).
|
||||
|
||||
**But the variation is localised, and it is not where the measurement lives.** The state-checksum
|
||||
tool (`--floats bits --mask none`) on OA vs OB reports **94 leaf differences**, and on R1 vs OA the
|
||||
**same 94**, of the same shape:
|
||||
|
||||
| where | leaves |
|
||||
|---|---|
|
||||
| `Player[32 "The Eternal Empire"]` — `ShipRecs`, `odes`, `designs`, `Sav`, `Maint`, `PvSav`, `FNGNum` | 41 |
|
||||
| AI fleets (`Sigma/Tau/Upsilon/Phi/Chi/Psi Fleet VI`, ids and `Pos`/`FtOrig`/`FPlan`) | ~35 |
|
||||
| AI build queues (`Sys[368]/BQ`, `Sys[272]/BQ`) | 4 |
|
||||
| `turnstats/history` rows for player 32 | 4 |
|
||||
| `/Sim/ModCount`, `/Sim/NumFlts`, `/Sim/DesignIDs[]`, `/Sim/FleetIDs[]`, `/Sim/ShipIDs[]`, `/Summary/Checksum` | 6 |
|
||||
|
||||
Every one of them is the AI empire deciding differently — the per-process AI seed rule 26 pinned on
|
||||
`turn1-state`, at turn 27 with a much larger AI. **Nothing else moves.** The digests that matter,
|
||||
printed by `state_checksum.py --tree`, are bit-identical in **all three** post-turn saves:
|
||||
|
||||
```
|
||||
/Sim/RNG 1e458a997f51bbdf (the serialised strategic generator, 2503 B)
|
||||
/Sim/trdmgr 89643da6fabb386b (all six trade sectors and all three route records, 180 leaves)
|
||||
```
|
||||
|
||||
and there is **no leaf under any trade sector, no `trdmgr` leaf, and no player-0 fleet leaf** in
|
||||
either diff.
|
||||
|
||||
So the defensible statement, which is weaker than an oracle pair and much stronger than nothing:
|
||||
|
||||
> **Three fresh processes — two un-instrumented, one carrying the full `probes=8` + `draw_sites` +
|
||||
> boundary-ledger instrument — agree bit-for-bit on the strategic generator's serialised state, on
|
||||
> the entire trade manager, and on every fleet this measurement is about. They disagree only on the
|
||||
> AI empire's design and build choices.**
|
||||
|
||||
That is a rule-19 result as well as a rule-26 one: **on this state the instrument is
|
||||
behaviour-neutral on every leaf outside the AI-decision sub-tree, including the generator itself.**
|
||||
It does not license calling `ad-turn27-two-raiders.sav` a calibration pair, and I am not proposing
|
||||
it as one.
|
||||
|
||||
**What would make one.** The variation is a *client AI* decision, and `--turn-commands` replay runs
|
||||
no AI (`command_replay.h:83`). A Rung-B pair captured from this state with the command stream
|
||||
recorded should be reproducible even though the Rung-A pair is not — that is a cheap, concrete next
|
||||
step for whoever owns the standalone, and it is the only way this state becomes calibration data.
|
||||
|
||||
---
|
||||
|
||||
## 6. The sector-816 probe the coordinator asked for — named, costed, **not run**
|
||||
|
||||
Mid-lane the coordinator redirected: move the raider from sector 6 (`TradeID 832`) to **sector 5
|
||||
(`TradeID 816`)**, which *does* source routes, so `B` can reach `0x0088b613`. That is the right
|
||||
experiment and I did not run it. The reason is geometric and it is worth writing down, because it is
|
||||
not obvious from the saves and it will otherwise cost the next lane the same hour.
|
||||
|
||||
**Every sector that sources a route is out of range of this empire.** Trade-sector node positions
|
||||
and my two colonies, from `ad-turn27-two-raiders.sav`; the hull range of every cruiser I can build
|
||||
is **9.0 ly**, and the fleet panel's `Range: 4.0 (4.0)` on the raiders at sector 6 confirms range is
|
||||
consumed cumulatively from the last supply point:
|
||||
|
||||
| sector | sources a route at turn 27? | from Epsilon Eridani (idx 0, home) | from Downbelow (idx 12, my only other colony) |
|
||||
|---|---|---|---|
|
||||
| 752 | no | 12.85 | 8.43 |
|
||||
| 768 | **yes** (`trfr 14`, ×2) | 11.53 | **10.14** |
|
||||
| 784 | no | 9.36 | 3.49 |
|
||||
| 800 | no | 9.37 | 11.77 |
|
||||
| **816** | **yes** (`trfr 18`) | **15.66** | **12.12** |
|
||||
| 832 | no | 4.99 | 4.56 |
|
||||
|
||||
The two in-range sectors (832 at 4.56, 784 at 3.49) source nothing; the two that source routes are
|
||||
10.14 and 12.12 ly away against a 9.0 ly hull. Confirmed from the UI as well: with Trade View on,
|
||||
**only sector 6's cube is drawn on the map at any zoom**, so no other sector node is even a
|
||||
clickable move target from where this empire stands.
|
||||
|
||||
**The workload that would reach it, costed from the Build screen.** The player's stock
|
||||
**`Extended Range` destroyer** has **`Range 27.0`**, construction cost 2,252, node speed 4.0
|
||||
(screenshot `s9`). One of those, built at Epsilon Eridani, reaches sector 816's node (15.66 ly, ~4
|
||||
turns at node speed 4.0) or sector 768's (11.53 ly, ~3 turns). Build is ~1–2 turns at this colony's
|
||||
3,985/turn ship-construction budget. **So the probe is ~6 turns of play from
|
||||
`ad-turn27-two-raiders.sav`, and it needs nothing that is not already unlocked.**
|
||||
|
||||
Two warnings for whoever runs it, both from arithmetic rather than opinion:
|
||||
|
||||
* A **destroyer** takes the `nDE` branch: `odds = 0.05000000074505806 + 0.009999999776482582 = 0.06`,
|
||||
doubled to **0.12** if sector 816's AI `Freighters` fleet satisfies `freighterInSector`. That is a
|
||||
**1-in-8 chance per fleet per turn** of `A` succeeding, and `B` only runs on a success. At 0.12,
|
||||
four turns with one fleet is a 40% chance of ever seeing `B` — **send several fleets, or expect to
|
||||
measure a lot of turns.** A cruiser would be 0.21 (0.42 doubled) but cannot get there; a custom
|
||||
cruiser design carrying the `Extended Range` mission section would fix that, at the cost of driving
|
||||
the Design screen.
|
||||
* Sector 816's `tsct` is **2** — bit 1, the *AI's* index, not mine — so `TradeSector_PlayerTradesHere`
|
||||
is false for player 0 and **no `FtFlg & 0x800` is required**, exactly as on sector 832. `tscr` is
|
||||
253 there too. The gate is otherwise identical; only `G_B1b` changes.
|
||||
|
||||
**Corpus count for the sector-816 predicate: still 0 of 22.** Nothing here changes that, and my zero
|
||||
on `0x0088b613` is a zero *on sector 832*, where `G_B1b` provably fails — it is not a zero on the
|
||||
predicate AG named.
|
||||
|
||||
---
|
||||
|
||||
## 7. Coverage and what was not done (rule 15)
|
||||
|
||||
* **Two instrumented turns, one process, two fleets, one sector, one ship per fleet, one hull
|
||||
class.** The multiplicity claim rests on 1 → 2, not on a curve. A third fleet was built and was
|
||||
sitting at the home system throughout (`Gamma Fleet`, `LocID 48`); ordering it to sector 6 and
|
||||
re-measuring would give the 3-point curve cheaply and was not done.
|
||||
* **The `design+0x12c > 1` short-circuit is still unpriced.** The Dreadnought category is empty in
|
||||
this game, so no such hull exists to build. It stays a static read.
|
||||
* **`B`'s inner `NextInt` (`0x0088b613`) and `FUN_00820af0`'s `NextFloat` (`0x00820c1b`) are still
|
||||
unfired**, here as everywhere. §6 is the recipe.
|
||||
* **The freighter doubling is untested.** Sector 832 has no freighter, so `param_2` was false on
|
||||
every roll this lane took, and the `odds + odds` branch was never entered.
|
||||
* **`bestScale` was 1.0 on every roll** — no ship carried flag `0x100000`, so the 0.33 multiplier is
|
||||
a static read only.
|
||||
* **The spy half is untouched**, as instructed.
|
||||
* **One accidental UI action, disclosed:** during the sector-816 feasibility check I mis-clicked the
|
||||
savings/research slider on the map panel in a throw-away `hooks=off` session. That session was
|
||||
discarded and **no save used in §3 or §5 descends from it** — R1, OA and OB all load
|
||||
`ad-turn27-two-raiders.sav` from disk in a fresh process.
|
||||
* **No probe wanted `probes=11`.** Nothing in this lane needed an index above 7; the four
|
||||
uninstalled rows are reported as NOT INSTALLED and never as zeros.
|
||||
|
||||
---
|
||||
|
||||
## 8. Artifacts
|
||||
|
||||
| what | where |
|
||||
|---|---|
|
||||
| input state, two raiders on sector 6, turn 27 | `verify/results/saves/ad-turn27-two-raiders.sav` |
|
||||
| `probes=8` trace, two instrumented End Turns | `verify/traces/ad-r1-turn28-turn29.jsonl` |
|
||||
| shim log for R1 (probe/drawsite install status) | `verify/results/shim/ad/ad-r1-shim.log` |
|
||||
| control autosaves, two fresh `hooks=off` processes | `verify/results/saves/ad-oracle-{A,B}-post.sav` |
|
||||
| leaf-level diff of the two controls | `verify/results/state-checksum/ad-oracleA-vs-oracleB.txt` |
|
||||
| instrument | `sots-engine` `src/shim/shim.cfg.hp8`, **unchanged**; build `ad-0c6d0a3-20260909T0159Z` |
|
||||
| build tree | CT111 `/srv/re-lab/build/sots-engine-ad` (`rm -rf`'d before the build; dist `/srv/re-lab/shim/dist-ad`) |
|
||||
|
||||
**New content for the coverage ratchet (rule 27):** nothing new in kind — the same `CnRad`,
|
||||
`tscr = 253` and non-star `Flt.LocID` lane AC's saves already carry, now with **two** fleets at one
|
||||
sector node and `tsnumflt = 2` naming both.
|
||||
|
||||
## 9. VM141 as left
|
||||
|
||||
Guest **restored** and the hold **released**. The game is stopped; `C:\SOTS\shim.cfg` is
|
||||
`shim.cfg.hoff`; `C:\SOTS\binkw32.dll` is this lane's build; `C:\SOTS\SavedGames` is back to the
|
||||
13-file set lane AC left (byte-identical, verified by sha256 against
|
||||
`C:\SOTS\SavedGames-adstash`, which has been removed) **plus** `ad-turn27-two-raiders.sav`, so
|
||||
**Load-dialog row positions have moved again — screenshot the dialog, do not reuse a remembered
|
||||
row.** Left in place, all additive and harmless: `C:\SOTS\shimdist-ad`, `C:\SOTS\ui\ad-*.ps1`
|
||||
(`ad-go.ps1` takes `-Cfg`, `ad-ui.ps1` writes `cmd.txt` and runs the helper once) and this lane's
|
||||
intermediate saves and traces under `C:\SOTS\ui\ad-*`. `click_helper.ps1` is **unmodified** from lane
|
||||
AC's version.
|
||||
|
||||
**Two things that cost this lane time, for the next holder:**
|
||||
|
||||
* **Startup is ~4½ minutes on this guest, not 60 seconds**, and the intro is three separate movies.
|
||||
`qm sendkey 141 esc` skips them but only once the movie has focus; the reliable form is the click
|
||||
helper's `fg` + `key {ESC}` repeated three times, then wait ~90 s more for the main menu. Loading a
|
||||
turn-27 save is a further **3–4 minutes**. Budget ~9 minutes per run before the first End Turn, and
|
||||
screenshot at every step — a QMP `screendump ... -f png` is fresh and cheap.
|
||||
* **The `End Turn` click after leaving Move mode is swallowed once.** The first click exits the mode;
|
||||
the turn only starts on the second. Screenshot for the progress bar rather than assuming.
|
||||
|
||||
---
|
||||
|
||||
## Proposed board rows
|
||||
|
||||
New row:
|
||||
|
||||
```
|
||||
| The trade-raid roll is PER FLEET: 2 raiders on one sector = 2 entries, 2 words; B returns without drawing | control-flow | verified | high | 100% | 2026-09-08 | Lane AD, VM141, `findings/control-flow/raid-gate-multiplicity.md`. Two single-cruiser fleets parked on sector 6 (TradeID 832) from ac-turn22-raider.sav: `TradeManager::Slot13RngCalleeA` entered **2x** per End Turn on BOTH measured turns against lane AC's 1, `OnAllCombatDone_Tail` costs **2** words against AC's 1, and the return-address ledger prices the site exactly - 0x00820e18 calls=2 words=2, bracket residual 0. H-sector (one roll per sector) is DEAD; the cost is `sum over qualifying fleets`. `vslot13` is still entered ONCE per turn, so the multiplicity is the caller's loop over StrategyServer+0x64, exactly as AC read it. Instrument `probes=8` (the byte-neutral set - NOT 11), shim `ad-0c6d0a3-20260909T0159Z`, cfg shim.cfg.hp8 unmodified, own build dir /srv/re-lab/build/sots-engine-ad rm -rf'd first. CONSTANTS READ FROM THE IMAGE (rule 23, all WIDENED FLOATS): ODDS_CR 0x009e20d8 = (double)0.2f, ODDS_DE 0x009e5060 = (double)0.05f, PER_SHIP 0x009e31c0 = (double)0.01f, and a per-ship scale 0x009f8d48 = 0.33f that REDUCES the odds when ship+0x18 & 0x100000. One-cruiser fleet odds = 0.21000000275671482; six rolls across AC+AD gave two successes (expectation 1.26) - consistent, not validated. `Slot13RngCalleeB` entered 1x on turn 28 and cost **0 words** by return-address attribution - and lane AG's reading that RNG_NextInt has NO zero-bound early-out turns that into a PROOF that B returned before its target pick, i.e. the candidate list was empty (G_B4), reproduced with a fleet AC never had. trdmgr holds 3 routes, trfr 18/14/14, sourced in sectors 816 and 768 - NONE in 832 |
|
||||
```
|
||||
|
||||
```
|
||||
| NO ORACLE PAIR for the turn-27 raider state - the control varies, but ONLY in the AI's decisions, and /Sim/RNG is bit-identical across three processes | meta | verified | high | 100% | 2026-09-08 | Lane AD (rule 26). Two `hooks=off` runs of one End Turn from ad-turn27-two-raiders.sav in two fresh processes gave DIFFERENT post-turn autosaves (a634510e / 676b1778); the pre-turn autosave is byte-identical in all three processes (16f63adb), so the load path is deterministic and the divergence is inside the turn. So NO rung-A calibration pair came out of this state and none is proposed. BUT the state-checksum localises the variation completely: 94 leaves, ALL of them Player[32 "The Eternal Empire"] designs/ShipRecs/odes/build queues/fleet ids and positions, plus ModCount, NumFlts, the three id lists and Summary.Checksum. `/Sim/RNG` = 1e458a997f51bbdf and `/Sim/trdmgr` = 89643da6fabb386b in ALL THREE post-turn saves (two hooks=off and one probes=8), and NO trade-sector, trdmgr or player-0 fleet leaf appears in either diff. Two consequences: (a) every number lane AD reports is read off a sub-tree the control reproduces bit-for-bit; (b) RULE 19, on this state: the probes=8 + draw_sites + boundary-ledger instrument is behaviour-neutral on every leaf OUTSIDE the AI-decision sub-tree, including the serialised strategic generator. The named next step is a RUNG B pair - `--turn-commands` replay runs no AI, so a captured command stream should make this state reproducible where Rung A cannot |
|
||||
```
|
||||
|
||||
```
|
||||
| Sector 816 is UNREACHABLE from lane AC's empire - the AG probe needs a 27 ly hull, and one is already buildable | control-flow | verified | high | 100% | 2026-09-08 | Lane AD, measured from ad-turn27-two-raiders.sav geometry + the Build screen. Node distances from the human's only two colonies (Epsilon Eridani idx 0, Downbelow idx 12) against a 9.0 ly cruiser range: sector 816 = 15.66 / 12.12, sector 768 = 11.53 / 10.14, sector 752 = 12.85 / 8.43, sector 800 = 9.37 / 11.77, sector 784 = 9.36 / 3.49, sector 832 = 4.99 / 4.56. The only two sectors IN range (832, 784) source no route; the only two that source routes (816 via trfr 18, 768 via trfr 14 x2) are out of range. With Trade View on, only sector 6's cube renders at any zoom, so no other sector node is even a clickable move target. THE FIX IS ALREADY UNLOCKED: the stock `Extended Range` DESTROYER has Range 27.0, construction cost 2,252, node speed 4.0 - ~1-2 turns to build, ~4 turns to sector 816's node, so AG's probe is ~6 turns of play and needs no research. TWO WARNINGS: a destroyer takes the nDE odds branch, 0.05f + 0.01f = 0.06 (0.12 if the AI Freighters fleet in 816 satisfies the doubling), i.e. a 1-in-8 success per fleet per turn - send several fleets or measure many turns; and sector 816's tsct = 2 is the AI's bit, not player 0's, so no FtFlg & 0x800 is required there, exactly as on 832 |
|
||||
```
|
||||
|
||||
Edits to existing rows:
|
||||
|
||||
- **Row 62** (guest holders) — `VM141 = FREE (lane AD released 2026-09-08; guest restored, SavedGames back to AC's 13-file set byte-identical PLUS ad-turn27-two-raiders.sav, so Load-dialog rows have moved AGAIN - screenshot the dialog. Lane AD left C:\SOTS\shimdist-ad + C:\SOTS\ui\ad-*.ps1; click_helper.ps1 unmodified. GOTCHA: startup on this guest is ~4.5 min through THREE intro movies (fg + key {ESC} x3 via the click helper, then ~90 s), and loading a turn-27 save is a further 3-4 min - budget ~9 min per run before the first End Turn. GOTCHA: the first End Turn click after leaving Move mode is swallowed exiting the mode; the turn starts on the second click.)`
|
||||
- **Row 207** — append: `PRICED 2026-09-08 (lane AD): 0x00820e18 costs ONE WORD PER QUALIFYING FLEET, not one per sector - two raiders on one sector give calls=2 words=2. 0x0088b613 (B's NextInt) still UNFIRED and now known to be a proof-carrying zero: RNG_NextInt has no zero-bound early-out (lane AG), so B costing 0 words means B never reached the pick.`
|
||||
- **Row 399** — append: `Lane AD reproduced AC's B-at-zero-words with a SECOND, independent fleet and read the failed conjunct out of the save: trdmgr's three routes have trfr 18/14/14, sourced in sectors 816 and 768, none in 832 - G_B1b, exactly as lane AG decoded. AD's data does NOT distinguish AG's per-system vs sector-indexed reading of TradeManager+0x0c: on sector 832 both predict the same zero.`
|
||||
- **Row 186** (`RNG LEDGER CLOSED`) — append to the existing qualification: `Lane AD 2026-09-08: the tail site's cost is not a constant at all - it is one word per permitted raider parked on a sector node, measured at 2 with two fleets. Any per-turn tail figure is a statement about the fleet count in that state.`
|
||||
|
|
|
|||
BIN
verify/results/saves/ad-oracle-A-post.sav
Normal file
BIN
verify/results/saves/ad-oracle-A-post.sav
Normal file
Binary file not shown.
BIN
verify/results/saves/ad-oracle-B-post.sav
Normal file
BIN
verify/results/saves/ad-oracle-B-post.sav
Normal file
Binary file not shown.
BIN
verify/results/saves/ad-turn27-two-raiders.sav
Normal file
BIN
verify/results/saves/ad-turn27-two-raiders.sav
Normal file
Binary file not shown.
119
verify/results/shim/ad/ad-r1-shim.log
Normal file
119
verify/results/shim/ad/ad-r1-shim.log
Normal file
|
|
@ -0,0 +1,119 @@
|
|||
22:19:04.382 [tid 9080] ==== sots-engine shim (binkw32 proxy) build ad-0c6d0a3-20260909T0159Z ====
|
||||
22:19:04.382 [tid 9080] exe: C:\SOTS\Sword of the Stars.exe
|
||||
22:19:04.382 [tid 9080] exe base=0x00210000 (link-time image base 0x00400000, ASLR delta -2031616) pid=3752 shim=72a60000
|
||||
22:19:04.382 [tid 9080] addresses: Source: sots-re ghidra/addresses.json @ bdaa26f, generated 2026-09-08 by tools/gen_addresses.py
|
||||
22:19:04.397 [tid 9080] config: hooks=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Shim::SelfTest::Fill=off
|
||||
22:19:04.397 [tid 9080] config: hook.Mars::GlobalConsts::LoadFile=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::WeaponDictionary::Init=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::SectionDictionary::SectionDictionary=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::ServerPlayer::ComputeBudget=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::TechTree::ProcessResearch=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::ServerPlayer::OnTechResearched=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::ServerSystem::ProcessTurn=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::ServerPlayer::ProcessTurn=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::ServerSystem::GroupOutput=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::ServerSystem::ComputeTotalOutput=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::MoveFleet=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::ProcessFleetMovement=off
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyHost::Autosave=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::ProcessTurn=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::OnAllCombatDone_Tail=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::ApplyEncounterResult=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::NodeLineDecay=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::StrategyServer::ProcessNodeSpaceTravel=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::EncounterDetect::AssignContacts=trace
|
||||
22:19:04.397 [tid 9080] config: hook.Game::EncounterDetect::ProcessTeamRecord=trace
|
||||
22:19:04.397 [tid 9080] config: fpu.sample_turn=off
|
||||
22:19:04.397 [tid 9080] config: fpu.sample_ticks=off
|
||||
22:19:04.397 [tid 9080] config: trace.inline_max=64
|
||||
22:19:04.397 [tid 9080] config: trace.path=C:\SOTS\shim.trace.jsonl
|
||||
22:19:04.397 [tid 9080] config: trace.flush=always
|
||||
22:19:04.397 [tid 9080] config: probes=8 -> 8 lane-H entry probes
|
||||
22:19:04.460 [tid 9080] trace: C:\SOTS\shim.trace.jsonl (default mode trace, inline_max 64, flush always)
|
||||
22:19:04.460 [tid 9080] hook: Mars_Application_Initialize rva=0x004a0e50 -> va=006b0e50
|
||||
22:19:04.460 [tid 9080] hook: MH_Initialize -> MH_OK
|
||||
22:19:04.460 [tid 9080] hook: MH_CreateHook -> MH_OK (trampoline=009d0fe0)
|
||||
22:19:04.476 [tid 9080] hook: MH_EnableHook -> MH_OK
|
||||
22:19:04.476 [tid 9080] cfg: GlobalConsts hook ready (scale constant 0.017453292519943295)
|
||||
22:19:04.476 [tid 9080] hook: Mars::GlobalConsts::LoadFile rva=0x004b73c0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] dict: dictionaries hook ready (crt new=74b3232b delete=74b30174)
|
||||
22:19:04.476 [tid 9080] hook: Game::WeaponDictionary::Init rva=0x0019a4c0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::SectionDictionary::SectionDictionary rva=0x00176f40 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] research: ProcessResearch hook ready (Cost=0038da00, node=0x34, rng=0x9cc, fpu_cw=0x027f)
|
||||
22:19:04.476 [tid 9080] hook: Game::TechTree::ProcessResearch rva=0x001876c0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] techfx: OnTechResearched hook ready (regions=15, gate=0/0, fpu_cw=0x027f)
|
||||
22:19:04.476 [tid 9080] hook: Game::ServerPlayer::OnTechResearched rva=0x00491790 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::ServerPlayer::ComputeBudget rva=0x00463030 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::ServerSystem::ProcessTurn rva=0x003598e0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::ServerSystem::GroupOutput rva=0x0034b7a0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::ServerSystem::ComputeTotalOutput rva=0x00350480 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] player_turn: ServerPlayer::ProcessTurn hook armed (ratio helper at 0038e950)
|
||||
22:19:04.476 [tid 9080] hook: Game::ServerPlayer::ProcessTurn rva=0x00491340 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::StrategyServer::MoveFleet rva=0x003d9ee0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::StrategyServer::ProcessFleetMovement rva=0x003da9a0 mode=off (not installed)
|
||||
22:19:04.476 [tid 9080] hook: Game::StrategyHost::Autosave rva=0x00495210 -> va=006a5210 MH_CreateHook -> MH_OK (trampoline=009d0fc0)
|
||||
22:19:04.491 [tid 9080] hook: Game::StrategyHost::Autosave MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.491 [tid 9080] hook: Game::StrategyServer::ProcessTurn rva=0x003dc6c0 -> va=005ec6c0 MH_CreateHook -> MH_OK (trampoline=009d0fa0)
|
||||
22:19:04.507 [tid 9080] hook: Game::StrategyServer::ProcessTurn MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.507 [tid 9080] hook: Game::StrategyServer::OnAllCombatDone_Tail rva=0x003d92a0 -> va=005e92a0 MH_CreateHook -> MH_OK (trampoline=009d0f80)
|
||||
22:19:04.522 [tid 9080] hook: Game::StrategyServer::OnAllCombatDone_Tail MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.522 [tid 9080] hook: Game::StrategyServer::ApplyEncounterResult rva=0x003d8920 -> va=005e8920 MH_CreateHook -> MH_OK (trampoline=009d0f60)
|
||||
22:19:04.538 [tid 9080] hook: Game::StrategyServer::ApplyEncounterResult MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.538 [tid 9080] hook: Game::StrategyServer::NodeLineDecay rva=0x003ae010 -> va=005be010 MH_CreateHook -> MH_OK (trampoline=009d0f40)
|
||||
22:19:04.554 [tid 9080] hook: Game::StrategyServer::NodeLineDecay MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.554 [tid 9080] hook: Game::StrategyServer::ProcessNodeSpaceTravel rva=0x003a0e20 -> va=005b0e20 MH_CreateHook -> MH_OK (trampoline=009d0f20)
|
||||
22:19:04.569 [tid 9080] hook: Game::StrategyServer::ProcessNodeSpaceTravel MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.569 [tid 9080] hook: Game::EncounterDetect::AssignContacts rva=0x003aa240 -> va=005ba240 MH_CreateHook -> MH_OK (trampoline=009d0f00)
|
||||
22:19:04.585 [tid 9080] hook: Game::EncounterDetect::AssignContacts MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.585 [tid 9080] hook: Game::EncounterDetect::ProcessTeamRecord rva=0x003ca640 -> va=005da640 MH_CreateHook -> MH_OK (trampoline=009d0ee0)
|
||||
22:19:04.601 [tid 9080] hook: Game::EncounterDetect::ProcessTeamRecord MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.601 [tid 9080] hook: Game::StrategyServer::BeginProcessTurn rva=0x003d98e0 -> va=005e98e0 MH_CreateHook -> MH_OK (trampoline=009d0ec0)
|
||||
22:19:04.616 [tid 9080] hook: Game::StrategyServer::BeginProcessTurn MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.616 [tid 9080] hook: Game::SVSOSwarmQueen::OnTurnBegin rva=0x00129930 -> va=00339930 MH_CreateHook -> MH_OK (trampoline=009d0ea0)
|
||||
22:19:04.632 [tid 9080] hook: Game::SVSOSwarmQueen::OnTurnBegin MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.632 [tid 9080] hook: Game::SVSOSwarmQueen::RegisterHives rva=0x00127630 -> va=00337630 MH_CreateHook -> MH_OK (trampoline=009d0e80)
|
||||
22:19:04.647 [tid 9080] hook: Game::SVSOSwarmQueen::RegisterHives MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.647 [tid 9080] hook: Game::SVSOSwarmQueen::TickHives rva=0x00127770 -> va=00337770 MH_CreateHook -> MH_OK (trampoline=009d0e60)
|
||||
22:19:04.663 [tid 9080] hook: Game::SVSOSwarmQueen::TickHives MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.663 [tid 9080] hook: Game::SVSOSlaversRefuel::UpdateDifficultyTier rva=0x00115820 -> va=00325820 MH_CreateHook -> MH_OK (trampoline=009d0e40)
|
||||
22:19:04.679 [tid 9080] hook: Game::SVSOSlaversRefuel::UpdateDifficultyTier MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.679 [tid 9080] hook: Mars::RNG::Seed rva=0x0009fdf0 -> va=002afdf0 MH_CreateHook -> MH_OK (trampoline=009d0e20)
|
||||
22:19:04.694 [tid 9080] hook: Mars::RNG::Seed MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.694 [tid 9080] hook: Game::StrategyApp::RunAI rva=0x004706f0 -> va=006806f0 MH_CreateHook -> MH_OK (trampoline=009d0e00)
|
||||
22:19:04.710 [tid 9080] hook: Game::StrategyApp::RunAI MH_EnableHook -> MH_OK mode=trace
|
||||
22:19:04.726 [tid 9080] drawsite: Mars::RNG::NextFloat rva=0x0007d830 -> va=0028d830 create=MH_OK enable=MH_OK
|
||||
22:19:04.741 [tid 9080] drawsite: Mars::RNG::NextInt rva=0x000271c0 -> va=002371c0 create=MH_OK enable=MH_OK
|
||||
22:19:04.757 [tid 9080] drawsite: Mars::RNG::Chance rva=0x004e6dd0 -> va=006f6dd0 create=MH_OK enable=MH_OK
|
||||
22:19:04.772 [tid 9080] drawsite: Mars::RNG::NextUInt rva=0x000f7670 -> va=00307670 create=MH_OK enable=MH_OK
|
||||
22:19:04.788 [tid 9080] drawsite: Mars::RNG::FloatRange rva=0x0007d8a0 -> va=0028d8a0 create=MH_OK enable=MH_OK
|
||||
22:19:04.804 [tid 9080] drawsite: Mars::RNG::IntRangeBell rva=0x004e6d80 -> va=006f6d80 create=MH_OK enable=MH_OK
|
||||
22:19:04.819 [tid 9080] drawsite: Mars::RNG::GaussianRange rva=0x004e6e30 -> va=006f6e30 create=MH_OK enable=MH_OK
|
||||
22:19:04.819 [tid 9080] probe: installing 8 of 12 (probes= in shim.cfg)
|
||||
22:19:04.835 [tid 9080] probe: Game::ServerSpyManager::vslot13 rva=0x004877b0 -> va=006977b0 create=MH_OK enable=MH_OK
|
||||
22:19:04.851 [tid 9080] probe: Game::ServerSpyManager::vslot14 rva=0x0048db80 -> va=0069db80 create=MH_OK enable=MH_OK
|
||||
22:19:04.866 [tid 9080] probe: Game::ServerTradeManagerImpl::vslot13 rva=0x0048ef80 -> va=0069ef80 create=MH_OK enable=MH_OK
|
||||
22:19:04.882 [tid 9080] probe: Game::ServerTradeManagerImpl::vslot15 rva=0x0042cca0 -> va=0063cca0 create=MH_OK enable=MH_OK
|
||||
22:19:04.897 [tid 9080] probe: Game::SpyManager::Slot13RngCallee rva=0x004408e0 -> va=006508e0 create=MH_OK enable=MH_OK
|
||||
22:19:04.913 [tid 9080] probe: Game::TradeManager::Slot13RngCalleeA rva=0x00420ca0 -> va=00630ca0 create=MH_OK enable=MH_OK
|
||||
22:19:04.929 [tid 9080] probe: Game::TradeManager::Slot13RngCalleeB rva=0x0048b440 -> va=0069b440 create=MH_OK enable=MH_OK
|
||||
22:19:04.944 [tid 9080] probe: Game::ServerTradeManager::CreateRaidEncounter rva=0x004938a0 -> va=006a38a0 create=MH_OK enable=MH_OK
|
||||
22:19:04.944 [tid 9080] watch: disabled (watch=off)
|
||||
22:19:04.944 [tid 9080] aiorders: disabled (aiorders=off)
|
||||
22:19:04.944 [tid 9080] fpu: module init, entry cw=0x027f 53bit-double/nearest; force=off value=0x0000 sample_ticks=off
|
||||
22:19:04.944 [tid 9080] fpu: sample_turn=off (off releases StrategyServer::ProcessTurn for another hook)
|
||||
22:19:04.944 [tid 9080] fpu: StrategyClient::EndTurn rva=0x00383be0 -> va=00593be0 MH_CreateHook -> MH_OK (trampoline=009d0c00)
|
||||
22:19:04.960 [tid 9080] fpu: StrategyClient::EndTurn MH_EnableHook -> MH_OK
|
||||
22:19:04.960 [tid 9080] fpu: StrategyServer::BeginProcessTurn rva=0x003d98e0 -> va=005e98e0 MH_CreateHook -> MH_ERROR_ALREADY_CREATED (trampoline=00000000)
|
||||
22:19:04.960 [tid 9080] fpu: StrategyServer::ProcessTurn rva=0x003dc6c0 not installed (sampler off)
|
||||
22:19:04.960 [tid 9080] fpu: DemoApp::OnTick rva=0x0049a640 not installed (sampler off)
|
||||
22:19:04.960 [tid 9080] selftest: Shim::SelfTest::Fill mode=off checksum=075ef0c3 records=0
|
||||
22:19:04.976 [tid 9080] Application::Initialize called (this=02e88128)
|
||||
22:23:40.689 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=0de28f48): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:23:43.814 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=326fba80): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:23:43.845 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=326fe630): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:23:43.892 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=326fc910): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:25:25.392 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=0de28f48): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:25:28.548 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=326fba80): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:25:28.548 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=326fe630): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
22:25:28.595 [tid 9080] fpu: sample at StrategyClient::EndTurn (this=326fc910): cw=0x127f 53bit-double/nearest [no fpu.force configured]
|
||||
98
verify/results/state-checksum/ad-oracleA-vs-oracleB.txt
Normal file
98
verify/results/state-checksum/ad-oracleA-vs-oracleB.txt
Normal file
|
|
@ -0,0 +1,98 @@
|
|||
A 1faf04cad2bbf2d7e5ecf560b8807504 /tmp/claude-1000/-home-alex/ec8e34f8-af37-4ef2-a309-ed6a15293097/scratchpad/ad-oA-post.sav
|
||||
B 53043168ad03cae13355db9f5f381b50 /tmp/claude-1000/-home-alex/ec8e34f8-af37-4ef2-a309-ed6a15293097/scratchpad/ad-oB-post.sav
|
||||
policy: floats=bits mask=none reader=74fd562c75e2679e
|
||||
DIVERGED: 94 leaf difference(s)
|
||||
/Summary/Checksum: -1043321805 -> 1995746704
|
||||
/Sim/DesignIDs[]: removed [2002], added [2018] (85 -> 85 entries)
|
||||
/Sim/FleetIDs[]: removed [], added [2002] (58 -> 59 entries)
|
||||
/Sim/ShipIDs[]: list-reordered
|
||||
/Sim/ModCount: 1496 -> 1500
|
||||
/Sim/turnstats/history/hist[1]/stats[27]/inc: 839755 -> 851157
|
||||
/Sim/turnstats/history/hist[1]/stats[27]/sav: 11167335 -> 11248465
|
||||
/Sim/turnstats/history/hist[1]/stats[27]/shpt[0]: 177 -> 178
|
||||
/Sim/turnstats/history/hist[1]/stats[27]/shpt[1]: 31 -> 30
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/Sav: 11167335 -> 11248465
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/Maint: 181500 -> 179000
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/FNG/FNGNum: 144 -> 145
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/PvSav: 10327580 -> 10397308
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srd[34]: only-in-B
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/src[34]: only-in-B
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[37]: only-in-B
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srl[37]: only-in-B
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[37]: only-in-B
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[0]: 268 -> 269
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[0]: 177 -> 178
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[1]: 31 -> 30
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[1]: 31 -> 30
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srbd: 34 -> 35
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[24]: 24 -> 27
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[24]: 16 -> 19
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[25]: 33 -> 31
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[25]: 18 -> 16
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[30]: 5 -> 4
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[30]: 5 -> 4
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[31]: 11 -> 10
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[31]: 11 -> 10
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srd[33]: 1826 -> 2018
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/srb[36]: 4 -> 1
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/ShipRecs/sri[36]: 4 -> 1
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/designs/Des[2002 "Bravestar Mk 3"]: only-in-A
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/designs/Des[2018 "Bravestar Mk 3"]: only-in-B
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[2]/odid: 770 -> 1106
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[3]/odid: 1106 -> 1042
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[4]/otnF: 28 -> 27
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[4]/odid: 1042 -> 226
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[5]/otnF: 27 -> 28
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[5]/odid: 226 -> 818
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[6]/odid: 818 -> 978
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[15]/odid: 1250 -> 1474
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[16]/odid: 978 -> 1250
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[17]/otnF: 27 -> 28
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[17]/odid: 962 -> 2018
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[18]/otnF: 28 -> 27
|
||||
/Sim/players/Player[32 "The Eternal Empire"]/odes/.[18]/odid: 1474 -> 962
|
||||
/Sim/systems/Sys[272 "Ko'Graapa"]/BQ/ords/.[desID=978]: only-in-A
|
||||
/Sim/systems/Sys[272 "Ko'Graapa"]/BQ/ords/.[desID=962]: only-in-B
|
||||
/Sim/systems/Sys[368 "Kao'Vaanu"]/Pop2/PopG/PopC: 699999970 -> 699999940
|
||||
/Sim/systems/Sys[368 "Kao'Vaanu"]/BQ/ords/.[desID=1474]/conleft: 4677 -> 6119
|
||||
/Sim/systems/Sys[368 "Kao'Vaanu"]/BQ/ords/.[desID=1474]/ordID: 304 -> 305
|
||||
/Sim/systems/Sys[384 "Ka'Trulmo"]/Flt[1]: 1970 -> 1986
|
||||
/Sim/NumFlts: 58 -> 59
|
||||
/Sim/fleets/Flt[7120 "Upsilon Fleet VI"]: only-in-A
|
||||
/Sim/fleets/Flt[7152 "Phi Fleet VI"]: only-in-A
|
||||
/Sim/fleets/Flt[7216 "Chi Fleet VI"]: only-in-A
|
||||
/Sim/fleets/Flt[2002 "Upsilon Fleet VI"]: only-in-B
|
||||
/Sim/fleets/Flt[7120 "Phi Fleet VI"]: only-in-B
|
||||
/Sim/fleets/Flt[7152 "Chi Fleet VI"]: only-in-B
|
||||
/Sim/fleets/Flt[7216 "Psi Fleet VI"]: only-in-B
|
||||
/Sim/fleets/Flt[1154 "Eta Fleet IV"]/NShips: 3 -> 2
|
||||
/Sim/fleets/Flt[1154 "Eta Fleet IV"]/ships/Ship[5264]: only-in-A
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/FPlan: only-in-B
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/Pos/.[0]: 1.013401746749878 -> 1.554553508758545 [4.53951e+06 ulp]
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/Pos/.[1]: 2.5877604484558105 -> -0.33745646476745605 [2.12772e+09 ulp]
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/Pos/.[2]: 1.1378376483917236 -> -0.12602603435516357 [2.10677e+09 ulp]
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/LocID: 384 -> 0
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/HFPlan: False -> True
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/FtTrans: 0 -> 1
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/FtOrig/.[0]: 0 -> 1.8894044160842896 (kind int -> float)
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/FtOrig/.[1]: 0 -> -2.147505760192871 (kind int -> float)
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/FtOrig/.[2]: 0 -> -0.9080725908279419 (kind int -> float)
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/FtFlg: 12 -> 13
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/PrvPos/.[0]: 1.013401746749878 -> 1.8894044160842896 [7.34844e+06 ulp]
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/PrvPos/.[1]: 2.5877604484558105 -> -2.147505760192871 [2.15057e+09 ulp]
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/PrvPos/.[2]: 1.1378376483917236 -> -0.9080725908279419 [2.13032e+09 ulp]
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/ships/Ship[6976]: only-in-A
|
||||
/Sim/fleets/Flt[1970 "Sigma Fleet VI"]/ships/Ship[5264]: only-in-B
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/FPlan: only-in-A
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/Pos/.[0]: -0.600679874420166 -> 1.013401746749878 [2.12412e+09 ulp]
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/Pos/.[1]: 2.8708744049072266 -> 2.5877604484558105 [1.18747e+06 ulp]
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/Pos/.[2]: 2.2843918800354004 -> 1.1378376483917236 [8.42517e+06 ulp]
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/LocID: 0 -> 384
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/HFPlan: True -> False
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/FtTrans: 1 -> 0
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/FtOrig/.[0]: 1.013401746749878 -> 0 (kind float -> int)
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/FtOrig/.[1]: 2.5877604484558105 -> 0 (kind float -> int)
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/FtOrig/.[2]: 1.1378376483917236 -> 0 (kind float -> int)
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/FtFlg: 13 -> 12
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/ships/Ship[6992]: only-in-A
|
||||
/Sim/fleets/Flt[1986 "Tau Fleet VI"]/ships/Ship[6976]: only-in-B
|
||||
35
verify/traces/ad-r1-turn28-turn29.jsonl
Normal file
35
verify/traces/ad-r1-turn28-turn29.jsonl
Normal file
File diff suppressed because one or more lines are too long
Loading…
Add table
Reference in a new issue