synit
/
synit-manual
1
0
Fork 0
Code Issues 2 Pull Requests Projects Releases Wiki Activity

Update protocol assert/retract/message/sync to A/R/M/S

This commit is contained in:
Tony Garnock-Jones 2024-02-08 21:00:00 +01:00
parent 6f30e159b1
commit 76a699bdf7
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/protocol.md
View File

@ -99,10 +99,10 @@ Turn = [TurnEvent ...].
TurnEvent = [@oid Oid @event Event].
Event = Assert / Retract / Message / Sync .
Assert = <assert @assertion Assertion @handle Handle>.
Retract = <retract @handle Handle>.
Message = <message @body Assertion>.
Sync = <sync @peer #:#t>.
Assert = <A @assertion Assertion @handle Handle>.
Retract = <R @handle Handle>.
Message = <M @body Assertion>.
Sync = <S @peer #:#t>.
Assertion = any .
Handle = int .
@ -149,7 +149,7 @@ References embedded in `Turn` packets denote *capabilities* for interacting with
For example, assertion of a capability-bearing record could appear as the following `Event`:
```preserves
<assert <please-reply-to #:[0 555]>>
<A <please-reply-to #:[0 555]> 1093>
```
The `#:[0 555]` is [concrete Preserves text syntax](./guide/preserves.md#concrete-syntax) for
@ -768,10 +768,10 @@ Oid = int .
Turn = [TurnEvent ...].
TurnEvent = [@oid Oid @event Event].
Assert = <assert @assertion Assertion @handle Handle>.
Retract = <retract @handle Handle>.
Message = <message @body Assertion>.
Sync = <sync @peer #:#t>.
Assert = <A @assertion Assertion @handle Handle>.
Retract = <R @handle Handle>.
Message = <M @body Assertion>.
Sync = <S @peer #:#t>.
```
### Capabilities, WireRefs, and attenuations