Bench log: four-shard block proven on the RTX 5090 (run 3), save gap closed; first machine in the United States

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

docs/bench-log.md

@@ -872,9 +872,9 @@ executor alone. `S_p` = 7,500,000 pgas provisional; the fixtures carry 6.75 M pg
 | two-shard block (block-341-shards2): compressed proof per shard | not run | 11.7 s and 10.0 s, 1,272,897 B each, verify 0.039 and 0.038 s (run-20261004-173115, 18:06:50 and 18:07:00) |
 | two-shard block: aggregation (prove s, bytes, verify s) | not run (three 200-pgas shards: 244.5 s, 1,272,909 B, 0.084 s) | 2.2 s, 1,272,909 B, 0.039 s, VERIFIED, shard program id and claim checked (run-20261004-173115) |
 | two-shard block: end to end, first shard proof to the verified block proof | not run (three 200-pgas shards: 1,139 s) | 24 s of GPU stages (setup 12.6 s, two compressed proofs, aggregation); 2 min 18 s wall with the proof saves (run-20261004-173115, 18:06:26 to 18:08:44) |
-| four-shard block (block-344-shards4, near `B_p`): compressed proof per shard | not run | not run: the script read only its second argument (fixed 18:10 UTC); next job |
-| four-shard block: aggregation (prove s, bytes, verify s) | not run (aggregator statement 1.66 M cycles) | next job |
-| four-shard block: end to end | not run | next job |
+| four-shard block (block-344-shards4, near `B_p`): compressed proof per shard | not run | 10.6, 10.7, 10.5 and 10.2 s, 1,272,897 B each, verify 0.037 to 0.039 s (run-20261004-r3-shards, 19:01:49 to 19:02:21) |
+| four-shard block: aggregation (prove s, bytes, verify s) | not run (aggregator statement 1.66 M cycles) | 2.5 s, 1,272,909 B, 0.038 s, VERIFIED (run-20261004-r3-shards) |
+| four-shard block: end to end | not run | 44.5 s of GPU stages (setup 12.5 s, four compressed proofs, aggregation); the block at 27 M pgas proves in under a minute on one card (run-20261004-r3-shards) |
 | setup (one per program id) | 39.4 to 60.6 s (client plus two key setups) | 21.3 s first process (client 6.7, shard keys 14.6, aggregator keys 0.03); 12.6 s second process |
 | GPU idle wait before the run, package download and extract, build (incremental) | | miners stopped 17:38:56; build 58 s (sources already compiled once); job 1,789 s wall, of which 25 min 46 s was saving proofs (below); mining resumed by itself at 127 MH/s |
 
@@ -1051,3 +1051,17 @@ moving (150.8M at the height, then stepping down as PC 2's card paused for a pro
 the chain; a consensus rule changed under a running network with miners on three platforms. The first measurement of
 v2 on the devnet's own regime (two large miners, bursty parallel blocks) needs PC 2 back from its job; the cloud
 numbers stand meanwhile (settle 157 to 272 s, no swing).
+
+Third run (job run-20261004-r3-shards, 18:59 to 19:02 UTC, 3 min 22 s wall for the shard and both blocks): the buffered
+save closed the gap, the core proof finished at 19:00:38 and the compressed stage started at 19:00:39 UTC; shard
+timings repeated within 0.3 s of the first run (core 9.1 s, compressed 10.5 s). The second run (run-20261004-1912-shards)
+failed in its first second with a guest that returned 0 bytes of public values; the same sources executed the shard on
+the Mac, and a forced rebuild of every source on the PC cleared it (ledger P20 closed; the package build now has a gate).
+
+## 4 October 2026, first machine in the United States: a Windows laptop on an Intel integrated GPU, synced and voting
+
+A colleague's Windows laptop in the United States installed Igneum Miner 0.3.3 from the downloads link at about 18:52
+UTC. Its node took the 38,000 headers and blocks from one peer, the seed node, in about eight minutes across the
+Atlantic. The only card is an Intel UHD integrated GPU: the OpenCL worker runs at 1.46 MH/s and found one block in its
+first four minutes; the identity's votes on checkpoints 1202 and 1203 were accepted by the network, so a laptop with no
+discrete card takes part in finality. Machine id 37ba0461 in the console; app log run `win-37ba0461-20261004-185342`.

site/build.mjs

@@ -154,6 +154,7 @@ if (existsSync(join(docs, 'bench-log.md'))) {
     ['Igneum-node devnet v2', 'Finality rule v2 live on a four-miner test network'],
     ['Execution layer devnet v3', 'EVM execution layer: identical state on three nodes'],
     ['Weak-program census', 'Census of 400,000 programs: redundant loads found'],
+    ['First machine in the United States', 'First machine in the United States: a laptop on an integrated GPU, synced and voting'],
     ['Shard proving on the RTX 5090', 'Shard layer on the RTX 5090: a full shard proven in 10.9 s, a block aggregated in 2.2 s'],
     ['Proving v0 on the RTX 5090', 'First GPU proof of an Igneum block: 1.4 s on an RTX 5090'],
     ['Proving v0', 'First SP1 proof of an Igneum block, on a laptop CPU'],

site/journey.json

@@ -50,6 +50,11 @@
     }
   ],
   "log": [
+    {
+      "date": "2026-10-04",
+      "text": "First machine in the United States: a Windows laptop on an Intel integrated GPU, synced and voting",
+      "short": "First machine in the United States: a laptop on an integrated GPU, synced and voting"
+    },
     {
       "date": "2026-10-04",
       "text": "Shard proving on the RTX 5090: a full shard compressed in 10.9 s, a two-shard block aggregated in 2.2 s, all verified",
@@ -244,11 +249,6 @@
       "date": "2026-10-03",
       "text": "R3.26 / M15: PoW checked after the cheap checks, cache-build cap, attack before and after",
       "short": "Cache-build attack closed: 10.6 s of rebuilds to 14 ms"
-    },
-    {
-      "date": "2026-10-03",
-      "text": "Difficulty controller: devnet record, simulator, Igneum dual-lane rule, 3-node CPU test network",
-      "short": "Igneum dual-lane difficulty rule built and simulated"
     }
   ]
 }