Computational Artifacts for the paper "Primitive-Divisor Reductions and Auditable Finite-Support Obstructions for Odd Perfect Numbers"

This repository contains the computational artifacts and exact verification results associated with the manuscript titled: "Primitive-Divisor Reductions and Auditable Finite-Support Obstructions for Odd Perfect Numbers". The provided code implements the valuation-deficit filtration and parity-rigid obstruction checks described in the manuscript. The implementation is strictly deterministic, relying on Python 3.13.5 and SymPy 1.14.0. ## Repository Contents- finite_support_verifier.py: The primary Python script that implements the finite-support valuation verification and coordinatewise filtration.- benchmark_output.json: The full recorded output asserting every node count, timing, and arithmetic total reported in the article. ## UsageTo reproduce the arithmetic audit and verify the computational claims, execute the following command from the repository root: python3 finite_support_verifier.py --output benchmark_output.json