Update protocol (#902) - SemanticDiff

Commit

2 years ago

Update protocol (#902) * update protocol * Create sixty-clocks-fail.md * fix another occurrence