{
  "date": "2026-09-08",
  "purpose": "Calibration only; no external result is promoted into an unproved fixed-power bridge.",
  "sources": [
    {
      "name": "NIST DLMF 25.16",
      "url": "https://dlmf.nist.gov/25.16",
      "used_for": [
        "definition of Chebyshev psi",
        "explicit-formula calibration",
        "classical equivalence RH <-> psi(x)=x+O(x^{1/2+epsilon})"
      ]
    },
    {
      "name": "Coppola-Laporta, A generalization of Gallagher's lemma for exponential sums",
      "url": "https://arxiv.org/abs/1411.1739",
      "used_for": [
        "calibration that mean-square transform / short-interval-energy bridges are classical methodology"
      ]
    }
  ]
}