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

Opinionated: improve def of the closest event to e

Browse source 
``iteratively descending through the `m.room.power_levels` events in the
`auth_events`-starting at *e*.`` was also unclear to me. Unfortunately
this is now more symbol-dense and I'm not sure if it's a net improvement.
This commit is contained in:
David Robertson 2022-06-01 15:25:43 +01:00
parent 45440197de
commit e2d8cfcfd7
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -90,11 +90,13 @@ event in its `auth_events`.
The *mainline of P*<sub>0</sub> is the list of events
[*P*<sub>n</sub> , ... , *P*<sub>1</sub>, *P*<sub>0</sub>].
Given another event *e*, the *closest mainline event to*
*e* is the first event encountered in the mainline when iteratively
descending through the `m.room.power_levels` events in the `auth_events`
starting at *e*. If no mainline event is encountered when iteratively
descending through the `m.room.power_levels` events, then the closest
Given another event *e* = *e<sub>0</sub>* we can compute a similar list of
`m.room.power_level` events
[*e*<sub>0</sub>, *e*<sub>1</sub>, ...],
where *e<sub>*j* + 1</sub>* is the `m.room.power_levels` event in the
`auth_events` of *e<sub>j</sub>*. The *closest mainline event to e*
is the first event *e<sub>j</sub>* which belongs to the mainline of *P*.
If no event *e<sub>j</sub>* belongs to the mainline of *P*, then the closest
mainline event to *e* can be considered to be a dummy event that is
before any other event in the mainline of *P* for the purposes of
condition 1 below.