igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Observer autosync: the shared checkout fast-forwards to origin and restarts the observer when its code or the public API changed

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-josh 2026-10-04 19:19:12 +01:00
parent 0f44edd3de
commit 86d2696e25
1 changed files with 30 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
tools/observer/autosync.sh Executable file
View file

@ -0,0 +1,30 @@
#!/usr/bin/env bash
# Keeps the shared checkout's observer and public API in step with origin/master, so a change an agent pushed to
# tools/observer or site/api is running here within five minutes (4 October 2026: the live API said "observer has
# not reported the proving layer" for an hour because the shared checkout was three commits behind origin).
# Fast-forwards only; if the shared checkout is ahead or dirty in those paths it logs and waits for a human.
# Loop: tools/observer/autosync.sh (log: /tmp/igneum-devnet/autosync.out)
cd "$(dirname "$0")/../.." || exit 1
LOG=/tmp/igneum-devnet/autosync.out; mkdir -p "$(dirname "$LOG")"; exec >>"$LOG" 2>&1
PATHS="tools/observer site/api"
while :; do
git fetch -q origin master 2>/dev/null
local_sha=$(git rev-parse HEAD); remote_sha=$(git rev-parse origin/master)
if [ "$local_sha" != "$remote_sha" ]; then
if [ -z "$(git status --porcelain -- $PATHS)" ] && git merge-base --is-ancestor HEAD origin/master; then
changed=$(git diff --name-only HEAD origin/master -- $PATHS)
if git merge -q --ff-only origin/master; then
echo "$(date -u +%FT%TZ) fast-forwarded to $(git rev-parse --short HEAD)"
if [ -n "$changed" ]; then
pid=$(pgrep -f "node tools/observer/observer.mjs" | head -1)
if [ -n "$pid" ]; then kill "$pid" && echo "$(date -u +%FT%TZ) observer $pid restarted for: $(echo "$changed" | tr '\n' ' ')"; fi
fi
else
echo "$(date -u +%FT%TZ) fast-forward failed (local $local_sha, origin $remote_sha)"
fi
else
echo "$(date -u +%FT%TZ) not fast-forwardable or dirty in $PATHS (local $local_sha, origin $remote_sha); waiting"
fi
fi
sleep 300
done