Power-Weighted Lifts: reproducibility archive

← Return to Technical Report III

One-command replay

python -m pip install -r requirements.txt
python run_all.py

Artifacts

paper.md — theorem manuscript
verify_sympy.py — executed exact verifier
verify_sage.py — independent Sage implementation
verify_maple.mpl — independent Maple implementation
certificate_sympy.json — machine certificate
independent_reproduction.md — independent PASS ledger
manifest.json — environment, command, output, hashes
SHA256SUMS.txt — publication checksums
README.md · requirements.txt · run_all.py

Verification scope

Check	Result
Exact family Jacobians	27/27 PASS
Uniform odd-pair collisions	10/10 PASS
Expanded degree-eight map	PASS
Exact rational collision	PASS
Independent reproduction	PASS

Independent run: cbbb82dc-f35e-4c24-aeb0-8d9b2159c95a