urbit/pkg/arvo/sur/graph-store.hoon

/-  *post
|%
::
+$  permissions  
  [admin=permission-level writer=permission-level reader=permission-level]
::
::  $permission-level:  levels of permissions in increasing order
::  
::    %no: May not add/remove node
::    %self: May only nodes beneath nodes that were added by
::      the same pilot, may remove nodes that the pilot 'owns'
::    %yes: May add a node or remove node
+$  permission-level
  ?(%no %self %yes)
+$  graph         ((mop atom node) gth)
+$  marked-graph  [p=graph q=(unit mark)]
::
+$  node          [=post children=internal-graph]
+$  graphs        (map resource marked-graph)
::
+$  tag-queries   (jug term resource)
::
+$  update-log    ((mop time logged-update) gth)
+$  update-logs   (map resource update-log)
::
::
+$  internal-graph
  $~  [%empty ~]
  $%  [%graph p=graph]
      [%empty ~]
  ==
::
+$  network
  $:  =graphs
      =tag-queries
      =update-logs
      archive=graphs
      validators=(set mark)
  ==
::
+$  update
  $%  [%0 p=time q=update-0]
  ==
::
+$  logged-update
  $%  [%0 p=time q=logged-update-0]
  ==
::
+$  logged-update-0
  $%  [%add-graph =resource =graph mark=(unit mark) overwrite=?]
      [%add-nodes =resource nodes=(map index node)]
      [%remove-nodes =resource indices=(set index)]
      [%add-signatures =uid =signatures]
      [%remove-signatures =uid =signatures]
  ==
::
+$  update-0
  $%  logged-update-0
      [%remove-graph =resource]
    ::
      [%add-tag =term =resource]
      [%remove-tag =term =resource]
    ::
      [%archive-graph =resource]
      [%unarchive-graph =resource]
      [%run-updates =resource =update-log]
    ::
    ::  NOTE: cannot be sent as pokes
    ::
      [%keys =resources]
      [%tags tags=(set term)]
      [%tag-queries =tag-queries]
  ==
--
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`/- *post`
			`\|%`
graph-hooks: %add-nodes permissioning 2021-01-26 05:42:44 +03:00			`::`
			`+$ permissions`
			`[admin=permission-level writer=permission-level reader=permission-level]`
			`::`
			`:: $permission-level: levels of permissions in increasing order`
			`::`
			`:: %no: May not add/remove node`
			`:: %self: May only nodes beneath nodes that were added by`
			`:: the same pilot, may remove nodes that the pilot 'owns'`
			`:: %yes: May add a node or remove node`
			`+$ permission-level`
			`?(%no %self %yes)`
graph: improved type naming 2020-07-07 03:02:15 +03:00			`+$ graph ((mop atom node) gth)`
			`+$ marked-graph [p=graph q=(unit mark)]`
			`::`
			`+$ node [=post children=internal-graph]`
			`+$ graphs (map resource marked-graph)`
			`::`
			`+$ tag-queries (jug term resource)`
			`::`
			`+$ update-log ((mop time logged-update) gth)`
			`+$ update-logs (map resource update-log)`
graph-store: wrote basic queries 2020-06-12 21:02:52 +03:00			`::`
graph-hooks: %add-nodes permissioning 2021-01-26 05:42:44 +03:00			`::`
graph-store: cleaned up structures 2020-06-02 22:44:22 +03:00			`+$ internal-graph`
graph-store: add-nodes compiles 2020-06-05 23:11:04 +03:00			`$~ [%empty ~]`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`$% [%graph p=graph]`
graph-store: add-nodes compiles 2020-06-05 23:11:04 +03:00			`[%empty ~]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`==`
graph-store: cleaned up structures 2020-06-02 22:44:22 +03:00			`::`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`+$ network`
			`$: =graphs`
			`=tag-queries`
graph-store: updated action-log to update-log and added timestamp to +update 2020-06-30 04:14:55 +03:00			`=update-logs`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`archive=graphs`
graph-store: respond to phil's comments, request %next for clay, and compare +tear to hash 2020-07-31 00:43:40 +03:00			`validators=(set mark)`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`==`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`::`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`+$ update`
graph-store: updated action-log to update-log and added timestamp to +update 2020-06-30 04:14:55 +03:00			`$% [%0 p=time q=update-0]`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`==`
			`::`
graph-store: enforce that only logged-updates may be sent via %run-updates, and enforce that they only affect the intended resource 2020-06-30 21:08:22 +03:00			`+$ logged-update`
			`$% [%0 p=time q=logged-update-0]`
			`==`
			`::`
			`+$ logged-update-0`
graph-store: log %add-graph When a graph is joined, the subscriber receives an %add-graph update that corresponds to the current state of the graph. This was not logged, so if the graph did not recieve any updates before the subscription was kicked, the whole graph would be have to be sent again. This would be largely asymptomatic, however hark-store assumes that %add-graph will only be emitted when a new graph is joined or created. As such, we log this initial update, so that the push-hook can correctly ascertain the backlog it needs to send and so %add-graph is only emitted once per graph. This also opens the door for time-varying scries into graph-store. Fixes #4290 2021-01-15 04:57:12 +03:00			`$% [%add-graph =resource =graph mark=(unit mark) overwrite=?]`
			`[%add-nodes =resource nodes=(map index node)]`
wip: all JSON decoders but %add-graph work 2020-06-12 20:27:43 +03:00			`[%remove-nodes =resource indices=(set index)]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`[%add-signatures =uid =signatures]`
			`[%remove-signatures =uid =signatures]`
graph-store: enforce that only logged-updates may be sent via %run-updates, and enforce that they only affect the intended resource 2020-06-30 21:08:22 +03:00			`==`
			`::`
			`+$ update-0`
			`$% logged-update-0`
			`[%remove-graph =resource]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`::`
graph-store: added %add-signatures, action-log, stubbed signature verification 2020-06-09 00:44:51 +03:00			`[%add-tag =term =resource]`
			`[%remove-tag =term =resource]`
graph-store: added archiving functionality 2020-06-23 20:53:50 +03:00			`::`
			`[%archive-graph =resource]`
			`[%unarchive-graph =resource]`
graph-store: updated action-log to update-log and added timestamp to +update 2020-06-30 04:14:55 +03:00			`[%run-updates =resource =update-log]`
graph-store+view: added a variety of query types for subset fetching, individual post fetching, child fetching, etc 2020-06-26 21:38:11 +03:00			`::`
			`:: NOTE: cannot be sent as pokes`
			`::`
			`[%keys =resources]`
			`[%tags tags=(set term)]`
			`[%tag-queries =tag-queries]`
graph-store: structure compiles 2020-06-02 00:07:31 +03:00			`==`
			`--`