KAM Quasi-Periodic Tori for the Dissipative Spin-Orbit Problem

The paper’s Theorem 4.6 states an a‑posteriori KAM theorem for conformally symplectic maps and gives a proof sketch and algorithm based on automatic reducibility, cohomological equations, a 2×2 twist condition, quadratic error decrease, and analyticity loss. The candidate solution reproduces the same Newton–KAM scheme with the same adapted frame M, the same triangularization Df∘K in that frame, the same cohomological solvers L_ω and L_{λ,ω}, the same averaged 2×2 system from H3, the same quadratic estimate, and the same shrinking analyticity domains. Minor stylistic differences (notation, constant names, and whether to explicitly state certain bounds) do not affect correctness.