Skip to content

Instantly share code, notes, and snippets.

@dckc

dckc/core-boot-viz.dot Secret

Last active July 15, 2024 07:49
Show Gist options
  • Save dckc/b910588219de97b72e507050564b33c5 to your computer and use it in GitHub Desktop.
Save dckc/b910588219de97b72e507050564b33c5 to your computer and use it in GitHub Desktop.
Download ZIP
authority viz
Raw
core-boot-viz.dot
digraph G {
rankdir = LR;
"connectVattpWithMailbox" [label="connectVattpWithMailbox"];
"vatPowers_D" [label="D", shape=Mcircle];
"vats_vattp" [label="vattp", shape=trapezium];
"devices_mailbox" [label="mailbox", shape=box];
"makeVatsFromBundles" [label="makeVatsFromBundles"];
"vats_vatAdmin" [label="vatAdmin", shape=trapezium];
"devices_vatAdmin" [label="vatAdmin", shape=box];
"space_vatAdminSvc" [label="vatAdminSvc", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"buildZoe" [label="buildZoe"];
"space_zoe" [label="zoe", shape=diamond];
"space_feeMintAccess" [label="feeMintAccess", shape=diamond];
"space_vatAdminSvc" [label="vatAdminSvc", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_client" [label="client", shape=diamond];
"makeBoard" [label="makeBoard"];
"space_board" [label="board", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_client" [label="client", shape=diamond];
"makeAddressNameHubs" [label="makeAddressNameHubs"];
"space_agoricNames" [label="agoricNames", shape=diamond];
"space_agoricNamesAdmin" [label="agoricNamesAdmin", shape=diamond];
"space_nameAdmins" [label="nameAdmins", shape=diamond];
"space_client" [label="client", shape=diamond];
"makeClientBanks" [label="makeClientBanks"];
"space_bankManager" [label="bankManager", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_client" [label="client", shape=diamond];
"space_bridgeManager" [label="bridgeManager", shape=diamond];
"connectVattpWithMailbox" -> "vatPowers_D" [dir=back]
"connectVattpWithMailbox" -> "vats_vattp" [dir=back]
"connectVattpWithMailbox" -> "devices_mailbox" [dir=back]
"makeVatsFromBundles" -> "vats_vatAdmin" [dir=back]
"makeVatsFromBundles" -> "devices_vatAdmin" [dir=back]
"makeVatsFromBundles" -> "space_vatAdminSvc" []
"makeVatsFromBundles" -> "space_loadVat" []
"buildZoe" -> "space_zoe" []
"buildZoe" -> "space_feeMintAccess" []
"buildZoe" -> "space_vatAdminSvc" [dir=back]
"buildZoe" -> "space_loadVat" [dir=back]
"buildZoe" -> "space_client" [dir=back]
"makeBoard" -> "space_board" []
"makeBoard" -> "space_loadVat" [dir=back]
"makeBoard" -> "space_client" [dir=back]
"makeAddressNameHubs" -> "space_agoricNames" []
"makeAddressNameHubs" -> "space_agoricNamesAdmin" []
"makeAddressNameHubs" -> "space_nameAdmins" []
"makeAddressNameHubs" -> "space_client" [dir=back]
"makeClientBanks" -> "space_bankManager" []
"makeClientBanks" -> "space_loadVat" [dir=back]
"makeClientBanks" -> "space_client" [dir=back]
"makeClientBanks" -> "space_bridgeManager" [dir=back]
}
Display the source blob
Display the rendered blob
Raw
core-boot-viz.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Raw
sim-boot-viz.dot
digraph G {
rankdir = LR;
"connectVattpWithMailbox" [label="connectVattpWithMailbox"];
"vatPowers_D" [label="D", shape=Mcircle];
"vats_vattp" [label="vattp", shape=trapezium];
"devices_mailbox" [label="mailbox", shape=box];
"makeVatsFromBundles" [label="makeVatsFromBundles"];
"vats_vatAdmin" [label="vatAdmin", shape=trapezium];
"devices_vatAdmin" [label="vatAdmin", shape=box];
"space_vatAdminSvc" [label="vatAdminSvc", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"buildZoe" [label="buildZoe"];
"space_zoe" [label="zoe", shape=diamond];
"space_feeMintAccess" [label="feeMintAccess", shape=diamond];
"space_vatAdminSvc" [label="vatAdminSvc", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_client" [label="client", shape=diamond];
"makeBoard" [label="makeBoard"];
"space_board" [label="board", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_client" [label="client", shape=diamond];
"makeAddressNameHubs" [label="makeAddressNameHubs"];
"space_agoricNames" [label="agoricNames", shape=diamond];
"space_agoricNamesAdmin" [label="agoricNamesAdmin", shape=diamond];
"space_nameAdmins" [label="nameAdmins", shape=diamond];
"space_client" [label="client", shape=diamond];
"makeClientBanks" [label="makeClientBanks"];
"space_bankManager" [label="bankManager", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_client" [label="client", shape=diamond];
"space_bridgeManager" [label="bridgeManager", shape=diamond];
"startVaultFactory" [label="startVaultFactory"];
"vats_timer" [label="timer", shape=trapezium];
"devices_timer" [label="timer", shape=box];
"space_agoricNames" [label="agoricNames", shape=diamond];
"space_nameAdmins" [label="nameAdmins", shape=diamond];
"space_board" [label="board", shape=diamond];
"space_loadVat" [label="loadVat", shape=diamond];
"space_zoe" [label="zoe", shape=diamond];
"space_feeMintAccess" [label="feeMintAccess", shape=diamond];
"installSimEgress" [label="installSimEgress"];
"vats_vattp" [label="vattp", shape=trapezium];
"vats_comms" [label="comms", shape=trapezium];
"space_client" [label="client", shape=diamond];
"connectFaucet" [label="connectFaucet"];
"space_bridgeManager" [label="bridgeManager", shape=diamond];
"space_zoe" [label="zoe", shape=diamond];
"space_client" [label="client", shape=diamond];
"connectVattpWithMailbox" -> "vatPowers_D" [dir=back]
"connectVattpWithMailbox" -> "vats_vattp" [dir=back]
"connectVattpWithMailbox" -> "devices_mailbox" [dir=back]
"makeVatsFromBundles" -> "vats_vatAdmin" [dir=back]
"makeVatsFromBundles" -> "devices_vatAdmin" [dir=back]
"makeVatsFromBundles" -> "space_vatAdminSvc" []
"makeVatsFromBundles" -> "space_loadVat" []
"buildZoe" -> "space_zoe" []
"buildZoe" -> "space_feeMintAccess" []
"buildZoe" -> "space_vatAdminSvc" [dir=back]
"buildZoe" -> "space_loadVat" [dir=back]
"buildZoe" -> "space_client" [dir=back]
"makeBoard" -> "space_board" []
"makeBoard" -> "space_loadVat" [dir=back]
"makeBoard" -> "space_client" [dir=back]
"makeAddressNameHubs" -> "space_agoricNames" []
"makeAddressNameHubs" -> "space_agoricNamesAdmin" []
"makeAddressNameHubs" -> "space_nameAdmins" []
"makeAddressNameHubs" -> "space_client" [dir=back]
"makeClientBanks" -> "space_bankManager" []
"makeClientBanks" -> "space_loadVat" [dir=back]
"makeClientBanks" -> "space_client" [dir=back]
"makeClientBanks" -> "space_bridgeManager" [dir=back]
"startVaultFactory" -> "vats_timer" [dir=back]
"startVaultFactory" -> "devices_timer" [dir=back]
"startVaultFactory" -> "space_agoricNames" [dir=back]
"startVaultFactory" -> "space_nameAdmins" [dir=back]
"startVaultFactory" -> "space_board" [dir=back]
"startVaultFactory" -> "space_loadVat" [dir=back]
"startVaultFactory" -> "space_zoe" [dir=back]
"startVaultFactory" -> "space_feeMintAccess" [dir=back]
"installSimEgress" -> "vats_vattp" [dir=back]
"installSimEgress" -> "vats_comms" [dir=back]
"installSimEgress" -> "space_client" []
"connectFaucet" -> "space_bridgeManager" []
"connectFaucet" -> "space_zoe" [dir=back]
"connectFaucet" -> "space_client" [dir=back]
}
Display the source blob
Display the rendered blob
Raw
sim-boot-viz.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@dckc
Copy link
Author

dckc commented Jan 19, 2022

context: Agoric/agoric-sdk#4165

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment