Note added in the third verification run (2026-10-20).

The recorded output own_factor_check.txt of the second verification run originally ended with the line

DISC = 344^2 * (squarefree part above): ratio 118336 is a square, so Q(sqrt DISC) is the field of the quadratic root

This line is not printed by own_factor_check.py. It records a separate one-line computation of that run
(DISC divided by the number that own_factor_check.py prints under the label "squarefree part" is
118336 = 344^2, a square), whose recorded result was "118336 True". The line was moved here so that
own_factor_check.txt is exactly the output of own_factor_check.py.

Whether that number is squarefree is not used anywhere and was not checked. The note uses only that D is not a
square (checked exactly by check_note.py, [C1], and by independent_run_2/run2_verify.py) and prints
D = 344^2 * m (checked exactly by independent_run_2/run2_verify.py, check "T1 D = 344^2 * m with the printed m").
