PROOF CHECKPOINT PACKAGE

118 frozen H_i -> H_j tasks. The solver sees only the current prompt and its own workspace. No corpus assets, later checkpoints, reference proofs, old answers or grades are supplied. All provider requests use stream=false.

JUDGE SIDE IS A DRAFT: solution.md contains an explicit missing-reference placeholder. These files support solver execution and format review; they do not constitute a completed external submission or validated automatic judge.

Each single-proof task is one lemma to prove from its explicitly permitted premise. Current grading is binary: 1 for a complete correct proof, 0 otherwise; no partial credit.
For direct API testing, use the matching system/user pair in direct-api/task-set-v5/cases.json and direct-api/call.py. No harness or orchestration is required.
No paid evaluation is launched by the builder.