AxoDen-R: Deterministic Inline Control for Certifiable Ransomware Prevention | Synapse