Dockerfile

# Hugging Face Space (SDK: docker). Builds the real Lua verifier so the
# execution ✓/✗ badge works online, then serves the Gradio explainer on CPU.
#
# Deploy: create a Docker Space, push the repo root with this Dockerfile at the
# root (or `cp viz/Dockerfile ./Dockerfile`). Include runs/ediff, runs/ear and
# data/easy_eval.jsonl.

FROM rust:1-slim AS build
RUN apt-get update && apt-get install -y --no-install-recommends build-essential && rm -rf /var/lib/apt/lists/*
WORKDIR /app
COPY Cargo.toml ./
COPY src ./src
RUN cargo build --release

FROM python:3.12-slim
WORKDIR /app
RUN pip install --no-cache-dir --extra-index-url https://download.pytorch.org/whl/cpu \
    torch numpy gradio
COPY --from=build /app/target/release/echo-data ./target/release/echo-data
COPY ml ./ml
COPY viz ./viz
COPY runs/ediff ./runs/ediff
COPY runs/ear ./runs/ear
COPY data/easy_eval.jsonl ./data/easy_eval.jsonl
ENV ECHO_VERIFIER=./target/release/echo-data
EXPOSE 7860
CMD ["python", "-m", "viz.app"]