1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
#!/bin/sh
# Refresh ../head_reference/ (binary + logs + git tag + binary archive)
# to point at the current commit. Run by hand after deciding a commit is
# the new comparison baseline -- NOT automatic, same reasoning as
# precommit_check.sh (rebuild cost, binary-clobbering risk).
#
# Automates the mechanical part of what was, until 2026-08-29, a several-
# minute manual dance repeated by hand every time: rebuild release,
# sd10+sn5m sweep across all three curated suites (6 runs), copy logs,
# tag the commit so "match_play current head vs. last head" is actually
# possible later, archive the binary so that comparison doesn't require
# a rebuild-from-tag first. Does NOT write head_reference/README.md's
# prose sections (what changed, why, net-score interpretation) -- that
# needs a human/Claude actually looking at the diff and the numbers this
# script prints, not a template.
#
# Usage: ./update_head_reference.sh
cd "$(dirname "$0")" || exit 1
HEADREF=../head_reference
TESTS=../tests
LOGDIR=/tmp/typhoon/update_head_reference
mkdir -p "$LOGDIR" "$HEADREF/logs" "$HEADREF/archive"
if [ ! -d "$HEADREF" ]; then
echo "ERROR: $HEADREF doesn't exist (expected sibling of src/)"
exit 1
fi
HASH=$(git rev-parse --short HEAD)
if ! git diff --quiet || ! git diff --cached --quiet; then
echo "WARNING: working tree has uncommitted changes -- the binary/tag"
echo " below will still be built from the working tree as-is,"
echo " but the tag will point at HEAD ($HASH), which won't"
echo " match what actually got built. Commit first if you"
echo " want the tag to be trustworthy."
echo
fi
echo "=== [1/3] Building release binary ($HASH) ==="
STEP_START=$(date +%s)
gmake clean > "$LOGDIR/clean.log" 2>&1
gmake -j5 GENETIC=1 PERF_COUNTERS=1 MP=1 SIXTYFOUR=1 > "$LOGDIR/build.log" 2>&1
if [ $? -ne 0 ]; then
echo " BUILD FAILED -- see $LOGDIR/build.log"
exit 1
fi
cp typhoon "$HEADREF/typhoon"
echo " [$(( $(date +%s) - STEP_START ))s]"
echo "=== [2/3] sd10 + sn5M sweep, 3 curated suites (6 runs, parallel) ==="
STEP_START=$(date +%s)
for suite in ecm_ringers ecm_confident_quick ecm_hard_quick; do
./typhoon --cpus 1 --hash 256m --logfile "$LOGDIR/sd10_${suite}.log" \
--batch --command "force; book name /nonexistent.book.bin; sd 10; script $TESTS/${suite}.ep_" \
> "$LOGDIR/sd10_${suite}.out" 2>&1 &
./typhoon --cpus 1 --hash 256m --logfile "$LOGDIR/sn5m_${suite}.log" \
--batch --command "force; book name /nonexistent.book.bin; sn 5000000; script $TESTS/${suite}.ep_" \
> "$LOGDIR/sn5m_${suite}.out" 2>&1 &
done
wait
echo " [$(( $(date +%s) - STEP_START ))s]"
cp "$LOGDIR"/sd10_*.log "$LOGDIR"/sd10_*.out "$LOGDIR"/sn5m_*.log "$LOGDIR"/sn5m_*.out "$HEADREF/logs/"
echo "=== [3/3] Tagging + archiving ==="
TAGNAME="head-reference-$(date +%Y%m%d)"
if git rev-parse -q --verify "refs/tags/$TAGNAME" >/dev/null; then
echo " tag $TAGNAME already exists (probably re-run same day) -- leaving it, not overwriting"
else
git tag -a "$TAGNAME" -m "head_reference checkpoint (see head_reference/README.md)" "$HASH"
echo " tagged $TAGNAME -> $HASH (local only -- push with 'git push origin $TAGNAME' if wanted)"
fi
cp "$HEADREF/typhoon" "$HEADREF/archive/typhoon-$HASH"
echo " archived $HEADREF/archive/typhoon-$HASH"
echo
echo "=== Summary (fold into head_reference/README.md by hand) ==="
printf "%-22s %10s %10s\n" "Suite" "sd10" "sn5M"
sd10_total_s=0; sd10_total_n=0; sn5m_total_s=0; sn5m_total_n=0
for suite in ecm_ringers ecm_confident_quick ecm_hard_quick; do
s10=$(grep -c "solved in" "$LOGDIR/sd10_${suite}.out")
n10=$(grep -c "not solved" "$LOGDIR/sd10_${suite}.out")
s5m=$(grep -c "solved in" "$LOGDIR/sn5m_${suite}.out")
n5m=$(grep -c "not solved" "$LOGDIR/sn5m_${suite}.out")
printf "%-22s %4s/%-5s %4s/%-5s\n" "$suite" "$s10" "$((s10+n10))" "$s5m" "$((s5m+n5m))"
sd10_total_s=$((sd10_total_s+s10)); sd10_total_n=$((sd10_total_n+s10+n10))
sn5m_total_s=$((sn5m_total_s+s5m)); sn5m_total_n=$((sn5m_total_n+s5m+n5m))
done
printf "%-22s %4s/%-5s %4s/%-5s\n" "TOTAL" "$sd10_total_s" "$sd10_total_n" "$sn5m_total_s" "$sn5m_total_n"
echo
echo "Reminder: head_reference/README.md still needs manual editing --"
echo "commit hash/message, what changed and why, net-score interpretation."
echo "This script only refreshed the binary, logs, tag, and archive."
|
