[Experimental] Proof-Oriented Event-Sourcing: Providing best effort formal verification guarantees to event sourcing code - View it on GitHub