# Re-run of the reproducibility package from an extracted copy of release/source.zip (2026-10-15, before the revision)
# python3 -I -B, mpmath 1.3.0, sympy 1.14.0, Python 3.13.5; comparison with the recorded outputs (diff line counts)
check_note.py: real 16.21 user 16.16 sys 0.03 ; diff apart from timing lines: 0 lines; last lines: checks: 64; TOTAL failures: 0 RESULT: ALL CHECKS PASSED 
original/sym7_check.py: real 4.48 user 4.46 sys 0.01 ; differing lines: 4 (timing fields only); sym7_minima.py on the re-run: 0 differing lines
verification_run_A/vA_check.py . <file>: real 17.22 user 17.15 sys 0.04 ; differing lines vs work/main_out.txt: 0
verification_run_A/work/zeros_member.py .: real 21.80 user 21.73 sys 0.05 ; differing lines: 0
verification_run_B/sym7_own.py controls: real 1.30 user 1.29 sys 0.00 ; differing lines: 0
verification_run_B/verify_roots.py .: real 5.59 user 5.57 sys 0.01 ; differing lines: 0
verification_run_B/k607_zero_family.py .: real 279.47 user 278.45 sys 0.72 ; differing lines: 0
verification_run_B/sym7_own.py table: real 7.01 user 6.98 sys 0.01 ; differing lines: 228 -- all in the four N = 4 families (k906 value, foci f' of E', E' checks); first differing hunk:
3,4c3,4
<    k406a |C0|=2.22117e-50 |C2|=2.40196e-50 S=6.25 | k607 A*1=2.0 A*2=2.0 | k609 A''1=0.16 | k610 A''*1=-1.45455 minsin=0.119615 | k905=-28.0 | k906=0.997247 f'=(0.0,0.350325) | k907 dual=0.0625 dualinv=0.03125
<    residuals |A1-A2|, |A1/A2-1|: k607=4.89116e-49,2.44558e-49  k609=1.30297e-50,8.15193e-50  k610=2.0313e-49,1.38984e-49  k905=4.78959e-48,1.71057e-49  k906=1.33638e-51,2.67276e-51  k907b_dual=6.68191e-52,1.06911e-50  k907b_dualinv=1.33638e-51,4.27642e-50  c
---
>    k406a |C0|=2.22117e-50 |C2|=2.40196e-50 S=6.25 | k607 A*1=2.0 A*2=2.0 | k609 A''1=0.16 | k610 A''*1=-1.45455 minsin=0.119615 | k905=-28.0 | k906=1.28 f'=(0.0,2.31204e-25) | k907 dual=0.0625 dualinv=0.03125
>    residuals |A1-A2|, |A1/A2-1|: k607=4.89116e-49,2.44558e-49  k609=1.30297e-50,8.15193e-50  k610=2.0313e-49,1.38984e-49  k905=4.78959e-48,1.71057e-49  k906=0.0,0.0  k907b_dual=6.68191e-52,1.06911e-50  k907b_dualinv=1.33638e-51,4.27642e-50  ctrl_labeldep=7.4
6c6
<    checks: E'fit=3.74187e-50 E'formula=0.043861 polar2descr=6.76162e-50 polar_circ=1.62504e-48 polar_incirc=1.71057e-48 Op_formula=4.88303e-51 dual_circ=7.6842e-51
