adv-mixer-3: census leases accept 8 cores at the least (14 were free while min 16 waited 31 min)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
adv-mixer-3 report: queue 18 launched on build-2 (box 2 reopened), SAT k=2 running
2026-10-07 20:14:48 +00:00 · 2026-10-07 20:13:54 +00:00 · 2026-10-07 19:57:30 +00:00 · 2026-10-07 19:44:38 +00:00 · 2026-10-07 19:42:54 +00:00 · 2026-10-07 19:41:41 +00:00
165 changed files with 9549 additions and 0 deletions
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/01-adv-mixer-3-index-20729.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/01-adv-mixer-3-index-20729.log
@ -0,0 +1,33 @@
 start igneum-build-1 2026-10-07T18:42:05Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == index day 20729 k=0 2026-10-07T18:42:05Z
 rc=0
 chi2=18014394214514688.0 df=4194303 z=6219776281047.55 empty=4194303 min=0 max=4294967296 argmax=0xb3e14
 segments(2^16): chi2=281470681743360.0 z=777466196148.62   lines-in-segment(64): chi2=270582939648.0 z=24105444157.93
 verdict: NON-UNIFORM
 == index day 20729 k=1 2026-10-07T18:42:37Z
 rc=0
 chi2=4191025.3 df=4194303 z=-1.13 empty=0 min=871 max=1191 argmax=0x59808
 segments(2^16): chi2=64812.7 z=-2.00   lines-in-segment(64): chi2=60.1 z=-0.26
 verdict: uniform within the band
 == index day 20729 k=2 2026-10-07T18:45:13Z
 rc=0
 chi2=4192336.5 df=4194303 z=-0.68 empty=0 min=874 max=1191 argmax=0x136878
 segments(2^16): chi2=65738.0 z=0.56   lines-in-segment(64): chi2=61.4 z=-0.14
 verdict: uniform within the band
 == index day 20729 k=3 2026-10-07T18:47:14Z
 rc=0
 chi2=4193186.3 df=4194303 z=-0.39 empty=0 min=853 max=1187 argmax=0x1ce18c
 segments(2^16): chi2=65522.6 z=-0.03   lines-in-segment(64): chi2=50.1 z=-1.15
 verdict: uniform within the band
 == index day 20729 k=4 2026-10-07T18:48:32Z
 rc=0
 chi2=4192938.9 df=4194303 z=-0.47 empty=0 min=857 max=1190 argmax=0x5aee9
 segments(2^16): chi2=65923.7 z=1.07   lines-in-segment(64): chi2=60.2 z=-0.25
 verdict: uniform within the band
 == index day 20729 k=5 2026-10-07T18:51:35Z
 rc=0
 chi2=4190039.0 df=4194303 z=-1.47 empty=0 min=872 max=1202 argmax=0x36be7a
 segments(2^16): chi2=65894.1 z=0.99   lines-in-segment(64): chi2=61.8 z=-0.11
 verdict: uniform within the band
 == index day 20729 k=6 2026-10-07T18:56:21Z
 killed 2026-10-07T18:56:45Z by rule
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/02-adv-mixer-3-index-20733.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/02-adv-mixer-3-index-20733.log
@ -0,0 +1,18 @@
 start igneum-build-2 2026-10-07T18:46:54Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == index day 20733 k=0 2026-10-07T18:46:54Z
 rc=0
 chi2=18014394214514688.0 df=4194303 z=6219776281047.55 empty=4194303 min=0 max=4294967296 argmax=0x3f9008
 segments(2^16): chi2=281470681743360.0 z=777466196148.62   lines-in-segment(64): chi2=270582939648.0 z=24105444157.93
 verdict: NON-UNIFORM
 == index day 20733 k=1 2026-10-07T18:47:23Z
 rc=0
 chi2=4192241.1 df=4194303 z=-0.71 empty=0 min=863 max=1202 argmax=0x35b3a5
 segments(2^16): chi2=65576.5 z=0.11   lines-in-segment(64): chi2=56.2 z=-0.60
 verdict: uniform within the band
 == index day 20733 k=2 2026-10-07T18:50:56Z
 rc=0
 chi2=4191157.5 df=4194303 z=-1.09 empty=0 min=840 max=1187 argmax=0x15c1f3
 segments(2^16): chi2=65230.2 z=-0.84   lines-in-segment(64): chi2=69.5 z=0.58
 verdict: uniform within the band
 == index day 20733 k=3 2026-10-07T18:56:07Z
 killed 2026-10-07T18:56:47Z by rule
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/03-adv-mixer-3-sac-20729.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/03-adv-mixer-3-sac-20729.log
@ -0,0 +1,29 @@
 start igneum-build-1 2026-10-07T18:42:05Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == sac plant weak k=8
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=262 (word 8) out=356 (word 11) p=0.50952 z=4.88
 verdict: no cell beyond 6 sigma
 == sac plant one k=8
 holes=1959 beyond6=89129 beyond8=83086 mean_flip=0.46118 worst in=23 (word 0) out=35 (word 1) p=1.00000 z=256.00
 verdict: DISTINGUISHED
 == sac day 20729 k=1 states 2^24 2026-10-07T18:42:13Z
 rc=0
 holes=354 beyond6=129726 beyond8=126336 mean_flip=0.46118 worst in=279 (word 8) out=64 (word 2) p=1.00000 z=4096.00
 line index cells (out bits 0..21): worst z=4096.00 beyond6=7930 of 11264
 verdict: DISTINGUISHED
 == sac day 20729 k=2 states 2^24 2026-10-07T18:48:32Z
 rc=0
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=322 (word 10) out=373 (word 11) p=0.49942 z=-4.74
 line index cells (out bits 0..21): worst z=-3.78 beyond6=0 of 11264
 verdict: no cell beyond 6 sigma
 == sac day 20729 k=3 states 2^24 2026-10-07T18:57:28Z
 rc=0
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=370 (word 11) out=88 (word 2) p=0.49936 z=-5.28
 line index cells (out bits 0..21): worst z=-4.03 beyond6=0 of 11264
 verdict: no cell beyond 6 sigma
 == sac day 20729 k=4 states 2^24 2026-10-07T19:05:08Z
 rc=0
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=295 (word 9) out=346 (word 10) p=0.50064 z=5.28
 line index cells (out bits 0..21): worst z=3.93 beyond6=0 of 11264
 verdict: no cell beyond 6 sigma
 == sac day 20729 k=5 states 2^24 2026-10-07T19:13:54Z
 killed 2026-10-07T19:20:52Z by main rule (lease pool)
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/04-adv-mixer-3-sac-20733.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/04-adv-mixer-3-sac-20733.log
@ -0,0 +1,29 @@
 start igneum-build-2 2026-10-07T18:46:54Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == sac plant weak k=8
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=464 (word 14) out=167 (word 5) p=0.49042 z=-4.91
 verdict: no cell beyond 6 sigma
 == sac plant one k=8
 holes=1714 beyond6=91827 beyond8=86575 mean_flip=0.45695 worst in=25 (word 0) out=0 (word 0) p=1.00000 z=256.00
 verdict: DISTINGUISHED
 == sac day 20733 k=1 states 2^24 2026-10-07T18:47:02Z
 rc=0
 holes=266 beyond6=136797 beyond8=132873 mean_flip=0.45696 worst in=30 (word 0) out=32 (word 1) p=1.00000 z=4096.00
 line index cells (out bits 0..21): worst z=4096.00 beyond6=7520 of 11264
 verdict: DISTINGUISHED
 == sac day 20733 k=2 states 2^24 2026-10-07T18:58:08Z
 rc=0
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=260 (word 8) out=450 (word 14) p=0.49944 z=-4.59
 line index cells (out bits 0..21): worst z=-3.72 beyond6=0 of 11264
 verdict: no cell beyond 6 sigma
 == sac day 20733 k=3 states 2^24 2026-10-07T19:07:48Z
 rc=0
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=61 (word 1) out=495 (word 15) p=0.50056 z=4.61
 line index cells (out bits 0..21): worst z=4.18 beyond6=0 of 11264
 verdict: no cell beyond 6 sigma
 == sac day 20733 k=4 states 2^24 2026-10-07T19:13:27Z
 rc=0
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=350 (word 10) out=23 (word 0) p=0.50057 z=4.67
 line index cells (out bits 0..21): worst z=4.25 beyond6=0 of 11264
 verdict: no cell beyond 6 sigma
 == sac day 20733 k=5 states 2^24 2026-10-07T19:19:21Z
 killed 2026-10-07T19:20:57Z by main rule (lease pool)
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/05-adv-mixer-3-difflinrx-20729.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/05-adv-mixer-3-difflinrx-20729.log
@ -0,0 +1,171 @@
 start igneum-build-1 2026-10-07T18:42:05Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == diff plant nomul k=1
 max multiplicity of one output difference: 1 (input difference #0, p about 1.53e-5); a random map gives 1 or 2
 deterministic output bits: total 7992 over all differences, max per difference 51 of 512
 verdict: DISTINGUISHED
 == diff day 20729 k=1 2026-10-07T18:42:07Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 695 over all differences, max per difference 35 of 512
 zero output words: max in any pair 0 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: DISTINGUISHED
 == diff day 20729 k=2 2026-10-07T18:42:27Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20729 k=3 2026-10-07T18:42:59Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20729 k=4 2026-10-07T18:43:41Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20729 k=5 2026-10-07T18:44:22Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20729 k=6 2026-10-07T18:44:57Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20729 k=7 2026-10-07T18:46:06Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20729 k=8 2026-10-07T18:46:42Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == lin identity plant k=0
 worst correlation in=0 out=0 (word 0) c=1.00000 z=1024.00; cells beyond6=512 beyond8=512 of 262144
 line index cells (out bits 0..21): worst z=1024.00 beyond6=22; output bit balance worst z=3.20
 verdict: DISTINGUISHED
 == lin day 20729 k=1 2026-10-07T18:47:06Z
 rc=0
 worst correlation in=92 out=396 (word 12) c=-0.00056 z=-4.61; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.72 beyond6=0; output bit balance worst z=3.82
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=2 2026-10-07T18:47:44Z
 rc=0
 worst correlation in=217 out=54 (word 1) c=0.00058 z=4.73; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.09 beyond6=0; output bit balance worst z=3.47
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=3 2026-10-07T18:48:18Z
 rc=0
 worst correlation in=284 out=214 (word 6) c=0.00056 z=4.61; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.95 beyond6=0; output bit balance worst z=3.17
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=4 2026-10-07T18:48:59Z
 rc=0
 worst correlation in=71 out=178 (word 5) c=-0.00056 z=-4.61; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.18 beyond6=0; output bit balance worst z=3.08
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=5 2026-10-07T18:49:56Z
 rc=0
 worst correlation in=190 out=458 (word 14) c=0.00057 z=4.64; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.14 beyond6=0; output bit balance worst z=3.27
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=6 2026-10-07T18:51:37Z
 rc=0
 worst correlation in=473 out=328 (word 10) c=-0.00055 z=-4.54; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.21 beyond6=0; output bit balance worst z=2.98
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=7 2026-10-07T18:53:25Z
 rc=0
 worst correlation in=95 out=2 (word 0) c=-0.00055 z=-4.51; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-4.51 beyond6=0; output bit balance worst z=3.49
 verdict: no correlation beyond 6 sigma
 == lin day 20729 k=8 2026-10-07T18:54:49Z
 rc=0
 worst correlation in=366 out=357 (word 11) c=0.00061 z=5.01; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.23 beyond6=0; output bit balance worst z=3.32
 verdict: no correlation beyond 6 sigma
 == lin0 identity-ish plant k=0
 worst correlation in=0 out=256 (word 8) c=1.00000 z=1024.00; cells beyond6=65 beyond8=59 of 16384
 line index cells (out bits 0..21): worst z=2.14 beyond6=0; output bit balance worst z=1024.00
 verdict: DISTINGUISHED
 == lin0 day 20729 k=1 2026-10-07T18:56:08Z
 rc=0
 worst correlation in=14 out=325 (word 10) c=0.00048 z=3.93; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.55 beyond6=0; output bit balance worst z=3.50
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=2 2026-10-07T18:56:17Z
 rc=0
 worst correlation in=14 out=139 (word 4) c=0.00059 z=4.85; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.11 beyond6=0; output bit balance worst z=3.22
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=3 2026-10-07T18:56:29Z
 rc=0
 worst correlation in=2 out=491 (word 15) c=0.00051 z=4.14; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.25 beyond6=0; output bit balance worst z=3.40
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=4 2026-10-07T18:56:44Z
 rc=0
 worst correlation in=5 out=156 (word 4) c=0.00049 z=4.04; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=2.91 beyond6=0; output bit balance worst z=2.78
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=5 2026-10-07T18:56:51Z
 rc=0
 worst correlation in=12 out=363 (word 11) c=-0.00057 z=-4.67; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.08 beyond6=0; output bit balance worst z=2.79
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=6 2026-10-07T18:56:59Z
 rc=0
 worst correlation in=28 out=171 (word 5) c=-0.00048 z=-3.97; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.66 beyond6=0; output bit balance worst z=3.85
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=7 2026-10-07T18:57:07Z
 rc=0
 worst correlation in=7 out=359 (word 11) c=0.00058 z=4.76; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.25 beyond6=0; output bit balance worst z=3.16
 verdict: no correlation beyond 6 sigma
 == lin0 day 20729 k=8 2026-10-07T18:57:13Z
 rc=0
 worst correlation in=10 out=265 (word 8) c=-0.00051 z=-4.15; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-2.93 beyond6=0; output bit balance worst z=2.98
 verdict: no correlation beyond 6 sigma
 == rx plant weak0 k=1
 rx r=1: zero-difference words max 740 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 3 value 0x00000001 multiplicity 784 (random gives about 2)
 rx r=8: zero-difference words max 1 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 0 value 0x01000102 multiplicity 4 (random gives about 2)
 rx r=16: zero-difference words max 245 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 2 value 0x00000000 multiplicity 245 (random gives about 2)
 verdict: RX PROPERTY
 == rx day 20729 k=1 2026-10-07T18:57:22Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x9dd3bcc9 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x9d03f043 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x60aa1c94 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 == rx day 20729 k=2 2026-10-07T18:57:43Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x6a134706 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x22baa329 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0xf82785a0 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 == rx day 20729 k=3 2026-10-07T18:58:40Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x1d55bdd5 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x0fb457b4 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 2 value 0x6e219c82 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 == rx day 20729 k=4 2026-10-07T18:59:12Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 1 value 0xcea6efb1 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0xc8df1500 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x11f6481a multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 end 2026-10-07T18:59:42Z
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/06-adv-mixer-3-difflinrx-20733.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/06-adv-mixer-3-difflinrx-20733.log
@ -0,0 +1,171 @@
 start igneum-build-2 2026-10-07T18:46:54Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == diff plant nomul k=1
 max multiplicity of one output difference: 1 (input difference #0, p about 1.53e-5); a random map gives 1 or 2
 deterministic output bits: total 7189 over all differences, max per difference 75 of 512
 verdict: DISTINGUISHED
 == diff day 20733 k=1 2026-10-07T18:46:55Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 537 over all differences, max per difference 40 of 512
 zero output words: max in any pair 4 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: DISTINGUISHED
 == diff day 20733 k=2 2026-10-07T18:47:16Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20733 k=3 2026-10-07T18:47:47Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20733 k=4 2026-10-07T18:48:22Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20733 k=5 2026-10-07T18:49:05Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20733 k=6 2026-10-07T18:50:04Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20733 k=7 2026-10-07T18:51:12Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == diff day 20733 k=8 2026-10-07T18:53:14Z
 rc=0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
 == lin identity plant k=0
 worst correlation in=0 out=0 (word 0) c=1.00000 z=1024.00; cells beyond6=512 beyond8=512 of 262144
 line index cells (out bits 0..21): worst z=1024.00 beyond6=22; output bit balance worst z=2.85
 verdict: DISTINGUISHED
 == lin day 20733 k=1 2026-10-07T18:55:17Z
 rc=0
 worst correlation in=133 out=488 (word 15) c=-0.00056 z=-4.60; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=3.65 beyond6=0; output bit balance worst z=3.55
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=2 2026-10-07T18:56:45Z
 rc=0
 worst correlation in=439 out=439 (word 13) c=-0.00056 z=-4.60; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.93 beyond6=0; output bit balance worst z=3.36
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=3 2026-10-07T18:57:41Z
 rc=0
 worst correlation in=50 out=296 (word 9) c=-0.00062 z=-5.10; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=3.79 beyond6=0; output bit balance worst z=3.54
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=4 2026-10-07T18:58:49Z
 rc=0
 worst correlation in=329 out=151 (word 4) c=0.00060 z=4.95; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.71 beyond6=0; output bit balance worst z=3.22
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=5 2026-10-07T19:00:52Z
 rc=0
 worst correlation in=443 out=282 (word 8) c=-0.00060 z=-4.94; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-4.07 beyond6=0; output bit balance worst z=3.47
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=6 2026-10-07T19:02:13Z
 rc=0
 worst correlation in=498 out=410 (word 12) c=-0.00056 z=-4.58; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=3.65 beyond6=0; output bit balance worst z=3.53
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=7 2026-10-07T19:03:44Z
 rc=0
 worst correlation in=388 out=315 (word 9) c=0.00059 z=4.83; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-4.17 beyond6=0; output bit balance worst z=3.08
 verdict: no correlation beyond 6 sigma
 == lin day 20733 k=8 2026-10-07T19:05:04Z
 rc=0
 worst correlation in=390 out=159 (word 4) c=-0.00060 z=-4.95; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.24 beyond6=0; output bit balance worst z=3.86
 verdict: no correlation beyond 6 sigma
 == lin0 identity-ish plant k=0
 worst correlation in=0 out=256 (word 8) c=-1.00000 z=-1024.00; cells beyond6=66 beyond8=60 of 16384
 line index cells (out bits 0..21): worst z=1.90 beyond6=0; output bit balance worst z=1024.00
 verdict: DISTINGUISHED
 == lin0 day 20733 k=1 2026-10-07T19:06:21Z
 rc=0
 worst correlation in=11 out=502 (word 15) c=0.00047 z=3.82; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.80 beyond6=0; output bit balance worst z=3.10
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=2 2026-10-07T19:06:31Z
 rc=0
 worst correlation in=14 out=510 (word 15) c=0.00056 z=4.60; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.35 beyond6=0; output bit balance worst z=3.12
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=3 2026-10-07T19:06:42Z
 rc=0
 worst correlation in=20 out=151 (word 4) c=0.00051 z=4.19; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.70 beyond6=0; output bit balance worst z=2.92
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=4 2026-10-07T19:06:51Z
 rc=0
 worst correlation in=28 out=453 (word 14) c=0.00052 z=4.25; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.47 beyond6=0; output bit balance worst z=2.89
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=5 2026-10-07T19:06:59Z
 rc=0
 worst correlation in=20 out=21 (word 0) c=0.00049 z=4.02; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=4.02 beyond6=0; output bit balance worst z=3.17
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=6 2026-10-07T19:07:07Z
 rc=0
 worst correlation in=24 out=228 (word 7) c=-0.00050 z=-4.08; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.65 beyond6=0; output bit balance worst z=3.17
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=7 2026-10-07T19:07:17Z
 rc=0
 worst correlation in=21 out=213 (word 6) c=-0.00046 z=-3.74; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.34 beyond6=0; output bit balance worst z=3.38
 verdict: no correlation beyond 6 sigma
 == lin0 day 20733 k=8 2026-10-07T19:07:26Z
 rc=0
 worst correlation in=23 out=253 (word 7) c=-0.00058 z=-4.75; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.55 beyond6=0; output bit balance worst z=3.20
 verdict: no correlation beyond 6 sigma
 == rx plant weak0 k=1
 rx r=1: zero-difference words max 739 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 2 value 0x00000001 multiplicity 760 (random gives about 2)
 rx r=8: zero-difference words max 1 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 1 value 0x01040701 multiplicity 5 (random gives about 2)
 rx r=16: zero-difference words max 222 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 2 value 0x00000001 multiplicity 244 (random gives about 2)
 verdict: RX PROPERTY
 == rx day 20733 k=1 2026-10-07T19:07:39Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 3 value 0x6ad97266 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 1 value 0x7305bc31 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 1 value 0x79a10e66 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 == rx day 20733 k=2 2026-10-07T19:07:48Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0xd29780fd multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 1 value 0x54af507f multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x79cd7677 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 == rx day 20733 k=3 2026-10-07T19:08:26Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x596f7ed3 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x3392b139 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x3e45edc2 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 == rx day 20733 k=4 2026-10-07T19:09:30Z
 rc=0
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 2 value 0xa5f58175 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 1 value 0x50086072 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x920d8042 multiplicity 3 (random gives about 2)
 verdict: no rotational-XOR property above the band
 end 2026-10-07T19:10:22Z
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/08-adv-mixer-3-sat.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/08-adv-mixer-3-sat.log
@ -0,0 +1,13 @@
 start igneum-build-2 2026-10-07T18:46:54Z bdd8432f6181bcc9e77885cf840c83e2a6ffe5ae027182a1d9181710bbb06e70  /srv/builds/_adv-mixer-3/bin/adv-mixer-3
 == cnf day 20729 k=1 2026-10-07T18:46:54Z
 t0=0x12345678 target index (low 22 bits of s[0]) = 0x20eb79
 cnf: vars=33873 clauses=112328 written to /srv/builds/_adv-mixer-3/cnf/d20729-k1.cnf
 cadical rc=10 (10 sat, 20 unsat, 124 timeout)
 s SATISFIABLE
 wall=1592.95 s maxrss=42572 KB
 model 0x49880000
 verify day=20729 apps=1 start=0 plant=None t=0x49880000 s[0]=0x9ce0eb79 index(low 22)=0x20eb79
 == cnf day 20729 k=2 2026-10-07T19:13:27Z
 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
 killed 2026-10-07T19:20:59Z by main rule (lease pool)
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/09-adv-mixer-3-sac0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/09-adv-mixer-3-sac0.log
@ -0,0 +1,104 @@
 start igneum-build-1 2026-10-07T18:49:48Z 8153dbafa4540c796ae5a76e31258dbb1323724465aa4709d9cecd050dea5c40  /srv/builds/_adv-mixer-3/bin/adv-mixer-3-v2
 == sac0 plant k=0 (the init alone) day 20729
 holes=12439 beyond6=16132 mean_flip=0.13893 worst t-bit=0 out=0 (word 0) p=0.00000 z=-256.00
 verdict: DISTINGUISHED
 == sac0 day 20729 k=1 states 2^24 2026-10-07T18:49:48Z
 rc=0
 holes=0 beyond6=218 mean_flip=0.49998 worst t-bit=31 out=53 (word 1) p=0.74269 z=1988.08
 line index cells (out bits 0..21): worst z=1898.28 beyond6=18 of 704
 verdict: DISTINGUISHED
 == sac0 day 20729 k=2 states 2^24 2026-10-07T18:50:05Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=23 out=147 (word 4) p=0.49949 z=-4.19
 line index cells (out bits 0..21): worst z=-3.25 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=3 states 2^24 2026-10-07T18:50:24Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=26 out=219 (word 6) p=0.49955 z=-3.73
 line index cells (out bits 0..21): worst z=3.11 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=4 states 2^24 2026-10-07T18:50:48Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=30 out=329 (word 10) p=0.50051 z=4.15
 line index cells (out bits 0..21): worst z=-3.72 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=5 states 2^24 2026-10-07T18:51:21Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=31 out=162 (word 5) p=0.49947 z=-4.32
 line index cells (out bits 0..21): worst z=3.79 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=6 states 2^24 2026-10-07T18:51:52Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=26 out=194 (word 6) p=0.50050 z=4.08
 line index cells (out bits 0..21): worst z=3.32 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=7 states 2^24 2026-10-07T18:52:14Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=6 out=390 (word 12) p=0.49943 z=-4.69
 line index cells (out bits 0..21): worst z=4.24 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=8 states 2^24 2026-10-07T18:52:35Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=13 out=9 (word 0) p=0.49947 z=-4.33
 line index cells (out bits 0..21): worst z=-4.33 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=2 states 2^28 2026-10-07T18:53:02Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=8 out=352 (word 11) p=0.49987 z=-4.30
 line index cells (out bits 0..21): worst z=3.27 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=3 states 2^28 2026-10-07T18:59:34Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=26 out=97 (word 3) p=0.50015 z=4.76
 line index cells (out bits 0..21): worst z=4.27 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20729 k=4 states 2^28 2026-10-07T19:07:10Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=17 out=8 (word 0) p=0.49986 z=-4.64
 line index cells (out bits 0..21): worst z=-4.64 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 plant k=0 (the init alone) day 20733
 holes=12448 beyond6=16094 mean_flip=0.13983 worst t-bit=0 out=0 (word 0) p=0.00000 z=-256.00
 verdict: DISTINGUISHED
 == sac0 day 20733 k=1 states 2^24 2026-10-07T19:15:27Z
 rc=0
 holes=0 beyond6=502 mean_flip=0.49973 worst t-bit=31 out=127 (word 3) p=0.75950 z=2125.83
 line index cells (out bits 0..21): worst z=-1928.72 beyond6=32 of 704
 verdict: DISTINGUISHED
 == sac0 day 20733 k=2 states 2^24 2026-10-07T19:15:53Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=11 out=337 (word 10) p=0.49946 z=-4.45
 line index cells (out bits 0..21): worst z=4.10 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=3 states 2^24 2026-10-07T19:16:19Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=23 out=219 (word 6) p=0.49952 z=-3.97
 line index cells (out bits 0..21): worst z=3.59 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=4 states 2^24 2026-10-07T19:16:54Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=23 out=220 (word 6) p=0.50051 z=4.19
 line index cells (out bits 0..21): worst z=-2.94 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=5 states 2^24 2026-10-07T19:17:28Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=29 out=48 (word 1) p=0.49948 z=-4.25
 line index cells (out bits 0..21): worst z=3.51 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=6 states 2^24 2026-10-07T19:18:00Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=20 out=404 (word 12) p=0.49950 z=-4.13
 line index cells (out bits 0..21): worst z=-3.02 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=7 states 2^24 2026-10-07T19:18:31Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=29 out=239 (word 7) p=0.49953 z=-3.86
 line index cells (out bits 0..21): worst z=-3.25 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=8 states 2^24 2026-10-07T19:19:09Z
 rc=0
 holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=2 out=370 (word 11) p=0.50056 z=4.62
 line index cells (out bits 0..21): worst z=3.21 beyond6=0 of 704
 verdict: no cell beyond 6 sigma
 == sac0 day 20733 k=2 states 2^28 2026-10-07T19:19:46Z
 killed 2026-10-07T19:20:53Z by main rule (lease pool)
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/10-adv-mixer-3-index-rest.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/10-adv-mixer-3-index-rest.log
@ -0,0 +1,23 @@
 start igneum-build-1 2026-10-07T19:00:44Z
 == index day 20729 k=5 2026-10-07T19:00:44Z
 rc=0
 chi2=4190039.0 df=4194303 z=-1.47 empty=0 min=872 max=1202 argmax=0x36be7a
 segments(2^16): chi2=65894.1 z=0.99   lines-in-segment(64): chi2=61.8 z=-0.11
 verdict: uniform within the band
 == index day 20729 k=6 2026-10-07T19:03:12Z
 rc=0
 chi2=4193426.4 df=4194303 z=-0.30 empty=0 min=867 max=1185 argmax=0x140746
 segments(2^16): chi2=65539.0 z=0.01   lines-in-segment(64): chi2=44.8 z=-1.62
 verdict: uniform within the band
 == index day 20729 k=7 2026-10-07T19:06:03Z
 rc=0
 chi2=4191280.1 df=4194303 z=-1.04 empty=0 min=862 max=1191 argmax=0x3f9260
 segments(2^16): chi2=65372.7 z=-0.45   lines-in-segment(64): chi2=53.1 z=-0.88
 verdict: uniform within the band
 == index day 20729 k=8 2026-10-07T19:09:37Z
 rc=0
 chi2=4197565.8 df=4194303 z=1.13 empty=0 min=863 max=1202 argmax=0x307825
 segments(2^16): chi2=66062.2 z=1.46   lines-in-segment(64): chi2=56.0 z=-0.63
 verdict: uniform within the band
 == index day 20733 k=5 2026-10-07T19:13:13Z
 killed 2026-10-07T19:20:54Z by main rule (lease pool)
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/16-adv-mixer-3-index-20733-k234.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/16-adv-mixer-3-index-20733-k234.log
@ -0,0 +1,3 @@
 start igneum-build-2 2026-10-07T19:13:51Z
 == index day 20733 k=2 2026-10-07T19:13:51Z
 killed 2026-10-07T19:21:00Z by main rule (lease pool)
--- 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
@ -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
--- 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
@ -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
--- 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
@ -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
--- 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
@ -0,0 +1 @@
 no lease pool subcommand yet; refusing to start
--- 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
@ -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
--- 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
@ -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
--- 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
@ -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
--- 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
@ -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
--- 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
@ -0,0 +1 @@
 no lease pool subcommand yet; refusing to start
--- 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
@ -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
--- 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
@ -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
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k1.log
@ -0,0 +1,9 @@
 adv-mixer-3 cnf day=20729 apps=1 start=0 plant=None unix=1791398814
 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 = 9e3779b9
 t0=0x12345678 target index (low 22 bits of s[0]) = 0x20eb79
 cnf: vars=33873 clauses=112328 written to /srv/builds/_adv-mixer-3/cnf/d20729-k1.cnf
 verify a model with: adv-mixer-3 verify --day 20729 --apps 1 --start 0 --plant none --t <t from variables 1..32>
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log
@ -0,0 +1,9 @@
 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
 rc  = 0655b978 2c53cb31 e14235d3 30d45c30 5b07a13b 25271fad 418b165b f7fe03d7 67943b1d 5ba337a2 24aa3983 6abbbed4 12488b47 a4a81e53 96f96da0 b86823f8
 keys = 9e3779b9 3c6ef372
 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
 verify a model with: adv-mixer-3 verify --day 20729 --apps 2 --start 0 --plant none --t <t from variables 1..32>
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k1.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=1 start=8 plant=None unix=1791398527
 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
 diff: samples=1048576 per difference, 576 differences, wall=20.2s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 695 over all differences, max per difference 35 of 512
 zero output words: max in any pair 0 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k2.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=2 start=8 plant=None unix=1791398547
 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
 diff: samples=1048576 per difference, 576 differences, wall=31.4s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k3.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=3 start=8 plant=None unix=1791398579
 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
 diff: samples=1048576 per difference, 576 differences, wall=42.2s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k4.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=4 start=8 plant=None unix=1791398621
 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
 diff: samples=1048576 per difference, 576 differences, wall=40.8s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k5.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=5 start=8 plant=None unix=1791398662
 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
 diff: samples=1048576 per difference, 576 differences, wall=35.6s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k6.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=6 start=8 plant=None unix=1791398697
 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 a708a81e
 diff: samples=1048576 per difference, 576 differences, wall=68.6s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k7.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=7 start=8 plant=None unix=1791398766
 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 a708a81e 454021d7
 diff: samples=1048576 per difference, 576 differences, wall=35.9s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-k8.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=8 start=8 plant=None unix=1791398802
 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 a708a81e 454021d7 e3779b90
 diff: samples=1048576 per difference, 576 differences, wall=23.8s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-nomul-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20729-nomul-k1.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20729 apps=1 start=8 plant=NoMul unix=1791398525
 key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a
 rot = [6, 25, 5, 25, 29, 11, 9, 21]
 mul = 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001
 rc  = 0655b978 2c53cb31 e14235d3 30d45c30 5b07a13b 25271fad 418b165b f7fe03d7 67943b1d 5ba337a2 24aa3983 6abbbed4 12488b47 a4a81e53 96f96da0 b86823f8
 keys = 8ff34781
 diff: samples=65536 per difference, 576 differences, wall=1.6s band=2^-16.0
 max multiplicity of one output difference: 1 (input difference #0, p about 1.53e-5); a random map gives 1 or 2
 deterministic output bits: total 7992 over all differences, max per difference 51 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k1.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=1 start=8 plant=None unix=1791398815
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781
 diff: samples=1048576 per difference, 576 differences, wall=20.7s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 537 over all differences, max per difference 40 of 512
 zero output words: max in any pair 4 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k2.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=2 start=8 plant=None unix=1791398836
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a
 diff: samples=1048576 per difference, 576 differences, wall=30.9s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k3.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=3 start=8 plant=None unix=1791398867
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3
 diff: samples=1048576 per difference, 576 differences, wall=35.3s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k4.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=4 start=8 plant=None unix=1791398902
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac
 diff: samples=1048576 per difference, 576 differences, wall=43.0s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k5.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=5 start=8 plant=None unix=1791398945
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65
 diff: samples=1048576 per difference, 576 differences, wall=59.4s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k6.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=6 start=8 plant=None unix=1791399004
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e
 diff: samples=1048576 per difference, 576 differences, wall=67.7s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k7.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=7 start=8 plant=None unix=1791399072
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7
 diff: samples=1048576 per difference, 576 differences, wall=121.9s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-k8.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=8 start=8 plant=None unix=1791399194
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7 e3779b90
 diff: samples=1048576 per difference, 576 differences, wall=121.0s band=2^-20.0
 max multiplicity of one output difference: 1 (input difference #0, p about 9.54e-7); a random map gives 1 or 2
 deterministic output bits: total 0 over all differences, max per difference 0 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: no differential above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-nomul-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/diff-20733-nomul-k1.log
@ -0,0 +1,11 @@
 adv-mixer-3 diff day=20733 apps=1 start=8 plant=NoMul unix=1791398814
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781
 diff: samples=65536 per difference, 576 differences, wall=1.1s band=2^-16.0
 max multiplicity of one output difference: 1 (input difference #0, p about 1.53e-5); a random map gives 1 or 2
 deterministic output bits: total 7189 over all differences, max per difference 75 of 512
 zero output words: max in any pair 1 of 16, mean per pair 0.000000 (random: 0.000000)
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k0.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=0 start=0 plant=None unix=1791398525
 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 = 
 census: n=2^32 bins=2^22 expect=1024 wall=31.8s
 chi2=18014394214514688.0 df=4194303 z=6219776281047.55 empty=4194303 min=0 max=4294967296 argmax=0xb3e14
 segments(2^16): chi2=281470681743360.0 z=777466196148.62   lines-in-segment(64): chi2=270582939648.0 z=24105444157.93
 bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 4194303 (about 1.2)
 s[0] bit balance over 2^32: worst bit 0 z=-65536.00; low 22 bits worst z=65536.00
 state bit balance over 2^24 sample: worst bit 0 (word 0) z=-4096.00; bits beyond 6 sigma: 320 of 512
 verdict: NON-UNIFORM
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k1.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=1 start=0 plant=None unix=1791398557
 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 = 9e3779b9
 census: n=2^32 bins=2^22 expect=1024 wall=153.5s
 chi2=4191025.3 df=4194303 z=-1.13 empty=0 min=871 max=1191 argmax=0x59808
 segments(2^16): chi2=64812.7 z=-2.00   lines-in-segment(64): chi2=60.1 z=-0.26
 bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 16 z=2.52; low 22 bits worst z=2.52
 state bit balance over 2^24 sample: worst bit 322 (word 10) z=3.65; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k2.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=2 start=0 plant=None unix=1791398713
 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 = 9e3779b9 3c6ef372
 census: n=2^32 bins=2^22 expect=1024 wall=120.0s
 chi2=4192336.5 df=4194303 z=-0.68 empty=0 min=874 max=1191 argmax=0x136878
 segments(2^16): chi2=65738.0 z=0.56   lines-in-segment(64): chi2=61.4 z=-0.14
 bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 3 z=-2.37; low 22 bits worst z=2.37
 state bit balance over 2^24 sample: worst bit 424 (word 13) z=3.76; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k3.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=3 start=0 plant=None unix=1791398834
 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 = 9e3779b9 3c6ef372 daa66d2b
 census: n=2^32 bins=2^22 expect=1024 wall=77.0s
 chi2=4193186.3 df=4194303 z=-0.39 empty=0 min=853 max=1187 argmax=0x1ce18c
 segments(2^16): chi2=65522.6 z=-0.03   lines-in-segment(64): chi2=50.1 z=-1.15
 bins >= 1184 (5 sigma high): 2 (uniform expects about 1.2); bins <= 864: 2 (about 1.2)
 s[0] bit balance over 2^32: worst bit 29 z=2.24; low 22 bits worst z=1.64
 state bit balance over 2^24 sample: worst bit 260 (word 8) z=-3.59; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k4.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=4 start=0 plant=None unix=1791398912
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4
 census: n=2^32 bins=2^22 expect=1024 wall=181.6s
 chi2=4192938.9 df=4194303 z=-0.47 empty=0 min=857 max=1190 argmax=0x5aee9
 segments(2^16): chi2=65923.7 z=1.07   lines-in-segment(64): chi2=60.2 z=-0.25
 bins >= 1184 (5 sigma high): 2 (uniform expects about 1.2); bins <= 864: 2 (about 1.2)
 s[0] bit balance over 2^32: worst bit 6 z=-1.90; low 22 bits worst z=1.90
 state bit balance over 2^24 sample: worst bit 141 (word 4) z=3.44; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k5.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=5 start=0 plant=None unix=1791399644
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d
 census: n=2^32 bins=2^22 expect=1024 wall=148.5s
 chi2=4190039.0 df=4194303 z=-1.47 empty=0 min=872 max=1202 argmax=0x36be7a
 segments(2^16): chi2=65894.1 z=0.99   lines-in-segment(64): chi2=61.8 z=-0.11
 bins >= 1184 (5 sigma high): 2 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 9 z=2.06; low 22 bits worst z=2.06
 state bit balance over 2^24 sample: worst bit 90 (word 2) z=-3.21; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k6.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=6 start=0 plant=None unix=1791399792
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56
 census: n=2^32 bins=2^22 expect=1024 wall=169.9s
 chi2=4193426.4 df=4194303 z=-0.30 empty=0 min=867 max=1185 argmax=0x140746
 segments(2^16): chi2=65539.0 z=0.01   lines-in-segment(64): chi2=44.8 z=-1.62
 bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 19 z=-2.18; low 22 bits worst z=2.18
 state bit balance over 2^24 sample: worst bit 182 (word 5) z=-2.90; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k7.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=7 start=0 plant=None unix=1791399988
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f
 census: n=2^32 bins=2^22 expect=1024 wall=188.8s
 chi2=4191280.1 df=4194303 z=-1.04 empty=0 min=862 max=1191 argmax=0x3f9260
 segments(2^16): chi2=65372.7 z=-0.45   lines-in-segment(64): chi2=53.1 z=-0.88
 bins >= 1184 (5 sigma high): 2 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
 s[0] bit balance over 2^32: worst bit 8 z=-2.06; low 22 bits worst z=2.06
 state bit balance over 2^24 sample: worst bit 232 (word 7) z=2.85; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20729-k8.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20729 apps=8 start=0 plant=None unix=1791400178
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f f1bbcdc8
 census: n=2^32 bins=2^22 expect=1024 wall=215.3s
 chi2=4197565.8 df=4194303 z=1.13 empty=0 min=863 max=1202 argmax=0x307825
 segments(2^16): chi2=66062.2 z=1.46   lines-in-segment(64): chi2=56.0 z=-0.63
 bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
 s[0] bit balance over 2^32: worst bit 9 z=-1.80; low 22 bits worst z=1.80
 state bit balance over 2^24 sample: worst bit 452 (word 14) z=-2.53; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k2.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20730 apps=2 start=0 plant=None unix=1791399293
 key = ceed56d7 9ba270d2 82caab2d 81ebce0e 12b6ecf1 d0f3fd7c d872eefe c158c7bd
 rot = [17, 12, 20, 23, 7, 3, 27, 16]
 mul = f351d601 a3bb398f b5a09e35 7509c9c1 6bbf31e9 fc849a79 ded91851 8d9113d1 0ff15225 3a5bdd41 ab533435 e1c55ad5 e6d3bd0d 9d9ffbbd bb2a3cf3 50a7c08d
 rc  = c6892460 25b7228a cd515004 2846527a a6324241 36e3ec53 82961bac 0f97ba7d b6f921a9 3ada24e5 de20ab91 5378eeb2 7d161662 89353cc1 b1aa03a2 788acae6
 keys = 9e3779b9 3c6ef372
 census: n=2^32 bins=2^22 expect=1024 wall=116.3s
 chi2=4192773.0 df=4194303 z=-0.53 empty=0 min=864 max=1217 argmax=0x2e57af
 segments(2^16): chi2=65403.9 z=-0.36   lines-in-segment(64): chi2=60.8 z=-0.19
 bins >= 1184 (5 sigma high): 4 (uniform expects about 1.2); bins <= 864: 2 (about 1.2)
 s[0] bit balance over 2^32: worst bit 5 z=2.95; low 22 bits worst z=2.95
 state bit balance over 2^24 sample: worst bit 457 (word 14) z=-3.03; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k3.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20730 apps=3 start=0 plant=None unix=1791399409
 key = ceed56d7 9ba270d2 82caab2d 81ebce0e 12b6ecf1 d0f3fd7c d872eefe c158c7bd
 rot = [17, 12, 20, 23, 7, 3, 27, 16]
 mul = f351d601 a3bb398f b5a09e35 7509c9c1 6bbf31e9 fc849a79 ded91851 8d9113d1 0ff15225 3a5bdd41 ab533435 e1c55ad5 e6d3bd0d 9d9ffbbd bb2a3cf3 50a7c08d
 rc  = c6892460 25b7228a cd515004 2846527a a6324241 36e3ec53 82961bac 0f97ba7d b6f921a9 3ada24e5 de20ab91 5378eeb2 7d161662 89353cc1 b1aa03a2 788acae6
 keys = 9e3779b9 3c6ef372 daa66d2b
 census: n=2^32 bins=2^22 expect=1024 wall=117.7s
 chi2=4192043.6 df=4194303 z=-0.78 empty=0 min=866 max=1189 argmax=0x2da490
 segments(2^16): chi2=65439.7 z=-0.26   lines-in-segment(64): chi2=74.8 z=1.05
 bins >= 1184 (5 sigma high): 2 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 14 z=-1.96; low 22 bits worst z=1.96
 state bit balance over 2^24 sample: worst bit 485 (word 15) z=3.94; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k4.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20730 apps=4 start=0 plant=None unix=1791399527
 key = ceed56d7 9ba270d2 82caab2d 81ebce0e 12b6ecf1 d0f3fd7c d872eefe c158c7bd
 rot = [17, 12, 20, 23, 7, 3, 27, 16]
 mul = f351d601 a3bb398f b5a09e35 7509c9c1 6bbf31e9 fc849a79 ded91851 8d9113d1 0ff15225 3a5bdd41 ab533435 e1c55ad5 e6d3bd0d 9d9ffbbd bb2a3cf3 50a7c08d
 rc  = c6892460 25b7228a cd515004 2846527a a6324241 36e3ec53 82961bac 0f97ba7d b6f921a9 3ada24e5 de20ab91 5378eeb2 7d161662 89353cc1 b1aa03a2 788acae6
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4
 census: n=2^32 bins=2^22 expect=1024 wall=140.0s
 chi2=4195023.6 df=4194303 z=0.25 empty=0 min=865 max=1187 argmax=0x191547
 segments(2^16): chi2=65531.5 z=-0.01   lines-in-segment(64): chi2=59.6 z=-0.30
 bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 10 z=2.10; low 22 bits worst z=2.10
 state bit balance over 2^24 sample: worst bit 282 (word 8) z=3.56; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20730-k8.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20730 apps=8 start=0 plant=None unix=1791399667
 key = ceed56d7 9ba270d2 82caab2d 81ebce0e 12b6ecf1 d0f3fd7c d872eefe c158c7bd
 rot = [17, 12, 20, 23, 7, 3, 27, 16]
 mul = f351d601 a3bb398f b5a09e35 7509c9c1 6bbf31e9 fc849a79 ded91851 8d9113d1 0ff15225 3a5bdd41 ab533435 e1c55ad5 e6d3bd0d 9d9ffbbd bb2a3cf3 50a7c08d
 rc  = c6892460 25b7228a cd515004 2846527a a6324241 36e3ec53 82961bac 0f97ba7d b6f921a9 3ada24e5 de20ab91 5378eeb2 7d161662 89353cc1 b1aa03a2 788acae6
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f f1bbcdc8
 census: n=2^32 bins=2^22 expect=1024 wall=211.4s
 chi2=4190553.9 df=4194303 z=-1.29 empty=0 min=867 max=1188 argmax=0x960b9
 segments(2^16): chi2=65800.5 z=0.73   lines-in-segment(64): chi2=74.2 z=1.00
 bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
 s[0] bit balance over 2^32: worst bit 9 z=-2.88; low 22 bits worst z=2.88
 state bit balance over 2^24 sample: worst bit 225 (word 7) z=3.24; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k0.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20733 apps=0 start=0 plant=None unix=1791398814
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 
 census: n=2^32 bins=2^22 expect=1024 wall=28.7s
 chi2=18014394214514688.0 df=4194303 z=6219776281047.55 empty=4194303 min=0 max=4294967296 argmax=0x3f9008
 segments(2^16): chi2=281470681743360.0 z=777466196148.62   lines-in-segment(64): chi2=270582939648.0 z=24105444157.93
 bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 4194303 (about 1.2)
 s[0] bit balance over 2^32: worst bit 0 z=-65536.00; low 22 bits worst z=65536.00
 state bit balance over 2^24 sample: worst bit 0 (word 0) z=-4096.00; bits beyond 6 sigma: 320 of 512
 verdict: NON-UNIFORM
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k1.log
@ -0,0 +1,13 @@
 adv-mixer-3 index day=20733 apps=1 start=0 plant=None unix=1791398843
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9
 census: n=2^32 bins=2^22 expect=1024 wall=213.0s
 chi2=4192241.1 df=4194303 z=-0.71 empty=0 min=863 max=1202 argmax=0x35b3a5
 segments(2^16): chi2=65576.5 z=0.11   lines-in-segment(64): chi2=56.2 z=-0.60
 bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
 s[0] bit balance over 2^32: worst bit 3 z=-1.90; low 22 bits worst z=1.90
 state bit balance over 2^24 sample: worst bit 162 (word 5) z=2.71; bits beyond 6 sigma: 0 of 512
 verdict: uniform within the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k2.log
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k3.log
@ -0,0 +1,6 @@
 adv-mixer-3 index day=20733 apps=3 start=0 plant=None unix=1791399367
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k0.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=0 start=8 plant=None unix=1791398826
 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 = 
 lin: samples=1048576 wall=0.5s band(6 sigma)=0.00586 inputs=512
 worst correlation in=0 out=0 (word 0) c=1.00000 z=1024.00; cells beyond6=512 beyond8=512 of 262144
 line index cells (out bits 0..21): worst z=1024.00 beyond6=22; output bit balance worst z=3.20
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k1.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=1 start=8 plant=None unix=1791398826
 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
 lin: samples=67108864 wall=37.5s band(6 sigma)=0.00073 inputs=512
 worst correlation in=92 out=396 (word 12) c=-0.00056 z=-4.61; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.72 beyond6=0; output bit balance worst z=3.82
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k2.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=2 start=8 plant=None unix=1791398864
 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
 lin: samples=67108864 wall=33.5s band(6 sigma)=0.00073 inputs=512
 worst correlation in=217 out=54 (word 1) c=0.00058 z=4.73; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.09 beyond6=0; output bit balance worst z=3.47
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k3.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=3 start=8 plant=None unix=1791398898
 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
 lin: samples=67108864 wall=41.2s band(6 sigma)=0.00073 inputs=512
 worst correlation in=284 out=214 (word 6) c=0.00056 z=4.61; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.95 beyond6=0; output bit balance worst z=3.17
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k4.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=4 start=8 plant=None unix=1791398939
 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
 lin: samples=67108864 wall=56.7s band(6 sigma)=0.00073 inputs=512
 worst correlation in=71 out=178 (word 5) c=-0.00056 z=-4.61; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.18 beyond6=0; output bit balance worst z=3.08
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k5.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=5 start=8 plant=None unix=1791398996
 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
 lin: samples=67108864 wall=101.1s band(6 sigma)=0.00073 inputs=512
 worst correlation in=190 out=458 (word 14) c=0.00057 z=4.64; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.14 beyond6=0; output bit balance worst z=3.27
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k6.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=6 start=8 plant=None unix=1791399097
 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 a708a81e
 lin: samples=67108864 wall=108.5s band(6 sigma)=0.00073 inputs=512
 worst correlation in=473 out=328 (word 10) c=-0.00055 z=-4.54; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.21 beyond6=0; output bit balance worst z=2.98
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k7.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=7 start=8 plant=None unix=1791399205
 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 a708a81e 454021d7
 lin: samples=67108864 wall=83.7s band(6 sigma)=0.00073 inputs=512
 worst correlation in=95 out=2 (word 0) c=-0.00055 z=-4.51; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-4.51 beyond6=0; output bit balance worst z=3.49
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20729-k8.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20729 apps=8 start=8 plant=None unix=1791399289
 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 a708a81e 454021d7 e3779b90
 lin: samples=67108864 wall=78.8s band(6 sigma)=0.00073 inputs=512
 worst correlation in=366 out=357 (word 11) c=0.00061 z=5.01; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.23 beyond6=0; output bit balance worst z=3.32
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k0.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=0 start=8 plant=None unix=1791399315
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 
 lin: samples=1048576 wall=1.9s band(6 sigma)=0.00586 inputs=512
 worst correlation in=0 out=0 (word 0) c=1.00000 z=1024.00; cells beyond6=512 beyond8=512 of 262144
 line index cells (out bits 0..21): worst z=1024.00 beyond6=22; output bit balance worst z=2.85
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k1.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=1 start=8 plant=None unix=1791399317
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781
 lin: samples=67108864 wall=88.0s band(6 sigma)=0.00073 inputs=512
 worst correlation in=133 out=488 (word 15) c=-0.00056 z=-4.60; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=3.65 beyond6=0; output bit balance worst z=3.55
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k2.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=2 start=8 plant=None unix=1791399405
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a
 lin: samples=67108864 wall=56.2s band(6 sigma)=0.00073 inputs=512
 worst correlation in=439 out=439 (word 13) c=-0.00056 z=-4.60; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.93 beyond6=0; output bit balance worst z=3.36
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k3.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=3 start=8 plant=None unix=1791399461
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3
 lin: samples=67108864 wall=67.5s band(6 sigma)=0.00073 inputs=512
 worst correlation in=50 out=296 (word 9) c=-0.00062 z=-5.10; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=3.79 beyond6=0; output bit balance worst z=3.54
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k4.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=4 start=8 plant=None unix=1791399529
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac
 lin: samples=67108864 wall=122.7s band(6 sigma)=0.00073 inputs=512
 worst correlation in=329 out=151 (word 4) c=0.00060 z=4.95; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-3.71 beyond6=0; output bit balance worst z=3.22
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k5.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=5 start=8 plant=None unix=1791399652
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65
 lin: samples=67108864 wall=80.7s band(6 sigma)=0.00073 inputs=512
 worst correlation in=443 out=282 (word 8) c=-0.00060 z=-4.94; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-4.07 beyond6=0; output bit balance worst z=3.47
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k6.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=6 start=8 plant=None unix=1791399733
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e
 lin: samples=67108864 wall=91.3s band(6 sigma)=0.00073 inputs=512
 worst correlation in=498 out=410 (word 12) c=-0.00056 z=-4.58; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=3.65 beyond6=0; output bit balance worst z=3.53
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k7.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=7 start=8 plant=None unix=1791399824
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7
 lin: samples=67108864 wall=80.4s band(6 sigma)=0.00073 inputs=512
 worst correlation in=388 out=315 (word 9) c=0.00059 z=4.83; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=-4.17 beyond6=0; output bit balance worst z=3.08
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin-20733-k8.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin day=20733 apps=8 start=8 plant=None unix=1791399904
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7 e3779b90
 lin: samples=67108864 wall=76.1s band(6 sigma)=0.00073 inputs=512
 worst correlation in=390 out=159 (word 4) c=-0.00060 z=-4.95; cells beyond6=0 beyond8=0 of 262144
 line index cells (out bits 0..21): worst z=4.24 beyond6=0; output bit balance worst z=3.86
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k0.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=0 start=0 plant=None unix=1791399368
 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 = 
 lin0: samples=1048576 wall=0.1s band(6 sigma)=0.00586 inputs=32
 worst correlation in=0 out=256 (word 8) c=1.00000 z=1024.00; cells beyond6=65 beyond8=59 of 16384
 line index cells (out bits 0..21): worst z=2.14 beyond6=0; output bit balance worst z=1024.00
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k1.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=1 start=0 plant=None unix=1791399368
 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 = 9e3779b9
 lin0: samples=67108864 wall=8.7s band(6 sigma)=0.00073 inputs=32
 worst correlation in=14 out=325 (word 10) c=0.00048 z=3.93; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.55 beyond6=0; output bit balance worst z=3.50
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k2.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=2 start=0 plant=None unix=1791399377
 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 = 9e3779b9 3c6ef372
 lin0: samples=67108864 wall=12.3s band(6 sigma)=0.00073 inputs=32
 worst correlation in=14 out=139 (word 4) c=0.00059 z=4.85; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.11 beyond6=0; output bit balance worst z=3.22
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k3.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=3 start=0 plant=None unix=1791399389
 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 = 9e3779b9 3c6ef372 daa66d2b
 lin0: samples=67108864 wall=15.3s band(6 sigma)=0.00073 inputs=32
 worst correlation in=2 out=491 (word 15) c=0.00051 z=4.14; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.25 beyond6=0; output bit balance worst z=3.40
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k4.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=4 start=0 plant=None unix=1791399404
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4
 lin0: samples=67108864 wall=6.3s band(6 sigma)=0.00073 inputs=32
 worst correlation in=5 out=156 (word 4) c=0.00049 z=4.04; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=2.91 beyond6=0; output bit balance worst z=2.78
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k5.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=5 start=0 plant=None unix=1791399411
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d
 lin0: samples=67108864 wall=8.2s band(6 sigma)=0.00073 inputs=32
 worst correlation in=12 out=363 (word 11) c=-0.00057 z=-4.67; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.08 beyond6=0; output bit balance worst z=2.79
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k6.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=6 start=0 plant=None unix=1791399419
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56
 lin0: samples=67108864 wall=7.6s band(6 sigma)=0.00073 inputs=32
 worst correlation in=28 out=171 (word 5) c=-0.00048 z=-3.97; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.66 beyond6=0; output bit balance worst z=3.85
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k7.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=7 start=0 plant=None unix=1791399427
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f
 lin0: samples=67108864 wall=6.4s band(6 sigma)=0.00073 inputs=32
 worst correlation in=7 out=359 (word 11) c=0.00058 z=4.76; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.25 beyond6=0; output bit balance worst z=3.16
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20729-k8.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20729 apps=8 start=0 plant=None unix=1791399433
 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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f f1bbcdc8
 lin0: samples=67108864 wall=7.5s band(6 sigma)=0.00073 inputs=32
 worst correlation in=10 out=265 (word 8) c=-0.00051 z=-4.15; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-2.93 beyond6=0; output bit balance worst z=2.98
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k0.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k0.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=0 start=0 plant=None unix=1791399981
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 
 lin0: samples=1048576 wall=0.3s band(6 sigma)=0.00586 inputs=32
 worst correlation in=0 out=256 (word 8) c=-1.00000 z=-1024.00; cells beyond6=66 beyond8=60 of 16384
 line index cells (out bits 0..21): worst z=1.90 beyond6=0; output bit balance worst z=1024.00
 verdict: DISTINGUISHED
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k1.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=1 start=0 plant=None unix=1791399981
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9
 lin0: samples=67108864 wall=9.8s band(6 sigma)=0.00073 inputs=32
 worst correlation in=11 out=502 (word 15) c=0.00047 z=3.82; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.80 beyond6=0; output bit balance worst z=3.10
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k2.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=2 start=0 plant=None unix=1791399991
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372
 lin0: samples=67108864 wall=11.4s band(6 sigma)=0.00073 inputs=32
 worst correlation in=14 out=510 (word 15) c=0.00056 z=4.60; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.35 beyond6=0; output bit balance worst z=3.12
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k3.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=3 start=0 plant=None unix=1791400002
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b
 lin0: samples=67108864 wall=8.7s band(6 sigma)=0.00073 inputs=32
 worst correlation in=20 out=151 (word 4) c=0.00051 z=4.19; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.70 beyond6=0; output bit balance worst z=2.92
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k4.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=4 start=0 plant=None unix=1791400011
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4
 lin0: samples=67108864 wall=8.0s band(6 sigma)=0.00073 inputs=32
 worst correlation in=28 out=453 (word 14) c=0.00052 z=4.25; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.47 beyond6=0; output bit balance worst z=2.89
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k5.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=5 start=0 plant=None unix=1791400019
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d
 lin0: samples=67108864 wall=8.0s band(6 sigma)=0.00073 inputs=32
 worst correlation in=20 out=21 (word 0) c=0.00049 z=4.02; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=4.02 beyond6=0; output bit balance worst z=3.17
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k6.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k6.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=6 start=0 plant=None unix=1791400027
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56
 lin0: samples=67108864 wall=9.9s band(6 sigma)=0.00073 inputs=32
 worst correlation in=24 out=228 (word 7) c=-0.00050 z=-4.08; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=-3.65 beyond6=0; output bit balance worst z=3.17
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k7.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k7.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=7 start=0 plant=None unix=1791400037
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f
 lin0: samples=67108864 wall=8.8s band(6 sigma)=0.00073 inputs=32
 worst correlation in=21 out=213 (word 6) c=-0.00046 z=-3.74; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.34 beyond6=0; output bit balance worst z=3.38
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k8.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/lin0-20733-k8.log
@ -0,0 +1,10 @@
 adv-mixer-3 lin0 day=20733 apps=8 start=0 plant=None unix=1791400046
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f f1bbcdc8
 lin0: samples=67108864 wall=10.2s band(6 sigma)=0.00073 inputs=32
 worst correlation in=23 out=253 (word 7) c=-0.00058 z=-4.75; cells beyond6=0 beyond8=0 of 16384
 line index cells (out bits 0..21): worst z=3.55 beyond6=0; output bit balance worst z=3.20
 verdict: no correlation beyond 6 sigma
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k1.log
@ -0,0 +1,11 @@
 adv-mixer-3 rx day=20729 apps=1 start=8 plant=None unix=1791399442
 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
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x9dd3bcc9 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x9d03f043 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x60aa1c94 multiplicity 3 (random gives about 2)
 rx wall=20.2s
 verdict: no rotational-XOR property above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k2.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k2.log
@ -0,0 +1,11 @@
 adv-mixer-3 rx day=20729 apps=2 start=8 plant=None unix=1791399463
 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
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x6a134706 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x22baa329 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0xf82785a0 multiplicity 3 (random gives about 2)
 rx wall=57.6s
 verdict: no rotational-XOR property above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k3.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k3.log
@ -0,0 +1,11 @@
 adv-mixer-3 rx day=20729 apps=3 start=8 plant=None unix=1791399520
 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
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x1d55bdd5 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x0fb457b4 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 2 value 0x6e219c82 multiplicity 3 (random gives about 2)
 rx wall=31.5s
 verdict: no rotational-XOR property above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-k4.log
@ -0,0 +1,11 @@
 adv-mixer-3 rx day=20729 apps=4 start=8 plant=None unix=1791399552
 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
 rx r=1: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 1 value 0xcea6efb1 multiplicity 3 (random gives about 2)
 rx r=8: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0xc8df1500 multiplicity 3 (random gives about 2)
 rx r=16: zero-difference words max 0 of 4194304 (random 9.77e-4 expected); most frequent per-word difference word 0 value 0x11f6481a multiplicity 3 (random gives about 2)
 rx wall=30.4s
 verdict: no rotational-XOR property above the band
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-weak0-k1.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/rx-20729-weak0-k1.log
@ -0,0 +1,11 @@
 adv-mixer-3 rx day=20729 apps=1 start=8 plant=Weak0 unix=1791399440
 key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a
 rot = [16, 16, 16, 16, 16, 16, 16, 16]
 mul = 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001 00000001
 rc  = 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
 keys = 00000000
 rx r=1: zero-difference words max 740 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 3 value 0x00000001 multiplicity 784 (random gives about 2)
 rx r=8: zero-difference words max 1 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 0 value 0x01000102 multiplicity 4 (random gives about 2)
 rx r=16: zero-difference words max 245 of 1048576 (random 2.44e-4 expected); most frequent per-word difference word 2 value 0x00000000 multiplicity 245 (random gives about 2)
 rx wall=2.0s
 verdict: RX PROPERTY
--- a/Show more
+++ b/Show more
Author	SHA1	Message	Date
igneum-labs	51fb7b3889	adv-mixer-3: census leases accept 8 cores at the least (14 were free while min 16 waited 31 min) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 20:14:48 +00:00
igneum-labs	1d85d41571	adv-mixer-3 report: queue 18 launched on build-2 (box 2 reopened), SAT k=2 running Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 20:13:54 +00:00
igneum-labs	9825e2453c	adv-mixer-3 report: queue 18 released on the shared queue, queue 17 wait state Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:57:30 +00:00
igneum-labs	cd60de23de	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 <noreply@anthropic.com>	2026-10-07 19:44:38 +00:00
igneum-labs	3e0110f855	adv-mixer-3: leases at 32 threads (never pre-empted under the priority classes), queue 17 re-submitted under the ranked lease Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:42:54 +00:00
igneum-labs	489583c511	adv-mixer-3 report: queue 18 withdrawn from build-2 (ledger), SAT k=2 CNF size Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:41:41 +00:00
igneum-labs	9a3aeb9e8f	adv-mixer-3 report: day 20730 sac rows from queue 07, Q7 board row Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:33:27 +00:00
igneum-labs	c1a7897a0b	adv-mixer-3: yield by owner (class-v5, or attack-pass with v5), never to another adv- lane Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:32:40 +00:00
igneum-labs	1441149b61	adv-mixer-3 report: v5 yield row in the ledger Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:31:35 +00:00
igneum-labs	164d3a0b97	adv-mixer-3: yield to any v5 waiter or class-v5 owner Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:30:26 +00:00
igneum-labs	3ecf559e3c	adv-mixer-3: yield to v5 gate and v5 kit waiters before every lease Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:26:29 +00:00
igneum-labs	5e2d3df40e	adv-mixer-3: x-lock.sh is the pool lease, queues 17 and 18 (the lost rows through the lease), ledger row for the re-queue Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:25:08 +00:00
igneum-labs	c41f422476	adv-mixer-3: the kill ledger (19:20 UTC, main's lease-pool rule), the round margin stated, queue 17 in the lease form, all logs copied Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:23:02 +00:00
igneum-labs	69c46b227b	adv-mixer-3 report: Q2b day 20733 k=0..8 (finding at k=1, clean from k=2), 2^28 at k=4, Q2 day 20733 k=4 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:20:18 +00:00
igneum-labs	0e42537823	adv-mixer-3 report: Q1 day 20729 closed k=1..8 (uniform at the real first read), day 20730 rows, Q2 k=4 and 20733 k=3, SAT table Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:14:50 +00:00
igneum-labs	71405533e9	adv-mixer-3: queue 16 (index 20733 k=2..4 under the lock) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:13:51 +00:00
igneum-labs	8b9d4e15ee	adv-mixer-3 report: day 20733 Q2 k=2, Q4b, Q5 complete; Q1 k=7; Q2b 2^28 at k=3 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:10:51 +00:00
igneum-labs	52bae22854	adv-mixer-3 report: Q1 k=5,6; Q4 complete on day 20733 (k=1..8 inside the band); Q2 k=3 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:06:42 +00:00
igneum-labs	9c74707831	adv-mixer-3 report: Q5 rows (no RX property from k=1), Q2 day 20733, Q2b 2^28 at k=2, Q4 day 20733, the lowest-bit trail mechanism, queue 07 run by a sibling Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 19:00:15 +00:00
igneum-labs	227f39dec0	adv-mixer-3 report: Q2 k=2 clean (margin 1 of 8 on random states), Q4b lin0 k=1..8, Q5 plant, Q4 k=7, the one-sweep-per-box rule Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:58:14 +00:00
igneum-labs	05b5ac0ebf	adv-mixer-3 report: Q2b k=1..8 (margin 1 of 8 on the round-0 input), Q3 both days, Q1 k=4 and day 20733, Q4 k=5..6, log copies Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:55:14 +00:00
igneum-labs	b97539c0d1	adv-mixer-3: times in UTC (identity grep) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:52:43 +00:00
igneum-labs	0c3e4cb59c	adv-mixer-3 report: header, status board, first rows (Q1 k=1..3 uniform, Q2 k=1, Q2b k=1, Q4 k=1..4 inside the band, SAT k=1 bound) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:51:42 +00:00
igneum-labs	8c830edaea	adv-mixer-3: sac0 (t-bit avalanche on the round-0 input) and queue 09 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:50:03 +00:00
igneum-labs	c969914afe	adv-mixer-3: harness (index census, sac, diff, lin, lin0, rx, cnf), run-box.sh, eight queue files Internal adversarial pass, not an independent review. igneum-pow by path; the plant shapes one, nomul, weak, weak0. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:47:02 +00:00
igneum-labs	93532e5ee2	adv-mixer-3 plan: base commit and box routing noted Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:30:37 +00:00
igneum-labs	2cc7a9dda2	Merge remote-tracking branch 'build/master' into adv-mixer-3	2026-10-07 18:30:37 +00:00
igneum-labs	111b6b9bf7	adv-mixer-3: attack plan for the statistical distinguisher and the round margin of M_r Internal adversarial pass, not an independent review. Target `c3d32437` (class v4 sub-version 3). Seven questions: exhaustive round-0 line-index census, high-N avalanche, differential, linear, rotational-XOR, SAT on the round-0 input, per-day runs. Known-failed shape per method, box-hours, the complete read set. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 18:29:55 +00:00
		`@ -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`
		`@ -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`
		`@ -0,0 +1 @@`
							`no lease pool subcommand yet; refusing to start`
		`@ -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`
		`@ -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`