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

Compare commits

base: alex:a545f33cc734653a3c800f289785e46baaabcb02
Branches Tags
alex:main
..
compare: alex:ed73b9fe7adcb44f40ef79172dece4618fb496bb
Branches Tags
alex:main

No commits in common. "a545f33cc734653a3c800f289785e46baaabcb02" and "ed73b9fe7adcb44f40ef79172dece4618fb496bb" have entirely different histories.
a545f33cc7 ... ed73b9fe7a

6 changed files with 50 additions and 247 deletions
Show stats Expand all files Collapse all files

1
campaign/board.md
View file

@ -308,4 +308,3 @@ Status flow: `backlog → in-progress → mapped → verified` (or `blocked`).
| THE REFERENCE GAME IS NOT WHAT THE RECORD SAID | meta | verified | high | 100% | 2026-09-08 | Three corrections from the saves plus W2's log. (1) **`ref-turn2.sav` IS `turn2-state.sav`** - same 66,739 bytes, same sha256 - so W2's watchpoint measurement is of THE REFERENCE GAME and is directly comparable to the standalone's reference pair. (2) **THREE AI players, not one**: 32 (Fane Lao) and the two "dormant" Singularity players 496/512, which DO run - all three set ResRate 0.25->0.8 and picked a research target on turn 1. (3) **The four Species==4 monster factions submit NO COMMAND BLOCK AT ALL** - exactly four players go Status 0->4 and exactly four rate-gate bumps fire, the first direct evidence they have NO CLIENT rather than an empty task list. That third point also gives the Player.Status predicate a candidate shape (has-a-client vs not) with four positive instances |
| AI order emission scaffold + the submit latch | engine | verified | high | 90% | 2026-09-08 | `src/game/ai/orders.{h,cpp}` + `agent.{h,cpp}`, 233 -> **423 checks**, ctest 51/51 -> **53/53**: the command block, the order API with (fleetId, mode) dedup, the AI fleet-order bridge, BlockModCountCost/TurnModCountDelta, the 34-phase turn spine, and the two-pass walk with **pass-0 silence enforced AT THE CLIENT, not by trusting the caller**. **THE SUBMIT LATCH**: EndTurn sets client+0x15c BEFORE BuildTurnCommands, so **phases 29-33 are DEAD** - a literal port would emit AN EXTRA COLONIZE ORDER PER AI PER TURN. Two more cross-checks: **phase 2 is Hiver-only** (`cmp [player+0x5c],1` - a FIFTH independent confirmation of the species reading, and the reason gate +0x3c has never been seen set), and cl_SetResearchTarget is AI-ONLY surface with exactly one caller in the image. IT DECIDES NOTHING - which tasks exist and what each wants are board questions this module does not model (standing convention) |
| AI4's falsifiable turn1 prediction (probe routed) | verify | in-progress | — | 0% | 2026-09-08 | Committed BEFORE the build: turn1-state should also give 12, out of a DIFFERENT command set - 4 rate gates + 3 research targets + list 1 (new design) + list 3 (build) + list 5 (rates) + 2 drivers, with NO fleet order on turn 1. **The predicted trap multiset CONTAINS TWO EIPs W2 HAS NEVER SEEN AND OMITS THREE IT DID**, so the SET discriminates and a wrong model fails visibly rather than coincidentally landing on 12. One save swap on W2's unchanged watchpoint module; routed to lane W3. Specific falsifier: does 0x0088291a (list 1) fire? That is the difference between "the engine must emit a design COMMAND" and "a design OBJECT the build order merely names" |
| LAB EXPANDED: five Windows guests, not one | meta | verified | high | 100% | 2026-09-08 | **The single-VM constraint was shaping the work.** With one guest, VM lanes serialised and I defaulted to static analysis because static parallelises - which is exactly the habit rules 18 and 19 exist to counter, and the user had to say so twice. FIXED STRUCTURALLY: `zfs snapshot rpool/data/vm-140-disk-0@clone-base` then `zfs clone` per guest (instant, copy-on-write, ~0 extra space until divergence) + `qm create` with a fresh MAC. **VM140 (16c/12G, the reference, holds the oracle autosaves) + VM141, 144, 145, 146 (8-12c/10-12G each)**. Host has 40 cores and had 101 GB free. NOTE 142/143 were already CT ids - check `qm list` AND `pct list` before choosing. THE ORACLE GUEST IS STILL EXCLUSIVE: VM140 keeps the 8-file SavedGames set with the reference autosave bytes and the exclusivity rule; the clones are for probes, workload manufacture and multiplayer peers. A clone can be destroyed and re-cloned from the snapshot in seconds, which makes destructive experiments cheap for the first time |

