# Finite-field Rosati kernel verifier

Related post: https://kenan.works/posts/rosati-polarization-gives-all-order-positive-kernels/

The primary-source-pinned purity argument, exceptional multiplicity bookkeeping, exact curve fixtures, and positive Loewner/Gram minors.

Run from the extracted packet root:

    uv run --frozen python canon/witnesses/C-0016/verify.py
