Proof of the ABC Conjecture Finiteness via the Subspace Theorem and Explicit Height Bounds - Harris, Lemuel Schaine (Zenodo, 2025)