replays/305-a-recheck-left-the-old-verdict-standing
main
A catalogue module is a Go module of its own, so the prover runs a replay in the directory its register entry names. R305 fails on the commit before the fix and passes on it.