Operations

What is running, and what is pinned.

Whether submissions are open, how long the queues are, and which toolchain the problems are pinned to. A problem whose formal statement changes gets a new version; a proof already submitted is checked against the version it was written for.