diff --git a/packages/server/src/monitor.js b/packages/server/src/monitor.js index 07a4b60..957ac8b 100644 --- a/packages/server/src/monitor.js +++ b/packages/server/src/monitor.js @@ -4,6 +4,7 @@ const UI = activate require("@syndicate-lang/driver-browser-ui"); // @jsx UI.html // @jsxFrag UI.htmlFragment +const { Bytes } = require("@syndicate-lang/core"); const { WSServer, ToServer, FromServer, ServerConnected } = activate require("./client"); const P = activate require("./internal_protocol"); @@ -12,6 +13,8 @@ const Federation = require("./federation"); assertion type DetectedOverlay(scope); assertion type AddressMap(from, nodeId, to); assertion type OverlayLink(downNode, upNode); +assertion type OverlayNode(id); +assertion type OverlayRoot(); spawn { const ui = new UI.Anchor(); @@ -80,13 +83,18 @@ spawn { assert ui.html('#overlays',
Overlay {scope}
-