Merge branch 'philip/goad'

* philip/goad:
  goad: recompile apps after changes to /sys

Signed-off-by: Philip Monk <phil@pcmonk.me>

pkg/arvo/app/clock.hoon

@@ -22,8 +22,20 @@
   :~  [%pass / %arvo %e %connect [~ /'~clock'] %clock]
       [%pass /clock %agent [our.bowl %launch] %poke launcha]
   ==
-++  on-save   on-save:def
-++  on-load   on-load:def
+::  bootstrapping to get %goad started OTA
+::
+++  on-save   !>(%1)
+++  on-load
+  |=  old-state=vase
+  =/  old  !<(?(~ %1) old-state)
+  =^  cards  this
+    ?.  ?=(~ old)
+      `this
+    :_  this  :_  ~
+    [%pass /behn %arvo %b %wait +(now.bowl)]
+  ::
+  [cards this]
+::
 ++  on-poke
   |=  [=mark =vase]
   ^-  (quip card:agent:gall _this)
@@ -63,6 +75,13 @@
 ++  on-arvo
   |=  [=wire =sign-arvo]
   ^-  (quip card:agent:gall _this)
+  ?:  ?=(%wake +<.sign-arvo)
+    ?^  error.sign-arvo
+      :_  this  :_  ~
+      [%pass /dill %arvo %d %flog %crud %clock-fail u.error.sign-arvo]
+    :_  this  :_  ~
+    [%pass /gall %arvo %g %goad | `%hood]
+  ::
   ?.  ?=(%bound +<.sign-arvo)
     (on-arvo:def wire sign-arvo)
   [~ this]

pkg/arvo/app/goad.hoon

@@ -0,0 +1,57 @@
+/+  default-agent, verb
+%+  verb  |
+^-  agent:gall
+=>
+  |%
+  ++  warp
+    |=  =bowl:gall
+    [%pass /clay %arvo %c %warp our.bowl %home ~ %next %z da+now.bowl /sys]
+  ::
+  ++  wait
+    |=  =bowl:gall
+    [%pass /behn %arvo %b %wait +(now.bowl)]
+  ::
+  ++  goad
+    :~  [%pass /gall %arvo %g %goad | ~]
+    ==
+  --
+::
+|_  =bowl:gall
++*  this  .
+    def  ~(. (default-agent this %|) bowl)
+++  on-init
+  ::  subscribe to /sys and do initial goad
+  ::
+  [[(warp bowl) goad] this]
+::
+++  on-save   on-save:def
+++  on-load   on-load:def
+++  on-poke   on-poke:def
+++  on-watch  on-watch:def
+++  on-leave  on-leave:def
+++  on-peek   on-peek:def
+++  on-agent  on-agent:def
+++  on-arvo
+  |=  [=wire =sign-arvo]
+  ?+    wire  (on-arvo:def wire sign-arvo)
+      [%clay ~]
+    ::  on writ, wait
+    ::
+    ?>  ?=(%writ +<.sign-arvo)
+    :_  this
+    :~  (warp bowl)
+        (wait bowl)
+    ==
+  ::
+      [%behn ~]
+    ::  on wake, goad
+    ::
+    ?>  ?=(%wake +<.sign-arvo)
+    ?^  error.sign-arvo
+      :_  this  :_  ~
+      [%pass /dill %arvo %d %flog %crud %goad-fail u.error.sign-arvo]
+    [goad this]
+  ==
+::
+++  on-fail   on-fail:def
+--

pkg/arvo/app/hood.hoon

@@ -43,9 +43,9 @@
 !:
 =>  |%                                                  ::
     ++  hood-old                                        ::  unified old-state
-      {?($0 $1) lac/(map @tas hood-part-old)}           ::
+      {?($1 $2) lac/(map @tas hood-part-old)}           ::
     ++  hood-1                                          ::  unified state
-      {$1 lac/(map @tas hood-part)}                     ::
+      {$2 lac/(map @tas hood-part)}                     ::
     ++  hood-good                                       ::  extract specific
       =+  hed=$:hood-head
       |@  ++  $
@@ -140,12 +140,17 @@
   `..on-init
 ::
 ++  on-save
-  !>([%1 lac])
+  !>([%2 lac])
 ::
 ++  on-load
   |=  =old-state=vase
-  =/  old-state  !<(hood-1 old-state-vase)
-  `..on-init(lac lac.old-state)
+  =/  old-state  !<(hood-old old-state-vase)
+  =^  cards  lac
+    =.  lac  lac.old-state
+    ?.  ?=(%1 -.old-state)
+      `lac
+    ((wrap on-load):from-drum:(help hid) %1)
+  [cards ..on-init]
 ::
 ++  on-poke
   |=  [=mark =vase]

pkg/arvo/lib/hood/drum.hoon

@@ -85,6 +85,7 @@
         %eth-watcher
         %azimuth-tracker
         %ping
+        %goad
     ==
   ?:  lit
     ~
@@ -212,6 +213,11 @@
     %drum-set-boot-apps  =;(f (f !<(_+<.f vase)) poke-set-boot-apps)
   ==
 ::
+++  on-load
+  |=  %1
+  =<  se-abet  =<  se-view
+  (se-born %home %goad)
+::
 ++  reap-phat                                         ::  ack connect
   |=  {way/wire saw/(unit tang)}
   =<  se-abet  =<  se-view

pkg/arvo/sys/vane/gall.hoon

@@ -230,7 +230,6 @@
     =/  =note-arvo  [%f %kill ~]
     (mo-pass wire note-arvo)
   ::
-  ::
   ::  +mo-goad: rebuild agent(s)
   ::
   ++  mo-goad
@@ -1575,9 +1574,6 @@
   ::
   ++  all-state  $%(state-0 state-1 ^state)
   ::
-  ::  Note that if you change sign-arvo, you must ensure that spider
-  ::  gets reloaded.
-  ::
   ++  state-1-to-2
     |=  =state-1
     ^-  ^state