> that actually have safe, strong consistency

Based on what data? Even hazelcast had that same claim before they got exposed?

I've only seen 2 systems that did rigorous in-house fault-tolerant testing (foundationdb and cockroachdb) and later when "jepsen-verified", they actually backed their claim or had few modifications to uphold their claim.