# C-0099 witness pin

Pinned on 2026-07-19 from
`experiments/johnston_yang_vk_global_psi_decay_surviving_02043325/`.

## Verifiers

- directed verifier:
  `canon/witnesses/C-0099/verify.py`
- SHA-256:
  `72e30d23a1b903de193770649537dd3342b86f7cb27dfdddb0e74f2fe9f8a32a`
- independent checker:
  `canon/witnesses/C-0099/independent_check.py`
- SHA-256:
  `be2642b23b91763aaa4167fbae445bac7d20c215f0dc51d45f1087e408c9ebb0`
- proof:
  `canon/witnesses/C-0099/PROOF.md`
- SHA-256:
  `3cce226608a8362ff38af3dc70b537853c8a8825c5bf4ae2f1e27f8997919135`

Run:

```sh
uv run --frozen python canon/witnesses/C-0099/verify.py
uv run --frozen python canon/witnesses/C-0099/independent_check.py
```

Optimized mode must fail closed:

```sh
uv run --frozen python -O canon/witnesses/C-0099/verify.py
```

with `verify.py requires assertions`.

The experiment and canonical verifier copies are byte-identical.

## Runtime

- Python: 3.14.6
- python-flint: 0.9.0
- FLINT: 3.6.0
- `uv.lock` SHA-256:
  `7f8c109e2b20f1c7ee76bde05611d8ee9269b31466d8f9542fd08b6efe8b6e38`
- `pyproject.toml` SHA-256:
  `6025d5090ce3d026fdc072a19535565ae84c7b498e562854e0b3df664add5326`

## Directed certificate

The 256-bit Arb verifier certifies:

1. every primary-source, dependency, and forward-use hash;
2. Johnston--Yang's theorem, interpolation rule, and selected density
   rows, plus Yang's surviving \(51.34\) theorem;
3. the exact \(10^{-4}\) open-to-closed denominator padding;
4. \(Q(51.3401)=0.2043529808323288600\ldots\);
5. the reoptimized tuple
   \((L_0,\sigma,\theta,B_3)=
   (950000000,0.9999714,0.08917,0.21617)\);
6. every explicit-formula range and normalized-term derivative;
7. tail ratio
   \(0.9498732528857522171\ldots<1\);
8. exact finite, Buethe, and C-0067 splice coverage;
9. the repaired published \(c=57.54\) theorem and its printed
   \(B_2\) defect; and
10. exact improvements \(7613/400000\) over the published theorem and
    \(13/400000\) over C-0070.

## Source hashes

- Johnston--Yang v2 PDF:
  `565993a6def48b237a68a92acba604f2c42f99165e0e71e390f8e21a313b74b2`
- Johnston--Yang v2 source tar:
  `572d5739936ad3f5e867a142eccb0193b001dd2ee9b27b1d7183124071ec7edd`
- Johnston--Yang extracted text:
  `509a6c574dc459925b533337b5ea7e36a5a544955a3689b08b1fe8c6604c3edb`
- Johnston--Yang `main.tex`:
  `2a79d56dbd6da46d46c6ddd8852d9fa763c716110ebf08b7b029e52346f92602`
- Yang thesis PDF:
  `b67b44e9608e3b73f261c4a4bd1ca70cc6000baee2aa43a4d749e44c5bd14d39`
- Yang thesis text:
  `189572ed43e57219c62499e65ef094efcb3034a02e542e1ee8a9529e5bfa51cc`
- C-0067 record:
  `fffc5899666782461d560662b64e807ddfb4b516eae3a84a637c0c3354bf6571`
- C-0067 verifier:
  `57fe65dbef4958579ba235f97bb3b657fefa7b39f91dfb25345db507d5206568`
- C-0070 record:
  `3517deb12d395af9474c0b4fe226d72e988fea376d6ee851a0a1300afc7b9d23`
- C-0070 verifier:
  `e8c9156b786b474c49449017ceeee32c75f1d16f2c39785d6625d2e2c2b1ce0d`
- Tao--Trudgian v4 source tar:
  `68bc40d2ebf6d6a5b366ce380e1f27b0888482e88ffb6ff9599df2d15d2f4053`
- Tao--Trudgian v4 TeX:
  `5cb98e1d90bb722abecf4428b38cf68a74abae2cd5294350dfeda3eecb8c8acc`

## Review

The independent checker is deliberately corroborative; the Arb
verifier and analytic reductions are the proof. The retained hostile
review and negative controls are recorded in
`scratch/adjacent-unconditional--johnston-yang-vk-global-psi-decay-surviving-reoptimization/`.
