alex
0 followers · 0 following
  • Joined on 2026-07-30
Repositories
4
 Projects Packages Public activity Starred repositories
1
alex pushed to main at alex/sots-re 2026-09-08 03:52:52 +00:00
ead46e2608 M2 verified live (weapons); section compare crash recorded as a gap
alex pushed to main at alex/sots-engine 2026-09-08 03:52:52 +00:00
b791392eba merge m2 verification notes
0082eee3b9 m2: live verification results (weapons compare 0 div, oracle passes; section compare crash documented)
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 03:26:56 +00:00
906858f60b B1 verified on the live game; record budget-tail coverage gap and the difficulty-mods shortcut
alex pushed to main at alex/sots-engine 2026-09-08 03:26:56 +00:00
9cd997da93 merge b1 (ComputeBudget verified: 4437 compares, 0 divergences, oracle byte-identical); union shim hooks; regenerate header
16f3aa90e5 b1: ComputeBudget hook + adapter; fix researchMoneyKept to be charged only with a research target; budget out-param is int[22]
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 03:24:59 +00:00
3a3e167242 b1 corrections: budget out-param is int[22], researchMoneyKept gated on a research target
alex pushed to main at alex/sots-re 2026-09-08 03:15:48 +00:00
1e7428d5aa board: B2 offline lane; VM queue M2/B3/B2
alex pushed to main at alex/sots-re 2026-09-08 03:14:52 +00:00
6600382e12 b3 static findings: rng draw mapping, NextInt inclusive, float32 odds; address contract +17
alex pushed to main at alex/sots-engine 2026-09-08 03:14:31 +00:00
3ebc8bf5a9 merge b3 (RNG + research corrections; VM verification pending)
dd97137fb0 b3: research hook + RNG-snapshot compare design; fix draw mapping to y/(2^32-1), NextInt inclusive, float32 odds, spend floor, decay constants
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 02:44:04 +00:00
73f5f1e2ad board: B3 offline lane, VM queue M2 then B3
alex pushed to main at alex/sots-re 2026-09-08 02:43:06 +00:00
f146a7616a m2 code merged (VM window pending); record the 3-word vector struct hazard
alex pushed to main at alex/sots-engine 2026-09-08 02:42:49 +00:00
81218c732c merge m2 manifest hooks (code-complete; VM verification pending)
da679cd79f m2: manifest/id dictionary hooks + manifest_loader; thiscall support in Hook template; struct sizes pinned (+0x14 word)
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 02:36:14 +00:00
01c3217b5c lab rule: VM140 shim deploys are exclusive; record the holder
alex pushed to main at alex/sots-re 2026-09-08 02:34:19 +00:00
23b8eda585 board+dashboard: sim formulas pinned, game/effects merged, B1 in progress
alex pushed to main at alex/sots-engine 2026-09-08 02:33:42 +00:00
de779ad786 wire game/effects into host + shim builds
16ce9ab6ee merge sim-pin (pinned formulas + tech effects)
f83f6af62d game/sim: pin all five low-confidence formulas; game/effects: TechId table + 44 typed strategic effects
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 02:29:36 +00:00
fa47bcdd6f correct the rng float-parity note: float10 is the x86 return ABI, not evidence of extended-precision math
alex pushed to main at alex/sots-engine 2026-09-08 02:29:07 +00:00
b1fcb56017 generated address header: verified RNG signatures
alex pushed to main at alex/sots-re 2026-09-08 02:28:58 +00:00
cea76e2771 rng: verify Seed/Twist/NextFloat signatures; lazy twist confirmed; flag x87 float-parity risk
alex pushed to main at alex/sots-re 2026-09-08 02:24:47 +00:00
87a39b6731 plan the behavioral slice: B1 ComputeBudget, B2 OnTechResearched, B3 ProcessResearch (RNG); gate on RNG signatures
alex pushed to main at alex/sots-re 2026-09-08 02:18:24 +00:00
8116f9e0c8 P2-M1 verified on the live game: golden trace, 0-divergence compare, replace passes the End-Turn oracle
alex pushed to main at alex/sots-engine 2026-09-08 02:18:03 +00:00
8b231c0a86 merge m1 config loader (cmake union)
16e9d927af m1: GlobalConsts::LoadFile hook + game/config loader; trace 19 calls, compare 0 div, replace passes End-Turn oracle
Compare 2 commits »