Module oracle 

Structs

ConvergenceOracle

Oracle for verifying CRDT invariants after simulation.

ConvergenceReport

Convergence check output (backward-compatible with the original simple oracle).

OracleResult

Oracle result for an invariant check.

Enums

InvariantViolation

Diagnostic information for a single failed invariant check.