naive: hook up subscription to azimuth for %tx diffs

pkg/arvo/app/aggregator.hoon

@@ -17,8 +17,6 @@
 ::    on %tx diff from naive, remove the matching tx from the frozen group.
 ::
 ::TODO  remaining general work:
-::  - hook up subscription to azimuth for %tx diffs
-::  - hook up thread updates/results
 ::  - hook up timer callbacks
 ::  - cache state, upate after every azimuth %fact
 ::  - properly support private key changes
@@ -62,6 +60,7 @@
       [%setkey pk=@]
       [%endpoint endpoint=@t]
       [%nonce nonce=@ud]
+      [%subs ~]
       ::TODO  contract address, chain..?
   ==
 ::
@@ -95,7 +94,8 @@
     ^-  (quip card _this)
     ::TODO  set default frequency and endpoint?
     =.  frequency  ~h1
-    [~ this]
+    :_  this
+    [%pass /azimuth %agent [our.bowl %azimuth] %watch /(scot %p our.bowl)]~
   ::
   ++  on-save  !>(state)
   ++  on-load
@@ -196,45 +196,73 @@
     |=  [=wire =sign:agent:gall]
     ^-  (quip card _this)
     ~&  wire+wire
-    ?.  ?=([%send @t *] wire)
+    |^
+    ?:  ?=([%send @t *] wire)
+      (process-thread i.t.wire sign)
+    ?.  =(%azimuth -.wire)
       (on-agent:def wire sign)
-    ?-  -.sign
+    (process-azimuth-update wire sign)
-        %poke-ack
-      ?~  p.sign
-        %-  (slog leaf+"Thread started successfully" ~)
-        [~ this]
-      %-  (slog leaf+"{(trip dap.bowl)} couldn't start thread" u.p.sign)
-      :_  this
-      [(leave:spider:do wire)]~
     ::
-        %watch-ack
+    ++  process-thread
-      ?~  p.sign
+      |=  [nonce=@t =sign:agent:gall]
-        [~ this]
+      ^-  (quip card _this)
-      =/  =tank  leaf+"{(trip dap.bowl)} couldn't start listen to thread"
+      ?-  -.sign
-      %-  (slog tank u.p.sign)
+          %poke-ack
-      [~ this]
+        ?~  p.sign
-    ::
+          %-  (slog leaf+"Thread started successfully" ~)
-        %kick
+          [~ this]
-      [~ this]
+        %-  (slog leaf+"{(trip dap.bowl)} couldn't start thread" u.p.sign)
-    ::
+        :_  this
-        %fact
+        [(leave:spider:do wire)]~
-      ?+  p.cage.sign  (on-agent:def wire sign)
-          %thread-fail
-        =+  !<([=term =tang] q.cage.sign)
-        %-  (slog leaf+"{(trip dap.bowl)} failed" leaf+<term> tang)
-        =^  cards  state
-          (on-thread-result:do (rash i.t.wire dem) %.n^'thread failed')
-        [cards this]
       ::
-          %thread-done
+          %watch-ack
-        ~&  ['all submitted to' t.wire]
+        ?~  p.sign
-        :: is aggregator/send thread expected to maybe return an error?
+          [~ this]
-        =+   !<(result=(each @ud @t) q.cage.sign)
+        =/  =tank  leaf+"{(trip dap.bowl)} couldn't start listen to thread"
-        =^  cards  state
+        %-  (slog tank u.p.sign)
-          (on-thread-result:do (rash i.t.wire dem) result)
+        [~ this]
-        [cards this]
+      ::
+          %kick
+        [~ this]
+      ::
+          %fact
+        ?+  p.cage.sign  (on-agent:def wire sign)
+            %thread-fail
+          =+  !<([=term =tang] q.cage.sign)
+          %-  (slog leaf+"{(trip dap.bowl)} failed" leaf+<term> tang)
+          =^  cards  state
+            (on-thread-result:do (rash nonce dem) %.n^'thread failed')
+          [cards this]
+        ::
+            %thread-done
+          =+   !<(result=(each @ud @t) q.cage.sign)
+          =^  cards  state
+            (on-thread-result:do (rash nonce dem) result)
+          [cards this]
+        ==
       ==
-    ==
+    ::  TODO: not tested
+    ::
+    ++  process-azimuth-update
+      |=  [=^wire =sign:agent:gall]
+      ^-  (quip card _this)
+      ?+  -.sign  [~ this]
+          %watch-ack
+        ?~  p.sign  [~ this]
+        =/  =tank  leaf+"{(trip dap.bowl)} couldn't start listen to %azimuth"
+        %-  (slog tank u.p.sign)
+        [~ this]
+      ::
+          %fact
+        ?+  p.cage.sign  (on-agent:def wire sign)
+            %azimuth-udiffs
+          =+   !<(=diff:naive q.cage.sign)
+          =^  cards  state
+            (on-naive-diff:do diff)
+          [cards this]
+        ==
+      ==
+    --
   --
 ::
 |_  =bowl:gall
@@ -256,8 +284,9 @@
     |=  [=wire thread=term arg=vase]
     ^-  (list card)
     =/  tid=@ta  (rap 3 thread '--' (scot %uv eny.bowl) ~)
+    =/  args     [~ `tid thread arg]
     :~  [%pass wire %agent [our.bowl %spider] %watch /thread-result/[tid]]
-        [%pass wire %agent [our.bowl %spider] %poke %spider-start !>([~ `tid thread arg])]
+        [%pass wire %agent [our.bowl %spider] %poke %spider-start !>(args)]
     ==
   ::
   ++  leave
@@ -339,6 +368,10 @@
     %config    [~ state(frequency frequency.action)]
     %nonce     [~ state(next-nonce nonce.action)]
     %endpoint  [~ state(endpoint endpoint.action)]
+  ::
+      %subs
+    :_  state
+    [%pass /azimuth %agent [our.bowl %azimuth] %watch /(scot %p our.bowl)]~
   ::
       %setkey
     ::TODO  what about existing sending entries?