Collatz Certified Proof Bundle (K=18, J=10) — Single Verifier and Artifacts

This record contains a reproducible verification package for a computationally certified Collatz proof bundle based on an honest-cylinder finite-state model of the odd-only Collatz map at modulus 2^18, with phase period P=64 and deficit band d in [-10,6]. Reproduction: - Install: python -m pip install numpy - Run: python scripts/verify_full_theorem_K18_J10.py - Success iff the final line is: [THEOREM VERIFY] OK Contents: - scripts/verify_full_theorem_K18_J10.py (single end-to-end verifier) - verifier_spec.md (formal model and verification specification) - paper/preprint.tex (+ appendix with SHA256 table) - paper/artifacts.json (canonical manifest: SHA256, parameters, expected counts) - collatz_LT_K18_J10_bundle/ (binary artifacts: next/kill_kind/badpre_exitlow/rank)