Lean Verified means the verifier rebuilt the essay's Lean source in a sandbox, in the Rule 30 Prize kit at the commit above, replayed every declaration through the Lean kernel, and found the headline theorem with the official statement and only the axioms propext, Classical.choice and Quot.sound. For a partial result or Problem 3, the statement is the submitter's own; a person judges what it means.
Reviewers add tags, any of them at once. Human Verified means a reviewer has read the essay and checked the statement and proof, including a run of Lean's comparator for full solutions. Kit Contribution means its proof became part of the Rule 30 Prize kit; the card links the modules. Prize Claimed is set only after the Prize Committee has accepted a solution under the official rules. Set tags in the owner's kernel with Rule30PrizeTag and Rule30PrizeKitContribution, or with admin.wls tag and admin.wls kit. A submitter sees their own submissions on their pages, linked from each card, and through api/status.