• Joined on 2026-07-30
alex pushed to main at alex/sots-re 2026-09-10 13:30:48 +00:00
dc3741539d re: recapture ABI against rebuilt source
alex pushed to main at alex/sots-re 2026-09-10 05:07:06 +00:00
41a6840162 re: recapture TurnEvents boundaries
alex pushed to main at alex/sots-re 2026-09-10 04:53:25 +00:00
3e850a4a88 re: resolve ABI verification provenance defects
alex pushed to main at alex/sots-re 2026-09-10 04:31:03 +00:00
93e2166217 re: correct TurnEvents miss-path recovery
alex pushed to main at alex/sots-re 2026-09-10 04:22:14 +00:00
be66fdde2c re: invalidate zeroed TurnEvents assumption
alex pushed to main at alex/sots-re 2026-09-10 04:07:45 +00:00
7a780b7f22 re: recover PlayerEvent vector append ABI
alex pushed to main at alex/sots-re 2026-09-10 03:48:13 +00:00
04d2ec8287 re: recover PlayerEvent destruction ABI
8f3106ae10 campaign: checkpoint research ABI reconstruction
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-09 14:39:11 +00:00
3bfde5a70d plan: pick the replace unit by its write set, not its name (lane CR's lesson)
d12459d1e1 nav: lane DN, the instrument -- what the classifier hook declares and where each input comes from
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-09 14:24:32 +00:00
7741d42fc5 Merge branch 'wip/dt'
586171cb72 app: T34 RecordObservedDesigns -- the observed-design list, and the three rules the save cannot show
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-09 14:24:31 +00:00
feaa70e15e lane DT merged: T34 implemented, 36 closed / 2 regressed on the rich turn; the other 24 leaves have two named dependencies
d9b06ca447 lane DT: T34 implemented and measured -- 36 closed / 2 regressed on the rich turn, 1 / 0 on the canonical pair
3368e28091 nav: lane DN predictions for the route-classifier live compare, committed first
Compare 3 commits »
alex pushed to main at alex/sots-engine 2026-09-09 14:19:40 +00:00
52db23ce58 shim: exhaustive configs must also turn off the FPU sampling detours
19f49dc6dc Merge branch 'wip/cr'
00e9266476 tests: ratchet the opaque ITEM COUNT, not the percentage; census baseline 538
076f71439d stream: the name-gen used-slot pair, and the Sprj and FTPnts bodies
618ccb1c25 shim: research.replace_cascade, and a completion counter that prints in replace mode too
Compare 5 commits »
alex pushed to main at alex/sots-re 2026-09-09 14:13:51 +00: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
d4e9b58d4d plan: ruling on event text — game data via the VFS, not a caveat; CR verdict on 1a
1df4ffb463 lane DW: the writer is byte-exact on all 43 saves; make the gate honest
7dcc66bc66 lane CR: our code ran instead of ProcessResearch on a real completion; the oracle missed by 16 leaves, all of them OnTechResearched's
ea7b771c76 lane DT: T34 RecordObservedDesigns -- mechanism read from the instruction stream, prediction committed before the build
Compare 5 commits »
alex pushed to main at alex/sots-re 2026-09-09 13:40:31 +00:00
b6018a0f19 plan: pivot to displacement; gate.sh replaces the hollow gate; Rung B worklist from lane CV
c4ea347ace lane CV: localise the ModCount residual to lists 1/7/12; tool regression check
0d0b6dcfae lane CV: Rung B on a rich turn -- the replay runs, 1092 leaves, ranked worklist
fb5a4148b3 lane CZ: predictions for the z word, committed before the run
4b3cc82efb lane CR: the replace-mode predictions, committed before the build
Compare 5 commits »
alex pushed to main at alex/sots-re 2026-09-09 12:58:26 +00:00
77b5dd0d13 certified-pairs: record pairs as (save, procedure, route, hashes, processes, masks)
alex pushed to main at alex/sots-re 2026-09-09 08:13:37 +00:00
f1306713d1 lane BT merged: --relabel-new-ids ships with both acceptance halves and five refusing guards
d46b3f8391 state_checksum: --relabel-new-ids, comparing a pair modulo this turn's new id labelling
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-09 08:13:37 +00:00
e7e2bd6f62 ai: the gather order decides fleet names too, and not only ours
alex pushed to main at alex/sots-re 2026-09-09 07:41:47 +00:00
2338ad40dd board: the gather ordering contract is bound in the engine
alex pushed to main at alex/sots-engine 2026-09-09 07:41:34 +00:00
45b16ef626 ai: bind the fleet-gather ordering contract where it will be needed
55408a980a shim: aivisit, the fleet-assignment visit-order log (lane BU)
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-09 07:39:29 +00:00
d6f725a7ae lane BU merged: H1 confirmed, the visit key is fleet->Location, the outcome set is two heap pointers
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
232550595d lane BU: run 1's result reshapes the prediction; the run-2 test committed before run 2 finished
ca6782f4ff lane BU: the fleet-visit-order prediction, committed before the run
Compare 4 commits »
alex pushed to main at alex/sots-re 2026-09-09 07:14:31 +00:00
51243ef8b3 lane BS merged: the per-history residue is an absent Colonize task; BR's generator row scoped to encounter-free turns