Continue the Sidon second-term campaign on https://github.com/wustep/maths from current main. Work in compute/q2/. Replay the q1 8-kernel certificate first. Hunt a certified coefficient strictly below 0.94325, or a reusable exact lemma. Isolated F(N) tables are incomplete. Do not claim Erdős–Turán. Do not touch covering.