Verification supplement for “Complementary-divisor rigidity from proportional valuation truncation”
Description
Supporting Python and Lean verification files for the manuscript “Complementary-divisor rigidity from proportional valuation truncation” by Nurbek Kenes. The supplement contains exact-arithmetic Python checks, Lean 4.19.0 source files, declaration-level axiom reports, and recorded verification results. The files check local algebraic identities, the two overlap constructions, residual-exponent calculations, the quadratic recurrence and finite-descent components, as well as the finite computational experiments described in Appendix A of the manuscript. The Lean files formalize selected local components of the argument; they do not constitute a formal proof of Theorem 1.1. The asymptotic estimates, the passage from real valuation truncation to the relevant integer hypotheses, the radical estimates, and the full theorem remain part of the conventional mathematical proof in the manuscript.
Files
Institutions
- Narxoz UniversityAlmaty, Almaty