# standalone vs the oracle generated 2026-09-08T22:06:02Z binary /srv/re-lab/build/eng-ref/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) 6/37 of the post-combat tail modelled ## turn2-state.sav -> turn3-state.sav (real End Turn (canonical reference)) baseline (do nothing) 108 leaves diverge after one standalone turn 63 leaves diverge closed 45, regressed 0, byte match: no coverage proved on all three saves: {'input': True, 'oracle': True, 'ours': True} closed: + /Sim/Frame + /Sim/SvSctOb/EncObj[5]/Hives/.[1]/NextQ + /Sim/SvSctOb/EncObj[5]/Hives/.[2]/NextQ + /Sim/players/Player[16 "re"]/BnkEl + /Sim/players/Player[16 "re"]/PvSav + /Sim/players/Player[16 "re"]/Sav + /Sim/players/Player[32 "Fane Lao"]/BnkEl + /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 + /Sim/players/Player[528 "Alien Menace"]/dipstats/.[2]/lastnap + /Sim/players/Player[528 "Alien Menace"]/dipstats/.[3]/lastnap + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[1]/lastnap + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[2]/lastnap + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[3]/lastnap + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[1]/lastnap + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[2]/lastnap + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[3]/lastnap + /Sim/players/Player[576 "Independent Colony"]/PvSav + /Sim/players/Player[576 "Independent Colony"]/Sav + /Sim/players/Player[576 "Independent Colony"]/dipstats/.[1]/lastnap + /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 + /Sim/systems/Sys[304 "Koa’Vo"]/ltis + /Sim/systems/Sys[304 "Koa’Vo"]/ntdev + /Sim/systems/Sys[336 "Kaa’Vaalu"]/ETS + /Sim/systems/Sys[336 "Kaa’Vaalu"]/ltis + /Sim/systems/Sys[400 "Markab"]/ETS + /Sim/systems/Sys[400 "Markab"]/ltis + /Sim/systems/Sys[448 "Kea’Pono"]/ETS + /Sim/systems/Sys[448 "Kea’Pono"]/ltis + /Sim/systems/Sys[480 "Ko'Rorkor"]/ETS + /Sim/systems/Sys[480 "Ko'Rorkor"]/ltis + /Sim/systems/Sys[64 "Hyperion"]/ETS + /Sim/systems/Sys[64 "Hyperion"]/ltis + /Summary/Turn ## turn1-state.sav -> turn2-state.sav (real End Turn (secondary; 4 leaves non-deterministic in the original)) baseline (do nothing) 209 leaves diverge after one standalone turn 124 leaves diverge closed 85, regressed 0, byte match: no coverage proved on all three saves: {'input': True, 'oracle': True, 'ours': True} closed: + /Sim/Frame + /Sim/SvSctOb/EncObj[3]/CDiff + /Sim/SvSctOb/EncObj[6]/ini + /Sim/players/Player[16 "re"]/BnkEl + /Sim/players/Player[16 "re"]/Sav + /Sim/players/Player[32 "Fane Lao"]/BnkEl + /Sim/players/Player[496 "Singularity"]/dipstats/. + /Sim/players/Player[496 "Singularity"]/dipstats/.[0] + /Sim/players/Player[496 "Singularity"]/dipstats/.[1] + /Sim/players/Player[512 "Singularity"]/dipstats/. + /Sim/players/Player[512 "Singularity"]/dipstats/.[0] + /Sim/players/Player[512 "Singularity"]/dipstats/.[1] + /Sim/players/Player[528 "Alien Menace"]/dipstats/. + /Sim/players/Player[528 "Alien Menace"]/dipstats/.[0] + /Sim/players/Player[528 "Alien Menace"]/dipstats/.[1] + /Sim/players/Player[528 "Alien Menace"]/dipstats/.[2] + /Sim/players/Player[528 "Alien Menace"]/dipstats/.[3] + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/. + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[0] + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[1] + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[2] + /Sim/players/Player[544 "Peacekeeper Enforcer"]/dipstats/.[3] + /Sim/players/Player[560 "Von Neumann"]/dipstats/. + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[0] + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[1] + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[2] + /Sim/players/Player[560 "Von Neumann"]/dipstats/.[3] + /Sim/players/Player[576 "Independent Colony"]/Sav + /Sim/players/Player[576 "Independent Colony"]/dipstats/. + /Sim/players/Player[576 "Independent Colony"]/dipstats/.[0] + /Sim/players/Player[576 "Independent Colony"]/dipstats/.[1] + /Sim/players/Player[576 "Independent Colony"]/dipstats/.[2] + /Sim/players/Player[576 "Independent Colony"]/dipstats/.[3] + /Sim/systems/Sys[112 "Gamma Cephei"]/EPid + /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 + /Sim/systems/Sys[304 "Koa’Vo"]/EPid + /Sim/systems/Sys[304 "Koa’Vo"]/ETS + /Sim/systems/Sys[304 "Koa’Vo"]/Eid + /Sim/systems/Sys[304 "Koa’Vo"]/NVE + /Sim/systems/Sys[304 "Koa’Vo"]/ltis + /Sim/systems/Sys[304 "Koa’Vo"]/ntdev + /Sim/systems/Sys[336 "Kaa’Vaalu"]/EFlags + /Sim/systems/Sys[336 "Kaa’Vaalu"]/EPid + /Sim/systems/Sys[336 "Kaa’Vaalu"]/ETS + /Sim/systems/Sys[336 "Kaa’Vaalu"]/Eid + /Sim/systems/Sys[336 "Kaa’Vaalu"]/NVE + /Sim/systems/Sys[336 "Kaa’Vaalu"]/ltis + /Sim/systems/Sys[400 "Markab"]/EFlags + /Sim/systems/Sys[400 "Markab"]/EPid + /Sim/systems/Sys[400 "Markab"]/ETS + /Sim/systems/Sys[400 "Markab"]/Eid + /Sim/systems/Sys[400 "Markab"]/NVE + /Sim/systems/Sys[400 "Markab"]/ltis + /Sim/systems/Sys[448 "Kea’Pono"]/EFlags + /Sim/systems/Sys[448 "Kea’Pono"]/EPid + /Sim/systems/Sys[448 "Kea’Pono"]/ETS + /Sim/systems/Sys[448 "Kea’Pono"]/Eid + /Sim/systems/Sys[448 "Kea’Pono"]/NVE + /Sim/systems/Sys[448 "Kea’Pono"]/ltis + /Sim/systems/Sys[480 "Ko'Rorkor"]/EFlags + /Sim/systems/Sys[480 "Ko'Rorkor"]/EPid + /Sim/systems/Sys[480 "Ko'Rorkor"]/ETS + /Sim/systems/Sys[480 "Ko'Rorkor"]/Eid + /Sim/systems/Sys[480 "Ko'Rorkor"]/NVE + /Sim/systems/Sys[480 "Ko'Rorkor"]/ltis + /Sim/systems/Sys[64 "Hyperion"]/EFlags + /Sim/systems/Sys[64 "Hyperion"]/EPid + /Sim/systems/Sys[64 "Hyperion"]/ETS + /Sim/systems/Sys[64 "Hyperion"]/Eid + /Sim/systems/Sys[64 "Hyperion"]/NVE + /Sim/systems/Sys[64 "Hyperion"]/ltis + /Summary/Turn ## what still differs on the reference pair, by subsystem 24 /Sim/systems 20 /Sim/players 8 /Sim/turnstats 3 /Sim/fleets 1 /Sim/FleetIDs[] 1 /Sim/ModCount 1 /Sim/NMnx 1 /Sim/NumFlts 1 /Sim/RNG 1 /Sim/ShipIDs[] 1 /Sim/cmbtid 1 /Summary/Checksum ## first 40 remaining, named /Sim/FleetIDs[]: removed [1744], added [34, 1776] (7 -> 8 entries) /Sim/ModCount: 14 -> 24 /Sim/NMnx: 109 -> 111 /Sim/NumFlts: 7 -> 8 /Sim/RNG/.: '' -> '' /Sim/ShipIDs[]: removed [], added [1760] (16 -> 17 entries) /Sim/cmbtid: 2 -> 3 /Sim/fleets/Flt[1744 "Alpha Fleet"]: only-in-A /Sim/fleets/Flt[1776 "Gamma Fleet"]: only-in-B /Sim/fleets/Flt[34 "Beta Fleet"]: only-in-B /Sim/players/Player[16 "re"]/BnkPr: -789323 -> -791290 /Sim/players/Player[16 "re"]/Events/EvNxID: 2 -> 3 /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[32 "Fane Lao"]/BnkPr: -898837 -> -901002 /Sim/players/Player[32 "Fane Lao"]/Events/EvNxID: 2 -> 4 /Sim/players/Player[32 "Fane Lao"]/Events/Events/.[0]: 1 -> 2 /Sim/players/Player[32 "Fane Lao"]/Events/Events/.[EvTurn=3]: only-in-B /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: 92651 -> 80751 /Sim/players/Player[32 "Fane Lao"]/Sav: 142379 -> 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 /Sim/players/Player[32 "Fane Lao"]/ShipRecs/sri[3]: 1 -> 2 /Sim/players/Player[32 "Fane Lao"]/TechTree/TResDone[106]: 2879 -> 5768 /Sim/players/Player[32 "Fane Lao"]/TechTree/Tbd[106]: 1 -> 2 /Sim/players/Player[32 "Fane Lao"]/lboid: 1 -> 2 /Sim/players/Player[32 "Fane Lao"]/odes/.[1]/otnL: 2 -> 3 /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[224 "Spica"]/TShn: 2 -> 3 /Sim/systems/Sys[288 "Ke'Dolarra"]/DefF: 1744 -> 1776 /Sim/systems/Sys[288 "Ke'Dolarra"]/Flt: 1744 -> 1776 /Sim/systems/Sys[288 "Ke'Dolarra"]/PvPop2/PopG/PopC: 500000000 -> 520000000 /Sim/systems/Sys[288 "Ke'Dolarra"]/RepCur: 370000.0 -> 370520.0 [16640 ulp] /Sim/systems/Sys[288 "Ke'Dolarra"]/RepMax: 370000.0 -> 370520.0 [16640 ulp]