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-engine 2026-09-08 06:07:54 +00:00
7584badab3 sync header
ebd8297a5d merge b4 live verification (header regenerated)
bf163a187f b4 live: 36 calls 0 divergences, no colony RNG draws as predicted; fix 3 hook bugs (stale args, two-base StrategyServer, raw Ghidra offset)
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 06:07:29 +00:00
619edf97f4 regenerate header
ff67ec0d9a b4 live artifacts; two-base StrategyServer hazard in the contract
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 05:30:35 +00:00
b878c4c48f harness audit merged; qualify B1/B4 claims with the blind spots it found
alex pushed to main at alex/sots-engine 2026-09-08 05:30:35 +00:00
e1cbb81fdb clean-room: strip decompiler identifier from a coverage note
alex pushed to main at alex/sots-re 2026-09-08 05:28:38 +00:00
cdada28d78 harness: coverage reporting + --strict-coverage in tracecmp
alex pushed to main at alex/sots-engine 2026-09-08 05:28:38 +00:00
3f0721f443 merge harness audit (coverage + guards)
c110fb245b harness: compile-time Coverage on every descriptor, guard regions, replace-mode records; audit of 23 undeclared side effects
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 05:19:49 +00:00
84a0b7ceae B2 verified live; record the RollResearchEvent draw as behaviourally unproven
alex pushed to main at alex/sots-engine 2026-09-08 05:19:32 +00:00
b925944492 fix: regenerate address header so b2 offsets are present
alex pushed to main at alex/sots-re 2026-09-08 05:19:06 +00:00
ee43e96404 regenerate address header with b2 offsets
alex pushed to main at alex/sots-engine 2026-09-08 05:18:49 +00:00
a5ffe187ea merge b2 live verification (header regenerated)
bbba536d99 b2 live: 3 completions compared 0 divergences; float32 confirmed on the game; RollResearchEvent RNG region added; xenotech block size bug fixed
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 05:18:42 +00:00
5b6f812e31 b2 live artifacts; click_helper shot verb
alex pushed to main at alex/sots-re 2026-09-08 04:59:01 +00:00
2d1a097b07 board: B4 code-complete with 22 corrections; harness audit lane opened
alex pushed to main at alex/sots-re 2026-09-08 04:58:19 +00:00
4d535028ed b4 static findings: 22 formula corrections, 3 verified signatures, contract -> 324 entries
alex pushed to main at alex/sots-engine 2026-09-08 04:58:19 +00:00
89c0013496 merge b4; regenerate header
e3b14ed22b merge b4 (colony/movement corrections; VM verification pending)
4abf654983 b4: colony + movement hooks; 22 formula corrections (growth curve has no capacity term, range margin +0.05f, ties-to-even rounding); 3 verified signatures
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 04:30:34 +00:00
535d1c3b58 B3 live partial pass; record the undeclared-side-effect-list harness gap
alex pushed to main at alex/sots-engine 2026-09-08 04:30:08 +00:00
646e4e8bb2 merge b3 live verification; regenerate header
8a58862707 b3 live results: 13/15 zero-divergence, RNG post-state 14/15; research target is state 3 (no decay); oracle gap = unposted overbudget event
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 04:29:45 +00:00
ef3858c2ca regenerate address header
8a6c0e8404 b3 live: fpu_cw settles x87 (53-bit); correct Q8 - research target is state 3 so it never decays
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 04:02:12 +00:00
83107f91f0 board: B2 code-complete with 10 corrections; B4 colony/movement lane opened
alex pushed to main at alex/sots-engine 2026-09-08 04:01:28 +00:00
f28c6393ba merge b2; regenerate address header (211 entries)
1cd5c74f57 merge b2 (tech effects corrected; VM verification pending)
4a6e11d1ce b2: OnTechResearched hook + 10 effects-table corrections (float32, xenotech block size, no already-researched guard, sticky mask, AI bonus values)
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 04:01:05 +00:00
db9b561964 b2 static findings: tech effects corrections, full g_TechIdNames dump; contract 176->211