Dataspace and Gatekeeper protocol update #1

Merged
tonyg merged 1 commits from ehmry/syndicate-sh:main into main 2023-05-26 14:14:26 +00:00
1 changed files with 7 additions and 5 deletions

View File

@ -5,7 +5,7 @@ set -euo pipefail
. $(dirname "$0")/../lib/syndicate.sh
demo_ds_resolved() {
local oid="$(ds_project "$ds_event" '^ assert . 0 .embedded . 1')"
local oid="$(ds_project "$ds_event" '^ assert . 0 ^ accepted . 0 .embedded . 1')"
if [ -n "$oid" ]
then
ds_ref="#![1 $oid]"
@ -31,14 +31,16 @@ demo_ds_resolved() {
esac
}
ds_object presence demo_presence
ds_assert "$ds_ref" "<Observe <compound <rec Present 1> {0: <bind <_>>}> $presence>"
ds_assert "$ds_ref" "<Observe <rec Present [<bind <_>>]> $presence>"
ds_assert "$ds_ref" "<Present \"$username\">"
demo_utterance() {
ds_project "$ds_event" '^ message . 0'
local who="$(ds_project "$ds_event" '^ message . 0 . 0')"
local what="$(ds_project "$ds_event" '^ message . 0 . 1')"
echo "$who: $what"
}
ds_object utterance demo_utterance
ds_assert "$ds_ref" "<Observe <compound <rec Says 2> {0: <bind <_>> 1: <bind <_>>}> $utterance>"
ds_assert "$ds_ref" "<Observe <rec Says [<bind <_>> <bind <_>>]> $utterance>"
ds_flush
ds_mainloop </dev/null &
@ -56,4 +58,4 @@ demo_ds_resolved() {
ds_object bootk demo_ds_resolved
ds_connect \
'<unix "./sock">' \
'ds_assert "#![1 0]" "<resolve <ref \"syndicate\" [] #x\"69ca300c1dbfa08fba692102dd82311a\"> $bootk>"'
'ds_assert "#![1 0]" "<resolve <ref {oid: \"syndicate\" sig: #x\"69ca300c1dbfa08fba692102dd82311a\"}> $bootk>"'