igneum/tools/attack/f3-cache/run-box.sh
igneum-labs b98090649e attack-pass F3: PASS (0 of 64 and 0 of 1,024 lines under j+1, curve monotone, f=1 unchanged); AP-H1 box-clean hazard recorded
The F3 record and its harness crate (tools/attack/f3-cache: the extracted chain,
the exhaustive closure search, the pebbling cross-check, the store-set DP and
brute force, the two planted broken chains). The optimal-placement observation
(3.17 blocks per read at f=1/8, 16.0 at f=1/64) noted against funding.md B2.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 08:16:48 +00:00

39 lines
1.9 KiB
Bash

#!/usr/bin/env bash
# Attack-pass row F3: run every phase of attack-f3 on igneum-build-1, on this agent's cores, under the shared
# measure lock in chunks (each phase is one chunk, all well under 30 minutes), one log per phase under
# /srv/builds/igneum-wt-attack/attack-f3/. Usage on the box: nohup bash run-box.sh <run-id> > .../run-<id>.log 2>&1 &
set -u
RUN="${1:-run}"
BIN=/srv/builds/igneum-wt-attack/tools/attack/f3-cache/target/release/attack-f3
OUT=/srv/builds/igneum-wt-attack/attack-f3
LOCK=/srv/builds/_locks/measure
CORES=12-15,60-63
mkdir -p "$OUT"
[ -x "$BIN" ] || { echo "no binary at $BIN"; exit 2; }
phase() {
local name="$1"; shift
local log="$OUT/$RUN-$name.log"
echo "$(date -u +%FT%TZ) phase $name start -> $log"
flock -s "$LOCK" -c "nice -n 10 taskset -c $CORES $BIN $* > '$log' 2>&1"
local rc=$?
echo "$(date -u +%FT%TZ) phase $name exit $rc"
grep -E '^(VERIFY|SEARCH|PEBBLE|CURVE|AVALANCHE|CENSUS|BENCH) |FIRE|FAIL|panicked|error' "$log" || true
}
echo "$(date -u +%FT%TZ) run $RUN start; binary sha256 $(sha256sum "$BIN" | cut -c1-16); host $(hostname); load $(cut -d' ' -f1-3 /proc/loadavg)"
phase verify verify
phase search-real-64 search --lines 64 --variant real
phase search-real-1024 search --lines 1024 --variant real
phase search-skip2-64 search --lines 64 --variant skip2
phase search-skip2-1024 search --lines 1024 --variant skip2
phase search-nofeed-64 search --lines 64 --variant nofeed
phase search-nofeed-1024 search --lines 1024 --variant nofeed
phase pebble-10 pebble --lines 10
phase store-64 store --lines 64 --brute-max 8
phase store-1024 store --lines 1024 --brute-max 2
phase curve-64 curve --lines 64
phase curve-64-memhard curve --lines 64 --ops-block 700
phase curve-1024 curve --lines 1024
phase avalanche avalanche --samples 1048576
phase census census --day 2026-10-03
phase bench bench --n 20000000
echo "$(date -u +%FT%TZ) run $RUN DONE"