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-09 02:29:11 +00:00
35b05ebc18 regenerate addresses header: lane AG's gate-indexed audit fragment (1269 entries)
alex pushed to main at alex/sots-re 2026-09-09 01:59:37 +00:00
9e39b0051a dashboard: value-domain line as the counterweight to the 99.99%-typed figure
d98f435017 AD: predictions for the trade-raid multiplicity probe, committed before the build
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-09 01:58:04 +00:00
0a48be7498 value-domain census: 234 of 724 typed fields have only ever held one value
alex pushed to main at alex/sots-engine 2026-09-09 01:58:04 +00:00
e62d974601 stream: DomainArchive, the value-axis companion to the coverage ratchet
alex pushed to main at alex/sots-re 2026-09-09 01:50:28 +00:00
4e60e9fafb Rung B correction: replay runs the tail; board row for the fresh-build-dir gate catch
alex pushed to main at alex/sots-engine 2026-09-09 01:50:05 +00:00
0c6d0a3573 shim: launder game-address reads past -Werror=array-bounds in ai_orders
68a9fc824d sync header after AC merge
06d2ddfeec AC: address fragment for the trade-raid gate (regenerated header)
0f75048849 AC: prediction addendum from the static gate decode, before any active-state measurement
7e726b9074 AC: predictions before the active-contents workload
Compare 5 commits »
alex pushed to main at alex/sots-re 2026-09-09 01:43:02 +00:00
9eaec9ba2c resolution: V2 vindicated, my Rung B claim corrected, AC's probes=11 caveat; rule 28 on gated negatives
alex pushed to main at alex/sots-re 2026-09-09 01:35:31 +00:00
479a0d28ae board: REVERSAL - the tail does draw; gate is Commerce Raiding not container contents; L3 row superseded
bdaa26fe96 AC: guest-state and click-helper notes for VM141
2e7ed8f288 lane AC: the tail DOES draw under active contents -- the trade-raid gate, decoded and fired
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-09 00:58:59 +00:00
f84ffc0be9 dashboard refresh
alex pushed to main at alex/sots-engine 2026-09-09 00:58:58 +00:00
b1c61a827a sync header after SD merge
414bcc743e SD: record the two weapon lookups that gate the loop-carried draw
dd105da759 SD: a sub-bracket on the ship-design composer 0x006ad700
b67362b999 SD: predictions for the ship-design composer, written before the build
Compare 4 commits »
alex pushed to main at alex/sots-re 2026-09-09 00:53:17 +00:00
429f754aa7 board: lane SD composer cost model; the price query draws and discards; bracket pinning is not construction pinning
1914c92f70 SD: correct the site count in the header -- eight live sites in the composer's subtree, not nine
0505c51019 SD: the weapon chooser 0x006ad2a0, whose two return values gate the loop-carried draw
254ce7c156 SD: the ship-design composer 0x006ad700 -- a word-cost model, verified where it could be
Compare 4 commits »
alex pushed to main at alex/sots-re 2026-09-09 00:34:01 +00:00
67cd78b3f5 rule 24 amended: exclude local build dirs from the transfer too; a moved denominator means a broken build
ef7bbf9f99 SD: addresses for the ship-design composer
Compare 2 commits »
alex pushed to main at alex/sots-engine 2026-09-09 00:34:01 +00:00
e2296c5270 sync header after ID merge
bd48e80e6e merge lane ID: one allocator partitioned by node nibble; techId is the stricmp-sorted index
6a214f00f6 regenerate addresses: lane ID's 11 IDMap / StrategySim / tech-table entries
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-09 00:28:18 +00:00
1bae6f1bfe board: lane ID - one allocator partitioned by node nibble; techId is the sorted index; 282 named
c60ee36a0e lane ID: zero-residual id account for the canonical turn, and the collision story
975c19a57d lane ID: one id allocator on sixteen node counters, and techId is a sorted index
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-09 00:20:23 +00:00
f69e078247 dashboard refresh
alex pushed to main at alex/sots-engine 2026-09-09 00:20:22 +00:00
1d3f8116c3 merge lane WS: 14 new wire bindings; corpus coverage 99.50% -> 99.9949%, all 20 saves above the ratchet
7f04bcc88b lane WS: pay the ratchet debt -- type the five new bodies, do not move the bar
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-09 00:17:05 +00:00
6f6e74a0ff board: lane WS pays the ratchet debt in full; TacReports closed; CT111 SSH route recorded
befaf3dbfc lane WS: pay the ratchet debt -- prep/TacReports/Lay/trdmgr/fwarn typed, 97.6% -> 99.9959%
Compare 2 commits »
alex pushed to main at alex/sots-re 2026-09-08 23:51:26 +00:00
ffff622b0d dashboard refresh
alex pushed to main at alex/sots-engine 2026-09-08 23:51:25 +00:00
16b1e65fa3 merge lane L3: trade/spy workload (watchpoint modes unioned: modcount|tshn|snlv|cont)
c36b560cf0 merge lane L3 (header regenerated)
6699f543bc watch.mode=cont: both containers, both ends, re-armed every turn; and hooks=off no longer disarms the watchpoints
Compare 3 commits »
alex pushed to main at alex/sots-re 2026-09-08 23:48:34 +00:00
cc6db82497 board: lane L3 - trade/spy workload built, tail still does not draw, spies2 reading refuted
7d51767e87 lane L3: both containers filled, and filling them does not make the tail draw
Compare 2 commits »