spec for joint consensus#26

nolouch wants to merge 4 commits into

pingcap:masterpingcap/tla-plus:masterfrom

nolouch:jointnolouch/tla-plus:jointCopy head branch name to clipboard