Discriminant Varieties for Stick Knots and Links
=================================================

This is the documentation and verification companion to the manuscript by
Alexander Kolpakov and Igor Rivin. The TeX manuscript and compiled PDF are the
source of truth for theorem statements, hypotheses, proofs, and citations.

The repository contains the paper, a qualified literature audit, a numerical
audit, and a Lean 4/mathlib development giving complete conditional
certification of the principal finite and asymptotic knot-counting deductions.
The cited topology, real algebraic geometry, braid theory, and knot-transfer
theorems remain explicit inputs.

.. toctree::
   :maxdepth: 2
   :caption: Contents

   paper
   results
   formal_verification
   reproducibility
   novelty
   acknowledgments