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

Commit graph

  • dc3741539d re: recapture ABI against rebuilt source main alex 2026-09-10 09:30:46 -04:00
  • 41a6840162 re: recapture TurnEvents boundaries alex 2026-09-10 01:07:05 -04:00
  • 3e850a4a88 re: resolve ABI verification provenance defects alex 2026-09-10 00:53:14 -04:00
  • 93e2166217 re: correct TurnEvents miss-path recovery alex 2026-09-10 00:30:56 -04:00
  • be66fdde2c re: invalidate zeroed TurnEvents assumption alex 2026-09-10 00:22:06 -04:00
  • 7a780b7f22 re: recover PlayerEvent vector append ABI alex 2026-09-10 00:07:33 -04:00
  • 04d2ec8287 re: recover PlayerEvent destruction ABI alex 2026-09-09 23:48:10 -04:00
  • 8f3106ae10 campaign: checkpoint research ABI reconstruction alex 2026-09-09 23:38:44 -04:00
  • 3bfde5a70d plan: pick the replace unit by its write set, not its name (lane CR's lesson) alex 2026-09-09 10:39:09 -04:00
  • d12459d1e1 nav: lane DN, the instrument -- what the classifier hook declares and where each input comes from alex 2026-09-09 10:32:02 -04:00
  • feaa70e15e lane DT merged: T34 implemented, 36 closed / 2 regressed on the rich turn; the other 24 leaves have two named dependencies alex 2026-09-09 10:24:29 -04:00
  • d9b06ca447 lane DT: T34 implemented and measured -- 36 closed / 2 regressed on the rich turn, 1 / 0 on the canonical pair alex 2026-09-09 10:18:52 -04:00
  • 3368e28091 nav: lane DN predictions for the route-classifier live compare, committed first alex 2026-09-09 10:14:43 -04:00
  • fdea0fde08 lanes CR and DW merged: research stays compared (16 leaves, all OnTechResearched); writer byte-exact on 43 saves; gate locked; exhaustive-config blind spot alex 2026-09-09 10:13:49 -04:00
  • d4e9b58d4d plan: ruling on event text — game data via the VFS, not a caveat; CR verdict on 1a alex 2026-09-09 10:12:19 -04:00
  • 1df4ffb463 lane DW: the writer is byte-exact on all 43 saves; make the gate honest alex 2026-09-09 10:10:40 -04:00
  • 7dcc66bc66 lane CR: our code ran instead of ProcessResearch on a real completion; the oracle missed by 16 leaves, all of them OnTechResearched's alex 2026-09-09 10:05:48 -04:00
  • ea7b771c76 lane DT: T34 RecordObservedDesigns -- mechanism read from the instruction stream, prediction committed before the build alex 2026-09-09 10:03:48 -04:00
  • b6018a0f19 plan: pivot to displacement; gate.sh replaces the hollow gate; Rung B worklist from lane CV alex 2026-09-09 09:40:29 -04:00
  • c4ea347ace lane CV: localise the ModCount residual to lists 1/7/12; tool regression check alex 2026-09-09 09:31:58 -04:00
  • 0d0b6dcfae lane CV: Rung B on a rich turn -- the replay runs, 1092 leaves, ranked worklist alex 2026-09-09 09:28:50 -04:00
  • fb5a4148b3 lane CZ: predictions for the z word, committed before the run alex 2026-09-09 09:19:51 -04:00
  • 4b3cc82efb lane CR: the replace-mode predictions, committed before the build alex 2026-09-09 09:15:36 -04:00
  • 77b5dd0d13 certified-pairs: record pairs as (save, procedure, route, hashes, processes, masks) alex 2026-09-09 08:58:24 -04:00
  • f1306713d1 lane BT merged: --relabel-new-ids ships with both acceptance halves and five refusing guards alex 2026-09-09 04:13:35 -04:00
  • d46b3f8391 state_checksum: --relabel-new-ids, comparing a pair modulo this turn's new id labelling alex 2026-09-09 04:12:01 -04:00
  • 2338ad40dd board: the gather ordering contract is bound in the engine alex 2026-09-09 03:41:44 -04:00
  • d6f725a7ae lane BU merged: H1 confirmed, the visit key is fleet->Location, the outcome set is two heap pointers alex 2026-09-09 03:39:27 -04:00
  • 696935ea2a lane BU: H1 confirmed - the fleet-visit order is ascending fleet->Location, and the two-file outcome set is the two orderings of two heap pointers alex 2026-09-09 03:38:22 -04:00
  • 232550595d lane BU: run 1's result reshapes the prediction; the run-2 test committed before run 2 finished alex 2026-09-09 03:25:02 -04:00
  • ca6782f4ff lane BU: the fleet-visit-order prediction, committed before the run alex 2026-09-09 03:15:19 -04:00
  • 51243ef8b3 lane BS merged: the per-history residue is an absent Colonize task; BR's generator row scoped to encounter-free turns alex 2026-09-09 03:14:28 -04:00
  • 1bae6552d6 BS: cross-reference lane BR - the global generator's three-word seed mint reproduces, and it is not the whole story on an encounter turn alex 2026-09-09 03:13:15 -04:00
  • 3fa3ff942f BS: the per-history residue is a Colonize task the save does not carry - both routes reproduced their hashes under instrument alex 2026-09-09 03:11:12 -04:00
  • aa8d3fb39e lane AZ merged: three species short-circuits not one, frac polarity inverted in two published findings, tscr is not a corpus constant alex 2026-09-09 03:03:25 -04:00
  • 2ad6652eac AZ: correct the archived save's size, stage both states, and add the pre-loss turn-11 save alex 2026-09-09 03:00:29 -04:00
  • dde03ee6a6 AZ: the species gate has THREE conjuncts and the polarity is 0.0 - plus the first Tarka save alex 2026-09-09 02:58:06 -04:00
  • 96f2da8d2f vmshot: make Pillow optional so --one works anywhere, and document the invocation that supplies it alex 2026-09-09 02:52:56 -04:00
  • a0caaa32fa lane BR merged: RNG excluded by measurement, the global generator only mints seeds; first replayable rich-turn record alex 2026-09-09 02:52:04 -04:00
  • 2ff901e678 BR: RNG excluded by measurement - zero foreign draws in all three AI brackets, and the global generator is drawn 3x in a process to mint the AI seeds; plus the first replayable rich-turn record alex 2026-09-09 02:51:01 -04:00
  • 15c44711c1 BS: predictions for the per-history residue, committed before the runs alex 2026-09-09 02:33:01 -04:00
  • a05f54d2b0 BR: predictions committed before the run - P1-P4 of the fleet-visit-order resolution, on VM146 alex 2026-09-09 02:23:32 -04:00
  • 8552720ea8 rule 11 corrections: AD's 94 leaves decompose 59+35, list 10 is OnCommand_TransferShips, BP's income claim marked as inference alex 2026-09-09 02:22:24 -04:00
  • 05db2b30af resolver: the residue is fleet VISIT ORDER not id allocation, and the block records it; rule 26 gains (d), my 26(c) over-read corrected alex 2026-09-09 02:19:33 -04:00
  • fca5c6cd56 lane BQ merged: load-boundary scope on AR's pair, peaceful auto-resolve is not combat-free, rule 26(c) marked as a screen not a decision procedure alex 2026-09-09 02:15:42 -04:00
  • c43f638bc0 BQ: cross-reference lane BP's probe 2 - both lanes landed on the AI fleet layer alex 2026-09-09 02:13:22 -04:00
  • a264529b88 BQ: probe 1 run - the load->turn pair is not the continuation's, and turn 40 varies by COMBAT, not by the research pick alex 2026-09-09 02:12:15 -04:00
  • 10ddf09cb4 lane BP merged: C-exact false on a rich turn, residue is one fleet-id transposition; rule 26(c) qualified alex 2026-09-09 02:02:10 -04:00
  • 371f789ade BP: guest released - VM146 restored and hash-verified, hold ended alex 2026-09-09 01:57:45 -04:00
  • 746a6f29cb BP: probe 2 result - pinned seeds do NOT collapse a rich turn; the residue is one fleet-id transposition alex 2026-09-09 01:56:49 -04:00
  • 1c30a95c9d lane AP merged: P is two species branches not three sites; three gates closed; rule 23 gains predict-at-the-site alex 2026-09-09 01:36:22 -04:00
  • f14e845e87 AP: the row-62 replacement text for the board, written out rather than cross-referenced alex 2026-09-09 01:34:09 -04:00
  • 2ac52350f0 AP: P's three draws are two species branches - 0x00840a3c fires, 0x0088dc43 fires, the deploy NextFloat measured alex 2026-09-09 01:33:23 -04:00
  • e923d2928c BP: probe 2 prediction, committed before the run alex 2026-09-09 01:10:55 -04:00
  • be1426630c BQ: probe 1 predictions, committed before either run alex 2026-09-09 01:04:12 -04:00
  • 947f205867 board: scope the C-exact proof to the early-game turn it was demonstrated on alex 2026-09-09 00:56:53 -04:00
  • 0029d022f2 resolver: seed exposure is a predicate on the pre-turn save; rule 26 gains corollary (c) alex 2026-09-09 00:56:38 -04:00
  • 1fecff8af0 AZ: predictions for the raid-intercept species word, committed before the build alex 2026-09-09 00:53:00 -04:00
  • e935ec5880 lane AR merged: TradeManager+0x0c writer found, the raid pick FIRES, and an oracle pair exists on this state alex 2026-09-09 00:39:07 -04:00
  • c37eb0e79b AR: use the existing g_SpeciesDefTable name in the fragment prose alex 2026-09-09 00:37:43 -04:00
  • db4fda269f AR: header dates and status line alex 2026-09-09 00:37:25 -04:00
  • df9431be64 AR: the raid target pick FIRES - TradeManager+0x0c is the per-system containing-sector table alex 2026-09-09 00:36:32 -04:00
  • f8ff1b6fa9 AP: predictions for the spy program's remaining draws, committed before the build alex 2026-09-09 00:25:11 -04:00
  • 5e4c27772d lane AS merged: the detection roll fires, spies2 closed, rule 28 grown to six practices alex 2026-09-09 00:14:24 -04:00
  • aef3d487f3 AS: correct this lane's own over-claim -- 0x0083ce50 is a shared placement validator, not the spy-deploy path alex 2026-09-09 00:12:21 -04:00
  • 4a212e25b4 AS: the spy detection roll fires -- 1 word, gated on a usable asteroid belt; spies2 closed alex 2026-09-09 00:10:49 -04:00
  • 712d184599 AR: predictions for the raid-target-pick verdict, committed before the build alex 2026-09-08 23:12:41 -04:00
  • 7d49e216f1 lane AD merged: the raid roll is per fleet, B's zero is proof-carrying, sector 816 is out of range alex 2026-09-08 23:02:04 -04:00
  • 6d33a748c5 AD: the trade-raid roll is per fleet - 2 raiders = 2 entries, 2 words; B returns without drawing; no oracle pair (AI-only variation) alex 2026-09-08 23:00:23 -04:00
  • de1f168c56 board: Chance modelled in the engine with its zero-word and NaN cases alex 2026-09-08 22:32:25 -04:00
  • 7eeb68b8bd lane AG merged: gate-indexed audit rows, three gates decoded, tail-rng-ledger 11.1 corrected in place alex 2026-09-08 22:29:14 -04:00
  • 48db3cc425 lane AG: the gate-indexed RNG audit -- 31 unread-gate rows, 6 new draw sites, the SVSO generator named alex 2026-09-08 22:25:06 -04:00
  • 9e39b0051a dashboard: value-domain line as the counterweight to the 99.99%-typed figure alex 2026-09-08 21:59:34 -04:00
  • d98f435017 AD: predictions for the trade-raid multiplicity probe, committed before the build alex 2026-09-08 21:58:50 -04:00
  • 0a48be7498 value-domain census: 234 of 724 typed fields have only ever held one value alex 2026-09-08 21:58:03 -04:00
  • 4e60e9fafb Rung B correction: replay runs the tail; board row for the fresh-build-dir gate catch alex 2026-09-08 21:50:26 -04:00
  • 9eaec9ba2c resolution: V2 vindicated, my Rung B claim corrected, AC's probes=11 caveat; rule 28 on gated negatives alex 2026-09-08 21:43:00 -04:00
  • 479a0d28ae board: REVERSAL - the tail does draw; gate is Commerce Raiding not container contents; L3 row superseded alex 2026-09-08 21:35:29 -04:00
  • bdaa26fe96 AC: guest-state and click-helper notes for VM141 alex 2026-09-08 21:33:25 -04:00
  • 2e7ed8f288 lane AC: the tail DOES draw under active contents -- the trade-raid gate, decoded and fired alex 2026-09-08 21:32:27 -04:00
  • f84ffc0be9 dashboard refresh alex 2026-09-08 20:58:58 -04:00
  • 429f754aa7 board: lane SD composer cost model; the price query draws and discards; bracket pinning is not construction pinning alex 2026-09-08 20:53:15 -04:00
  • 1914c92f70 SD: correct the site count in the header -- eight live sites in the composer's subtree, not nine alex 2026-09-08 20:51:48 -04:00
  • 0505c51019 SD: the weapon chooser 0x006ad2a0, whose two return values gate the loop-carried draw alex 2026-09-08 20:50:11 -04:00
  • 254ce7c156 SD: the ship-design composer 0x006ad700 -- a word-cost model, verified where it could be alex 2026-09-08 20:50:03 -04:00
  • 67cd78b3f5 rule 24 amended: exclude local build dirs from the transfer too; a moved denominator means a broken build alex 2026-09-08 20:34:00 -04:00
  • ef7bbf9f99 SD: addresses for the ship-design composer alex 2026-09-08 20:30:28 -04:00
  • 1bae6f1bfe board: lane ID - one allocator partitioned by node nibble; techId is the sorted index; 282 named alex 2026-09-08 20:28:15 -04:00
  • c60ee36a0e lane ID: zero-residual id account for the canonical turn, and the collision story alex 2026-09-08 20:26:44 -04:00
  • 975c19a57d lane ID: one id allocator on sixteen node counters, and techId is a sorted index alex 2026-09-08 20:22:24 -04:00
  • f69e078247 dashboard refresh alex 2026-09-08 20:20:21 -04:00
  • 6f6e74a0ff board: lane WS pays the ratchet debt in full; TacReports closed; CT111 SSH route recorded alex 2026-09-08 20:17:03 -04:00
  • befaf3dbfc lane WS: pay the ratchet debt -- prep/TacReports/Lay/trdmgr/fwarn typed, 97.6% -> 99.9959% alex 2026-09-08 20:15:38 -04:00
  • ffff622b0d dashboard refresh alex 2026-09-08 19:51:24 -04:00
  • cc6db82497 board: lane L3 - trade/spy workload built, tail still does not draw, spies2 reading refuted alex 2026-09-08 19:48:31 -04:00
  • 7d51767e87 lane L3: both containers filled, and filling them does not make the tail draw alex 2026-09-08 19:44:23 -04:00
  • c0207e7d4c dashboard refresh alex 2026-09-08 19:41:53 -04:00
  • 4293200615 board: roll parity is false at five scopes; the cheap game/ai does not exist; cl_RandFloat hidden by a tail jump alex 2026-09-08 19:39:06 -04:00
  • e966a72fd9 PAR: record the gates, and the one difference between the deployed and committed builds alex 2026-09-08 19:37:56 -04:00
  • 4e76ec24bb PAR: reconcile the turn1-state outcome set with lane CB's concurrent pinned runs alex 2026-09-08 19:37:31 -04:00