Add example of rejected events getting into state

This commit is contained in:
Erik Johnston 2018-12-10 16:27:45 +00:00
parent a80ff2f69f
commit 6c9a433805
2 changed files with 16 additions and 0 deletions

View file

@ -488,6 +488,8 @@ event.
# Appendix # Appendix
## Example 1
The following is an example room DAG, where time flows down the page. We shall The following is an example room DAG, where time flows down the page. We shall
work through resolving the state at both _Message 2_ and _Message 3_. work through resolving the state at both _Message 2_ and _Message 3_.
@ -543,6 +545,20 @@ auth checks, and so the last topic, _Topic 4_, is chosen.
This gives the resolved state at _Message 3_ to be _Topic 4_. This gives the resolved state at _Message 3_ to be _Topic 4_.
## Example 2
The following is an example room DAG, where time flows down the page. We assume
event `B` is initially rejected by the server (due to not passing auth against
the state, but does pass auth against its auth chain).
![state-res-rejected.png](images/state-res-rejected.png)
At `C` we first resolve the power levels, which results in `A`. When we then go
to resolve the topics against the partially resolved state Bob has ops, and so
the resolved state include the topic change `B`, even though it was initially
rejected.
## Notes ## Notes
[^1]: In the current room protocol these are: the create event, power levels, [^1]: In the current room protocol these are: the create event, power levels,

Binary file not shown.

After

Width:  |  Height:  |  Size: 7.4 KiB