From fbb24413c3f813c04c824feaebb8bc2dfcca998c Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Wed, 7 Oct 2026 18:57:10 +0000
Subject: [PATCH] adv-mixer: queue file 15, the per-K fill (linrel K3-7,
 integral K8, lineindex K5-8)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 tools/attack/adv-mixer/queue/15-adv-mixer-fill.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 tools/attack/adv-mixer/queue/15-adv-mixer-fill.sh

diff --git a/tools/attack/adv-mixer/queue/15-adv-mixer-fill.sh b/tools/attack/adv-mixer/queue/15-adv-mixer-fill.sh
new file mode 100755
index 000000000..c214095a3
--- /dev/null
+++ b/tools/attack/adv-mixer/queue/15-adv-mixer-fill.sh
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+# adv-mixer queue file (owner: adv-mixer). Self-contained: binary, args, logs. nice 10, cores 8-95, pid file beside each log.
+# Internal adversarial pass, not an independent review.
+set -uo pipefail
+X=/srv/builds/_adv-adv-mixer/bin/attack-adv-mixer; L=/srv/builds/_adv-adv-mixer/logs; mkdir -p "$L"
+run() { local name=$1; shift; echo "== $name $(date -u +%FT%TZ)"; nice -n 10 taskset -c 8-95 "$X" "$@" > "$L/$name.log" 2>&1 & echo $! > "$L/$name.log.pid"; wait $!; echo "rc=$?"; grep -E "VERDICT|BOUND|FINDING|kernel_dim|written|BLOCKED" "$L/$name.log" | head -40; }
+echo "start $(hostname) $(date -u +%FT%TZ) $(sha256sum $X)"
+run fold-sweep-1024d fold-sweep --day 20729 --days 1024 --trials 20000 --threads 44
+for k in 3 4 5 6 7; do run linrel-full-a$k-4d linrel --day 20729 --apps $k --samples 8192 --days 4; done
+run integral-a8-4d integral --day 20729 --apps 8 --dmax 14 --placements 2000 --days 4 --threads 44
+for k in 5 6 7 8; do run lineindex-k$k lineindex --day 20729 --apps $k --states 1000000 --threads 44; done
+echo "end $(date -u +%FT%TZ)"