38
findings/subsystems/formula-gaps.md
View file

@ -25,44 +25,6 @@ level changes (any change, 1↔2 included, resets it), and actions start the fol
Call sequence: `OnAllCombatDone_Tail` → … → `ProcessBankruptcy` → (later in the tail) `UpdateBankruptcyLimits`, so the
limits used by a turn's bankruptcy check are the ones computed at the end of the previous turn (and on load).
### Q1 addendum — lane PL, 2026-09-08: the two constants are stored at DIFFERENT WIDTHS
The pseudo-code above is right about the shape and hides the thing that matters. The two
constants of this one routine are loaded by two different opcodes:
```
DB 45 FC fild dword [ebp-4] ; maxIncome, left on the stack
DD 05 30 EC A2 00 fld qword [0x00a2ec30] ; DD /0 = m64fp -- a DOUBLE
D8 F9 fdivr st(0), st(1)
E8 D2 CB 10 00 call _ftol2 ; -> BnkEl
3D 00 6C CA 88 cmp eax, -2000000000 ; the clamp
8B 0D DC DF AE 00 mov ecx, [0x00aedfdc] ; the loader's pointer slot
D8 09 fmul dword [ecx] ; D8 /1 = m32fp -- a FLOAT32
E8 A5 CB 10 00 call _ftol2
F7 D8 neg eax ; -> BnkPr
```
* `0x00a2ec30` reads `00 00 00 40 33 33 C3 BF` = **-0.15000000596046448**, i.e.
`(double)(float)-0.15f`. Already known (lane N) and already in the engine.
* `g_BANKRUPTCY_PROTECTION_LIMIT_FACTOR` at `0x00b23e28`, reached through the pointer slot
`0x00aedfdc`, is read **`fmul dword ptr`**. So whatever decimal the data file carries for
that key is **narrowed to a 4-byte float before the multiply**. Writing `-ftol(3.3 * m)`
with a `double` 3.3 disagrees with the image at **every max income that is a multiple of
ten**, starting at `maxIncome = 10` (decimal 33.0 truncates to 33; the image's
3.299999952316284 gives 32.99999952, truncating to 32). Measured over 230,000..250,000:
2,000 of 20,000 values disagree — exactly 10%.
* The slot's file image is zero; the config loader fills it at run time, and
`find-cross-references` shows exactly one read site in the whole binary (this one) plus the
loader's own table entry at `0x009ba5df`. So the *width* is a binary fact and the *value* is
a data-file fact.
* **The corpus cannot see this.** All seven non-zero `BnkPr` records in the eleven saves
invert to a max income where the two constants truncate the same. It is rule 23's exact
shape: a difference that survives every observation we have and is still real. Fixed in
`sots-engine` (`ComputeBankruptcyLimits` narrows through `F32`), which moved three
hand-written test expectations and zero leaves.
Addresses filed in `ghidra/addresses.d/lane-pl.json`.
### Q1 addendum — lane K, 2026-09-08 (instruction-verified)
The call sequence above is now read off the instruction stream, with addresses:

118
findings/subsystems/players-residual.md
View file

