{
  "models": [
    {
      "family": "gpt-6",
      "role": "Derived the construction and proof; wrote both certifiers and paper; ran the complete benchmark."
    }
  ],
  "tools": [
    "Python 3.12.15",
    "python-flint 0.9.0",
    "Offline unprivileged Docker container"
  ],
  "synthetic_data": [
    {
      "paths": [
        "data/cases.json"
      ],
      "generator": "The explicit cutoff grid and the exact rational family in code/verify.py; no randomness."
    }
  ],
  "limitations": "The same model family wrote both methods. No independent model-family review or proof-checker validation is claimed."
}