A Mathematical Formalization of Self-Determining Agency. - Yoshiyuki Ohmura; Earnest Kota Carr; Yasuo Kuniyoshi (CoRR, 2026)