From f2c3b21a64a912e5133276f90f8411bb81373c1e Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 19:26:03 +0000 Subject: [PATCH] adv-accept report: re-queue through lease pool recorded (order, boxes, times, leases) Co-Authored-By: Claude Fable 5.1 --- .../cryptanalysis/report-acceptance-rule.md | 23 ++++++++++++++++--- 1 file changed, 20 insertions(+), 3 deletions(-) diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule.md b/docs/analysis/cryptanalysis/report-acceptance-rule.md index af7e65555..77a178b8a 100644 --- a/docs/analysis/cryptanalysis/report-acceptance-rule.md +++ b/docs/analysis/cryptanalysis/report-acceptance-rule.md @@ -373,9 +373,26 @@ pid files now, not left to finish; release builds and the class v5 suites outran | row 90 attempts census, 20k seeds | build-2 | 20:21:17 | no summary (prints at the end) | the whole run | lease pool, with progress lines added first | | class v5 exemplar (queue 10), repeated-index read (queue 11) | build-2 | 20:21:52 | never ran (waiting on the sweep lock) | nothing | lease pool | -Accepted programs in hand after the kill: 23,321 (sweep rows, both shards, both parts). Every partial row -above stays in this report as partial. Box-hours running before the kill: about 2.9. Nothing starts until -`/srv/builds/_bin/lease pool` exists (at 20:22 BST the lease tool has `cores` and `quiet` only). +Accepted programs in hand after the kill: 23,319 distinct seeds (11,755 of shard 00 up to seed 11829; +11,564 of shard 01 up to 111630; 138 seeds in flight at the kills are gaps below the frontiers). Every +partial row above stays in this report as partial. Box-hours running before the kill: about 2.9. + +Re-queue through `lease pool` (live on both boxes from 20:22 BST; every lease at most 48 cores, --min 16; +the pool rule: release builds and the class v5 suites outrank every sweep, and a waiter labelled "v5 gate" +or "v5 kit" means finish the shard in hand and release): + +| Order | Run | Box | Queued (UK) | Lease | +|---|---|---|---|---| +| 1 | 14 remaining lowest-ratio seeds plus 100629, 2^24, --diag 1 | build-1 | 20:25:04 | 48 / min 16 | +| 1 | 9 remaining random seeds, 2^24 | build-2 | 20:25:11 | 32 / 16 | +| 2 | class v5 exemplar: const-item plant at 10^6, then 100767 at 2^24 with --diag 1, state = the Devnet 3 v5 pack's stream | build-2 | 20:25:11 | 32 / 16 | +| 3 | repeated-index gap read (seeds 100767, 100211, 100064, 100159, 100629, 2, 3664) | build-2 | 20:25:11 | 32 / 16 | +| 4 | row 90 attempts census, 20k seeds (after the rebuild with progress lines) | build-1 | pending | 48 / 16 | +| 5 | shard 00 from seed 11830 (88,172 seeds); shards 02, 04, 06, 08 | build-2 | 20:2x | 32 / 16 each | +| 5 | shard 01 from seed 111631 (88,371 seeds); shards 03, 05, 07, 09 | build-1 | 20:2x | 32 / 16 each | + +At 20:25 BST the pool on build-2 had 0 free cores (adv-accept-3 and another lane ahead in the queue); my +leases wait their turn. ## Where the pass stands (for the 00:00 BST reading; numbers refreshed as rows land)