arvo: removes +is and all references to it

pkg/arvo/app/chat-hook.hoon

@@ -5,7 +5,7 @@
 /-  inv=invite-store, *metadata-store, *group-store, hook=chat-hook, view=chat-view, *group
 /+  default-agent, verb, dbug, store=chat-store, group-store, grpl=group,
     resource
-~%  %chat-hook-top  ..is  ~
+~%  %chat-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 ::

pkg/arvo/app/chat-store.hoon

@@ -3,7 +3,7 @@
 :: data store that holds linear sequences of chat messages
 ::
 /+  store=chat-store, default-agent, verb, dbug, group-store
-~%  %chat-store-top  ..is  ~
+~%  %chat-store-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/chat-view.hoon

@@ -19,7 +19,7 @@
     resource,
     mdl=metadata
 ::
-~%  %chat-view-top  ..is  ~
+~%  %chat-view-top  ..part  ~
 |%
 +$  versioned-state
   $%  state-0

pkg/arvo/app/contact-hook.hoon

@@ -8,7 +8,7 @@
     *metadata-store,
     *group
 /+  *contact-json, default-agent, dbug, group-store, verb, resource, grpl=group
-~%  %contact-hook-top  ..is  ~
+~%  %contact-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 ::

pkg/arvo/app/graph-pull-hook.hoon

@@ -1,6 +1,6 @@
 /-  *resource
 /+  store=graph-store, graph, default-agent, verb, dbug, pull-hook
-~%  %graph-pull-hook-top  ..is  ~
+~%  %graph-pull-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 ++  config

pkg/arvo/app/graph-push-hook.hoon

@@ -6,7 +6,7 @@
 /+  default-agent
 /+  dbug
 /+  push-hook
-~%  %graph-push-hook-top  ..is  ~
+~%  %graph-push-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 ++  config

pkg/arvo/app/graph-store.hoon

@@ -2,7 +2,7 @@
 ::
 ::
 /+  store=graph-store, sigs=signatures, res=resource, default-agent, dbug
-~%  %graph-store-top  ..is  ~
+~%  %graph-store-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/group-pull-hook.hoon

@@ -4,7 +4,7 @@
 ::
 /-  *group, *invite-store, *resource
 /+  default-agent, verb, dbug, store=group-store, grpl=group, pull-hook
-~%  %group-hook-top  ..is  ~
+~%  %group-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 ::

pkg/arvo/app/group-push-hook.hoon

@@ -5,7 +5,7 @@
 /-  *group, *invite-store
 /+  default-agent, verb, dbug, store=group-store, grpl=group, push-hook,
     resource
-~%  %group-hook-top  ..is  ~
+~%  %group-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 

pkg/arvo/app/hark-chat-hook.hoon

@@ -3,7 +3,7 @@
 /-  store=hark-store, post, group-store, metadata-store, hook=hark-chat-hook
 /+  resource, metadata, default-agent, dbug, chat-store, grpl=group
 ::
-~%  %hark-chat-hook-top  ..is  ~
+~%  %hark-chat-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/hark-graph-hook.hoon

@@ -3,7 +3,7 @@
 /-  store=hark-store, post, group-store, metadata-store, hook=hark-graph-hook
 /+  resource, metadata, default-agent, dbug, graph-store
 ::
-~%  %hark-graph-hook-top  ..is  ~
+~%  %hark-graph-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/hark-group-hook.hoon

@@ -3,7 +3,7 @@
 /-  store=hark-store, post, group-store, metadata-store, hook=hark-group-hook
 /+  resource, metadata, default-agent, dbug, graph-store
 ::
-~%  %hark-group-hook-top  ..is  ~
+~%  %hark-group-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/hark-store.hoon

@@ -3,7 +3,7 @@
 /-  store=hark-store, post, group-store, metadata-store
 /+  resource, metadata, default-agent, dbug, graph-store
 ::
-~%  %hark-store-top  ..is  ~
+~%  %hark-store-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/metadata-hook.hoon

@@ -7,7 +7,7 @@
 ::
 /-  *metadata-store, *metadata-hook
 /+  default-agent, dbug, verb, grpl=group
-~%  %metadata-hook-top  ..is  ~
+~%  %metadata-hook-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/app/s3-store.hoon

@@ -4,7 +4,7 @@
 ::
 /-  *s3
 /+  s3-json, default-agent, verb, dbug
-~%  %s3-top  ..is  ~
+~%  %s3-top  ..part  ~
 |%
 +$  card  card:agent:gall
 +$  versioned-state

