# C-0065 witness pin

- Verifier SHA-256:
  `1501b46dc714da9883c1293e605f4ecbe78e7604e210bf824625674ec60fa9e2`
- Accepted output SHA-256:
  `980f40c0431c41650a7faae477d7101e44f697e41ec43ae921477b5715eab800`
- Preserved original verifier SHA-256:
  `024440e30f6fd292fc9c50e9ff6714d8c2f89a405893412f79e5eb5f64a64d46`
- Runtime: Python 3.14.6, standard library only.
- Run:
  `uv run --frozen python canon/witnesses/C-0065/verify.py`

The verifier pins and reruns the strengthened C-0043, C-0056, and
C-0059 witnesses. It independently:

1. derives the normalized rank-two and rank-three determinant
   polynomials in six independent reciprocal roots;
2. matches the rank-three expression to its complete positive
   monomial expansion;
3. exhausts all \(7!\) permutations and proves reversal is the unique
   nonzero rank-seven term in degree six;
4. checks the zero-column inequality for every rank at least eight;
5. reconstructs the boundary and simple-root degree-seven
   counterexamples in exact rational arithmetic;
6. pins the Craven--Csordas sign convention and the special-class
   restriction on their published all-rank theorem;
7. rejects optimized Python; and
8. discovers the repository root by marker, so canonical and staged
   copies have identical path semantics.

The source bundle pins the 2002 and 2005 primary PDFs, extracted text,
rendered pages 16, 17, 64, 67, and 68, and the preserved original
SymPy verifier. Added or missing source files are rejected.

The post-promotion hostile audit is recorded at
`scratch/proof-system--c0065-all-rank-karlin-synthesis-certificate-audit/RESULT.md`.
