From 0c7fe45e443503e5f3e59a9c20ccc29b86421fd0 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 19:30:12 +0000 Subject: [PATCH] adv-mixer: widened v5 yield rule in the timeline Co-Authored-By: Claude Fable 5.1 --- docs/analysis/cryptanalysis/report-mixer.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/analysis/cryptanalysis/report-mixer.md b/docs/analysis/cryptanalysis/report-mixer.md index fefa22a71..b3bf9528f 100644 --- a/docs/analysis/cryptanalysis/report-mixer.md +++ b/docs/analysis/cryptanalysis/report-mixer.md @@ -316,7 +316,7 @@ wall times above are under heavy sharing. | 19:3x | drop SIGSTOP yield, run on cores 8-95 only | no yield was ever added; run-box.sh band set to 8-95; direct nohup runs at nice 10 | | 20:20 | main: every hand-started sweep is killed by its pid file now and re-queued through `lease pool`; release builds and the class v5 suites outrank sweeps | killed cadical (box 2, 29 min lost, no result) and sibling 07 (box 1, 6 of 56 steps done, claim released); nothing started since; `lease pool` absent at 20:21, so the re-queue waits on it | | 20:22 | `lease pool` live on both boxes (lease sha f814b447) | cadical re-queued the same minute through `lease pool 1 --owner adv-mixer --nice 10`, core 8, 1 h cap | -| 20:2x | pool rule: a sweep lease asks for at most 48 cores with --min at the least usable; when `lease status` shows a "v5 gate" or "v5 kit" waiter, finish the shard in hand and release; release builds and v5 suites outrank every sweep | adopted for any further lease; the one-core cadical lease is cleared by main to its 21:23 BST cap | +| 20:2x | pool rule: a sweep lease asks for at most 48 cores with --min at the least usable; when `lease status` shows a waiter with owner class-v5 or any label containing "v5" (widened at 20:3x from "v5 gate" and "v5 kit"), finish the shard in hand and release; release builds and v5 suites outrank every sweep | adopted for any further lease; the one-core cadical lease is cleared by main to its 21:23 BST cap | ### Kill ledger (main's rule, 20:20 BST)