adv-accept: 03:25 BST reading (408,067 programs, box-hours 9.2), s09b yield to Q4d, re-queues

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

docs/analysis/cryptanalysis/report-acceptance-rule.md

@@ -20,7 +20,7 @@ internal adversarial pass, not an independent review
   ".../era/k"), so `adv-live warps --program k` measures the live hot set of exactly the program the sweep reports.
 - rustc 1.99.0 both sides. First results by 8 October 2026 18:00 UTC. GPU: not available, so any per-card
   hash-rate confirmation of a gain is BLOCKED and said so.
-- Box-hours spent so far: about 7.4 at 01:40 BST 8 Oct (running time, both boxes; the standing table carries the breakdown). Budget 8, then a reading to the coordinator.
+- Box-hours spent so far: about 9.2 at 03:25 BST 8 Oct (running time, both boxes; the standing table carries the breakdown). Budget 8, crossed at about 02:15 BST; the reading went to the coordinator at 03:25 BST and the shards run on in the pool's gaps until told otherwise.
 
 ## Draw-path validation (must pass before any claim)
 
@@ -861,11 +861,34 @@ from 911979, s05b from 502127, s03 from 300002, s07b from 706081, s01d from 1506
 s06c from 652538, s04b from 400603, s00g from 40822) after the watcher's 20-minute window passed with no
 class v5 or release lease ever appearing in the pool listing.
 
