[
  {
    "kind": "software",
    "name": "Python 3.12",
    "source": "https://www.python.org",
    "details": "Initial execution used Python 3.12.15; integer certificate arithmetic uses standard-library integers and fractions."
  },
  {
    "kind": "software",
    "name": "python-flint 0.9.0",
    "source": "https://pypi.org/project/python-flint/0.9.0/",
    "details": "Pinned in env/requirements.txt; Arb precision is fixed at 192 bits in code/verify.py."
  }
]