igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

adv-accept report: ledger of the 20:21 BST kill and the re-queue through the lease

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 19:22:45 +00:00
parent 839109598c
commit 29b6cb11eb
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
docs/analysis/cryptanalysis/report-acceptance-rule.md
View file

@ -353,6 +353,26 @@ nothing new starts until they end. Shards 02 to 09, the class-v5 check and any r
- box 1, 19:5x BST: `adv-live warps --program k --nonces 1000000` for the five lowest-ratio shard-01 seeds, log
adv/live-lowratio-s01.log.
## Ledger: the kill of 20:21 BST and the re-queue through the lease
Main's rule (relayed 20:2x BST): no sweep, census or verdict run on a box except through the build-server
lane's `lease pool <threads> -- cmd` (landing within the quarter hour); hand-started binaries killed by their
pid files now, not left to finish; release builds and the class v5 suites outrank every sweep tonight.
| Run | Box | Killed at (UK) | Reached | Lost | Re-queue |
|---|---|---|---|---|---|
| sweep shard 00 (seeds 3847..) | build-2 | 20:21:20 | 7,944 rows (plus 3,812 of part 0) | the rest of the shard | lease pool, from the frontier seed |
| sweep shard 01 (seeds 104649..) | build-1 | 20:21:13 | 6,943 rows (plus 4,622 of part 0) | the rest of the shard | lease pool, from the frontier seed |
| live census, 10^6 nonces, programs 2..201 | build-2 | 20:21:18 | 51 programs (32 in the mirror copy, 19 after) | programs 53..201 | lease pool |
| 20 lowest at 2^24 | build-1 | 20:21:12 | 6 of 20 | 14 rows | lease pool |
| 20 random at 2^24 | build-2 | 20:21:19 | 11 of 20 | 9 rows | lease pool |
| 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).
## Where the pass stands (for the 00:00 BST reading; numbers refreshed as rows land)
| Item | Reading |