Re-run of the package by the verification run of the final text (2026-10-14; Python 3.13.5, sympy 1.14.0,
numpy 2.5.2, scipy 1.18.1; macOS), from a copy of reproducibility/ extracted from source.zip into a new folder.
Part 1: 'sh run_quick.sh <python>'; its comparison log rerun_out/rerun_log.txt follows ('identical': byte-identical
after removing the fields that record running times).

== writing_stage
identical    writing_stage/check_note_output.txt
== original
identical    original/outputs/out_expected_p4.txt
identical    original/outputs/out_expected_p6.txt
identical    original/outputs/out_expected_p8.txt
identical    original/outputs/out_direct_d1_p4.txt
identical    original/outputs/out_direct_d1_p6.txt
identical    original/outputs/out_p4_all_n.txt
identical    original/outputs/out_p6_n25.txt
identical    original/outputs/out_p8_n10.txt
identical    original/outputs/out_p10_n6.txt
identical    original/outputs/out_thresholds.txt
identical    original/outputs/out_bounds_check.txt
== verification_run_A
identical    verification_run_A/outputs/out_va_phi.txt
identical    verification_run_A/outputs/out_va_exact_selftest.txt
identical    verification_run_A/outputs/out_va_direct_d1.txt
identical    verification_run_A/outputs/out_va_Elat_small.txt
identical    verification_run_A/outputs/out_va_exact_p6_n25.txt
identical    verification_run_A/outputs/out_va_exact_p8_n10.txt
identical    verification_run_A/outputs/out_va_exact_p10_n6.txt
identical    verification_run_A/outputs/out_va_thresholds.txt
identical    verification_run_A/outputs/out_va_remark8.txt
identical    verification_run_A/outputs/out_va_values.txt
== verification_run_B
identical    verification_run_B/outputs/direct_d1_p4.txt
identical    verification_run_B/outputs/direct_d1_p6.txt
identical    verification_run_B/outputs/direct_d1_p8.txt
identical    verification_run_B/outputs/direct_d1_p10.txt
identical    verification_run_B/outputs/compare_d1.txt
identical    verification_run_B/outputs/compare_dD.txt
identical    verification_run_B/outputs/expansion_p4_n14.txt
identical    verification_run_B/outputs/cert_p6_n25.txt
identical    verification_run_B/outputs/cert_p8_n10.txt
identical    verification_run_B/outputs/cert_p10_n6.txt
identical    verification_run_B/outputs/thresholds_B.txt
identical    verification_run_B/outputs/thm4_highp.txt
identical    verification_run_B/outputs/negctl_B.txt
