conformance: migrate go onto shared driver (dict, 609/609 parity)

Go has the same structure as erlang: suites load into one session and each exposes a pass counter plus a *count* (total) counter rather than a fail counter. MODE=dict fits — each suite's runner is a dict literal {:passed P :failed (- count P) :total count}. No driver change; conformance.conf + 3-line shim, historical scoreboard schema preserved. Parity verified 609/609 (0 fail), every suite matching baseline. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-07 11:37:46 +00:00
parent 4b31828641
commit c00cca45ff
5 changed files with 75 additions and 143 deletions
--- a/lib/go/conformance.conf
+++ b/lib/go/conformance.conf
@@ -0,0 +1,65 @@
+# Go-on-SX conformance config — sourced by lib/guest/conformance.sh.
+#
+# Like erlang: suites load into one session and each exposes a pass counter and
+# a *count* (total) counter, not a fail counter. dict mode fits — each runner is
+# a dict literal computing :failed as count - pass.
+
+LANG_NAME=go
+MODE=dict
+
+PRELOADS=(
+  lib/guest/lex.sx
+  lib/guest/ast.sx
+  lib/guest/pratt.sx
+  lib/go/lex.sx
+  lib/go/parse.sx
+  lib/go/types.sx
+  lib/go/sched.sx
+  lib/go/eval.sx
+  lib/go/std/strings.sx
+  lib/go/std/strconv.sx
+)
+
+# name:file:(runner) — runner is a dict literal {:passed :failed :total}.
+SUITES=(
+  "lex:lib/go/tests/lex.sx:{:passed go-test-pass :failed (- go-test-count go-test-pass) :total go-test-count}"
+  "parse:lib/go/tests/parse.sx:{:passed go-parse-test-pass :failed (- go-parse-test-count go-parse-test-pass) :total go-parse-test-count}"
+  "types:lib/go/tests/types.sx:{:passed go-types-test-pass :failed (- go-types-test-count go-types-test-pass) :total go-types-test-count}"
+  "eval:lib/go/tests/eval.sx:{:passed go-eval-test-pass :failed (- go-eval-test-count go-eval-test-pass) :total go-eval-test-count}"
+  "runtime:lib/go/tests/runtime.sx:{:passed go-rt-test-pass :failed (- go-rt-test-count go-rt-test-pass) :total go-rt-test-count}"
+  "stdlib:lib/go/tests/stdlib.sx:{:passed go-std-test-pass :failed (- go-std-test-count go-std-test-pass) :total go-std-test-count}"
+  "e2e:lib/go/tests/e2e.sx:{:passed go-e2e-test-pass :failed (- go-e2e-test-count go-e2e-test-pass) :total go-e2e-test-count}"
+)
+
+# Preserve the historical scoreboard schema so consumers of
+# lib/go/scoreboard.json keep working.
+emit_scoreboard_json() {
+  local n=${#GC_NAMES[@]} i status
+  printf '{\n'
+  printf '  "language": "go",\n'
+  printf '  "total_pass": %d,\n' "$GC_TOTAL_PASS"
+  printf '  "total": %d,\n' "$GC_TOTAL"
+  printf '  "suites": ['
+  for ((i=0; i<n; i++)); do
+    [ "$i" -gt 0 ] && printf ','
+    status="ok"; [ "${GC_FAIL[$i]}" -gt 0 ] && status="fail"
+    printf '\n    {"name":"%s","pass":%d,"total":%d,"status":"%s"}' \
+      "${GC_NAMES[$i]}" "${GC_PASS[$i]}" "${GC_TOTAL_S[$i]}" "$status"
+  done
+  printf '\n  ]\n'
+  printf '}\n'
+}
+
+emit_scoreboard_md() {
+  local n=${#GC_NAMES[@]} i marker
+  printf '# Go-on-SX Scoreboard\n\n'
+  printf '**Total: %d / %d tests passing**\n\n' "$GC_TOTAL_PASS" "$GC_TOTAL"
+  printf '|  | Suite | Pass | Total |\n'
+  printf '|---|---|---|---|\n'
+  for ((i=0; i<n; i++)); do
+    marker="✅"; [ "${GC_FAIL[$i]}" -gt 0 ] && marker="❌"
+    printf '| %s | %s | %d | %d |\n' \
+      "$marker" "${GC_NAMES[$i]}" "${GC_PASS[$i]}" "${GC_TOTAL_S[$i]}"
+  done
+  printf '\nGenerated by `lib/go/conformance.sh`.\n'
+}
--- a/lib/go/conformance.sh
+++ b/lib/go/conformance.sh
@@ -1,141 +1,3 @@
 #!/usr/bin/env bash
-# Go-on-SX conformance runner.
-#
-# Loads every Go-on-SX test suite via the epoch protocol, collects
-# pass/fail counts, and writes lib/go/scoreboard.json + .md.
-#
-# Usage:
-#   bash lib/go/conformance.sh           # run all suites
-#   bash lib/go/conformance.sh -v        # verbose per-suite
-
-set -uo pipefail
-cd "$(git rev-parse --show-toplevel)"
-
-SX_SERVER="${SX_SERVER:-hosts/ocaml/_build/default/bin/sx_server.exe}"
-if [ ! -x "$SX_SERVER" ]; then
-  SX_SERVER="/root/rose-ash/hosts/ocaml/_build/default/bin/sx_server.exe"
-fi
-if [ ! -x "$SX_SERVER" ]; then
-  echo "ERROR: sx_server.exe not found." >&2
-  exit 1
-fi
-
-VERBOSE="${1:-}"
-TMPFILE=$(mktemp)
-OUTFILE=$(mktemp)
-trap "rm -f $TMPFILE $OUTFILE" EXIT
-
-# Each suite: name | pass-counter | total-counter
-SUITES=(
-  "lex|go-test-pass|go-test-count"
-  "parse|go-parse-test-pass|go-parse-test-count"
-  "types|go-types-test-pass|go-types-test-count"
-  "eval|go-eval-test-pass|go-eval-test-count"
-  "runtime|go-rt-test-pass|go-rt-test-count"
-  "stdlib|go-std-test-pass|go-std-test-count"
-  "e2e|go-e2e-test-pass|go-e2e-test-count"
-)
-
-cat > "$TMPFILE" <<'EPOCHS'
-(epoch 1)
-(load "lib/guest/lex.sx")
-(load "lib/guest/ast.sx")
-(load "lib/guest/pratt.sx")
-(load "lib/go/lex.sx")
-(load "lib/go/parse.sx")
-(load "lib/go/types.sx")
-(load "lib/go/sched.sx")
-(load "lib/go/eval.sx")
-(load "lib/go/std/strings.sx")
-(load "lib/go/std/strconv.sx")
-(load "lib/go/tests/lex.sx")
-(load "lib/go/tests/parse.sx")
-(load "lib/go/tests/types.sx")
-(load "lib/go/tests/eval.sx")
-(load "lib/go/tests/runtime.sx")
-(load "lib/go/tests/stdlib.sx")
-(load "lib/go/tests/e2e.sx")
-EPOCHS
-
-idx=0
-for entry in "${SUITES[@]}"; do
-  name="${entry%%|*}"
-  pass_var=$(echo "$entry" | awk -F'|' '{print $2}')
-  total_var=$(echo "$entry" | awk -F'|' '{print $3}')
-  epoch=$((100 + idx))
-  echo "(epoch $epoch)" >> "$TMPFILE"
-  echo "(eval \"(list $pass_var $total_var)\")" >> "$TMPFILE"
-  idx=$((idx + 1))
-done
-
-"$SX_SERVER" < "$TMPFILE" > "$OUTFILE" 2>&1
-
-parse_pair() {
-  local epoch="$1"
-  local line
-  line=$(grep -A1 "^(ok-len $epoch " "$OUTFILE" | tail -1)
-  echo "$line" | sed -E 's/[()]//g'
-}
-
-TOTAL_PASS=0
-TOTAL_COUNT=0
-JSON_SUITES=""
-MD_ROWS=""
-
-idx=0
-for entry in "${SUITES[@]}"; do
-  name="${entry%%|*}"
-  epoch=$((100 + idx))
-  pair=$(parse_pair "$epoch")
-  pass=$(echo "$pair" | awk '{print $1}')
-  count=$(echo "$pair" | awk '{print $2}')
-  if [ -z "$pass" ] || [ -z "$count" ]; then
-    pass=0
-    count=0
-  fi
-  TOTAL_PASS=$((TOTAL_PASS + pass))
-  TOTAL_COUNT=$((TOTAL_COUNT + count))
-  status="ok"
-  marker="✅"
-  if [ "$pass" != "$count" ]; then
-    status="fail"
-    marker="❌"
-  fi
-  if [ "$VERBOSE" = "-v" ]; then
-    printf "  %-12s %s/%s\n" "$name" "$pass" "$count"
-  fi
-  if [ -n "$JSON_SUITES" ]; then JSON_SUITES+=","; fi
-  JSON_SUITES+=$'\n    '
-  JSON_SUITES+="{\"name\":\"$name\",\"pass\":$pass,\"total\":$count,\"status\":\"$status\"}"
-  MD_ROWS+="| $marker | $name | $pass | $count |"$'\n'
-  idx=$((idx + 1))
-done
-
-printf '\nGo-on-SX conformance: %d / %d\n' "$TOTAL_PASS" "$TOTAL_COUNT"
-
-cat > lib/go/scoreboard.json <<JSON
-{
-  "language": "go",
-  "total_pass": $TOTAL_PASS,
-  "total": $TOTAL_COUNT,
-  "suites": [$JSON_SUITES]
-}
-JSON
-
-cat > lib/go/scoreboard.md <<MD
-# Go-on-SX Scoreboard
-
-**Total: ${TOTAL_PASS} / ${TOTAL_COUNT} tests passing**
-
-|  | Suite | Pass | Total |
-|---|---|---|---|
-$MD_ROWS
-
-Generated by \`lib/go/conformance.sh\`.
-MD
-
-if [ "$TOTAL_PASS" -eq "$TOTAL_COUNT" ]; then
-  exit 0
-else
-  exit 1
-fi
+# Thin wrapper — see lib/guest/conformance.sh and lib/go/conformance.conf.
+exec bash "$(dirname "$0")/../guest/conformance.sh" "$(dirname "$0")/conformance.conf" "$@"
--- a/lib/go/scoreboard.json
+++ b/lib/go/scoreboard.json
@@ -9,5 +9,6 @@
    {"name":"eval","pass":106,"total":106,"status":"ok"},
    {"name":"runtime","pass":40,"total":40,"status":"ok"},
    {"name":"stdlib","pass":41,"total":41,"status":"ok"},
-    {"name":"e2e","pass":12,"total":12,"status":"ok"}]
+    {"name":"e2e","pass":12,"total":12,"status":"ok"}
+  ]
 }
--- a/lib/go/scoreboard.md
+++ b/lib/go/scoreboard.md
@@ -12,5 +12,4 @@
 | ✅ | stdlib | 41 | 41 |
 | ✅ | e2e | 12 | 12 |

-
 Generated by `lib/go/conformance.sh`.
--- a/plans/agent-briefings/conformance-loop.md
+++ b/plans/agent-briefings/conformance-loop.md
@@ -89,7 +89,7 @@ Blocked with specifics and move to the next candidate next iteration.
 - [x] erlang — migrated 761/761 (dict; pass/count → :failed = count-pass)
 - [x] feed — migrated 189/189 (counters; test-harness.sx preload for counters+helper)
 - [~] forth — excluded: foreign Forth corpus (Hayes core.fr) via awk+python preprocessing
- [ ] go
+- [x] go — migrated 609/609 (dict; pass/count → :failed = count-pass, like erlang)
 - [ ] js
 - [ ] ocaml
 - [ ] smalltalk
@@ -100,6 +100,11 @@ Blocked with specifics and move to the next candidate next iteration.

 ## Progress log (newest first)

+- 2026-06-07 — go: migrated to `MODE=dict`, 609/609 exact parity (lex 129, parse 179,
+  types 102, eval 106, runtime 40, stdlib 41, e2e 12). Same shape as erlang — one-session
+  load, per-suite pass + *count* (total) counters — so each suite's dict-literal runner
+  computes `:failed (- count pass)`. No driver change; conformance.conf + shim only.
+  Kept historical scoreboard schema (language/total_pass/total/suites[name,pass,total,status]).
 - 2026-06-07 — forth: EXCLUDED (foreign-runner, like lua/smalltalk). Its conformance.sh
  reads a foreign Forth corpus (lib/forth/ans-tests/core.fr, the gerryjackson Hayes Core
  suite), preprocesses it with awk (strip `\` / `( )` comments + TESTING lines), splits it