adv-mixer: pool priority classes and label rule in the timeline

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

docs/analysis/cryptanalysis/report-mixer.md

@@ -320,6 +320,7 @@ wall times above are under heavy sharing.
 | 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:41 | main: box 2's pool must show 0 adv-* holders for the class v5 census; the yield to a class-v5 waiter is mechanical at shard end from now | released the cadical lease by pid file; nothing held on either box |
+| 20:4x | pool priority classes (release > v5 > measure > adv, lease sha 5d84d644); a 1-thread holder is never pre-empted; label rule: no "release", "canary", "pair", "v5 gate", "v5 kit" or "measure" in a sweep label | the cadical re-queue keeps its label "adv-mixer cadical commutation CNF day 20729, 1 h cap", which carries none of the reserved words, and goes out as `lease pool 1 --min 1` when main confirms the census is running |
 | 20:2x | pool rule: a sweep lease asks for at most 48 cores with --min at the least usable; the yield test is by OWNER (refined at 20:3x): yield to a waiter whose owner is class-v5, or whose owner is attack-pass with "v5" in its label, never to a waiter whose owner starts with adv-; on a yield, 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)