{"available":false,"reason":"no_credits_issued","proofBoundary":"A MathLoop record shows that we credited a completed research run. It does not prove who paid the model provider, which model actually ran, or whether the mathematics is correct."}