Verifying Global Consistency with Jepsen

Last I checked Jepsen was more of a toolkit for checking consistency then simply plug and play. What is the process for adapting Jepsen to your specific database and its capabilities and how broadly is Jepsen checking the various guarantees the DB offers. Like say if there are consistency tunables what range of tunables were tested?

It would be nice if you posted the correctness report as is, without requiring me to be added to your marketing funnel.

This is an ad, there is no information here.

Here is a direct link to the report: <a href="https:&#x2F;&#x2F;www2.fauna.com&#x2F;l&#x2F;517431&#x2F;2018-06-25&#x2F;6c9gwb&#x2F;517431&#x2F;114459&#x2F;FaunaDB_Correctness_Report_042618.pdf" rel="nofollow">https:&#x2F;&#x2F;www2.fauna.com&#x2F;l&#x2F;517431&#x2F;2018-06-25&#x2F;6c9gwb&#x2F;517431&#x2F;114...</a>