project_7 docker build succeeds on competition platform.
Diff was: 5 ENV lines + .dockerignore whitelist.
ENV lines may override base image paths or trigger patch_ops.sh failures.
.dockerignore whitelist may exclude files the build needs.
Now Dockerfile is byte-identical to project_7.
