From 44b33d9744fe21c7b050a60bdab24d17581e6f0e Mon Sep 17 00:00:00 2001 From: heaven Date: Fri, 11 Sep 2026 04:27:35 +0300 Subject: [PATCH] Make the local provider's address mean opposite things in the two phases: required in the smoke, refused while money is on the wire. --- eval/door_to_file/drive.sh | 33 ++++++++++++++++++++++++++++----- 1 file changed, 28 insertions(+), 5 deletions(-) diff --git a/eval/door_to_file/drive.sh b/eval/door_to_file/drive.sh index 8dfac1ea..52da1f31 100755 --- a/eval/door_to_file/drive.sh +++ b/eval/door_to_file/drive.sh @@ -25,6 +25,12 @@ PSQL=${PSQL:-$HOME/.local/pgsql/bin/psql} JAR=${JAR:-$W/stand/cookies-paid.txt} # The pack's money stop, in micro-USD. Reaching it is a STOP and a ping, not a decision of this script. STOP_AT_MICRO=${STOP_AT_MICRO:-1000000} +# Which phase this stand is in, because the SAME fact means opposite things in the two. In the smoke +# a listener on the local provider's address is the instrument; in the paid phase it is a hazard — +# a pipeline that still reached a local model would be served fake prose at $0 and the run would +# measure nothing while looking perfectly green. +PHASE=${PHASE:-paid} +export TM_PLATFORM_DSN=${TM_PLATFORM_DSN:-$DSN} say() { printf '%s\n' "$*"; } die() { printf '⛔ %s\n' "$*" >&2; exit 1; } @@ -48,11 +54,28 @@ step_gate() { [ "$mod" = "false" ] || { say " ⛔ built from a dirty tree"; bad=1; } done say "=== the stand is MINE: pid on each port, not a 200 from someone else's process ===" - for p in 11434 ${ADDR##*:}; do - local line; line=$(ss -ltnp "sport = :$p" 2>/dev/null | tail -n +2) - [ -n "$line" ] || { say " port $p: nothing is listening"; bad=1; continue; } - say " port $p: $(printf '%s' "$line" | sed 's/.*users://')" - done + local line + line=$(ss -ltnp "sport = :${ADDR##*:}" 2>/dev/null | tail -n +2) + if [ -n "$line" ]; then + say " port ${ADDR##*:}: $(printf '%s' "$line" | sed 's/.*users://')" + else + say " port ${ADDR##*:}: ⛔ nothing is listening — there is no stand"; bad=1 + fi + line=$(ss -ltnp "sport = :11434" 2>/dev/null | tail -n +2) + case "$PHASE" in + smoke) + if [ -n "$line" ]; then say " port 11434 (the \$0 stub, required in this phase): $(printf '%s' "$line" | sed 's/.*users://')" + else say " port 11434: ⛔ the smoke has no stub to answer the local provider"; bad=1; fi ;; + *) + if [ -n "$line" ]; then + say " port 11434: ⛔ something is LISTENING on the local provider's address during a paid phase:" + say " $(printf '%s' "$line" | sed 's/.*users://')" + say " a configuration that still reached a local model would be served free prose and the run would measure nothing" + bad=1 + else + say " port 11434: nothing listens (control: $(ss -ltn | tail -n +2 | wc -l) listeners on this host) — a local model would now fail LOUDLY" + fi ;; + esac say "=== what will be bought: the pipeline, its contrast artefact, the template ===" # Printed AND checked against the pre-registration when it is given: printing alone leaves the # comparison to a reader who has the other number somewhere else.