{
  "date": "2026-09-08",
  "sources": [
    {
      "name": "NIST DLMF Section 25.10",
      "url": "https://dlmf.nist.gov/25.10",
      "role": "functional-equation zero symmetry and RH definition"
    },
    {
      "name": "NIST DLMF Section 25.16",
      "url": "https://dlmf.nist.gov/25.16",
      "role": "Chebyshev psi explicit formula and classical RH-equivalent error bound"
    },
    {
      "name": "Brent, Platt, Trudgian — The mean square of the error term in the prime number theorem",
      "url": "https://arxiv.org/abs/2008.06140",
      "role": "classical dyadic mean-square calibration; RH upper bound, unconditional lower bound, false-RH unbounded normalized mean square"
    }
  ]
}
