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

adv-accept: line 16 ruling (run on to 16 box-hours, then end at the frontiers)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 02:33:46 +00:00
parent 3ff3987958
commit d8b23dc4ec
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -884,6 +884,14 @@ row. Re-queued from their frontiers as sweep-s03b (from 300002, 100,000 seeds),
s04b; waiters s08, s00g, s09c, s01e, s03b, s07c. Accepted programs on disk 408,067 (80,234 build-1,
327,833 box 2, ranges disjoint).
03:2x BST, coordinator's call on line 16: the shards run on in the pool's gaps under the mechanical yield
until this lane's running box-hours reach 16 or main says stop, whichever first. At 16 every shard ends by
pgid file at its frontier, the sweep is written as partial at that count with the frontiers in this
ledger, pushed, and the final line (tip, box-hours, count, tally) goes to the coordinator. No new row
type: the shards only tighten the count. At about one box-hour per hour of holding, 16 falls at about
10:10 BST if the shards hold without a gap; a monitor on this side reads the holders every five minutes
and accrues only the minutes with a holder.
## Where the pass stands: the 00:00 BST reading (count refreshed 01:08 BST, 8 October; pool state at 23:50 BST)
| Item | Reading |