Description: Section 4.2: "...after a network partition." Do you mean "...after a network partition is healed"? In any case that paragraph confuses me. This is also the first mention of time sync, so a bit more introductory text seems needed.
Notes: 5.2 Change to "when a network partition is being healed". Move text (from Unless ...) somewhere else.
From: Stephen Farrell
Description: Section 4.2: "...after a network partition." Do you mean "...after a network partition is healed"? In any case that paragraph confuses me. This is also the first mention of time sync, so a bit more introductory text seems needed.
Notes: 5.2 Change to "when a network partition is being healed". Move text (from Unless ...) somewhere else.