The Bateson One-Way Function: Formal Definition, Cryptographic Hardness, and Empirical Irreversibility - Fathi, Kevin; orcid:0009-0001-5546- (Zenodo, 2025)