Computational Verification of the Erdős-Herzog-Piranian Conjecture for Degrees 3 ≤ n ≤ 14

IEEE 1788 interval-arithmetic branch-and-bound certificate packet for the finite-degree Erdős-Herzog-Piranian lemniscate-length conjecture checks for degrees 3 ≤ n ≤ 14. Correction in v3.1.0: this version replaces the stale n=13 sidecar that reported bb_total_evals = 0 after an 18-second run with the corrected rerun certificate. The corrected canonical n=13 JSON reports bb_total_evals = 197132288, total_time_secs = 3177.698924691, and SHA-256 c06c633b4053cdf2c4c6003327f30ee2ce683e6a9da70e047d5c5d43e685fd17. The all-degree Erdős Problem #114 remains open. This deposit is a corrected finite-degree computational certificate packet, not a claimed resolution of the full conjecture. The GitHub release/tag for this correction is v3.1.0. The attached source archive preserves the repository folder layout, including the corrected canonical n=13 file, the 2026-05-07 rerun folder, and the archived broken 18-second artifact for auditability.