C-D18I-DUAL-46
The degree-5 dual polyhedron has exactly 46 rational vertices, enumerated exhaustively, each a valid degree-5 minorant
In plain language
The family of best-possible fifth-order certificates is a finite list of 46 exact members.
Exact statement
The degree-5 dual polyhedron has exactly 46 rational vertices, enumerated exhaustively, each a valid degree-5 minorant