compute — hilbert16-limit-cycles

Verifier plus certificate. Every claimed number needs an independent check that runs from the files in this folder. SAT UNKNOWN is not a bound; search residue is not a lower bound.

Replay:

./run_all.sh

That runs q1/run_all.sh, then q2/run_all.sh, then q3/run_all.sh. Exit 0.

No published H(n) is claimed here. The reusable lemmas are the Chebyshev pullback identity, the radial-cubic uniqueness identities, the Bézout sheet ceiling, the first Lyapunov quantity of a quadratic focus, the homogeneous scaling obstruction, the odd-cubic Liénard energy identity, the iterated-squaring degree and sheet counts, the Harnack-recurrence arithmetic, the explicit Prohens–Torregrosa Darboux field, the two-well energy and figure-eight integral, L1 = 0 at the three Darboux centers, first-order cyclicity at most 1 for one cubic perturbation of the quasi-homogeneous center, the holomorphic-cube sheet count, and the radial family attaining Z(2,n), the degree-4 line product of the translated radial cubic, a named cubic with an invariant line and no cycles, the Christopher–Lloyd and T2 degree-7 four-oval fields, a cubic Kolmogorov Dulac, the second Poincaré quantity at the two-well, and the degree-5 radial product. Shi’s order-3 jet and van der Pol’s Liénard hypotheses are replayed, not new bounds.