# PIN

- File: `verify.py`
- Source: `experiments/fks_pi_li_amplitude_9221056/verify.py`
- Source sha256:
  `a9ca2416786e3349aaf3bc2a32894572bf4a6c3cb1e52c53690621c2e5521874`
- Pinned sha256:
  `a9ca2416786e3349aaf3bc2a32894572bf4a6c3cb1e52c53690621c2e5521874`
- Record: C-0051 (claim; FKS global pi-minus-Li amplitude 9.221056)
- Deps: Python 3.14 and `python-flint`/Arb.
- Run:
  `uv run --frozen python canon/witnesses/C-0051/verify.py`
  from the repository root.
- Verified: 2026-07-19.

Primary-source hashes:

- FKS PDF:
  `405e5dcbca6067fa436141b8a08c79b81bc12deca03bfe12d667428c36b50fbb`.
- FKS text:
  `9c926ea1ed333e8008c245f8f5bdd87c72fff0eb1647f87d7e02fbf198169edf`.

The verifier checks the exact published-coefficient decrease, the
directed conversion of \(A_\pi=121.107\) into the printed
normalization, the safe decay-exponent rounding, and the \(x=2\)
endpoint.