@ -1,118 +0,0 @@
# The `/Sim/players` residual, decomposed <!-- subsystem -->
- **Type:** subsystem
- **Address / RVA:** n/a (a measurement over the save corpus; the one binary read is
`ServerPlayer::UpdateBankruptcyLimits` 0x00818600)
- **Status:** verified
- **Confidence:** high for the decomposition and the leaf counts; the `Status` predicate is
explicitly **not identifiable** and is flagged as such
- **Owner / date:** lane PL · 2026-09-08
## Purpose
Every lane so far attacked a named subsystem and reported which leaves fell out. This one runs
the other way: take the largest remaining block of the standalone's residual and say what the
leaves in it actually **are**, grouped by mechanism, so that no later lane has to re-derive it.
The full write-up, with the predictions written before the build and where they were wrong,
is `sots-engine/docs/PL-players-residual.md`. This note is the evidence and the numbers.
## The numbers (re-measured; the published breakdown was stale)
`sots_turn` from `sots-engine` main `aabd8a3`, `tools/standalone_report.py --binary …`:
| run | pair 1 | pair 2 | `/Sim/players` |
|---|---:|---:|---:|
| main, no options | 128 | 69 | **54 / 24** |
| main, `--commit-blocked=T31 --ai-player 1` | 126 | 67 | 52 / 22 |
| lane PL, no options | 126 | 65 | 52 / 20 |
| lane PL, `--data ROOT --commit-blocked=P11 --ai-player 1..3` | **122** | **62** | **48 / 17** |
`status.json` said 55. It is 54.
**53 of the 54 leaves on pair 1, and 23 of the 24 on pair 2, are values our turn writes back
unchanged from the input save.** Exactly one leaf in the whole block — player 32's `Sav` — is a
number we computed and got wrong. The block is *unmodelled*, not *mismodelled*, and a lane
looking for a formula error here will not find one.
## The decomposition
| # | mechanism | p1 | p2 | rung |
|---|---|---:|---:|---|
| M1 | AI research orders: `ResRate`, `ResTNm`, `ResErrRoll`, and the tech-tree state they move | 12 | 2 | B |
| M2 | AI ship construction: `ShipRecs/*`, `Maint`, `FNG/FNGNum`, `NumDes` + the new `Des[…]`, `lboid`, player 32's `Sav`/`PvSav` | 15 | 9 | B |
| M3 | Observation records refreshed by the AI's own new design: `odes`, `owep`, `otch/*/otnL` (T34, stub) | 9 | 1 | B |
| M4 | Events | 8 | 6 | 4/3 A + 4/3 B |
| M5 | `BnkEl`, `BnkPr` | 4 | 4 | A |
| M6 | `Status` | 4 | 0 | not identifiable |
| M7 | `PvSav` for the players M2 does not touch | 0 | 2 | A |
| M8 | player 528's one-off design `Des[1712 "Refugee Trade Ship"]` + `NumDes` | 2 | 0 | ? |
## The finding that matters most
**M3 is not an intel pass.** `RecordObservedDesigns` (T34) reads, on the reference workload, as
a **self-registration triggered by design creation**, not as a sweep over enemy fleets:
* player 32's new `odes` entry is `odid=18, opid=32` — design 18 owned by player 32, which is
the design *that player itself created this turn* (`Des[18 "Honor Lance"]`, `NumDes` 5→6);
* its new `owep` entry is `bal_gauss`, that design's weapon;
* the three `otch` entries whose `otnL` moves 1→2 are `DRV_Fissn`, `WEP_GsDrvr`, `DRV_Hyper` —
that design's technologies.
And the two lists refresh on **different events**: on pair 2 the same design is built again and
`odes/.[1]/otnL` moves 2→3 while every `otch` entry stays at 2. So `odes` is re-stamped on
**build** and `otch` on **creation**. One workload, two rules — both are hypotheses (rule 6)
until a save exists where a player observes someone *else's* design.
## Corrections to the record (rule 11)
1. **T31's self-check was not a self-check.** It reported "BnkEl reproduced for 6 of 8" on
`turn1-state` *regardless of the AI roster*, because it compared its **post-turn**
computation against the **pre-turn** stored value. The six it "reproduced" were exactly the
six players whose limit does not move (five with no colonies, plus the independent colony).
The phase's catalog text claimed "8 of 8 with the AI flag supplied", which the binary never
printed. Rule 15, in the wild.
The check is now taken at load, from the colony state the save was written from, and passes
for **every live player of all eleven corpus saves**.
2. **The AI flag is recoverable from the save.** `ServerPlayer+0xf9` is not serialised, but the
save's own `BnkEl` was written by the original from the colony state the save holds, and the
AI difficulty column is worth 10% of the max income against a `BnkEl` slope of 6.67 — far
more than a truncation. Recomputing under both columns and comparing identifies the column:
**1 AI and 1 non-AI on every one of the eleven saves**, the rest ambiguous. T31 therefore no
longer needs `--ai-player`, and closes 2 leaves per reference pair with no operator input.
*Ambiguous* means both columns give the same limit, which happens for two reasons and not
one: zero max income, **or an NPC** — the difficulty table's AI row is gated on
`isAI && !npc`, so "Independent Colony" is ambiguous despite owning a colony and carrying a
non-zero limit.
3. **The protection factor is a float32.** See `formula-gaps.md` Q1 addendum (lane PL) and
`ghidra/addresses.d/lane-pl.json`.
4. **The published residual overstates what is unmodelled.** 4 + 3 of the leaves belong to P11,
which is written and only wants `--data`. `tools/standalone_report.py` invokes the binary
with no data root, so the headline number measures the engine plus a missing argument.
Reproduced independently on CT111 against `/srv/re-lab/gob-extract`: **87 closed / 0
regressed** on pair 1 and **46 / 0** on pair 2.
## `Status` — a negative result worth keeping
`Status` goes 0 → 4 on players 16, 32, 496, 512 and stays 0 on 528, 544, 560, 576, then stays 4
on the next turn. The two sets are **perfectly correlated with species** (0/2 against 4), and
sweeping every scalar field of the player record on `turn1-state` finds **eighteen** that split
the roster identically: `ReqCL`, `AMine`, `CnTrd`, `CnVItl`, `cdp`, `hadvs`, `harcc`, `hgs`,
`PvMA`, `CstE`, `CstR`, `CstT`, `MinRate`, `MaxOH`, `NPTrk`, `PrGtTrf`, `TerraMod`, `pddm`.
Only two corpus saves carry a non-zero `Status` at all.
So this is **one observation of one transition on one roster**, and any predicate chosen from it
is an eighteen-way coin flip. `ReqCL` is the most plausible on name and on meaning — W2 places
the writer at `OnMessage+0xa15` and `MarkPlayerTurnEnded` writes 4 from the End-Turn submission
paths — but it is a hypothesis with a workload attached.
**The probe that settles it** (rules 18 and 20): an entry probe on that writer, capturing the
player index on every call for one turn. It names the set directly. Instrument the entry.
## Cross-refs
- Related: [[formula-gaps]] Q1 + the lane PL addendum, [[ship-construction]] (M2's 11,900),
[[population-growth]] (the `PvSav` prediction it held), [[strategic-turn-internals]]
- Engine: `sots-engine/docs/PL-players-residual.md`, `src/game/sim/player_turn.{h,cpp}`,
`tests/game_sim/test_player_turn.cpp`
- Addresses: `ghidra/addresses.d/lane-pl.json`

28
ghidra/addresses.d/lane-pl.json
View file

@ -1,28 +0,0 @@
{
"entries": [
{
"name": "g_BankruptcyEliminationDivisor",
"addr": "0x00a2ec30",
"convention": "data",
"prototype": "double 0xBFC3333340000000 = -0.15000000596046448 = (double)(float)-0.15f -- the elimination-limit divisor, loaded by ServerPlayer::UpdateBankruptcyLimits at 0x00818612 with `DD 05` (fld QWORD). It is the negation of g_DebtInterestRate (0x009ed188), and the two are stored separately. Named here because lane N's fix cited the value but not the address",
"status": "verified",
"source": "lane PL own disassembly pass 2026-09-08 (reva_call read-memory 0x00818600 +200, 0x00a2ec30)"
},
{
"name": "PTR_g_BANKRUPTCY_PROTECTION_LIMIT_FACTOR",
"addr": "0x00aedfdc",
"convention": "data",
"prototype": "float* -> 0x00b23e28. The config loader's pointer slot for the key BANKRUPTCY_PROTECTION_LIMIT_FACTOR, the same indirection pattern as ADDICTION_INCOME_MOD's (0x00aeca48 -> 0x00aeca44). Read once in the image, by UpdateBankruptcyLimits at 0x0081866e",
"status": "verified",
"source": "lane PL own disassembly pass 2026-09-08 (reva_call read-memory + find-cross-references)"
},
{
"name": "g_BANKRUPTCY_PROTECTION_LIMIT_FACTOR",
"addr": "0x00b23e28",
"convention": "data",
"prototype": "FLOAT32 -- and the width is the finding. UpdateBankruptcyLimits multiplies it in at 0x00818674 with `D8 09` = FMUL m32fp, i.e. a DWORD, while the elimination divisor two instructions earlier is `DD 05` = FLD m64fp. So whatever decimal the data file carries for this key is narrowed to a 4-byte float before the multiply, and a `double` multiply truncates to a different integer at every boundary -- for a factor of 3.3 that is EVERY max income divisible by ten, starting at maxIncome = 10 (decimal 33.0 -> 33, image 32.99999952 -> 32). The file image of the slot is zero: the loader fills it at run time, so the value itself is a data-file fact, not a binary one. The corpus cannot see the difference -- all seven of its non-zero BnkPr records invert to a max income where the two agree -- so this is an instruction-stream reading, thin-covered by construction (rule 23)",
"status": "verified",
"source": "lane PL own disassembly pass 2026-09-08; docs/PL-players-residual.md in sots-engine"
}
]
}

24
verify/results/standalone/report.txt
View file

@ -1,18 +1,17 @@
# standalone vs the oracle
generated 2026-09-08T20:04:11Z binary /home/alex/sots-engine-pl/build-host/src/app/sots_turn
generated 2026-09-08T19:48:40Z binary /srv/re-lab/build/eng-rep2/build-host/src/app/sots_turn
phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, partial 8, blocked 4, stub 28)
5/37 of the post-combat tail modelled
## turn1-state.sav -> turn2-state.sav (real End Turn)
baseline (do nothing) 209 leaves diverge
after one standalone turn 128 leaves diverge
closed 81, regressed 0, byte match: no
after one standalone turn 131 leaves diverge
closed 78, regressed 0, byte match: no
coverage proved on all three saves: {'input': True, 'oracle': True, 'ours': True}
closed:
+ /Sim/Frame
+ /Sim/players/Player[16 "re"]/Sav
+ /Sim/players/Player[496 "Singularity"]/dipstats/.
+ /Sim/players/Player[496 "Singularity"]/dipstats/.[0]
+ /Sim/players/Player[496 "Singularity"]/dipstats/.[1]
@ -44,14 +43,12 @@ phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, par
+ /Sim/systems/Sys[112 "Gamma Cephei"]/ETS
+ /Sim/systems/Sys[112 "Gamma Cephei"]/Eid
+ /Sim/systems/Sys[112 "Gamma Cephei"]/NVE
+ /Sim/systems/Sys[112 "Gamma Cephei"]/Pop2/PopG/PopC
+ /Sim/systems/Sys[112 "Gamma Cephei"]/ltis
+ /Sim/systems/Sys[112 "Gamma Cephei"]/ntdev
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/EPid
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/ETS
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/Eid
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/NVE
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/Pop2/PopG/PopC
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/ltis
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/ntdev
+ /Sim/systems/Sys[304 "Koa’Vo"]/EFlags
@ -95,12 +92,11 @@ phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, par
## turn2-state.sav -> turn3-state.sav (real End Turn)
baseline (do nothing) 108 leaves diverge
after one standalone turn 69 leaves diverge
closed 39, regressed 0, byte match: no
after one standalone turn 72 leaves diverge
closed 36, regressed 0, byte match: no
coverage proved on all three saves: {'input': True, 'oracle': True, 'ours': True}
closed:
+ /Sim/Frame
+ /Sim/players/Player[16 "re"]/Sav
+ /Sim/players/Player[496 "Singularity"]/dipstats/.[1]/lastally
+ /Sim/players/Player[512 "Singularity"]/dipstats/.[1]/lastally
+ /Sim/players/Player[528 "Alien Menace"]/dipstats/.[1]/lastnap
@ -117,11 +113,9 @@ phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, par
+ /Sim/players/Player[576 "Independent Colony"]/dipstats/.[2]/lastnap
+ /Sim/players/Player[576 "Independent Colony"]/dipstats/.[3]/lastnap
+ /Sim/systems/Sys[112 "Gamma Cephei"]/ETS
+ /Sim/systems/Sys[112 "Gamma Cephei"]/Pop2/PopG/PopC
+ /Sim/systems/Sys[112 "Gamma Cephei"]/ltis
+ /Sim/systems/Sys[112 "Gamma Cephei"]/ntdev
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/ETS
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/Pop2/PopG/PopC
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/ltis
+ /Sim/systems/Sys[288 "Ke'Dolarra"]/ntdev
+ /Sim/systems/Sys[304 "Koa’Vo"]/ETS
@ -140,8 +134,8 @@ phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, par
+ /Summary/Turn
## what still differs on the reference pair, by subsystem
54 /Sim/players
32 /Sim/systems
55 /Sim/players
34 /Sim/systems
24 /Sim/turnstats
8 /Sim/SvSctOb
1 /Sim/DesignIDs[]
@ -179,6 +173,7 @@ phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, par
/Sim/players/Player[16 "re"]/Events/Events/.: only-in-A
/Sim/players/Player[16 "re"]/Events/Events/.[0]: only-in-B
/Sim/players/Player[16 "re"]/Events/Events/.[EvTurn=2]: only-in-B
/Sim/players/Player[16 "re"]/Sav: 289092 -> 289688
/Sim/players/Player[16 "re"]/Status: 0 -> 4
/Sim/players/Player[32 "Fane Lao"]/BnkEl: -1811273 -> -1815833
/Sim/players/Player[32 "Fane Lao"]/BnkPr: -896580 -> -898837
@ -192,7 +187,6 @@ phases: 16/44 of the two turn drivers modelled, 12 committed (implemented 4, par
/Sim/players/Player[32 "Fane Lao"]/PvSav: 50000 -> 38100
/Sim/players/Player[32 "Fane Lao"]/ResRate: 0.25 -> 0.800000011920929 [1.34218e+07 ulp]
/Sim/players/Player[32 "Fane Lao"]/ResTNm: '' -> 'IND_Waldo'
/Sim/players/Player[32 "Fane Lao"]/Sav: 298113 -> 92651
/Sim/players/Player[32 "Fane Lao"]/Sav: 297492 -> 92651
/Sim/players/Player[32 "Fane Lao"]/ShipRecs/srb[0]: 0 -> 1
/Sim/players/Player[32 "Fane Lao"]/ShipRecs/srb[3]: only-in-B
/Sim/players/Player[32 "Fane Lao"]/ShipRecs/srbd: 0 -> 1

88
verify/results/standalone/status.json
View file

@ -1,19 +1,19 @@
{
"schema": "sots-standalone-status/1",
"generated": "2026-09-08T20:04:11Z",
"binary": "/home/alex/sots-engine-pl/build-host/src/app/sots_turn",
"generated": "2026-09-08T19:48:40Z",
"binary": "/srv/re-lab/build/eng-rep2/build-host/src/app/sots_turn",
"engineArgs": [],
"reference": {
"input": "turn1-state.sav",
"oracle": "turn2-state.sav",
"baselineDiverging": 209,
"divergingAfterTurn": 128,
"closed": 81,
"divergingAfterTurn": 131,
"closed": 78,
"regressed": 0,
"byteMatch": false,
"subsystems": {
"/Sim/players": 54,
"/Sim/systems": 32,
"/Sim/players": 55,
"/Sim/systems": 34,
"/Sim/turnstats": 24,
"/Sim/SvSctOb": 8,
"/Sim/DesignIDs[]": 1,
@ -60,7 +60,7 @@
"engineArgs": [],
"exit": 0,
"stdout": [
"load: /home/alex/sots-re/verify/results/saves/turn1-state.sav",
"load: /srv/re-lab/build/sre3/verify/results/saves/turn1-state.sav",
" 591376 inflated bytes, 0 error(s), 0 warning(s)",
" turn 1, frame 1, modCount 0, 8 player(s), 28 system(s), 6 fleet(s)",
"roundtrip (untouched): byte-identical (591376 bytes)",
@ -73,8 +73,8 @@
" verified 0 implemented 1 partial 2 blocked 2 stub 32",
"",
"this run",
" leaves written 89",
" leaves NOT written by a blocked phase 98",
" leaves written 87",
" leaves NOT written by a blocked phase 97",
" generator words consumed 16 (state loaded, left untouched)",
" generator words NOT accounted (never netted off the above):",
" - encounter detection draws one unit value and one bounded integer per turn on every turn measured (2 words), with no derived rule behind the count -- its bound is the product of the contact and detector counts, so it is left unmodelled",
@ -83,8 +83,8 @@
" ! the generator advanced during this run but the save keeps its original state (--commit-rng to write it)",
" ! the modelled words are a LOWER BOUND on the turn's cost, so a committed generator is short by the unaccounted sites below and its drawn VALUES are not the game's",
"",
"wrote /tmp/tmpfmmdz_by/post-turn1-state.sav (65980 bytes gzipped, 595192 inflated)",
"metric -> /tmp/tmpfmmdz_by/metric-turn1-state.sav.json"
"wrote /tmp/tmpkd8jx34g/post-turn1-state.sav (65970 bytes gzipped, 595192 inflated)",
"metric -> /tmp/tmpkd8jx34g/metric-turn1-state.sav.json"
],
"coverage": {
"input": true,
@ -94,15 +94,14 @@
"roots": {
"input": "64b836b966299d9b72fc02244ed31e31",
"oracle": "4bed514f853332b9fa35b388c3aa5558",
"ours": "0cf5b0cfe7dd11ab248eb4df2a1ea828"
"ours": "807894b688ac0c7d06171e2a15ad2b4f"
},
"baselineDiverging": 209,
"divergingAfterTurn": 128,
"closed": 81,
"divergingAfterTurn": 131,
"closed": 78,
"regressed": 0,
"closedPaths": [
"/Sim/Frame",
"/Sim/players/Player[16 \"re\"]/Sav",
"/Sim/players/Player[496 \"Singularity\"]/dipstats/.",
"/Sim/players/Player[496 \"Singularity\"]/dipstats/.[0]",
"/Sim/players/Player[496 \"Singularity\"]/dipstats/.[1]",
@ -134,14 +133,12 @@
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/ETS",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/Eid",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/NVE",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/Pop2/PopG/PopC",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/ltis",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/ntdev",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/EPid",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/ETS",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/Eid",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/NVE",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/Pop2/PopG/PopC",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/ltis",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/ntdev",
"/Sim/systems/Sys[304 \"Koa\u2019Vo\"]/EFlags",
@ -208,6 +205,7 @@
"/Sim/players/Player[16 \"re\"]/Events/Events/.: only-in-A",
"/Sim/players/Player[16 \"re\"]/Events/Events/.[0]: only-in-B",
"/Sim/players/Player[16 \"re\"]/Events/Events/.[EvTurn=2]: only-in-B",
"/Sim/players/Player[16 \"re\"]/Sav: 289092 -> 289688",
"/Sim/players/Player[16 \"re\"]/Status: 0 -> 4",
"/Sim/players/Player[32 \"Fane Lao\"]/BnkEl: -1811273 -> -1815833",
"/Sim/players/Player[32 \"Fane Lao\"]/BnkPr: -896580 -> -898837",
@ -221,16 +219,15 @@
"/Sim/players/Player[32 \"Fane Lao\"]/PvSav: 50000 -> 38100",
"/Sim/players/Player[32 \"Fane Lao\"]/ResRate: 0.25 -> 0.800000011920929 [1.34218e+07 ulp]",
"/Sim/players/Player[32 \"Fane Lao\"]/ResTNm: '' -> 'IND_Waldo'",
"/Sim/players/Player[32 \"Fane Lao\"]/Sav: 298113 -> 92651",
"/Sim/players/Player[32 \"Fane Lao\"]/Sav: 297492 -> 92651",
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/srb[0]: 0 -> 1",
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/srb[3]: only-in-B",
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/srbd: 0 -> 1"
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/srb[3]: only-in-B"
],
"byteMatch": false,
"standalone": {
"schema": "sots-standalone-metric/1",
"input": "/home/alex/sots-re/verify/results/saves/turn1-state.sav",
"output": "/tmp/tmpfmmdz_by/post-turn1-state.sav",
"input": "/srv/re-lab/build/sre3/verify/results/saves/turn1-state.sav",
"output": "/tmp/tmpkd8jx34g/post-turn1-state.sav",
"spine": {
"total": 44,
"verified": 0,
@ -252,8 +249,8 @@
"committed": 3
},
"run": {
"leafWrites": 89,
"blockedLeafWrites": 98,
"leafWrites": 87,
"blockedLeafWrites": 97,
"rngWords": 16,
"rngLoaded": true,
"rngCommitted": false,
@ -400,7 +397,7 @@
"name": "SystemTurn",
"status": "partial",
"ran": 28,
"writes": 5,
"writes": 3,
"blockedWrites": 0,
"rng": 0
},
@ -1041,7 +1038,7 @@
"status": "blocked",
"ran": 8,
"writes": 0,
"blockedWrites": 2,
"blockedWrites": 1,
"rng": 0
},
{
@ -1114,7 +1111,7 @@
"engineArgs": [],
"exit": 0,
"stdout": [
"load: /home/alex/sots-re/verify/results/saves/turn2-state.sav",
"load: /srv/re-lab/build/sre3/verify/results/saves/turn2-state.sav",
" 603360 inflated bytes, 0 error(s), 0 warning(s)",
" turn 2, frame 2, modCount 12, 8 player(s), 28 system(s), 7 fleet(s)",
"roundtrip (untouched): byte-identical (603360 bytes)",
@ -1127,8 +1124,8 @@
" verified 0 implemented 1 partial 2 blocked 2 stub 32",
"",
"this run",
" leaves written 45",
" leaves NOT written by a blocked phase 74",
" leaves written 43",
" leaves NOT written by a blocked phase 73",
" generator words consumed 16 (state loaded, left untouched)",
" generator words NOT accounted (never netted off the above):",
" - encounter detection draws one unit value and one bounded integer per turn on every turn measured (2 words), with no derived rule behind the count -- its bound is the product of the contact and detector counts, so it is left unmodelled",
@ -1137,8 +1134,8 @@
" ! the generator advanced during this run but the save keeps its original state (--commit-rng to write it)",
" ! the modelled words are a LOWER BOUND on the turn's cost, so a committed generator is short by the unaccounted sites below and its drawn VALUES are not the game's",
"",
"wrote /tmp/tmpfmmdz_by/post-turn2-state.sav (66880 bytes gzipped, 603360 inflated)",
"metric -> /tmp/tmpfmmdz_by/metric-turn2-state.sav.json"
"wrote /tmp/tmpkd8jx34g/post-turn2-state.sav (66879 bytes gzipped, 603360 inflated)",
"metric -> /tmp/tmpkd8jx34g/metric-turn2-state.sav.json"
],
"coverage": {
"input": true,
@ -1148,15 +1145,14 @@
"roots": {
"input": "4bed514f853332b9fa35b388c3aa5558",
"oracle": "e9c161e311f8ef8fad6f1aa1903dcf3f",
"ours": "853380c5c55cd7208c60afc2486c7e74"
"ours": "4527034695edf755dbbdbf3605334c3d"
},
"baselineDiverging": 108,
"divergingAfterTurn": 69,
"closed": 39,
"divergingAfterTurn": 72,
"closed": 36,
"regressed": 0,
"closedPaths": [
"/Sim/Frame",
"/Sim/players/Player[16 \"re\"]/Sav",
"/Sim/players/Player[496 \"Singularity\"]/dipstats/.[1]/lastally",
"/Sim/players/Player[512 \"Singularity\"]/dipstats/.[1]/lastally",
"/Sim/players/Player[528 \"Alien Menace\"]/dipstats/.[1]/lastnap",
@ -1173,11 +1169,9 @@
"/Sim/players/Player[576 \"Independent Colony\"]/dipstats/.[2]/lastnap",
"/Sim/players/Player[576 \"Independent Colony\"]/dipstats/.[3]/lastnap",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/ETS",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/Pop2/PopG/PopC",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/ltis",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/ntdev",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/ETS",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/Pop2/PopG/PopC",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/ltis",
"/Sim/systems/Sys[288 \"Ke'Dolarra\"]/ntdev",
"/Sim/systems/Sys[304 \"Koa\u2019Vo\"]/ETS",
@ -1215,6 +1209,7 @@
"/Sim/players/Player[16 \"re\"]/Events/Events/.[0]: 1 -> 2",
"/Sim/players/Player[16 \"re\"]/Events/Events/.[EvTurn=3]: only-in-B",
"/Sim/players/Player[16 \"re\"]/PvSav: 50000 -> 289688",
"/Sim/players/Player[16 \"re\"]/Sav: 531773 -> 532369",
"/Sim/players/Player[32 \"Fane Lao\"]/BnkEl: -1815833 -> -1820206",
"/Sim/players/Player[32 \"Fane Lao\"]/BnkPr: -898837 -> -901002",
"/Sim/players/Player[32 \"Fane Lao\"]/Events/EvNxID: 2 -> 4",
@ -1223,7 +1218,7 @@
"/Sim/players/Player[32 \"Fane Lao\"]/FNG/FNGNum: 1 -> 3",
"/Sim/players/Player[32 \"Fane Lao\"]/Maint: 500 -> 1000",
"/Sim/players/Player[32 \"Fane Lao\"]/PvSav: 38100 -> 80751",
"/Sim/players/Player[32 \"Fane Lao\"]/Sav: 142379 -> 135486",
"/Sim/players/Player[32 \"Fane Lao\"]/Sav: 142259 -> 135486",
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/srb[0]: 1 -> 2",
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/srb[3]: 1 -> 2",
"/Sim/players/Player[32 \"Fane Lao\"]/ShipRecs/sri[0]: 1 -> 2",
@ -1233,16 +1228,15 @@
"/Sim/players/Player[32 \"Fane Lao\"]/lboid: 1 -> 2",
"/Sim/players/Player[32 \"Fane Lao\"]/odes/.[1]/otnL: 2 -> 3",
"/Sim/players/Player[576 \"Independent Colony\"]/PvSav: 0 -> 98871",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/Pop2/PopG/PopC: 520000000 -> 540000000",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/PvPop2/PopG/PopC: 500000000 -> 520000000",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/RepCur: 336360.0 -> 336840.0 [15360 ulp]",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/RepMax: 336360.0 -> 336840.0 [15360 ulp]",
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/TShn: 2 -> 3"
"/Sim/systems/Sys[112 \"Gamma Cephei\"]/RepCur: 336360.0 -> 336840.0 [15360 ulp]"
],
"byteMatch": false,
"standalone": {
"schema": "sots-standalone-metric/1",
"input": "/home/alex/sots-re/verify/results/saves/turn2-state.sav",
"output": "/tmp/tmpfmmdz_by/post-turn2-state.sav",
"input": "/srv/re-lab/build/sre3/verify/results/saves/turn2-state.sav",
"output": "/tmp/tmpkd8jx34g/post-turn2-state.sav",
"spine": {
"total": 44,
"verified": 0,
@ -1264,8 +1258,8 @@
"committed": 3
},
"run": {
"leafWrites": 45,
"blockedLeafWrites": 74,
"leafWrites": 43,
"blockedLeafWrites": 73,
"rngWords": 16,
"rngLoaded": true,
"rngCommitted": false,
@ -1412,7 +1406,7 @@
"name": "SystemTurn",
"status": "partial",
"ran": 28,
"writes": 5,
"writes": 3,
"blockedWrites": 0,
"rng": 0
},
@ -2053,7 +2047,7 @@
"status": "blocked",
"ran": 8,
"writes": 0,
"blockedWrites": 2,
"blockedWrites": 1,
"rng": 0
},
{