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

Batch of suggestions, thanks Denis

Browse source 
Co-authored-by: Denis Kasak <dkasak@termina.org.uk>
This commit is contained in:
David Robertson 2022-06-08 18:26:21 +01:00 committed by GitHub
parent 4ecd8a8a24
commit dbf66b93b9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -94,7 +94,7 @@ ordered from oldest to newest.
Let *e* = *e<sub>0</sub>* be another event (possibly another Let *e* = *e<sub>0</sub>* be another event (possibly another
`m.room.power_levels` event). We can compute a similar list of events `m.room.power_levels` event). We can compute a similar list of events
[*e*<sub>1</sub>, ..., *e<sub>m</sub>*], [*e*<sub>1</sub>, ..., *e<sub>m</sub>*],
where *e<sub>*j* + 1</sub>* is the `m.room.power_levels` event in the where *e<sub>*j*+1</sub>* is the `m.room.power_levels` event in the
`auth_events` of *e<sub>j</sub>* and where *e<sub>m</sub>* has no `auth_events` of *e<sub>j</sub>* and where *e<sub>m</sub>* has no
`m.room.power_levels` event in its `auth_events`. (Note that this second list `m.room.power_levels` event in its `auth_events`. (Note that this second list
may be empty, because *e* may not cite an `m.room.power_levels` event in its may be empty, because *e* may not cite an `m.room.power_levels` event in its
@ -103,8 +103,8 @@ may be empty, because *e* may not cite an `m.room.power_levels` event in its
Now compare these two lists as follows. Now compare these two lists as follows.
* Find the smallest index *j* ≥ 1 for which *e<sub>j</sub>* belongs to the * Find the smallest index *j* ≥ 1 for which *e<sub>j</sub>* belongs to the
mainline of *P*. mainline of *P*.
* If *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique index * If such a *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique
*i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater
than any integer. than any integer.
* In both cases, the *position of e in the mainline of P* is *i*. * In both cases, the *position of e in the mainline of P* is *i*.
@ -113,7 +113,7 @@ 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 position of *x* in the mainline of *P* is **greater** than
the position of *y* in the mainline of *P*. the position of *y* in the mainline of *P*; or
2. the positions of the events are the same, but *x*'s 2. the 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 positions of the events are the same and the events have the