Skip to content

Commit

Permalink
docs: clarify receiving sync messages (#131)
Browse files Browse the repository at this point in the history
Minor adds to "Receive message" procedure to reflect changes introduced
in #129
  • Loading branch information
jm-clius authored Feb 20, 2025
1 parent 7182459 commit 235c1d5
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions vac/raw/sds.md
Original file line number Diff line number Diff line change
Expand Up @@ -151,13 +151,14 @@ Upon receiving a message,
* the participant MUST [review the ACK status](#review-ack-status) of messages
in its unacknowledged outgoing buffer
using the received message's causal history and bloom filter.
* the participant MUST include the received message ID in its local bloom filter.
* if the message has a populated `content` field,
the participant MUST include the received message ID in its local bloom filter.
* the participant MUST verify that all causal dependencies are met
for the received message.
Dependencies are met if the message IDs in the `causal_history` of the received message
appear in the local history of the receiving participant.

If all dependencies are met,
If all dependencies are met and the message has a populated `content` field,
the participant MUST [deliver the message](#deliver-message).
If dependencies are unmet,
the participant MUST add the message to the incoming buffer of messages
Expand Down

0 comments on commit 235c1d5

Please sign in to comment.