140 after 027: the ten probes compiled again (run.sh writing to a temporary directory: 10-13's -o /dev/null made a compiled probe say Permission denied): three compile as written, the other seven's diagnostics now mostly naming the form, so the same needs written in 027's forms (probes-027/): a byte an i64, bits on i64s, a record holding itself through a list, a recursive fn in a handler with its result type, a character by for and char, a variant in a list's item all compile; three gaps left, each a change of the core: a view calling a recursive fn or a fn with a block, a record or a variant as a state by itself, a character at a cursor; the suite table's column after 027 (2 and 4 written, 6 and 7 work, the first needs of 1, 3, 5 and 9 compiling, 8's layout as a view blocked by the first gap)

1 files changed, 9 insertions, 3 deletions

diff --git a/research/experiments/044-specs/run.sh b/research/experiments/044-specs/run.sh
index 670d0a7..81de578 100755
--- a/research/experiments/044-specs/run.sh
+++ b/research/experiments/044-specs/run.sh
@@ -3,11 +3,17 @@
 # the first thing a spec in the suite needs (a byte at a position, a bit
 # operation, a record inside a record, a call to itself, a variant, a
 # character at a position). AUP is the aup checkout (default ../aup beside
-# Pure); the output is the evidence table in 140.
+# Pure); the output is the evidence table in 140. The probes are as written on
+# 2026-10-13 (probes/), or a directory given (probes-027/: the same needs in
+# the forms 027 gave them, and the gaps found after it).
 set -u
 here=$(cd "$(dirname "$0")" && pwd)
 aup=${AUP:-$here/../../../../aup}/build/aup
-for f in "$here"/probes/*.aup; do
+dir=${1:-$here/probes}
+dir=$(cd "$dir" && pwd)
+out=$(mktemp -d)
+trap 'rm -rf "$out"' EXIT
+for f in "$dir"/*.aup; do
     printf '%s\t' "$(basename "$f")"
-    if out=$("$aup" build "$f" -o /dev/null 2>&1); then echo "compiles"; else echo "$out" | head -1 | sed "s|^$here/probes/||"; fi
+    if said=$("$aup" build "$f" -o "$out/probe.pmod" 2>&1); then echo "compiles"; else echo "$said" | head -1 | sed "s|^$dir/||"; fi
 done