# C-0055 hostile source and certificate pin

Date: 2026-07-19 (Pacific)

Verdict: **ACCEPT**, after repairing a stale dependency pin.

The verifier pins the accepted C-0050 source-table audit, executes C-0051's
normalization certificate, and retains the Axler, Buethe, and
Fiori--Kadiri--Swidinsky primary sources. It checks the actual
`x >= 29.53` range, both denominator signs, the 16384-cell low `li` cover,
both rational `Ei` majorants, exact polynomial factors, all Table 4
intervals, Table 7, and the asymptotic handoff.

Run:

```bash
uv run --frozen python canon/witnesses/C-0055/verify.py
```

Runtime: Python `3.14.6`, python-flint `0.9.0`, FLINT `3.6.0`.

Canonical verifier SHA-256:
`572ed3b870c856309c44ea8fbe842e8af74c8089fde9c097e6b816bbeb92e3b7`.

Accepted JSON SHA-256:
`e77e4f8572aa0adcdc330753e6086b79306254c9b66bdaa6a6384f6b36e193b2`.

The conclusion is an explicit prime-counting inequality. All-height RH is
outside scope.
