Sergei Stepanenko, Amin Timany: Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. FSCD 2025: 33:1-33:24