Release reproduction, Independent verification run 2 (AI-assisted), 2026-09-30T15:28:48Z
Extracted release/source.zip (sha256 279502a63b64d646561d3e1999ad5623c1e9560eb5bdc79492e965efe26250f3) into the scratch directory; main.tex and references.bib in the zip are byte-identical to paper/; release/paper.pdf = paper/main.pdf = zenodo copy; Zenodo sha256 list matches the files.
IDENTICAL: claimant/outputs/check_iterated_jacobian.out (rerun rerun_check_iterated_jacobian.out, 96 lines; last line: cases checked: 95; all OK: True)
IDENTICAL: claimant/outputs/check_tables.out (rerun rerun_check_tables.out, 49 lines; last line: ALL CHECKS PASSED: True)
IDENTICAL: claimant/outputs/check_derivative_multiplicity.out (rerun rerun_cdm.out, 55 lines; last line: examples: 54; all m1 <= m: True)
IDENTICAL: lead/lead_checks_output.txt (rerun rerun_lead.out, 88 lines; last line: ALL LEAD CHECKS PASSED: True)
Timings (user s): check_iterated_jacobian 1.4, check_tables 0.04, check_derivative_multiplicity 12.2, lead_checks 0.2. No process left running.