pkg/arvo/sys/arvo.hoon

@@ -1470,13 +1470,11 @@
     %iris  %i
     %jael  %j
   ==
-::
-++  is  &
 --  =>
 ::
 ::  cached reflexives
 ::
-=/  pit=vase  !>(..is)
+=/  pit=vase  !>(..part)
 =/  vil=vile  (viol p.pit)
 ::
 ::  arvo state, as a discriminable sample

pkg/arvo/sys/lull.hoon

@@ -1,4 +1,4 @@
-=>  ..is
+=>  ..part
 |%
 ++  lull  %lull-kelvin
 --

pkg/arvo/sys/vane/ames.hoon

@@ -105,7 +105,7 @@
       rot=`?`%.n  ::  routing attempts
   ==
 =>
-~%  %ames  ..is  ~
+~%  %ames  ..part  ~
 |%
 +|  %helpers
 ::  +trace: print if .verb is set and we're tracking .ship

pkg/arvo/sys/vane/behn.hoon

@@ -38,7 +38,7 @@
     --
 ::
 =>
-~%  %behn  ..is  ~
+~%  %behn  ..part  ~
 |%
 ++  per-event
   =|  moves=(list move)
@@ -179,7 +179,7 @@
   ::
   ++  set-unix-wake
     =<  [moves state]
-    ~%  %set-unix-wake  ..is  ~  |-
+    ~%  %set-unix-wake  ..part  ~  |-
     ^+  event-core
     ::
     =*  next-wake  next-wake.state
@@ -213,7 +213,7 @@
   ::  +set-timer: set a timer, maintaining order
   ::
   ++  set-timer
-    ~%  %set-timer  ..is  ~
+    ~%  %set-timer  ..part  ~
     |=  t=timer
     ^+  timers.state
     =/  found  (find-ducts date.t)
@@ -261,7 +261,7 @@
 ::  +call: handle a +task:able:behn request
 ::
 ++  call
-  ~%  %behn-call  ..is  ~
+  ~%  %behn-call  ..part  ~
   |=  $:  hen=duct
           dud=(unit goof)
           type=*

pkg/arvo/sys/vane/clay.hoon

@@ -344,7 +344,7 @@
           $>(%crud vane-task)                           ::  XX strange
   ==  ==                                                ::
 --  =>
-~%  %clay-utilities  ..is  ~
+~%  %clay-utilities  ..part  ~
 ::  %utilities
 ::
 |%

pkg/arvo/sys/vane/dill.hoon

@@ -97,7 +97,7 @@
 =|  all=axle
 |=  [our=ship now=@da eny=@uvJ rof=roof]                ::  current invocation
 =*  ski  (en-sley rof)
-=>  ~%  %dill  ..is  ~
+=>  ~%  %dill  ..part  ~
     |%
     ++  as                                              ::  per cause
       =|  moz=(list move)

pkg/arvo/sys/vane/eyre.hoon

@@ -2103,7 +2103,7 @@
 =*  scry-gate  (en-sley rof)
 ::  allow jets to be registered within this core
 ::
-~%  %http-server  ..is  ~
+~%  %http-server  ..part  ~
 |%
 ++  call
   |=  [=duct dud=(unit goof) type=* wrapped-task=(hobo task:able)]

pkg/arvo/sys/vane/gall.hoon

@@ -248,7 +248,7 @@
     ++  stay  ^stay
     ++  take  ^take
     --
-~%  %gall-top  ..is  ~
+~%  %gall-top  ..part  ~
 |%
 ::  +mo: Arvo-level move handling
 ::

pkg/arvo/sys/vane/iris.hoon

@@ -301,7 +301,7 @@
 =*  scry-gate  (en-sley rof)
 ::  allow jets to be registered within this core
 ::
-~%  %http-client  ..is  ~
+~%  %http-client  ..part  ~
 |%
 ++  call
   |=  [=duct dud=(unit goof) type=* wrapped-task=(hobo task:able)]

pkg/arvo/sys/vane/jael.hoon

@@ -147,7 +147,7 @@
 ::::                    #  heavy                        ::  heavy engines
   ::                                                    ::::
 =>
-~%  %jael  ..is  ~
+~%  %jael  ..part  ~
 |%
 ::                                                      ::  ++of
 ::::                    ## main^heavy                   ::  main engine

pkg/arvo/sys/zuse.hoon

@@ -29,7 +29,7 @@
 ::  it's important to keep %zuse minimal.  models and
 ::  engines not used outside a vane should stay inside
 ::  that vane.
