Ouroboros AutoSyn: Time Based Permissionless Synchrony Model for PoS. - Joshua Shen (CoRR, 2026)