PROOF CHECKPOINTS — OTHER-V5

37 proposed standalone mathematical endpoints for seven problems. Each statement contains its own definitions and hypotheses. Previous versioned task collections are preserved.

cases.json contains all 118 H_i -> H_j prompts, including H0 starts. H0 grants no checkpoint. Other transitions grant exactly the full named starting statement. No intervening checkpoint, reference proof, proof plan, or hint is included. tasks.json maps the historical T identifiers to their standalone H0 cases.

Prepare a request without making an API call:
python3 direct-api/prepare_request.py --task NE-1-H1-to-H4 --model YOUR_MODEL --out /tmp/request.json

Model, endpoint, effort, and token settings are separate from the mathematical cases. The builder launches no API calls. Current grading is binary-correctness-v1.

These are proposed task statements, not verified proofs or a validated automatic reward. The mathematical wording and checkpoint scope were reshaped for endpoint testing; editorial scope changes are recorded in eval/other-v5/editorial-notes.md, outside solver inputs.
review-flags.json contains editorial review status only; it is not supplied to solvers or judges.