The commit step preserves the invariant, including a leader's mid-publication commit (D1)

Initializing...

The commit step preserves the invariant, including a leader's mid-publication commit (D1) · Prove2Me