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.