Multi-stage Dockerfile pre-builds all heavy nix dependencies. Runtime
image (~8.5GB) at ghcr.io/adklempner/logos-chat-sim:latest includes
nix store closure + Rust + cargo-risczero/r0vm + system clang.
run_in_docker.sh pulls from GHCR, symlinks pre-built modules, builds
sequencer + run_setup from source (~10 min per run).
Update vendor/logos-lez-rln to a591645 (rebased onto main with
member-expiry merged, single squashed commit).
Add INSTRUCTIONS.md with macOS, Linux (native), and Docker instructions.