Which variant of causal consistency are you testing against for MongoDB

[Tsunaou]

I notice you mentioned that in your test report for MongoDB 3.6.4

We implemented a new kind of Jepsen test to check causal consistency, adapted from Bouajjani, Enea, Guerraoui, and Hamza’s techniques On Verifying Causal Consistency.

I have read the paper On Verifying Causal Consistency and found that there are several variants of causal consistency, including Causal Consistency (CC) , Causal Memory (CM) , and Causal Convergence (CCv) . Bouajjani et. al. have proposed checking algorithm for each variant but I can not tell which variant of causal consistency are you testing against for MongoDB by the code in causal.clj. Can you give me some more specific information?

Sincerely, Young