Action d5f6486923f34b1d412ba69c101b3dbd66867c6be3456791c3e77ba024653b9c

docker run --name xlsynth-bvc-run-d5f6486923f34b1d-265119-0 --rm --pull never --network none -v /home/cdleary/proj/xlsynth-bvc/bvc-artifacts/.staging/d5f6486923f34b1d412ba69c101b3dbd66867c6be3456791c3e77ba024653b9c-265119-1771527438955556395/payload:/inputs/subtree:ro -v /home/cdleary/proj/xlsynth-bvc/bvc-artifacts/.staging/d5f6486923f34b1d412ba69c101b3dbd66867c6be3456791c3e77ba024653b9c-265119-1771527438955556395/dslx-list-fns-discovery:/scratch -v /home/cdleary/proj/xlsynth-bvc/bvc-artifacts/driver-release-cache:/cache:ro -e XLSYNTH_PLATFORM=ubuntu2004 -e XLSYNTH_VERSION=v0.35.0 xlsynth-bvc-driver:0.31.0 bash -lc set -euo pipefail

cache_dir="/cache/${XLSYNTH_VERSION}/${XLSYNTH_PLATFORM}"
if [ ! -d "${cache_dir}" ]; then
  echo "missing cached xlsynth release at ${cache_dir}" >&2
  exit 1
fi
rm -rf /tmp/xlsynth-release
mkdir -p /tmp/xlsynth-release
cp -a "${cache_dir}/." /tmp/xlsynth-release/
for ext in so dylib; do
  if [ -f "/tmp/xlsynth-release/libxls-${XLSYNTH_PLATFORM}.${ext}" ]; then
    ln -sf "/tmp/xlsynth-release/libxls-${XLSYNTH_PLATFORM}.${ext}" "/tmp/xlsynth-release/libxls-${XLSYNTH_VERSION}-${XLSYNTH_PLATFORM}.${ext}"
  fi
done
export XLSYNTH_TOOLS=/tmp/xlsynth-release
export LD_LIBRARY_PATH="/tmp/xlsynth-release:${LD_LIBRARY_PATH:-}"

cat > /tmp/xlsynth-toolchain.toml <<'TOML'
[toolchain]
tool_path = "/tmp/xlsynth-release"
TOML
python3 - <<'PY'
import json
import subprocess
from pathlib import Path

files = [line.strip() for line in Path("/scratch/dslx_files.txt").read_text(encoding="utf-8").splitlines() if line.strip()]
out_path = Path("/scratch/dslx_list_fns.jsonl")
err_path = Path("/scratch/dslx_list_fns_errors.jsonl")
dslx_path = "/inputs/subtree:/inputs/subtree/xls/dslx/stdlib"
stdlib_path = "/inputs/subtree/xls/dslx/stdlib"
def _tail(text: str, max_chars: int = 2000) -> str:
    if len(text) <= max_chars:
        return text
    return text[-max_chars:]

with out_path.open("w", encoding="utf-8") as out, err_path.open("w", encoding="utf-8") as err:
    for rel in files:
        cmd = [
            "xlsynth-driver",
            "--toolchain",
            "/tmp/xlsynth-toolchain.toml",
            "dslx-list-fns",
            "--dslx_input_file",
            f"/inputs/subtree/{rel}",
            "--dslx_path",
            dslx_path,
            "--dslx_stdlib_path",
            stdlib_path,
            "--format",
            "json",
        ]
        proc = subprocess.run(cmd, check=False, capture_output=True, text=True)
        if proc.returncode != 0:
            err.write(json.dumps({
                "dslx_file": rel,
                "returncode": proc.returncode,
                "stdout_tail": _tail(proc.stdout),
                "stderr_tail": _tail(proc.stderr),
            }, sort_keys=True))
            err.write("\n")
            continue
        try:
            entries = json.loads(proc.stdout)
        except Exception as e:
            err.write(json.dumps({
                "dslx_file": rel,
                "returncode": proc.returncode,
                "parse_error": str(e),
                "stdout_tail": _tail(proc.stdout),
                "stderr_tail": _tail(proc.stderr),
            }, sort_keys=True))
            err.write("\n")
            continue
        if not isinstance(entries, list):
            err.write(json.dumps({
                "dslx_file": rel,
                "returncode": proc.returncode,
                "parse_error": f"dslx-list-fns expected list output, got {type(entries)}",
                "stdout_tail": _tail(proc.stdout),
                "stderr_tail": _tail(proc.stderr),
            }, sort_keys=True))
            err.write("\n")
            continue
        for entry in entries:
            if not isinstance(entry, dict):
                continue
            entry["dslx_file"] = rel
            out.write(json.dumps(entry, sort_keys=True))
            out.write("\n")
PY
test -f /scratch/dslx_list_fns.jsonl
test -f /scratch/dslx_list_fns_errors.jsonl