Filip/matrix-spec
1
0
Fork 0
mirror of https://github.com/matrix-org/matrix-spec synced 2026-03-23 19:44:09 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Opinionated rewrite of unconflicted state map

Browse source
This commit is contained in:
David Robertson 2022-04-29 19:45:32 +01:00
parent a164302164
commit 9455e69bc1
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD
1 changed files with 8 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
content/rooms/fragments/v2-state-res.md
View file

@ -31,11 +31,14 @@ the `membership` is `leave` or `ban` and the `sender` does not match the
might remove someone's ability to do something in the room.
**Unconflicted state map and conflicted state set.**
The *unconflicted state map* is the state where the value of each key
exists and is the same in each state *S*<sub>*i*</sub>. The *conflicted
state set* is the set of all other state events. Note that the
unconflicted state map only has one event per `(event_type, state_key)`,
whereas the conflicted state set may have multiple events.
The key-value pairs across all state maps *S<sub>i</sub>* can be divided into
two collections. If a given key *K* is present in every *S<sub>i</sub>* 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*.
Note that the unconflicted state map only has one event per `(event_type, state_key)`,
whereas the conflicted state set may associate multiple events to the same key.
**Auth difference.**
The *auth difference* is calculated by first calculating the full auth