Two-Phase Commit

Honest by Construction

Expected facts are assertions only; the FSM replay is the source of truth.

highlighted = computed this step

Honest by construction

Each authored trace is compiled, guarded with expected assertions, and compiled again before rendering. Wrong expected facts and derived sidecars fail closed.

recompute before render\text{recompute before render}

Guarded compiled facts

The guarded commit trace has 2 votes and 5 timeline snapshots. Both numbers come from the recomputed output.

votes=2,snapshots=5\text{votes}=2,\quad \text{snapshots}=5

two-phase commit is rendered here as a tiny exact FSM trace; timeouts, recovery, network partitions, availability, and database-product behavior are out of scope.

All yes commitseventcoordinatordecisionvotesparticipantsinitialinitpendingnoneP1:init, P2:initprepare CwaitingpendingnoneP1:prepared, P2:preparedvote P1 yeswaitingpendingP1:yesP1:voted_yes, P2:preparedvote P2 yeswaitingpendingP1:yes, P2:yesP1:voted_yes, P2:voted_yesdecide commitcommittedcommitP1:yes, P2:yesP1:committed, P2:committed participant statesparticipantvotestateP1yescommittedP2yescommitted compiled summaryfactvaluedecisioncommitoutcomecommitcoordinatorcommittedcommitAllowedyesabortReasonnone

Summary

The page shows only facts that survive the compile boundary. Note: exact FSM traces are not claims about real deployment behavior.

honest two phase commit render\text{honest two phase commit render}