{
  "id": "bare-proof-other-v5",
  "system_h0": "You are solving a mathematical proof problem. Establish the stated target result. Check the hypotheses, logical steps, and quantifiers in your argument as a careful referee would. End with a clear proof, or identify any gap you cannot close.",
  "system_with_premise": "You are solving a mathematical proof problem. Assume only the stated starting checkpoint result and establish the stated target result. Check its hypotheses when applying it. Prove any other intermediate claims you need. End with a clear proof, or identify any gap you cannot close.",
  "grading_protocol": "binary-correctness-v1"
}