-~%  %zuse  ..is  ~
+~%  %zuse  ..part  ~
 =>
 ::                                                      ::  ::
 ::::                                                    ::  ::  (1) models
@@ -2526,7 +2526,7 @@
   ::::                    ++aes:crypto                  ::  (2b1) aes, all sizes
     ::                                                  ::::
   ++  aes    !.
-    ~%  %aes  ..is  ~
+    ~%  %aes  ..part  ~
     |%
     ::                                                  ::  ++ahem:aes:crypto
     ++  ahem                                            ::  kernel state
@@ -3287,7 +3287,7 @@
           =+  d=(dif.fq 0 (fra.fq 121.665 121.666))
           =+  ii=(exp.fq (div (dec q) 4) 2)
           [b=b q=q fq=fq l=l d=d ii=ii]
-      ~%  %coed  ..is  ~
+      ~%  %coed  ..part  ~
       |%
       ::                                                ::  ++norm:ed:crypto
       ++  norm                                          ::
@@ -3491,7 +3491,7 @@
   ::::                    ++scr:crypto                  ::  (2b3) scrypt
     ::                                                  ::::
   ++  scr
-    ~%  %scr  ..is  ~
+    ~%  %scr  ..part  ~
     |%
     ::                                                  ::  ++sal:scr:crypto
     ++  sal                                             ::  salsa20 hash
@@ -4151,7 +4151,7 @@
   ::::                    ++hmac:crypto                 ::  (2b8) hmac family
     ::                                                  ::::
   ++  hmac
-    ~%  %hmac  ..is  ~
+    ~%  %hmac  ..part  ~
     =,  sha
     =>  |%
         ++  meet  |=([k=@ m=@] [[(met 3 k) k] [(met 3 m) m]])
@@ -4205,7 +4205,7 @@
     ::                                                  ::::
   ++  secp  !.
     ::  TODO: as-octs and hmc are outside of jet parent
-    =>  :+  ..is
+    =>  :+  ..part
           hmc=hmac-sha256l:hmac:crypto
         as-octs=as-octs:mimes:html
     ~%  %secp  +<  ~
@@ -4497,7 +4497,7 @@
     --
   ::
   ++  blake
-    ~%  %blake  ..is  ~
+    ~%  %blake  ..part  ~
     |%
     ::TODO  generalize for both blake2 variants
     ++  blake2b
@@ -4682,7 +4682,7 @@
     --  ::blake
   ::
   ++  argon2
-    ~%  %argon  ..is  ~
+    ~%  %argon  ..part  ~
     |%
     ::
     ::  structures
@@ -5179,7 +5179,7 @@
     --
   ::
   ++  ripemd
-    ~%  %ripemd  ..is  ~
+    ~%  %ripemd  ..part  ~
     |%
     ++  ripemd-160
       ~/  %ripemd160
@@ -5458,7 +5458,7 @@
   |%
   ::  0 ending a line (invalid @t) is not preserved     ::  ++to-wain:format
   ++  to-wain                                           ::  cord to line list
-    ~%  %leer  ..is  ~
+    ~%  %leer  ..part  ~
     |=  txt=cord
     ^-  wain
     =/  len=@  (met 3 txt)
@@ -5994,7 +5994,7 @@
     ==
   ::                                                    ::  ++loss:differ
   ++  loss                                              ::  longest subsequence
-    ~%  %loss  ..is  ~
+    ~%  %loss  ..part  ~
     |*  [hel=(list) hev=(list)]
     |-  ^+  hev
     =+  ^=  sev
@@ -6143,7 +6143,7 @@
   ::::                    ++mimes:html                  ::  (2e1) MIME
     ::                                                  ::::
   ++  mimes  ^?
-    ~%  %mimes  ..is  ~
+    ~%  %mimes  ..part  ~
     |%
     ::                                                  ::  ++as-octs:mimes:html
     ++  as-octs                                         ::  atom to octstream
@@ -7793,7 +7793,7 @@
     |%
     ::                                                  ::  ++lune:unix:userlib
     ++  lune                                            ::  cord by unix line
-      ~%  %lune  ..is  ~
+      ~%  %lune  ..part  ~
       |=  txt=@t
       ?~  txt
         ^-  (list @t)  ~
@@ -7816,7 +7816,7 @@
       $(off +(off))
     ::                                                  ::  ++nule:unix:userlib
     ++  nule                                            ::  lines to unix cord
-      ~%  %nule  ..is  ~
+      ~%  %nule  ..part  ~
       |=  lin=(list @t)
       ^-  @t
       %+  can  3