Pending only island
Two runnable candidates, neither carrying a code. Both classes are true at once here: nothing was
executed, and a caller who asked for full coverage has candidates that document nothing (C4).
--strict is the caller saying which of the two they came to hear, so it outranks the other.
enforced: verify-proofs.py exits 3 here, and--strictexits 4.advisory: nothing else here is real.
python3 -c "import sys; sys.exit(0)"
python3 -c "import sys; sys.exit(1)"