Minimal meridian quotient packet

The actual native figure-eight trace has a finite kernel skein whose meridian-filled bracket is A^-4. The minimal compatible quotient therefore kills the whole trace image. A separate convergent parity functional proves that quotient is nevertheless nonzero.

Read FPRD-minimal-meridian-quotient-2026-09-08.md, then internal-audit.md and source-ledger.md for dependencies and limits.

Reproduce with Python 3, standard library only:

python3 verify-minimal-quotient.py

This regenerates kernel-certificate.json and exact-results.json. The polynomial identity is checked by two multiplication rules; the verifier also checks ribbon framing, the unused parity character, and a rigorously truncated control of the nonzero index functional. Published diagrammatic trace formulas, the skein basis, the prior all-input native action, and the index recurrence/degree theorem remain explicit mathematical inputs.

The research is at generic parameter and for the displayed actual triangulation. It is a supporting note, with no external review or priority claim. The canonical continuing handoff is /evidence/FPRD-research-loop-state.md on the FPRD site.