{
  "date": "2026-09-08",
  "sources": [
    {
      "name": "D. Koukoulopoulos, The Distribution of Prime Numbers, explicit-formula chapter preview",
      "url": "https://www.ams.org/bookstore/pspdf/gsm-203-prev.pdf",
      "role": "truncated von Mangoldt explicit formula with O(x log^2(xT)/T + log x) remainder"
    },
    {
      "name": "K. Kedlaya, Error bounds in the prime number theorem",
      "url": "https://kskedlaya.org/ant/part-2-4.html",
      "role": "von Mangoldt formula, zero-free-region calibration, zero counting"
    },
    {
      "name": "NIST DLMF Section 25.10",
      "url": "https://dlmf.nist.gov/25.10",
      "role": "zeta zero distribution and RH definition"
    },
    {
      "name": "NIST DLMF Section 25.16",
      "url": "https://dlmf.nist.gov/25.16",
      "role": "Chebyshev psi, explicit-formula and RH-equivalence calibration"
    },
    {
      "name": "Kusmin-Landau first derivative estimate",
      "url": "https://androma.org/theorems/9055",
      "role": "exponential-sum first derivative estimate used for exact discrete zero-frequency localization"
    }
  ]
}