Note the COAR image pull in CLAUDE.md

Thirty-four ui tests solve inside the container `tests/thrust-pcsat-wrapper`
runs. CI pins that image by digest and pulls it before `cargo test`; a session
that does neither has each of those tests fall back to the `:main` tag and
pull the image itself, under the solver timeout meant for solving.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FrCiKotN28PrBDKAheSAYc

Author: claude

CLAUDE.md

@@ -26,3 +26,6 @@ keep from reaching it.
 Neither prerequisite of `cargo test` is set up in the session container. Install Z3 at the
 version `.github/actions/setup-z3` pins for CI, and start a Docker daemon with `dockerd &`.
 The daemon dies from time to time, so restart it whenever the tests that need it fail.
+
+Export the `COAR_IMAGE` digest that `.github/workflows/ci.yml` pins, and `docker pull` it
+before running `cargo test`.