• Joined on 2026-07-30
alex pushed to main at alex/sots-engine 2026-09-08 21:55:47 +00:00
7444c3b85c merge lane L5: interest-literal boundary verified live with a failing control; two more widened-float defects; reference pair shown non-deterministic
b39bb290e3 L5: the interest literals verified live at a boundary, with a control that fails
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 21:01:59 +00:00
2d6184888f standalone 209 -> 124 (closed 85); rule 24: never reuse a build directory across trees
alex pushed to main at alex/sots-re 2026-09-08 20:54:07 +00:00
9075f60f7b gen_addresses: detect same-address-different-name; 13 vocabulary forks resolved across 8 fragments
962cdb6981 tools: live screen wall + contact sheet for the five lab guests
2e935b8491 SV: what writes SvSctOb during a turn -- the script-object event bus
Compare 3 commits »
alex pushed to main at alex/sots-engine 2026-09-08 20:54:05 +00:00
011749571b point system_output at the surviving g_SpeciesDefTable name after the duplicate-address sweep
fe8ed45de4 merge lane SV: script-object event bus (CMake lists merged into their constructs, rule 22)
acf9a4018e sync generated header: 13 same-address duplicates resolved across 8 lane fragments
2d93404c67 SV: the script-object event bus, and what it writes in a turn
Compare 4 commits »
alex pushed to main at alex/sots-re 2026-09-08 20:45:58 +00:00
d6469bd4c5 board: lane W3 - TShn closed 158/158, Status predicate settled, AI4 prediction confirmed with its falsifier
471d6cb973 W3: NVO.TShn's writer trapped live, its gate named, and 158/158 on the corpus
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-08 20:45:27 +00:00
5d245e4c8b merge lane W3: TShn writer trapped and gate named (158/158); Player.Status predicate settled; AI4 prediction confirmed
005e8f500f merge lane PL: /Sim/players decomposed - 53 of 54 leaves are unmodelled not mismodelled; PvSav, BnkEl column recovery
ca1b8c2cba docs: name 0x00743ec0 in the W3 predictions -- clean_room_check rejected the raw identifier
9e914ef358 W3: watch.mode=tshn -- arm the NVO/TShn record and the trade+spy containers from the same S
26b041106f PL: decompose the /Sim/players residual; S00 PvSav snapshot; T31 recovers its difficulty column from the save; the bankruptcy protection factor is a widened float
Compare 7 commits »
alex pushed to main at alex/sots-re 2026-09-08 20:40:03 +00:00
4ce7a1e0a7 board: lane PL decomposes /Sim/players - 53 of 54 unmodelled not mismodelled; T31 self-check corrected
alex pushed to main at alex/sots-re 2026-09-08 20:37:10 +00:00
a545f33cc7 board: lab expanded to five Windows guests via ZFS clones - the single-VM constraint was shaping the work
91a04377d4 lane PL: decompose the /Sim/players residual by mechanism; the bankruptcy protection factor is a float32
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 20:31:03 +00:00
ed73b9fe7a board: lane AI4 - ModCount decomposed with zero residual, all EIPs named; reference-game corrections
ae47971316 AI4: what an AI turn emits, and what each command costs in ModCount
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-08 20:31:03 +00:00
e0f80a1bf6 merge lane AI4: AI order emission scaffold; ModCount decomposed exactly, all handler EIPs named
3ca010978c game/ai: the order block, the turn's phase spine, and what a command costs
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 19:57:35 +00:00
c0c685d07f board: lane G3 growth is clamp-decided not capacity-gated; a live-verified module was wrong on widened float literals
alex pushed to main at alex/sots-re 2026-09-08 19:57:10 +00:00
63347c7c17 rule 23: a live-verified module can still be wrong - thin coverage is how; float literals are widened floats
d4f9404960 lane G3: civilian growth read and measured; out[6] is not a repair number
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-08 19:57:09 +00:00
aabd8a3506 merge lane G3: civilian growth; app CMake list and includes union-resolved into their constructs (rule 22)
6d5713ecc4 sync generated header (1138 entries) before G3 merge
ed6602e9ed S11 civilian growth; fix ComputeBudget's interest literals
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 19:49:46 +00:00
3e5117bc05 board: VM140 holder = lane W3
alex pushed to main at alex/sots-re 2026-09-08 19:49:07 +00:00
c810c552e5 standalone report from merged main: default 209 -> 131 closed 78; note the with-inputs 127 distinction
alex pushed to main at alex/sots-re 2026-09-08 19:46:02 +00:00
1b5553b0aa board: lane EV event posting; two events.md corrections; the withheld-roster control measurement
c224ff2214 lane EV: what a turn actually posts, and two corrections to events.md
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-08 19:46:02 +00:00
5d01c7c7de merge lane EV: P11 event posting; +4/+3 leaves; NO_RESEARCH gate corrected; PostEvent turn is Frame not ModCount
e30d43dd1b P11: post the no-research event into the save's turn bucket
4065808a05 docs: EV prediction committed before the build -- P11 posts one event, closed 4/3, regressed 0
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 19:34:46 +00:00
c997c6ebce board: lane W2 - multiplayer verified end to end, ModCount confirmed, rcex closed, Player.Status writer found
alex pushed to main at alex/sots-re 2026-09-08 19:34:13 +00:00
2b7758123f rules 21-22: lanes never touch the shared worktree; union-resolve is not concatenation. VM released
e9dec36d77 findings: lane AI3 -- the AI stepping order is save player order, and pass 0 writes nothing
b77a6116e2 lane W2: VM housekeeping notes for the multiplayer recipe (SOTSUI2 left registered, SOTSB staged not registered, -ExecutionPolicy Bypass gotcha)
cb1ea723e1 lane W2: the three queue items not reached, with the reason and the cheapest next step for each
92ad44efb0 lane W2: multiplayer Tier 0 played end to end with no server; ModCount/Frame/Status watchpoints; rcex explained
Compare 5 commits »
alex pushed to main at alex/sots-engine 2026-09-08 19:33:58 +00:00
1cc3b1348d fix my union-resolve of shim main.cpp: the probe_config branch was missing its close, breaking the cross-build
cc77de3429 merge lane W2: watchpoints + multiplayer Tier 0 (CMake list and main.cpp union-resolved to keep both instruments; header regenerated)
Compare 2 commits »