diff --git a/changelogs/room_versions/newsfragments/1120.clarification b/changelogs/room_versions/newsfragments/1120.clarification new file mode 100644 index 00000000..e8aa3349 --- /dev/null +++ b/changelogs/room_versions/newsfragments/1120.clarification @@ -0,0 +1 @@ +Improve readability and understanding of the state resolution algorithms. \ No newline at end of file diff --git a/content/rooms/fragments/v2-state-res.md b/content/rooms/fragments/v2-state-res.md index e666d7f8..51331b44 100644 --- a/content/rooms/fragments/v2-state-res.md +++ b/content/rooms/fragments/v2-state-res.md @@ -36,10 +36,10 @@ The key-value pairs (*K*, *V*) across all state maps *Si* can be divided into two collections. If a given key *K* is present in every *Si* with the same value *V* in each state map, then the pair (*K*, *V*) belongs to the *unconflicted state map*. -Otherwise (*K*, *V*) belongs to the *conflicted state set*. +Otherwise, *V* belongs to the *conflicted state set*. Note that the unconflicted state map only has one event for each key *K*, -whereas the conflicted state set may associate multiple events to the same key. +whereas the conflicted state set may contain multiple events with the same key. **Auth chain.** The *auth chain* of an event *E* is the set containing all of *E*'s auth events,