+### Ledger, 8 October after the reading
+
+01:33 BST, box 2: row 90's second half (attempts-10k-b) finished, 1,112 s on 32 cores; merged above.
+
+01:52 BST, box 2 (coordinator's order): adv-accept-3's Q4d (spec read-back against 56eebc0d, 16 cores) was
+the only waiter with 0 free and this lane held 87 of the 88 pool cores. Ended sweep-s09b by pgid file
+(8,251 rows kept, frontier 920229); Q4d took the 16 cores 61 s after queueing. Re-queued the remainder as
+sweep-s09c from 920230 (79,772 seeds), 32/16, behind Q4d. The other holders (s02e 23, s05b 16, s06c 32)
+stayed; s04b took 16 cores at 01:57 BST when they came free.
+
+About 02:15 BST: box-hours crossed the plan's 8 (running time). The reading went to the coordinator at
+03:25 BST with the count and the choice (shards run on in the pool's gaps, or end at their frontiers).
+Until told otherwise they run on.
+
+03:24 BST: the owner-rule yield watcher closed its window on both boxes with no trigger (no class-v5 or
+v5-labelled attack-pass waiter appeared); restarted on box 2 only, nothing of this lane holds on build-1.
+
+03:25 BST, box 2: sweep-s03, sweep-s07b and sweep-s01d had given up after the pool's 2 h wait without a
+row. Re-queued from their frontiers as sweep-s03b (from 300002, 100,000 seeds), sweep-s07c (from 706081,
+93,921) and sweep-s01e (from 150610, 49,392), 32/16. Queue on box 2 at 03:26 BST: holders s02e, s05b, s06c,
+s04b; waiters s08, s00g, s09c, s01e, s03b, s07c. Accepted programs on disk 408,067 (80,234 build-1,
+327,833 box 2, ranges disjoint).
+
 ## Where the pass stands: the 00:00 BST reading (count refreshed 01:08 BST, 8 October; pool state at 23:50 BST)
 
 | Item | Reading |
 |---|---|
-| Box-hours spent (running time, both boxes, nice 10; pod-hours 0, no GPU, no pod) | about 7.4 at 01:40 BST (5.5 at the 00:00 reading, then row 90's second half for 19 min on 32 cores and three shards holding 16 to 23 cores each on box 2 for about 1.6 h): the two 88-thread shards for 1.9 h of wall under contention until the 20:21 kill, then shards at 32 or fewer cores through the lease pool with repeated releases to the class v5 work (every release by pgid file, rows kept, re-queued from the recorded frontier); two adv-live confirmation chains, the 10^6-nonce census (51 programs), 34 live rows at 2^24 of the stand-in tail plus 20 random, the gap tool on 61 programs plus 17 decisive 2^20 reads, row 90 on 20,000 seeds, the class v5 exemplar check |
+| Box-hours spent (running time, both boxes, nice 10; pod-hours 0, no GPU, no pod) | about 9.2 at 03:25 BST (5.5 at the 00:00 reading, then row 90's second half for 19 min on 32 cores, three shards holding 16 to 23 cores each on box 2 to 01:40, then four shards holding 87 of the 88 pool cores to 03:25; the 8 crossed at about 02:15 BST): the two 88-thread shards for 1.9 h of wall under contention until the 20:21 kill, then shards at 32 or fewer cores through the lease pool with repeated releases to the class v5 work (every release by pgid file, rows kept, re-queued from the recorded frontier); two adv-live confirmation chains, the 10^6-nonce census (51 programs), 34 live rows at 2^24 of the stand-in tail plus 20 random, the gap tool on 61 programs plus 17 decisive 2^20 reads, row 90 on 20,000 seeds, the class v5 exemplar check |
 | Q1, the bypass: bound reached | 269,250 distinct accepted programs drawn through the chain path by 01:08 BST (27 percent of the 10^6 planned; 46 shard files de-duplicated by seed; 182,646 at the 23:50 reading; at 23:50 three shards of mine held 87 cores on build-2 and the rest waited: build-1's pool stayed held by attack-pass from 20:42 on, so row 90's second half and four shards never ran there). Nine pass every part of the rule and flag the f8 hot-set test on the LIVE dataset at 2^24 nonces (100767, 4346, 5245, 1738, 170, 106924, 107022, 122960, 228763: X_0.1% +0.102 to +0.221 percent, 1.54x to 2.24x over the window model), all nine in the lowest 37 stand-in-ratio seeds; 20 random accepted programs: 1 beyond the f8 gate, 0 hot sets. Every hot set is the top 0.1 percent of items (about 1 MB) holding 0.26 to 0.41 percent of reads against 0.15 expected: an on-die copy saves under 0.3 percent of DRAM reads, gain 1.002x at the largest; no row of chip-model-v3.md moves. Mechanism: a load site whose source reaches zero or all-ones (or one bit off) in hundredths of a percent of evaluations, under the (c') 1 percent limit, mapped by the era stride to one fixed item (item 0x000000 the hottest in four); two further shapes seen (a low-entropy band without saturation; one constant image from a non-saturated source, seed 29307). The exemplar reads the same hot set under the class v5 dataset (the pre-floor draw) |
 | Q1 against the class v5 per-site floor at 0.995 | all 9 live hot sets refused (minimum sites 0.9809 to 0.9919 at the acceptance's own 2^20 sample); 3 mild concentrations missed (Devnet 3 epoch 0 site 0 at 0.9992, adv-cache-2's era-fixed-20 at 0.9997 and era-drawn-2 at 0.9992: about 1.0004x to a chip, adv-cache-2's rotation class); 7 clean-live programs refused and 1 clean passed among the 12 deepest 256-unit seeds (the floor's 2.4 percent clean rejection) |
 | The selector | the 256-unit stand-in ratio enriches the live gate 13x (17 beyond of the lowest 25 against 1 of 20 random) and finds the hot sets (8 of 34 against 0 of 20), with false positives 8 of 25 on the gate and 26 of 34 on the hot-set test; below 0.995 it is not sampling noise but a different fact: a low ratio is a thin spread of repeated indices, not a hot set. The 2^20 ratio the rule computes is the real selector; one chain draw costs about 3 s of one core and a seed under 0.998 costs about 1,000 draws |
@@ -873,7 +896,7 @@ class v5 or release lease ever appearing in the pool listing.
 | Q5, distinguishers | a lossy last write to an output register in 83.5 percent of 269,250 accepted programs, no live effect beyond Q1's; register-set collapse 0; the 0.98 floor is live in the tail (0.9811 at 256 units, 0.9814 at 2^20 seen) |
 | Row 90 (owner adv-accept-3, unspawned; claimed) | 20,000 seeds: rejection by part (a') 83.5, (a) 11.6, (b) 3.0, (c'') 1.1, the rest under 1 percent; per-candidate rejection 0.681 flat across attempts; P(exhaust) 2e-43; 0 exhaustions; max attempt 28; the last resort reachable only by a rule that rejects everything (plant fired) and then accepted as drawn |
 | BLOCKED | per-card hash-rate confirmation of any gain (no GPU tonight); priced analytically against chip-model-v3.md |
-| Partial, named as partial | 269,250 of 10^6 seeds at 01:08 (the shards run on); 37 of the stand-in tail and 20 random measured live; row 90 complete at 20,000; the 2^20 read of seed 3664 and the live attribution of the clean deep seeds not taken further |
+| Partial, named as partial | 408,067 of 10^6 seeds at 03:25 BST (the shards run on; every hot set found is in the 1.002x class the v5 floor refuses); 37 of the stand-in tail and 20 random measured live; row 90 complete at 20,000; the 2^20 read of seed 3664 and the live attribution of the clean deep seeds not taken further |
 | What a longer pass adds | the other 73 percent of the 10^6 seeds, the 2^20 ratio (not the 256-unit proxy) as the ranking, and a live row for every seed under 0.985 at 2^20: more rows of the same three shapes, not a different answer unless a seed reads a hot set over 1 percent of reads, which 269,250 draws and 54 live rows did not produce. The open design question is adv-cache-2's: the stride rotation that lets a product's low bits into the item index, a load_index change rather than a floor |
 
 ## Running notes