Repository navigation
Average precision under random ranking - v1.0.2
The manuscript retains its original date, September 7, 2026, and uses shantanu.w.singh@gmail.com as the contact address.
The preferred citation preserves the original manuscript date; the release metadata records the date of this version.
This release includes the rebuilt seven-page paper, reproducible supplement, arXiv source package, citation files, verification record, and SHA-256 checksums.
The exact-arithmetic Python checks, symbolic variance comparison, Lean build, and eight theorem audits pass.
The PDF compiles without warnings, all seven pages were visually checked, and citation metadata validate against CFF 1.2.0.
To reproduce, extract supplement.zip and run bash reproduce.sh.