# Verification run 2: rerun of the release package from an extracted copy of release/source.zip (2026-10-01)
# Commands: sh lead/run_all.sh (74.8 s wall clock); cd verifier && python3 -B indep_check.py
# Comparison with the recorded outputs in the package; lines differing only in timings are ignored.
lead/outputs/bm_cellular_out.txt: differing lines after removing timings: 0
lead/outputs/bm_join_out.txt: differing lines after removing timings: 0
lead/outputs/paper_checks_output.txt: differing lines after removing timings: 0
lead/outputs/sanity_checks_out.txt: differing lines after removing timings: 0
lead/outputs/types_poset_out.txt: differing lines after removing timings: 0
lead/outputs/python_version.txt: differing lines after removing timings: 0
verifier/indep_check_output.txt: differing lines after removing timings: 0
