Soundness of the finite sieve-weight table

For every natural number d less than 7928, the stored integer table entry WP(d) is at least WC(d), the ceiling of 1000 times the rational singular-series weight K(d). Thus every table entry used for a difference between the selected prime shifts is a certified upper bound, rather than an assumed numerical input.