From d1cb35dc760d583b02e95939fc717bfd085ec204 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 8 Jun 2024 10:34:53 +0200 Subject: [PATCH] Use internal copy of schema-bundle.bin for separate verifiability/publishability --- syndicate-schema-plugin/build.rs | 2 +- syndicate-schema-plugin/schema-bundle.bin | 44 +++++++++++++++++++++++ 2 files changed, 45 insertions(+), 1 deletion(-) create mode 100644 syndicate-schema-plugin/schema-bundle.bin diff --git a/syndicate-schema-plugin/build.rs b/syndicate-schema-plugin/build.rs index 21813c1..2f390a1 100644 --- a/syndicate-schema-plugin/build.rs +++ b/syndicate-schema-plugin/build.rs @@ -9,7 +9,7 @@ fn main() -> std::io::Result<()> { let mut c = CompilerConfig::new("crate::schemas".to_owned()); c.add_external_module(ExternalModule::new(vec!["EntityRef".to_owned()], "crate::placeholder")); - let inputs = expand_inputs(&vec!["../syndicate/protocols/schema-bundle.bin".to_owned()])?; + let inputs = expand_inputs(&vec!["./schema-bundle.bin".to_owned()])?; c.load_schemas_and_bundles(&inputs, &vec![])?; compile(&c, &mut CodeCollector::files(gen_dir)) } diff --git a/syndicate-schema-plugin/schema-bundle.bin b/syndicate-schema-plugin/schema-bundle.bin new file mode 100644 index 0000000..7d2b721 --- /dev/null +++ b/syndicate-schema-plugin/schema-bundle.bin @@ -0,0 +1,44 @@ +“³bundle·µ³rpc„“³schema·³version°³ definitions·³Answer“³rec“³lit³a„“³tupleµ“³named³request³any„“³named³response³any„„„„³Result“³orµµ±ok“³rec“³lit³ok„“³tupleµ“³named³value³any„„„„„µ±error“³rec“³lit³error„“³tupleµ“³named³error³any„„„„„„„³Question“³rec“³lit³q„“³tupleµ“³named³request³any„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³tcp„“³schema·³version°³ definitions·³TcpLocal“³rec“³lit³ tcp-local„“³tupleµ“³named³host“³atom³String„„“³named³port“³atom³ SignedInteger„„„„„³ TcpRemote“³rec“³lit³ +tcp-remote„“³tupleµ“³named³host“³atom³String„„“³named³port“³atom³ SignedInteger„„„„„³ TcpPeerInfo“³rec“³lit³tcp-peer„“³tupleµ“³named³handle“³embedded³any„„“³named³local“³refµ„³TcpLocal„„“³named³remote“³refµ„³ TcpRemote„„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³http„“³schema·³version°³ definitions·³Chunk“³orµµ±string“³atom³String„„µ±bytes“³atom³ +ByteString„„„„³Headers“³dictof“³atom³Symbol„“³atom³String„„³MimeType“³atom³Symbol„³ +QueryValue“³orµµ±string“³atom³String„„µ±file“³rec“³lit³file„“³tupleµ“³named³filename“³atom³String„„“³named³headers“³refµ„³Headers„„“³named³body“³atom³ +ByteString„„„„„„„„³ HostPattern“³orµµ±host“³atom³String„„µ±any“³lit€„„„„³ HttpBinding“³rec“³lit³ http-bind„“³tupleµ“³named³host“³refµ„³ HostPattern„„“³named³port“³atom³ SignedInteger„„“³named³method“³refµ„³ MethodPattern„„“³named³path“³refµ„³ PathPattern„„“³named³handler“³embedded“³refµ„³ HttpRequest„„„„„„³ HttpContext“³rec“³lit³request„“³tupleµ“³named³req“³refµ„³ HttpRequest„„“³named³res“³embedded“³refµ„³ HttpResponse„„„„„„³ HttpRequest“³rec“³lit³ http-request„“³tupleµ“³named³sequenceNumber“³atom³ SignedInteger„„“³named³host“³refµ„³ RequestHost„„“³named³port“³atom³ SignedInteger„„“³named³method“³atom³Symbol„„“³named³path“³seqof“³atom³String„„„“³named³headers“³refµ„³Headers„„“³named³query“³dictof“³atom³Symbol„“³seqof“³refµ„³ +QueryValue„„„„“³named³body“³refµ„³ RequestBody„„„„„³ HttpService“³rec“³lit³ http-service„“³tupleµ“³named³host“³refµ„³ HostPattern„„“³named³port“³atom³ SignedInteger„„“³named³method“³refµ„³ MethodPattern„„“³named³path“³refµ„³ PathPattern„„„„„³ PathPattern“³seqof“³refµ„³PathPatternElement„„³ RequestBody“³orµµ±absent“³lit€„„µ±present“³atom³ +ByteString„„„„³ RequestHost“³orµµ±absent“³lit€„„µ±present“³atom³String„„„„³ HttpListener“³rec“³lit³ http-listener„“³tupleµ“³named³port“³atom³ SignedInteger„„„„„³ HttpResponse“³orµµ±status“³rec“³lit³status„“³tupleµ“³named³code“³atom³ SignedInteger„„“³named³message“³atom³String„„„„„„µ±header“³rec“³lit³header„“³tupleµ“³named³name“³atom³Symbol„„“³named³value“³atom³String„„„„„„µ±chunk“³rec“³lit³chunk„“³tupleµ“³named³chunk“³refµ„³Chunk„„„„„„µ±done“³rec“³lit³done„“³tupleµ“³named³chunk“³refµ„³Chunk„„„„„„„„³ MethodPattern“³orµµ±any“³lit€„„µ±specific“³atom³Symbol„„„„³PathPatternElement“³orµµ±label“³atom³String„„µ±wildcard“³lit³_„„µ±rest“³lit³...„„„„„³ embeddedType€„„µ³noise„“³schema·³version°³ definitions·³Packet“³orµµ±complete“³atom³ +ByteString„„µ± +fragmented“³seqof“³atom³ +ByteString„„„„„³ Initiator“³rec“³lit³ initiator„“³tupleµ“³named³initiatorSession“³embedded“³refµ„³Packet„„„„„„³ NoiseSpec“³andµ“³dict·³key“³named³key“³atom³ +ByteString„„³service“³named³service“³refµ„³ServiceSelector„„„„“³named³protocol“³refµ„³ NoiseProtocol„„“³named³ preSharedKeys“³refµ„³NoisePreSharedKeys„„„„³ SessionItem“³orµµ± Initiator“³refµ„³ Initiator„„µ±Packet“³refµ„³Packet„„„„³ NoiseProtocol“³orµµ±present“³dict·³protocol“³named³protocol“³atom³String„„„„„µ±invalid“³dict·³protocol“³named³protocol³any„„„„µ±absent“³dict·„„„„„³ NoiseStepType“³lit³noise„³SecretKeyField“³orµµ±present“³dict·³ secretKey“³named³ secretKey“³atom³ +ByteString„„„„„µ±invalid“³dict·³ secretKey“³named³ secretKey³any„„„„µ±absent“³dict·„„„„„³DefaultProtocol“³lit±!Noise_NK_25519_ChaChaPoly_BLAKE2s„³NoiseStepDetail“³refµ„³ServiceSelector„³ServiceSelector³any³NoiseServiceSpec“³andµ“³named³base“³refµ„³ NoiseSpec„„“³named³ secretKey“³refµ„³SecretKeyField„„„„³NoisePreSharedKeys“³orµµ±present“³dict·³ preSharedKeys“³named³ preSharedKeys“³seqof“³atom³ +ByteString„„„„„„µ±invalid“³dict·³ preSharedKeys“³named³ preSharedKeys³any„„„„µ±absent“³dict·„„„„„³NoisePathStepDetail“³refµ„³ NoiseSpec„³NoiseDescriptionDetail“³refµ„³NoiseServiceSpec„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³timer„“³schema·³version°³ definitions·³SetTimer“³rec“³lit³ set-timer„“³tupleµ“³named³label³any„“³named³seconds“³atom³Double„„“³named³kind“³refµ„³ TimerKind„„„„„³ LaterThan“³rec“³lit³ +later-than„“³tupleµ“³named³seconds“³atom³Double„„„„„³ TimerKind“³orµµ±relative“³lit³relative„„µ±absolute“³lit³absolute„„µ±clear“³lit³clear„„„„³ TimerExpired“³rec“³lit³ timer-expired„“³tupleµ“³named³label³any„“³named³seconds“³atom³Double„„„„„„³ embeddedType€„„µ³trace„“³schema·³version°³ definitions·³Oid³any³Name“³orµµ± anonymous“³rec“³lit³ anonymous„“³tupleµ„„„„µ±named“³rec“³lit³named„“³tupleµ“³named³name³any„„„„„„„³Target“³rec“³lit³entity„“³tupleµ“³named³actor“³refµ„³ActorId„„“³named³facet“³refµ„³FacetId„„“³named³oid“³refµ„³Oid„„„„„³TaskId³any³TurnId³any³ActorId³any³FacetId³any³ TurnCause“³orµµ±turn“³rec“³lit³ caused-by„“³tupleµ“³named³id“³refµ„³TurnId„„„„„„µ±cleanup“³rec“³lit³cleanup„“³tupleµ„„„„µ±linkedTaskRelease“³rec“³lit³linked-task-release„“³tupleµ“³named³id“³refµ„³TaskId„„“³named³reason“³refµ„³LinkedTaskReleaseReason„„„„„„µ±periodicActivation“³rec“³lit³periodic-activation„“³tupleµ“³named³period“³atom³Double„„„„„„µ±delay“³rec“³lit³delay„“³tupleµ“³named³ causingTurn“³refµ„³TurnId„„“³named³amount“³atom³Double„„„„„„µ±external“³rec“³lit³external„“³tupleµ“³named³ description³any„„„„„„„³ TurnEvent“³orµµ±assert“³rec“³lit³assert„“³tupleµ“³named³ assertion“³refµ„³AssertionDescription„„“³named³handle“³refµ³protocol„³Handle„„„„„„µ±retract“³rec“³lit³retract„“³tupleµ“³named³handle“³refµ³protocol„³Handle„„„„„„µ±message“³rec“³lit³message„“³tupleµ“³named³body“³refµ„³AssertionDescription„„„„„„µ±sync“³rec“³lit³sync„“³tupleµ“³named³peer“³refµ„³Target„„„„„„µ± breakLink“³rec“³lit³ +break-link„“³tupleµ“³named³source“³refµ„³ActorId„„“³named³handle“³refµ³protocol„³Handle„„„„„„„„³ +ExitStatus“³orµµ±ok“³lit³ok„„µ±Error“³refµ³protocol„³Error„„„„³ +TraceEntry“³rec“³lit³trace„“³tupleµ“³named³ timestamp“³atom³Double„„“³named³actor“³refµ„³ActorId„„“³named³item“³refµ„³ActorActivation„„„„„³ActorActivation“³orµµ±start“³rec“³lit³start„“³tupleµ“³named³ actorName“³refµ„³Name„„„„„„µ±turn“³refµ„³TurnDescription„„µ±stop“³rec“³lit³stop„“³tupleµ“³named³status“³refµ„³ +ExitStatus„„„„„„„„³FacetStopReason“³orµµ±explicitAction“³lit³explicit-action„„µ±inert“³lit³inert„„µ±parentStopping“³lit³parent-stopping„„µ± actorStopping“³lit³actor-stopping„„„„³TurnDescription“³rec“³lit³turn„“³tupleµ“³named³id“³refµ„³TurnId„„“³named³cause“³refµ„³ TurnCause„„“³named³actions“³seqof“³refµ„³ActionDescription„„„„„„³ActionDescription“³orµµ±dequeue“³rec“³lit³dequeue„“³tupleµ“³named³event“³refµ„³TargetedTurnEvent„„„„„„µ±enqueue“³rec“³lit³enqueue„“³tupleµ“³named³event“³refµ„³TargetedTurnEvent„„„„„„µ±dequeueInternal“³rec“³lit³dequeue-internal„“³tupleµ“³named³event“³refµ„³TargetedTurnEvent„„„„„„µ±enqueueInternal“³rec“³lit³enqueue-internal„“³tupleµ“³named³event“³refµ„³TargetedTurnEvent„„„„„„µ±spawn“³rec“³lit³spawn„“³tupleµ“³named³link“³atom³Boolean„„“³named³id“³refµ„³ActorId„„„„„„µ±link“³rec“³lit³link„“³tupleµ“³named³ parentActor“³refµ„³ActorId„„“³named³ childToParent“³refµ³protocol„³Handle„„“³named³ +childActor“³refµ„³ActorId„„“³named³ parentToChild“³refµ³protocol„³Handle„„„„„„µ± +facetStart“³rec“³lit³ facet-start„“³tupleµ“³named³path“³seqof“³refµ„³FacetId„„„„„„„µ± facetStop“³rec“³lit³ +facet-stop„“³tupleµ“³named³path“³seqof“³refµ„³FacetId„„„“³named³reason“³refµ„³FacetStopReason„„„„„„µ±linkedTaskStart“³rec“³lit³linked-task-start„“³tupleµ“³named³taskName“³refµ„³Name„„“³named³id“³refµ„³TaskId„„„„„„„„³TargetedTurnEvent“³rec“³lit³event„“³tupleµ“³named³target“³refµ„³Target„„“³named³detail“³refµ„³ TurnEvent„„„„„³AssertionDescription“³orµµ±value“³rec“³lit³value„“³tupleµ“³named³value³any„„„„„µ±opaque“³rec“³lit³opaque„“³tupleµ“³named³ description³any„„„„„„„³LinkedTaskReleaseReason“³orµµ± cancelled“³lit³ cancelled„„µ±normal“³lit³normal„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³stdenv„“³schema·³version°³ definitions·³ StandardRoute“³orµµ±standard“³ tuplePrefixµ“³named³ +transports“³seqof“³refµ„³StandardTransport„„„“³named³key“³atom³ +ByteString„„“³named³service³any„“³named³sig“³atom³ +ByteString„„“³named³oid³any„„“³named³caveats“³seqof“³refµ³sturdy„³Caveat„„„„„µ±general“³refµ³ +gatekeeper„³Route„„„„³StandardTransport“³orµµ±wsUrl“³atom³String„„µ±other³any„„„„³ embeddedType€„„µ³stream„“³schema·³version°³ definitions·³Mode“³orµµ±bytes“³lit³bytes„„µ±lines“³refµ„³LineMode„„µ±packet“³rec“³lit³packet„“³tupleµ“³named³size“³atom³ SignedInteger„„„„„„µ±object“³rec“³lit³object„“³tupleµ“³named³ description³any„„„„„„„³Sink“³orµµ±source“³rec“³lit³source„“³tupleµ“³named³ +controller“³embedded“³refµ„³Source„„„„„„„µ± StreamError“³refµ„³ StreamError„„µ±data“³rec“³lit³data„“³tupleµ“³named³payload³any„“³named³mode“³refµ„³Mode„„„„„„µ±eof“³rec“³lit³eof„“³tupleµ„„„„„„³Source“³orµµ±sink“³rec“³lit³sink„“³tupleµ“³named³ +controller“³embedded“³refµ„³Sink„„„„„„„µ± StreamError“³refµ„³ StreamError„„µ±credit“³rec“³lit³credit„“³tupleµ“³named³amount“³refµ„³ CreditAmount„„“³named³mode“³refµ„³Mode„„„„„„„„³LineMode“³orµµ±lf“³lit³lf„„µ±crlf“³lit³crlf„„„„³ StreamError“³rec“³lit³error„“³tupleµ“³named³message“³atom³String„„„„„³ CreditAmount“³orµµ±count“³atom³ SignedInteger„„µ± unbounded“³lit³ unbounded„„„„³StreamConnection“³rec“³lit³stream-connection„“³tupleµ“³named³source“³embedded“³refµ„³Source„„„“³named³sink“³embedded“³refµ„³Sink„„„“³named³spec³any„„„„³StreamListenerError“³rec“³lit³stream-listener-error„“³tupleµ“³named³spec³any„“³named³message“³atom³String„„„„„³StreamListenerReady“³rec“³lit³stream-listener-ready„“³tupleµ“³named³spec³any„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³sturdy„“³schema·³version°³ definitions·³Lit“³rec“³lit³lit„“³tupleµ“³named³value³any„„„„³Oid“³atom³ SignedInteger„³Alts“³rec“³lit³or„“³tupleµ“³named³ alternatives“³seqof“³refµ„³Rewrite„„„„„„³PAnd“³rec“³lit³and„“³tupleµ“³named³patterns“³seqof“³refµ„³Pattern„„„„„„³PNot“³rec“³lit³not„“³tupleµ“³named³pattern“³refµ„³Pattern„„„„„³TRef“³rec“³lit³ref„“³tupleµ“³named³binding“³atom³ SignedInteger„„„„„³PAtom“³orµµ±Boolean“³lit³Boolean„„µ±Double“³lit³Double„„µ± SignedInteger“³lit³ SignedInteger„„µ±String“³lit³String„„µ± +ByteString“³lit³ +ByteString„„µ±Symbol“³lit³Symbol„„„„³PBind“³rec“³lit³bind„“³tupleµ“³named³pattern“³refµ„³Pattern„„„„„³Caveat“³orµµ±Rewrite“³refµ„³Rewrite„„µ±Alts“³refµ„³Alts„„µ±Reject“³refµ„³Reject„„µ±unknown³any„„„³Reject“³rec“³lit³reject„“³tupleµ“³named³pattern“³refµ„³Pattern„„„„„³Pattern“³orµµ±PDiscard“³refµ„³PDiscard„„µ±PAtom“³refµ„³PAtom„„µ± PEmbedded“³refµ„³ PEmbedded„„µ±PBind“³refµ„³PBind„„µ±PAnd“³refµ„³PAnd„„µ±PNot“³refµ„³PNot„„µ±Lit“³refµ„³Lit„„µ± PCompound“³refµ„³ PCompound„„„„³Rewrite“³rec“³lit³rewrite„“³tupleµ“³named³pattern“³refµ„³Pattern„„“³named³template“³refµ„³Template„„„„„³WireRef“³orµµ±mine“³tupleµ“³lit°„“³named³oid“³refµ„³Oid„„„„„µ±yours“³ tuplePrefixµ“³lit°„“³named³oid“³refµ„³Oid„„„“³named³ attenuation“³seqof“³refµ„³Caveat„„„„„„„³PDiscard“³rec“³lit³_„“³tupleµ„„„³Template“³orµµ± +TAttenuate“³refµ„³ +TAttenuate„„µ±TRef“³refµ„³TRef„„µ±Lit“³refµ„³Lit„„µ± TCompound“³refµ„³ TCompound„„„„³ PCompound“³orµµ±rec“³rec“³lit³rec„“³tupleµ“³named³label³any„“³named³fields“³seqof“³refµ„³Pattern„„„„„„„µ±arr“³rec“³lit³arr„“³tupleµ“³named³items“³seqof“³refµ„³Pattern„„„„„„„µ±dict“³rec“³lit³dict„“³tupleµ“³named³entries“³dictof³any“³refµ„³Pattern„„„„„„„„„³ PEmbedded“³lit³Embedded„³ SturdyRef“³rec“³lit³ref„“³tupleµ“³named³ +parameters“³refµ„³ +Parameters„„„„„³ TCompound“³orµµ±rec“³rec“³lit³rec„“³tupleµ“³named³label³any„“³named³fields“³seqof“³refµ„³Template„„„„„„„µ±arr“³rec“³lit³arr„“³tupleµ“³named³items“³seqof“³refµ„³Template„„„„„„„µ±dict“³rec“³lit³dict„“³tupleµ“³named³entries“³dictof³any“³refµ„³Template„„„„„„„„„³ +Parameters“³andµ“³dict·³oid“³named³oid³any„³sig“³named³sig“³atom³ +ByteString„„„„“³named³caveats“³refµ„³ CaveatsField„„„„³ +TAttenuate“³rec“³lit³ attenuate„“³tupleµ“³named³template“³refµ„³Template„„“³named³ attenuation“³seqof“³refµ„³Caveat„„„„„„³ CaveatsField“³orµµ±present“³dict·³caveats“³named³caveats“³seqof“³refµ„³Caveat„„„„„„µ±invalid“³dict·³caveats“³named³caveats³any„„„„µ±absent“³dict·„„„„„³SturdyStepType“³lit³ref„³SturdyStepDetail“³refµ„³ +Parameters„³SturdyPathStepDetail“³refµ„³ +Parameters„³SturdyDescriptionDetail“³dict·³key“³named³key“³atom³ +ByteString„„³oid“³named³oid³any„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³worker„“³schema·³version°³ definitions·³Instance“³rec“³lit³Instance„“³tupleµ“³named³name“³atom³String„„“³named³argument³any„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³service„“³schema·³version°³ definitions·³State“³orµµ±started“³lit³started„„µ±ready“³lit³ready„„µ±failed“³lit³failed„„µ±complete“³lit³complete„„µ± userDefined³any„„„³ +RunService“³rec“³lit³ run-service„“³tupleµ“³named³ serviceName³any„„„„³ ServiceState“³rec“³lit³ service-state„“³tupleµ“³named³ serviceName³any„“³named³state“³refµ„³State„„„„„³ ServiceObject“³rec“³lit³service-object„“³tupleµ“³named³ serviceName³any„“³named³object³any„„„„³RequireService“³rec“³lit³require-service„“³tupleµ“³named³ serviceName³any„„„„³RestartService“³rec“³lit³restart-service„“³tupleµ“³named³ serviceName³any„„„„³ServiceDependency“³rec“³lit³ +depends-on„“³tupleµ“³named³depender³any„“³named³dependee“³refµ„³ ServiceState„„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³protocol„“³schema·³version°³ definitions·³Nop“³lit€„³Oid“³atom³ SignedInteger„³Sync“³rec“³lit³S„“³tupleµ“³named³peer“³embedded“³lit„„„„„„³Turn“³seqof“³refµ„³ TurnEvent„„³Error“³rec“³lit³error„“³tupleµ“³named³message“³atom³String„„“³named³detail³any„„„„³Event“³orµµ±Assert“³refµ„³Assert„„µ±Retract“³refµ„³Retract„„µ±Message“³refµ„³Message„„µ±Sync“³refµ„³Sync„„„„³Assert“³rec“³lit³A„“³tupleµ“³named³ assertion“³refµ„³ Assertion„„“³named³handle“³refµ„³Handle„„„„„³Handle“³atom³ SignedInteger„³Packet“³orµµ±Turn“³refµ„³Turn„„µ±Error“³refµ„³Error„„µ± Extension“³refµ„³ Extension„„µ±Nop“³refµ„³Nop„„„„³Message“³rec“³lit³M„“³tupleµ“³named³body“³refµ„³ Assertion„„„„„³Retract“³rec“³lit³R„“³tupleµ“³named³handle“³refµ„³Handle„„„„„³ Assertion³any³ Extension“³rec“³named³label³any„“³named³fields“³seqof³any„„„³ TurnEvent“³tupleµ“³named³oid“³refµ„³Oid„„“³named³event“³refµ„³Event„„„„„³ embeddedType€„„µ³ dataspace„“³schema·³version°³ definitions·³Observe“³rec“³lit³Observe„“³tupleµ“³named³pattern“³refµ³dataspacePatterns„³Pattern„„“³named³observer“³embedded³any„„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³ +gatekeeper„“³schema·³version°³ definitions·³Bind“³rec“³lit³bind„“³tupleµ“³named³ description“³refµ„³ Description„„“³named³target“³embedded³any„„“³named³observer“³refµ„³ BindObserver„„„„„³Step“³rec“³named³stepType“³atom³Symbol„„“³tupleµ“³named³detail³any„„„„³Bound“³orµµ±bound“³rec“³lit³bound„“³tupleµ“³named³pathStep“³refµ„³PathStep„„„„„„µ±Rejected“³refµ„³Rejected„„„„³Route“³rec“³lit³route„“³ tuplePrefixµ“³named³ +transports“³seqof³any„„„“³named³ pathSteps“³seqof“³refµ„³PathStep„„„„„³Resolve“³rec“³lit³resolve„“³tupleµ“³named³step“³refµ„³Step„„“³named³observer“³embedded“³refµ„³Resolved„„„„„„³PathStep“³rec“³named³stepType“³atom³Symbol„„“³tupleµ“³named³detail³any„„„„³Rejected“³rec“³lit³rejected„“³tupleµ“³named³detail³any„„„„³Resolved“³orµµ±accepted“³rec“³lit³accepted„“³tupleµ“³named³responderSession“³embedded³any„„„„„„µ±Rejected“³refµ„³Rejected„„„„³ Description“³rec“³named³stepType“³atom³Symbol„„“³tupleµ“³named³detail³any„„„„³ ResolvePath“³rec“³lit³ resolve-path„“³tupleµ“³named³route“³refµ„³Route„„„„„³ BindObserver“³orµµ±present“³embedded“³refµ„³Bound„„„µ±absent“³lit€„„„„³ ResolvedPath“³rec“³lit³ resolved-path„“³tupleµ“³named³addr³any„“³named³control“³embedded“³refµ„³TransportControl„„„“³named³responderSession“³embedded³any„„„„„³ForceDisconnect“³rec“³lit³force-disconnect„“³tupleµ„„„³ResolvePathStep“³rec“³lit³resolve-path-step„“³tupleµ“³named³origin“³embedded“³refµ„³Resolve„„„“³named³pathStep“³refµ„³PathStep„„„„„³ConnectTransport“³rec“³lit³connect-transport„“³tupleµ“³named³addr³any„„„„³ResolvedPathStep“³embedded³any„³TransportControl“³refµ„³ForceDisconnect„³ConnectedTransport“³rec“³lit³connected-transport„“³tupleµ“³named³addr³any„“³named³control“³embedded“³refµ„³TransportControl„„„“³named³responderSession“³embedded³any„„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„µ³transportAddress„“³schema·³version°³ definitions·³Tcp“³rec“³lit³tcp„“³tupleµ“³named³host“³atom³String„„“³named³port“³atom³ SignedInteger„„„„„³Unix“³rec“³lit³unix„“³tupleµ“³named³path“³atom³String„„„„„³Stdio“³rec“³lit³stdio„“³tupleµ„„„³ WebSocket“³rec“³lit³ws„“³tupleµ“³named³url“³atom³String„„„„„„³ embeddedType€„„µ³dataspacePatterns„“³schema·³version°³ definitions·³AnyAtom“³orµµ±bool“³atom³Boolean„„µ±double“³atom³Double„„µ±int“³atom³ SignedInteger„„µ±string“³atom³String„„µ±bytes“³atom³ +ByteString„„µ±symbol“³atom³Symbol„„µ±embedded“³embedded³any„„„„³Pattern“³orµµ±discard“³rec“³lit³_„“³tupleµ„„„„µ±bind“³rec“³lit³bind„“³tupleµ“³named³pattern“³refµ„³Pattern„„„„„„µ±lit“³rec“³lit³lit„“³tupleµ“³named³value“³refµ„³AnyAtom„„„„„„µ±group“³rec“³lit³group„“³tupleµ“³named³type“³refµ„³ GroupType„„“³named³entries“³dictof³any“³refµ„³Pattern„„„„„„„„„³ GroupType“³orµµ±rec“³rec“³lit³rec„“³tupleµ“³named³label³any„„„„„µ±arr“³rec“³lit³arr„“³tupleµ„„„„µ±dict“³rec“³lit³dict„“³tupleµ„„„„„„„³ embeddedType“³refµ³ EntityRef„³Cap„„„„„ \ No newline at end of file