Filip/matrix-spec
1
0
Fork 0
mirror of https://github.com/matrix-org/matrix-spec synced 2026-03-26 04:54:10 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

say "mainline position" rather than "position in the mainline of P"

Browse source 
Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
This commit is contained in:
David Robertson 2022-06-14 18:10:44 +01:00 committed by GitHub
parent c411d258f5
commit fe979ee50f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -113,11 +113,12 @@ The *mainline ordering based on* *P* of a set of events is the ordering,
from smallest to largest, using the following comparison relation on from smallest to largest, using the following comparison relation on
events: for events *x* and *y*, *x* &lt; *y* if events: for events *x* and *y*, *x* &lt; *y* if
1. the position of *x* in the mainline of *P* is **greater** than 1. the mainline position of *x* is **greater** than
the position of *y* in the mainline of *P*; or the mainline position of *y* in the mainline of *P* (i.e. the auth chain of
2. the positions of the events are the same, but *x*'s *x* is based on an earlier event in the mainline than *y*); or
2. the mainline positions of the events are the same, but *x*'s
`origin_server_ts` is *less* than *y*'s `origin_server_ts`; or `origin_server_ts` is *less* than *y*'s `origin_server_ts`; or
3. the positions of the events are the same and the events have the 3. the mainline positions of the events are the same and the events have the
same `origin_server_ts`, but *x*'s `event_id` is *less* than *y*'s same `origin_server_ts`, but *x*'s `event_id` is *less* than *y*'s
`event_id`. `event_id`.