An eight-term bound for degree-twenty Casas–Alvero polynomials

Unrefereed candidate: every nontrivial characteristic-zero degree-twenty Casas–Alvero polynomial has at least eight monomials after centering at its nineteenth-derivative root, counting the leading term. Written proof, exact finite checks and producer-involved internal review. The unrestricted degree-twenty and general conjectures are not solved. No formal verification, external journal acceptance or certified priority is claimed. Original prose/data: CC0; original code: MIT; see LICENSES.md.