bibkey: hanna2026a397346 authors: Paul D. Hanna year: 2026 title: “OEIS A397346: exponential square-weight congruence” doi: null url: https://oeis.org/A397346 claim: “Conjecture: a(n) == [4,2,0,2] repeating (mod 8) for n >= 2.” strata_touched:

• D5/S1/Recurrence/Residue/ParametricExponentialSquareCongruence license: citation-only triage: anchor

OEIS A397346

NAME: O.g.f. satisfies A(x) = exp(x + Sum_{n>=2} (2*n^2-1)*a(n)x^n/(2n^2)).

Conjecture: a(n) == [4,2,0,2] repeating (mod 8) for n >= 2.

The continuation worker retrieved the full OEIS JSON (revision 10) on 2026-09-09 and read the NAME, COMMENT, FORMULA, REFERENCE, LINK and XREF fields. No target proof is linked there or in the directly referenced entries read in this attempt. This is a bounded literature check, not a priority claim. The unrelated formula (6) conflicts with the companion entry’s inverse formula and is not used. Formal source correspondence uses the NAME itself.

The proof, per-declaration audit, reverified predecessor contributions and limitations are recorded in Library/Recurrence/hanna2026a397family.md. The formal theorem residues_q2 uses the new generic source_iff correspondence. No asymptotic limit is asserted.

Verified locator

• URL: https://oeis.org/A397346