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

Commit graph

  • 198695c4cc PAR: the load-time stream offset also varies between processes, and the five-scope table alex 2026-09-08 19:36:10 -04:00
  • 6e34c72906 rule 27: a ratchet is meant to break when the corpus grows; scope controls by explicit list alex 2026-09-08 19:33:16 -04:00
  • 1893751ffa PAR: roll parity -- an AI client's per-turn RNG word count is not fixed at any scope alex 2026-09-08 19:33:00 -04:00
  • d8162529aa board: lane CB - C-exact proven, pinned seeds collapse three runs to one autosave; k=6 not closed alex 2026-09-08 19:28:04 -04:00
  • 97f4cc7f5c CB: record the two planned runs that were not made, and why alex 2026-09-08 19:26:53 -04:00
  • a64673378a CB: third pinned run -- three processes, nine natural seeds, one autosave alex 2026-09-08 19:26:20 -04:00
  • 954f3cec63 CB: the turn-command stream, captured and bound to the autosave it produced alex 2026-09-08 19:18:57 -04:00
  • f0aee296fe board: ratchet hit on L3's trade-route saves - new unmodelled content, not a regression alex 2026-09-08 19:12:54 -04:00
  • f18afadf57 board: lane RB - ModCount reaches 24 with zero residual; matched triple; rates memory-vs-wire order defect alex 2026-09-08 19:09:00 -04:00
  • ce8b3e66b4 RB: lane CB's real capture replays to the same result, and brings the seeds and the heap payloads alex 2026-09-08 19:07:13 -04:00
  • 7a41246450 RB: bind a .tcb capture to the save it was taken on alex 2026-09-08 19:05:33 -04:00
  • a4a1d373f1 RB: replay a recorded turn's commands -- ModCount is reachable, and the rates frame's memory order is not its wire order alex 2026-09-08 19:01:35 -04:00
  • af67d31394 resolution: byte-match survives as C-exact/C-set; tie set is a draw support not equal cost; rule 26 on self-consistent controls alex 2026-09-08 18:38:37 -04:00
  • 9d722815a5 rule 25: commit with a pathspec - the shared index is why staging by path was not enough alex 2026-09-08 18:37:07 -04:00
  • ad86555ff2 board: combat multiplayer verified in lockstep; 3370 never binds; lab hazards; fourth commit sweep alex 2026-09-08 18:33:05 -04:00
  • f761fb1e1c regenerate the tracked header after lane-l4.json (rule 14: regenerated, never hand-resolved; verified identical to a fresh run of gen_addresses.py) lane-l4 2026-09-08 18:31:08 -04:00
  • 4ef630b266 L2: record the pgrep -f tap141i0 hazard - it kills the guest, not just tcpdump alex 2026-09-08 18:31:00 -04:00
  • 0c162e5831 L4: the research tie set -- k = 6, named, and the mechanism measured twice lane-l4 2026-09-08 18:30:05 -04:00
  • 79245837be board: lane L1 - hive creation draws in BeginProcessTurn; CDiff edges played forward; SnLv verified; VM140 free alex 2026-09-08 18:26:51 -04:00
  • 940aecad0e board: Rung B lanes - RB replayer paired with CB capture on VM146 alex 2026-09-08 18:25:32 -04:00
  • 4f805e381a L1: CDiff crosses at frame 50, and the AI client seed is fresh in every process alex 2026-09-08 18:23:19 -04:00
  • d1710e9676 standalone on the canonical pair turn2->turn3: 108 -> 63, closed 45, regressed 0 alex 2026-09-08 18:06:30 -04:00
  • 62b738d27a Rung C sharpened to the tie-set claim; re-resolver agent added to the crew alex 2026-09-08 18:05:01 -04:00
  • 1824dae2f5 L4: credit lane L5 as owner of the turn-1 nondeterminism; add the command-block evidence that localises it to the client lane-l4 2026-09-08 18:03:28 -04:00
  • 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 alex 2026-09-08 18:02:58 -04:00
  • 7e6bda3699 L4: the AI's command block, read out of the running game lane-l4 2026-09-08 18:01:45 -04:00
  • a3e6e1d415 L1: hive creation draws inside BeginProcessTurn -- lane Z's zero was the workload alex 2026-09-08 17:59:32 -04:00
  • e4195d47d1 board: lane L5 - reference pair non-deterministic; interest literals verified with a failing control; verified column held at 0 on principle alex 2026-09-08 17:55:47 -04:00
  • ea7881acb3 L5: the money chain's float widths, measured live at a boundary alex 2026-09-08 17:49:35 -04:00
  • 2d6184888f standalone 209 -> 124 (closed 85); rule 24: never reuse a build directory across trees alex 2026-09-08 17:01:57 -04:00
  • 9075f60f7b gen_addresses: detect same-address-different-name; 13 vocabulary forks resolved across 8 fragments alex 2026-09-08 16:54:05 -04:00
  • 962cdb6981 tools: live screen wall + contact sheet for the five lab guests alex 2026-09-08 16:53:04 -04:00
  • 2e935b8491 SV: what writes SvSctOb during a turn -- the script-object event bus alex 2026-09-08 16:46:44 -04:00
  • d6469bd4c5 board: lane W3 - TShn closed 158/158, Status predicate settled, AI4 prediction confirmed with its falsifier alex 2026-09-08 16:45:56 -04:00
  • 471d6cb973 W3: NVO.TShn's writer trapped live, its gate named, and 158/158 on the corpus alex 2026-09-08 16:41:09 -04:00
  • 4ce7a1e0a7 board: lane PL decomposes /Sim/players - 53 of 54 unmodelled not mismodelled; T31 self-check corrected alex 2026-09-08 16:40:00 -04:00
  • a545f33cc7 board: lab expanded to five Windows guests via ZFS clones - the single-VM constraint was shaping the work alex 2026-09-08 16:37:08 -04:00
  • 91a04377d4 lane PL: decompose the /Sim/players residual by mechanism; the bankruptcy protection factor is a float32 alex 2026-09-08 16:36:45 -04:00
  • ed73b9fe7a board: lane AI4 - ModCount decomposed with zero residual, all EIPs named; reference-game corrections alex 2026-09-08 16:31:02 -04:00
  • ae47971316 AI4: what an AI turn emits, and what each command costs in ModCount alex 2026-09-08 16:27:58 -04:00
  • c0c685d07f board: lane G3 growth is clamp-decided not capacity-gated; a live-verified module was wrong on widened float literals alex 2026-09-08 15:57:33 -04:00
  • 63347c7c17 rule 23: a live-verified module can still be wrong - thin coverage is how; float literals are widened floats alex 2026-09-08 15:57:09 -04:00
  • d4f9404960 lane G3: civilian growth read and measured; out[6] is not a repair number alex 2026-09-08 15:53:08 -04:00
  • 3e5117bc05 board: VM140 holder = lane W3 alex 2026-09-08 15:49:45 -04:00
  • c810c552e5 standalone report from merged main: default 209 -> 131 closed 78; note the with-inputs 127 distinction alex 2026-09-08 15:49:04 -04:00
  • 1b5553b0aa board: lane EV event posting; two events.md corrections; the withheld-roster control measurement alex 2026-09-08 15:46:01 -04:00
  • c224ff2214 lane EV: what a turn actually posts, and two corrections to events.md alex 2026-09-08 15:40:07 -04:00
  • c997c6ebce board: lane W2 - multiplayer verified end to end, ModCount confirmed, rcex closed, Player.Status writer found alex 2026-09-08 15:34:45 -04:00
  • 2b7758123f rules 21-22: lanes never touch the shared worktree; union-resolve is not concatenation. VM released alex 2026-09-08 15:34:12 -04:00
  • e9dec36d77 findings: lane AI3 -- the AI stepping order is save player order, and pass 0 writes nothing alex 2026-09-08 15:29:53 -04:00
  • b77a6116e2 lane W2: VM housekeeping notes for the multiplayer recipe (SOTSUI2 left registered, SOTSB staged not registered, -ExecutionPolicy Bypass gotcha) alex 2026-09-08 15:26:42 -04:00
  • cb1ea723e1 lane W2: the three queue items not reached, with the reason and the cheapest next step for each alex 2026-09-08 15:25:53 -04:00
  • 92ad44efb0 lane W2: multiplayer Tier 0 played end to end with no server; ModCount/Frame/Status watchpoints; rcex explained alex 2026-09-08 15:23:52 -04:00
  • 3fe74bc6a5 standalone report from merged main: 209 -> 131 leaves, closed 78 regressed 0 alex 2026-09-08 15:10:17 -04:00
  • 449daeb621 roadmap: item 6 premise refuted - no writer exists, it needs a predicate not a watchpoint alex 2026-09-08 15:07:02 -04:00
  • 7574623f73 board: lane T2 treaty stamps close 26; roadmap item 6 refuted - no writer exists; tail ranked and unactionable alex 2026-09-08 15:06:46 -04:00
  • 4c21bbe19e lane T2: re-measure H02 on main 2fd0852 (C3 + B6 merged) -- same +26 / +14 / +12x3, 0 regressed, so the phase is orthogonal to both alex 2026-09-08 15:04:36 -04:00
  • f259655026 dashboard refresh alex 2026-09-08 15:03:10 -04:00
  • 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 alex 2026-09-08 14:58:45 -04:00
  • 5cc66f6fff findings: ship construction -- the build queue read byte for byte, and the missing destroyer is the AI's lane-b6 2026-09-08 14:54:03 -04:00
  • 90c665a3be lane T2: record the rule-17 hit -- the caller's real body runs 0x48 bytes past Ghidra's reported end, and a clipped sweep would have found no caller at all alex 2026-09-08 14:53:40 -04:00
  • 214e00186d roadmap: item 1 done (E1+C3); new item 1b S11 civilian growth, 1c ship repair cost alex 2026-09-08 14:53:33 -04:00
  • 247285ac28 board: lane C3 output turn path; unspent construction cascades to money; S11 civilian growth is next alex 2026-09-08 14:53:17 -04:00
  • 49fa5501ba lane T2: the treaty-turn stamp, and Player.Status's real writer alex 2026-09-08 14:52:44 -04:00
  • 3b99e255c7 lane C3: ComputeOutput on the turn path -- the money ComputeBudget actually sums alex 2026-09-08 14:50:50 -04:00
  • 6669c4ab1e dashboard refresh alex 2026-09-08 14:48:59 -04:00
  • 3b4142b566 board: note the self-inflicted build-dir race that mimicked a flaky test alex 2026-09-08 14:48:58 -04:00
  • ce4603a380 board: lane AI2 - task selection is a stable sort on a constant priority table; order-method mapping complete; throttle settled alex 2026-09-08 14:46:12 -04:00
  • 232397aa12 lane AI2: the AI's task selection loop, the priority table, and the order-method -> TurnCommands map alex 2026-09-08 14:43:41 -04:00
  • 8411c7e9c7 board: VM140 holder = lane W2 alex 2026-09-08 14:14:49 -04:00
  • 35ccaf5d94 dashboard refresh alex 2026-09-08 13:56:49 -04:00
  • 4549f5eb5c board: lane H - oracle reproduced, instrument perturbation found, P2 held so Rung B stands alex 2026-09-08 13:56:44 -04:00
  • 8b6c946614 rules 19-20: the instrument can perturb the measurement; a count cannot separate did-not-fire from fired-and-found-nothing alex 2026-09-08 13:56:06 -04:00
  • 132d41c44e roadmap: restore item 2, mark item 4 done, refresh current numbers alex 2026-09-08 13:53:39 -04:00
  • 8ad9971f6e lane H: five live probes, the oracle restored, and a harness perturbation bisected to one hook alex 2026-09-08 13:53:36 -04:00
  • 3f014a42eb board+roadmap: lane E1 income 25/25; correct roadmap item 1 - the turn path uses ComputeOutput, not ComputeMaxIncome alex 2026-09-08 13:53:20 -04:00
  • bebdee1ceb income-term: the output -> money chain read from the instruction stream; the BnkEl oracle goes 6/25 -> 25/25 alex 2026-09-08 13:49:48 -04:00
  • 08da5a1a06 standalone report regenerated from main: 209 -> 158 leaves, closed 51 regressed 0, 16/44 phases alex 2026-09-08 13:46:17 -04:00
  • 6e10def1b5 dashboard refresh after visibility alex 2026-09-08 13:43:31 -04:00
  • 069d7e649b board: lane E3 visibility - 128 leaves across five pairs, 0 regressed; the gate is AFlags not VFlags alex 2026-09-08 13:42:36 -04:00
  • 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 alex 2026-09-08 13:39:38 -04:00
  • d639c9a112 lane E3: the prediction's outcome, leaf for leaf alex 2026-09-08 13:39:30 -04:00
  • 58c2cd14b4 lane E3: ten addresses for the visibility record, and the standalone's new distance alex 2026-09-08 13:38:57 -04:00
  • 19afa1f78a dashboard refresh alex 2026-09-08 13:28:52 -04:00
  • f6a914beee board: lane E2 census wired; ship construction identified as a new blocker by a falsified prediction alex 2026-09-08 13:28:52 -04:00
  • 55ea86f0d5 lane E3: the per-system visibility record read from the instruction stream, and the prediction before the build alex 2026-09-08 13:26:46 -04:00
  • fbe3c7bd86 lane E2: T36 measured with the ship census wired in -- 29 closed / 7 regressed, and the two things it is still blocked on alex 2026-09-08 13:25:31 -04:00
  • 3a44f9178b tools/displacement.py: the honest progress metric - what fraction of the game runs on our code, by rung, with coverage caveats attached alex 2026-09-08 13:08:06 -04:00
  • 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 alex 2026-09-08 13:04:13 -04:00
  • 7f4d5c5b89 dashboard refresh alex 2026-09-08 12:52:21 -04:00
  • 90fba303ac board: lanes A2 and D2 - alliance rule, ModCount rule, ship designs do have a serializer alex 2026-09-08 12:52:20 -04:00
  • ab79e16843 board: multiplayer revival - direct IP joins without GameSpy; identity constants; ranked plan alex 2026-09-08 12:51:39 -04:00
  • a4aba6a9fb lane D2: the ship-design catalogue -- how designs persist, hull size, and the 0x400 flag alex 2026-09-08 12:45:36 -04:00
  • 1754cc20ac board: lane P2 nav classifier; type 2 is the Liir drive, a naming error not a gap alex 2026-09-08 12:45:27 -04:00
  • 728348b4a0 lane A2: the alliance mask read from the bytes, and every ModCount writer alex 2026-09-08 12:44:30 -04:00
  • e30619630e lane P2: the path solver read from the instruction stream, and OrderFleetMove's three failure bits alex 2026-09-08 12:43:34 -04:00
  • 52581efbfb board: VM140 holder = lane H alex 2026-09-08 12:15:33 -04:00
  • cfe07fef80 dashboard refresh alex 2026-09-08 12:15:23 -04:00
  • f328b82b67 board: lane N output term closed and live-verified; blocker moves to the income tail; VM released alex 2026-09-08 12:13:40 -04:00
  • 3c48d3a39e lane N: the population -> base-output term, read and live-verified alex 2026-09-08 12:11:52 -04:00