From cd60de23de43be5bdb3b81d7f86fce3dfaf89dfc Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 19:44:38 +0000 Subject: [PATCH] adv-mixer-3 report: ledger row for the ranked lease and the 32-thread re-submission, log copies Co-Authored-By: Claude Fable 5.1 --- .../logs/adv-mixer-3/17-adv-mixer-3-lease-rest.first.log | 3 +++ .../logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fourth.log | 2 ++ .../logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log | 2 ++ .../logs/adv-mixer-3/17-adv-mixer-3-lease-rest.refused.log | 1 + .../logs/adv-mixer-3/17-adv-mixer-3-lease-rest.second.log | 2 ++ .../logs/adv-mixer-3/17-adv-mixer-3-lease-rest.third.log | 2 ++ .../logs/adv-mixer-3/18-adv-mixer-3-lease-sat.first.log | 4 ++++ .../logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log | 5 +++++ .../logs/adv-mixer-3/18-adv-mixer-3-lease-sat.refused.log | 1 + .../logs/adv-mixer-3/18-adv-mixer-3-lease-sat.second.log | 4 ++++ .../logs/adv-mixer-3/18-adv-mixer-3-lease-sat.third.log | 4 ++++ .../cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log | 2 +- .../cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log | 7 +------ .../cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log | 2 ++ docs/analysis/cryptanalysis/report-mixer-3.md | 1 + 15 files changed, 35 insertions(+), 7 deletions(-) create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.first.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fourth.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.refused.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.second.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.third.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.first.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.refused.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.second.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.third.log diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.first.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.first.log new file mode 100644 index 00000000..3f037878 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.first.log @@ -0,0 +1,3 @@ +start igneum-build-1 2026-10-07T19:24:51Z lease pool up to 48 cores, min 16 +== sac day 20729 k=5 2026-10-07T19:24:51Z +17 restarted with yield_v5 2026-10-07T19:26:17Z diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fourth.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fourth.log new file mode 100644 index 00000000..edbb5ea4 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fourth.log @@ -0,0 +1,2 @@ +start igneum-build-1 2026-10-07T19:32:34Z lease pool up to 48 cores, min 16 +== sac day 20729 k=5 2026-10-07T19:32:34Z diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log new file mode 100644 index 00000000..fdda9c6c --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log @@ -0,0 +1,2 @@ +start igneum-build-1 2026-10-07T19:42:48Z lease pool up to 32 cores (32: never pre-empted), min 16 +== sac day 20729 k=5 2026-10-07T19:42:49Z diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.refused.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.refused.log new file mode 100644 index 00000000..da4eb9dd --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.refused.log @@ -0,0 +1 @@ +no lease pool subcommand yet; refusing to start diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.second.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.second.log new file mode 100644 index 00000000..31d35d90 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.second.log @@ -0,0 +1,2 @@ +start igneum-build-1 2026-10-07T19:26:17Z lease pool up to 48 cores, min 16 +== sac day 20729 k=5 2026-10-07T19:26:17Z diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.third.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.third.log new file mode 100644 index 00000000..7893bc15 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.third.log @@ -0,0 +1,2 @@ +start igneum-build-1 2026-10-07T19:31:00Z lease pool up to 48 cores, min 16 +== sac day 20729 k=5 2026-10-07T19:31:00Z diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.first.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.first.log new file mode 100644 index 00000000..62c54935 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.first.log @@ -0,0 +1,4 @@ +start igneum-build-2 2026-10-07T19:25:00Z lease pool up to 48 cores, min 16 +== cnf day 20729 k=2 2026-10-07T19:25:00Z +t0=0x12345678 target index (low 22 bits of s[0]) = 0x15edcf +cnf: vars=68624 clauses=227767 written to /srv/builds/_adv-mixer-3/cnf/d20729-k2.cnf diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log new file mode 100644 index 00000000..586a0a41 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log @@ -0,0 +1,5 @@ +start igneum-build-2 2026-10-07T19:32:36Z lease pool up to 48 cores, min 16 +== cnf day 20729 k=2 2026-10-07T19:32:36Z +t0=0x12345678 target index (low 22 bits of s[0]) = 0x15edcf +cnf: vars=68624 clauses=227767 written to /srv/builds/_adv-mixer-3/cnf/d20729-k2.cnf +withdrawn 2026-10-07T19:41:14Z by main order: no adv-* lease on box 2 until the class v5 census runs diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.refused.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.refused.log new file mode 100644 index 00000000..da4eb9dd --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.refused.log @@ -0,0 +1 @@ +no lease pool subcommand yet; refusing to start diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.second.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.second.log new file mode 100644 index 00000000..4055cca9 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.second.log @@ -0,0 +1,4 @@ +start igneum-build-2 2026-10-07T19:26:24Z lease pool up to 48 cores, min 16 +== cnf day 20729 k=2 2026-10-07T19:26:24Z +t0=0x12345678 target index (low 22 bits of s[0]) = 0x15edcf +cnf: vars=68624 clauses=227767 written to /srv/builds/_adv-mixer-3/cnf/d20729-k2.cnf diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.third.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.third.log new file mode 100644 index 00000000..5a573900 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.third.log @@ -0,0 +1,4 @@ +start igneum-build-2 2026-10-07T19:31:05Z lease pool up to 48 cores, min 16 +== cnf day 20729 k=2 2026-10-07T19:31:05Z +t0=0x12345678 target index (low 22 bits of s[0]) = 0x15edcf +cnf: vars=68624 clauses=227767 written to /srv/builds/_adv-mixer-3/cnf/d20729-k2.cnf diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log index 380f5ba8..67755298 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log @@ -1,4 +1,4 @@ -adv-mixer-3 cnf day=20729 apps=2 start=0 plant=None unix=1791400407 +adv-mixer-3 cnf day=20729 apps=2 start=0 plant=None unix=1791401556 key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a rot = [6, 25, 5, 25, 29, 11, 9, 21] mul = addda577 e83ff665 a15aee9f 31ffb8cb e72c824d 225e647b 3ec0ace3 d1eb11d5 fa5c7dc5 40128acf 70bc55cf b823fa39 07fcdf49 56a6c8b1 c05d3115 02063ddd diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log index 3a5cb2ac..5ef3df33 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log @@ -1,6 +1 @@ -adv-mixer-3 sac day=20729 apps=5 start=8 plant=None unix=1791400434 -key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a -rot = [6, 25, 5, 25, 29, 11, 9, 21] -mul = addda577 e83ff665 a15aee9f 31ffb8cb e72c824d 225e647b 3ec0ace3 d1eb11d5 fa5c7dc5 40128acf 70bc55cf b823fa39 07fcdf49 56a6c8b1 c05d3115 02063ddd -rc = 0655b978 2c53cb31 e14235d3 30d45c30 5b07a13b 25271fad 418b165b f7fe03d7 67943b1d 5ba337a2 24aa3983 6abbbed4 12488b47 a4a81e53 96f96da0 b86823f8 -keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 +lease: 0 of 16 pool cores free (88 leased); waiting diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log index e69de29b..2a9e9285 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log @@ -0,0 +1,2 @@ +lease: 0 of 1 pool cores free (88 leased); waiting +lease: holding 1 pool cores (41, waited 182 s): adv-mixer-3 cadical 20729 k2 diff --git a/docs/analysis/cryptanalysis/report-mixer-3.md b/docs/analysis/cryptanalysis/report-mixer-3.md index e62b89b0..91ace184 100644 --- a/docs/analysis/cryptanalysis/report-mixer-3.md +++ b/docs/analysis/cryptanalysis/report-mixer-3.md @@ -282,6 +282,7 @@ CNF out of the worktree mirror into /srv/builds/_adv-mixer-3/. Both applied befo | Re-queue through `lease pool` | build-1 (queue 17: sac 20729 k = 5..8 and 2^27 rows, sac 20733 k = 5..8, index 20733 k = 2..8, sac0 20733 2^28 rows), build-2 (queue 18: CaDiCaL k = 2..4, both days) | 19:24 UTC (relaunched 19:2x after a guard line refused on the first start) | running | `lease pool 48 --min 16` per census (the lease sizes the harness threads to the cores it took), `lease pool 1 --min 1` per CaDiCaL; waits behind the release builds and the class v5 suites, which outrank every sweep tonight | | v5 yield | both | 19:26, widened 19:31 | | before every lease the driver sleeps while any waiter in `lease status` is owned by class-v5 or labelled v5; both drivers restarted with the rule before their first lease was granted; refined 19:32 to yield by owner (class-v5, or attack-pass with v5), never to another adv- lane | | Queue 18 withdrawn from build-2 | build-2 | 19:35 | 0 (no lease was ever granted) | main's order: every adv-* waiter leaves box 2 until the class v5 census runs; the SAT rows k = 2..4 re-queue there afterwards | +| Priority classes in the lease (release > v5 > measure > adv) | build-1 | 19:42 | | queue 17 killed and re-submitted once under the ranked tool as `lease pool 32 --min 16` (an adv holder at 32 threads or fewer is never pre-empted); waiting on free cores at 19:43 UTC | | Queue 07 (8 random days) | build-1 | 18:5x | running | claimed and run by the sibling lane adv-mixer from the shared queue; its logs are index--k.log and sac--k.log under /srv/builds/_adv-mixer-3/logs/ on build-1, read by this lane | ## The round margin, stated