Commit graph

132 commits

Author SHA1 Message Date
alex
ad86555ff2 board: combat multiplayer verified in lockstep; 3370 never binds; lab hazards; fourth commit sweep 2026-09-08 18:33:05 -04:00
alex
79245837be board: lane L1 - hive creation draws in BeginProcessTurn; CDiff edges played forward; SnLv verified; VM140 free 2026-09-08 18:26:51 -04:00
alex
940aecad0e board: Rung B lanes - RB replayer paired with CB capture on VM146 2026-09-08 18:25:32 -04:00
alex
d1710e9676 standalone on the canonical pair turn2->turn3: 108 -> 63, closed 45, regressed 0 2026-09-08 18:06:30 -04:00
alex
62b738d27a Rung C sharpened to the tie-set claim; re-resolver agent added to the crew 2026-09-08 18:05:01 -04:00
alex
b3299979a7 determinism qualified: oracle holds only where no AI must choose; Rung B = command-stream replay, Rung C = behavioural AI; canonical pair now turn2->turn3 2026-09-08 18:02:58 -04:00
alex
e4195d47d1 board: lane L5 - reference pair non-deterministic; interest literals verified with a failing control; verified column held at 0 on principle 2026-09-08 17:55:47 -04:00
alex
2d6184888f standalone 209 -> 124 (closed 85); rule 24: never reuse a build directory across trees 2026-09-08 17:01:57 -04:00
alex
9075f60f7b gen_addresses: detect same-address-different-name; 13 vocabulary forks resolved across 8 fragments 2026-09-08 16:54:05 -04:00
alex
d6469bd4c5 board: lane W3 - TShn closed 158/158, Status predicate settled, AI4 prediction confirmed with its falsifier 2026-09-08 16:45:56 -04:00
alex
4ce7a1e0a7 board: lane PL decomposes /Sim/players - 53 of 54 unmodelled not mismodelled; T31 self-check corrected 2026-09-08 16:40:00 -04:00
alex
a545f33cc7 board: lab expanded to five Windows guests via ZFS clones - the single-VM constraint was shaping the work 2026-09-08 16:37:08 -04:00
alex
ed73b9fe7a board: lane AI4 - ModCount decomposed with zero residual, all EIPs named; reference-game corrections 2026-09-08 16:31:02 -04:00
alex
c0c685d07f board: lane G3 growth is clamp-decided not capacity-gated; a live-verified module was wrong on widened float literals 2026-09-08 15:57:33 -04:00
alex
3e5117bc05 board: VM140 holder = lane W3 2026-09-08 15:49:45 -04:00
alex
c810c552e5 standalone report from merged main: default 209 -> 131 closed 78; note the with-inputs 127 distinction 2026-09-08 15:49:04 -04:00
alex
1b5553b0aa board: lane EV event posting; two events.md corrections; the withheld-roster control measurement 2026-09-08 15:46:01 -04:00
alex
c997c6ebce board: lane W2 - multiplayer verified end to end, ModCount confirmed, rcex closed, Player.Status writer found 2026-09-08 15:34:45 -04:00
alex
2b7758123f rules 21-22: lanes never touch the shared worktree; union-resolve is not concatenation. VM released 2026-09-08 15:34:12 -04:00
alex
7574623f73 board: lane T2 treaty stamps close 26; roadmap item 6 refuted - no writer exists; tail ranked and unactionable 2026-09-08 15:06:46 -04:00
alex
a4cc50043d board: lane B6 - no build orders exist at load, so shpt[0] is Rung B; build queue read; stack-built fptr tables are a third blind spot 2026-09-08 14:58:45 -04:00
alex
247285ac28 board: lane C3 output turn path; unspent construction cascades to money; S11 civilian growth is next 2026-09-08 14:53:17 -04:00
alex
3b4142b566 board: note the self-inflicted build-dir race that mimicked a flaky test 2026-09-08 14:48:58 -04:00
alex
ce4603a380 board: lane AI2 - task selection is a stable sort on a constant priority table; order-method mapping complete; throttle settled 2026-09-08 14:46:12 -04:00
alex
8411c7e9c7 board: VM140 holder = lane W2 2026-09-08 14:14:49 -04:00
alex
4549f5eb5c board: lane H - oracle reproduced, instrument perturbation found, P2 held so Rung B stands 2026-09-08 13:56:44 -04:00
alex
3f014a42eb board+roadmap: lane E1 income 25/25; correct roadmap item 1 - the turn path uses ComputeOutput, not ComputeMaxIncome 2026-09-08 13:53:20 -04:00
alex
069d7e649b board: lane E3 visibility - 128 leaves across five pairs, 0 regressed; the gate is AFlags not VFlags 2026-09-08 13:42:36 -04:00
alex
d617285b0c board: lane AI1 - the AI is a StrategyClient running after the autosave; orders go through the TurnCommands we already own; P2 routed to the VM 2026-09-08 13:39:38 -04:00
alex
f6a914beee board: lane E2 census wired; ship construction identified as a new blocker by a falsified prediction 2026-09-08 13:28:52 -04:00
alex
c4f1c2407a roadmap: rewrite around the engine as the product; milestone split into Rung A (modulo command stream) and Rung B (needs AI); 13 stale board rows marked superseded 2026-09-08 13:04:13 -04:00
alex
90fba303ac board: lanes A2 and D2 - alliance rule, ModCount rule, ship designs do have a serializer 2026-09-08 12:52:20 -04:00
alex
ab79e16843 board: multiplayer revival - direct IP joins without GameSpy; identity constants; ranked plan 2026-09-08 12:51:39 -04:00
alex
1754cc20ac board: lane P2 nav classifier; type 2 is the Liir drive, a naming error not a gap 2026-09-08 12:45:27 -04:00
alex
52581efbfb board: VM140 holder = lane H 2026-09-08 12:15:33 -04:00
alex
f328b82b67 board: lane N output term closed and live-verified; blocker moves to the income tail; VM released 2026-09-08 12:13:40 -04:00
alex
58e3d85f3f board: lane V2 vtable inversion; 5,045 functions with no direct callers; tail draw surface is unobserved not absent 2026-09-08 12:06:22 -04:00
alex
ef458bb3c8 board: lane B5 retreat pipeline; OID allocation closed; predicted original bug 2026-09-08 12:02:32 -04:00
alex
0253941d16 board: lane Y generator gap measured and attributed; BnkEl inversion oracle; divisor defect understated 2026-09-08 11:42:25 -04:00
alex
95b2bc81cf board: VM140 holder = lane N 2026-09-08 11:01:06 -04:00
alex
a77b1c3427 board: RNG ledger closed with zero residual; trade-raid generation behind a virtual edge; VM released 2026-09-08 11:00:56 -04:00
alex
f8f5581204 board: standalone scaffold runs on all 11 saves; 5 leaves closed, 0 regressed; ranked byte-match blockers 2026-09-08 10:39:39 -04:00
alex
c15a45d0c6 board: lane I complete inlined-draw inventory; corrects lane J's 14 to 11; residual stated honestly 2026-09-08 10:07:18 -04:00
alex
1d7c6ef63e board+rules: lane J combat resolver; inlined draws invisible to call-graph sweeps; Ghidra sizes untrustworthy 2026-09-08 09:38:55 -04:00
alex
7364e62986 board: lane Q 100% named coverage, three-cause reconciliation, second defect found at main 2026-09-08 09:07:47 -04:00
alex
49f1af466e board: VM140 holder = lane Z 2026-09-08 08:55:23 -04:00
alex
66bed1d6b1 board: lane K combat-done tail, autosave mechanism, tail RNG threat to the standalone milestone 2026-09-08 08:55:07 -04:00
alex
f490d69695 board: lane O built 7 workload saves; TurnCommands unblocked; waypoint type-2 negative result; click-helper correction 2026-09-08 08:37:13 -04:00
alex
46aebc9b13 board: VM140 holder FREE 2026-09-08 08:35:26 -04:00
alex
9de77f7e5e lane O: 7 purpose-built saves - issued turn commands, node routes, research-roll-pending
Produces the game states several board rows were blocked on, and reads each
one back out of the save before claiming it.

- CD/TurnCommands_v5 decoded: three saves with issued orders (research target,
  research boost, build orders, system rates, colonize, fleet move). Layout in
  SAVE_FORMAT.md section 11; ids cross-checked against the same file's Sys/Flt.
- Waypoint type 3 (NodeRoute) now has 16 instances in one save and the player's
  own fleet is a mover in two. Type 2 is shown NOT to be produced by a Move
  order for either node-drive race (Zuul and Human both emit type 3).
- research_roll_pending true at load in two saves; the ProcessTurn gate constant
  at 0x00a2c788 is a float 0.5, so the flag survives into ProcessResearch only
  while progress/cost <= 0.5 at the start of the turn.
- Budget tail: construction and a large maintenance are live; Nexp is empty in
  all 11 saves and the 1.8 UI has no expense slider, so slot 12 looks dead.

VM140 restored to the original 8-file SavedGames set (autosaves byte-identical)
and left at the main menu; VM140 row set FREE.
2026-09-08 08:35:13 -04:00