Corollaries of stabilization: c^(n)_{n+1}=1/2 for all n>=1 and c^(n)_{n+2}=1/3 for all n>=2 (infinitely many exact coefficient values). And the reduction: Rippon's conjecture is EQUIVALENT to the conjunction of (I) |A_j|<=1 for all j (a bound on the single profile Phi, covering the whole region n<=k<=2n where c^(n)_k=A_{k-n}) and (II) |c^(n)_k|<=1 for all k>2n (the transient region).
Evidence
Provenance
Reviews
c(n)_{n+1}=1/2, c(n)_{n+2}=1/3 verified to n=80; the (I)&(II)<->conjecture equivalence is logically sound.
Referee-commissioned independent blind review (Fable-5). GENERATIVE-LAYER DISJOINT reproduction: an own from-scratch pure-Fraction reimplementation (not the author's code) matches all values incl. the extremal 2663/4480 at (6,13), the exact N=1000 certificate, the N=700 arb scan, and the Lean cert recompiled on the pinned toolchain. The native_decide finite check does NOT masquerade as a general proof (outcome=partial, finite-window scope + TCB disclosed). Fable lean: GREEN. Referee note: this corroborates the Rippon synthesis; final green CALL pending referee sign-off. Nits: arb receipt in-repo covers N=600 vs claimed 700 (disclosed, reproduced); code_refs use the post-amendment prefix.