The answer enum added with the per-goal end marker was `Sat`, with a
variant `Sat`, which clippy's enum_variant_names flags. The README says
proof-rs is clippy-clean on Linux and has two macOS lints, both in
proof-cascade's IOReport FFI; renaming the enum keeps that true.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
97070fa194