urbit/arvo/clay.hoon

!: 
::  clay (4c), revision control
!:
|=  pit=vase
=>  |%
++  bead  ,[p=(set beam) q=cage]                        ::  ford result
++  cult  (map duct rove)                               ::  subscriptions
++  dojo  ,[p=cult q=(unit dork) r=(unit pork) s=dome]  ::  domestic desk state
++  gift                                                ::  out result <-$
          $%  [%ergo p=@p q=@tas r=@ud]                 ::  version update
              [%note p=@tD q=tank]                      ::  debug message
              [%writ p=riot]                            ::  response
          ==                                            ::
++  kiss                                                ::  in request ->$
          $%  [%font p=@p q=@tas r=@p s=@tas]           ::  set upstream
              [%info p=@p q=@tas r=nori]                ::  internal edit
              [%ingo p=@p q=@tas r=nori]                ::  internal noun edit
              [%init p=@p]                              ::  report install
              [%into p=@p q=@tas r=ankh]                ::  external edit
              [%invo p=@p q=@tas r=nori]                ::  external noun edit
              [%merg p=@p q=@tas r=mizu]                ::  internal change
              [%plug p=@p q=@tas r=@p s=@tas]           ::  unset upstream
              [%wart p=sock q=@tas r=path s=*]          ::  network request
              [%warp p=sock q=riff]                     ::  file request
          ==                                            ::
++  moot  ,[p=case q=case r=path s=(map path lobe)]     ::  stored change range
++  move  ,[p=duct q=(mold note gift)]                  ::  local move
++  nako  $:  gar=(map ,@ud tako)                       ::  new ids
              let=@ud                                   ::  next id
              lar=(set yaki)                            ::  new commits
              bar=(set blob)                            ::  new content
          ==                                            ::
++  note                                                ::  out request $->
          $%  $:  %a                                    ::  to %ames
          $%  [%want p=sock q=path r=*]                 ::
          ==  ==                                        ::
              $:  %c                                    ::  to %clay
          $%  [%font p=@p q=@tas r=@p s=@tas]           ::
              [%info p=@p q=@tas r=nori]                ::  internal edit
              [%merg p=@p q=@tas r=mizu]                ::
              [%warp p=sock q=riff]                     ::
          ==  ==                                        ::
              $:  %d                                    ::
          $%  [%flog p=[%crud p=@tas q=(list tank)]]    ::  to %dill
          ==  ==                                        ::
              $:  %f                                    ::
          $%  [%exec p=@p q=(unit silk)]                ::
          ==  ==                                        ::
              $:  %t                                    ::
          $%  [%wait p=@da]                             ::
              [%rest p=@da]                             ::
          ==  ==  ==                                    ::
++  sign                                                ::  in result $<-
          $?  $:  %a                                    ::  by %ames
          $%  [%waft p=sock q=*]                        ::
              [%went p=ship q=cape]                     ::
          ==  ==                                        ::
              $:  %c                                    ::  by %clay
          $%  [%writ p=riot]                            ::
          ==  ==                                        ::
              $:  %f                                    ::
          $%  [%made p=(each bead (list tank))]         ::
          ==  ==                                        ::
              $:  %t                                    ::
          $%  [%wake ~]                                 ::  timer activate
          ==  ==                                        ::
              $:  @tas                                  ::  by any
          $%  [%crud p=@tas q=(list tank)]              ::
          ==  ==  ==                                    ::
++  silk                                                ::  construction layer
          $&  [p=silk q=silk]                           ::  cons
          $%  [%bake p=mark q=beam r=path]              ::  local synthesis
              [%boil p=mark q=beam r=path]              ::  general synthesis
              [%call p=silk q=silk]                     ::  slam
              [%cast p=mark q=silk]                     ::  translate
              [%diff p=silk q=silk]                     ::  diff
              [%done p=(set beam) q=cage]               ::  literal
              [%dude p=tank q=silk]                     ::  error wrap
              [%dune p=(set beam) q=(unit cage)]        ::  unit literal
              [%mute p=silk q=(list (pair wing silk))]  ::  mutant
              [%pact p=silk q=silk]                     ::  patch
              [%reef ~]                                 ::  kernel reef
              [%ride p=twig q=silk]                     ::  silk thru twig
              [%vale p=mark q=ship r=*]                 ::  validate [our his]
          ==                                            ::
++  raft                                                ::  filesystem
          $:  fat=(map ship room)                       ::  domestic
              hoy=(map ship rung)                       ::  foreign
              ran=rang                                  ::  hashes
              sor=(map ,[p=@p q=@tas r=@p s=@tas] duct) ::  upstreams
          ==                                            ::
++  rave                                                ::  general request
          $%  [& p=mood]                                ::  single request
              [| p=moat]                                ::  change range
          ==                                            ::
++  rede                                                ::  universal project
          $:  lim=@da                                   ::  complete to
              qyx=cult                                  ::  subscribers
              ref=(unit rind)                           ::  outgoing requests
              dok=(unit dork)                           ::  outstanding diffs
              pok=(unit pork)                           ::  outstanding patches
              dom=dome                                  ::  revision state
          ==                                            ::
++  riff  ,[p=desk q=(unit rave)]                       ::  request/desist
++  rind                                                ::  request manager
          $:  nix=@ud                                   ::  request index
              bom=(map ,@ud ,[p=duct q=rave])           ::  outstanding
              fod=(map duct ,@ud)                       ::  current requests
              haw=(map mood (unit cage))                ::  simple cache
          ==                                            ::
++  room                                                ::  fs per ship
          $:  hun=duct                                  ::  terminal duct
              hez=(unit duct)                           ::  sync duct
              dos=(map desk dojo)                       ::  native desk
          ==                                            ::
++  rove  (each mood moot)                              ::  stored request
++  rung  $:  rus=(map desk rede)                       ::  neighbor desks
          ==                                            ::
++  dork                                                ::  diff work
          $:  sot=(list ,[p=path q=misu])               ::
              lon=(list path)                           ::
          ==                                            ::
++  pork                                                ::  patch work
          $:  sot=(map path bulb)                       ::
              lon=(list path)                           ::
          ==                                            ::
--  =>
  ::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  ::              section 4cA, filesystem logic         ::
  ::
  ::
  ::
  |%
  ++  de                                                ::  per desk
    |=  [now=@da hen=duct hun=duct hez=(unit duct)]
    |=  [[who=@p for=@p] syd=@ta rede ran=rang]
    =*  red  +<+>-
    =|  yel=(list ,[p=duct q=gift])
    =|  byn=(list ,[p=duct q=riot])
    =|  vag=(list ,[p=duct q=gift])
    =|  say=(list ,[p=duct q=path r=ship s=[p=@ud q=riff]])
    =|  tag=(list ,[p=duct q=path r=note])
    |%
    ++  abet
      ^-  [(list move) rede]
      :_  red
      ;:  weld
        %+  turn  (flop yel)
        |=([a=duct b=gift] [hun %give b])
      ::
        %+  turn  (flop byn)
        |=([a=duct b=riot] [a %give [%writ b]])
      ::
        %+  turn  (flop vag)
        |=([a=duct b=gift] [a %give b])
      ::
        %+  turn  (flop say)
        |=  [a=duct b=path c=ship d=[p=@ud q=riff]]
        :-  a
        [%pass b %a %want [who c] [%q %re p.q.d (scot %ud p.d) ~] q.d]
      ::
        %+  turn  (flop tag)
        |=([a=duct b=path c=note] [a %pass b c])
      ==
    ::
    ++  aver                                            ::  read
      |=  mun=mood
      ^-  (unit (unit cage))
      ?:  &(=(p.mun %u) !=(p.q.mun now))                ::  prevent bad things
        ~&  [%clay-fail p.q.mun %now now]
        !!
      =+  ezy=?~(ref ~ (~(get by haw.u.ref) mun))
      ?^  ezy  ezy
      =+  nao=(~(case-to-aeon ze lim dom ran) q.mun)
      ::  ~&  [%aver-mun nao [%from syd lim q.mun]]
      ?~(nao ~ [~ (~(read-at-aeon ze lim dom ran) u.nao mun)])
    ::
    ++  balk                                          ::  read and send
      |=  [hen=duct yon=@ud mun=mood]
      ^+  +>
      =+  vid=(~(read-at-aeon ze lim dom ran) yon mun)
      ?~  vid  (blub hen)  (blab hen mun u.vid)
    ::
    ++  bait
      |=  [hen=duct tym=@da]
      %_(+> tag :_(tag [hen /tyme %t %wait tym]))
    ::
    ++  best
      |=  [hen=duct tym=@da]
      %_(+> tag :_(tag [hen /tyme %t %rest tym]))
    ::
    ++  blab                                            ::  ship result
      |=  [hen=duct mun=mood dat=cage]
      ^+  +>
      +>(byn [[hen ~ [p.mun q.mun syd] r.mun dat] byn])
    ::
    ++  bleb                                            ::  ship sequence
      |=  [hen=duct ins=@ud hip=nako]
      ^+  +>
      (blab hen [%w [%ud ins] ~] %nako !>(hip))
    ::
    ++  blub                                            ::  ship stop
      |=  hen=duct
      %_(+> byn [[hen ~] byn])
    ::
    ++  duce                                            ::  produce request
      |=  rov=rove
      ^+  +>
      =.  qyx  (~(put by qyx) hen rov)
      ?~  ref
        (mabe rov (cury bait hen))
      |-  ^+  +>+.$                                     ::  XX  why?
      =+  rav=(reve rov)
      =+  ^=  vaw  ^-  rave
        ?.  ?=([%& %v *] rav)  rav
        [%| [%ud let.dom] `case`q.p.rav r.p.rav]
      =+  inx=nix.u.ref
      %=  +>+.$
        say        [[hen [(scot %ud inx) ~] for [inx syd ~ vaw]] say]
        nix.u.ref  +(nix.u.ref)
        bom.u.ref  (~(put by bom.u.ref) inx [hen vaw])
        fod.u.ref  (~(put by fod.u.ref) hen inx)
      ==
    ::
    ++  ease                                            ::  release request
      ^+  .
      ?~  ref
        =+  rov=(~(got by qyx) hen)
        =.  qyx  (~(del by qyx) hen)
        (mabe rov (cury best hen))
      =.  qyx  (~(del by qyx) hen)
      |-  ^+  +.$
      =+  nux=(~(get by fod.u.ref) hen)
      ?~  nux  +.$
      %=  +.$
        say        [[hen [(scot %ud u.nux) ~] for [u.nux syd ~]] say]
        fod.u.ref  (~(del by fod.u.ref) hen)
        bom.u.ref  (~(del by bom.u.ref) u.nux)
      ==
    ::
    ++  eave                                            ::  subscribe
      |=  rav=rave
      ^+  +>
      ?-    -.rav
          &
        ?:  &(=(p.p.rav %u) !=(p.q.p.rav now))
          ~&  [%clay-fail p.q.p.rav %now now]
          !!
        =+  ver=(aver p.rav)
        ?~  ver
          (duce rav)
        ?~  u.ver
          (blub hen)
        (blab hen p.rav u.u.ver)
      ::
          |
        =+  nab=(~(case-to-aeon ze lim dom ran) p.p.rav)
        ?~  nab
          ?>  =(~ (~(case-to-aeon ze lim dom ran) q.p.rav))
          (duce (rive rav))
        =+  huy=(~(case-to-aeon ze lim dom ran) q.p.rav)
        ?:  &(?=(^ huy) |((lth u.huy u.nab) &(=(0 u.huy) =(0 u.nab))))
          (blub hen)
        =+  top=?~(huy let.dom u.huy)
        =+  sar=(~(lobes-at-path ze lim dom ran) u.nab r.p.rav)
        =+  ear=(~(lobes-at-path ze lim dom ran) top r.p.rav)
        =.  +>.$
          ?:  =(sar ear)  +>.$
          =+  fud=(~(make-nako ze lim dom ran) u.nab top)
          (bleb hen u.nab fud)
        ?^  huy
          (blub hen)
        =+  ^=  ptr  ^-  case
            [%ud +(let.dom)]
        (duce `rove`[%| ptr q.p.rav r.p.rav ear])
      ==
    ::
    ++  echa                                            ::  announce raw
      |=  [wen=@da mer=mizu]
      ^+  +>
      %=    +>
          vag  vag  ::  ?~(hez vag :_(vag [u.hez [%ergo who syd let.dom]]))
          ::yel  [[hen %note '=' %leaf ~] yel]     ::  XX do better
      ==
    ::
    ++  echo                                            ::  announce changes
      |=  [wen=@da lem=nori]
      ^+  +>
      %=    +>
          vag  vag  ::  ?~(hez vag :_(vag [u.hez [%ergo who syd let.dom]]))
          yel
        =+  pre=`path`~[(scot %p for) syd (scot %ud let.dom)]
        ?-  -.lem
          |  :_  yel
             [hen %note '=' %leaf :(weld (trip p.lem) " " (spud pre))]
          &  |-  ^+  yel
             ?~  q.p.lem  yel
             :_  $(q.p.lem t.q.p.lem)
             :-  hen
             :+  %note
               ?-(-.q.i.q.p.lem %del '-', %ins '+', %mut ':', %dif ';')
             [%leaf (spud (weld pre p.i.q.p.lem))]
        ==
      ==
    ::
    ++  edit                                            ::  apply changes
      |=  [wen=@da lem=nori]
      ^+  +>
      ?:  ?=(%| -.lem)
        =+  [hat axe]=(~(edit ze lim dom ran) wen lem)
        =+  `[l=@da d=dome r=rang]`+<.axe
        ?~  hat
          +>.$(dom d, ran r)
        (echo:(checkout-ankh(dom d, ran r) u.hat) wen lem)
      ?.  =(~ dok)
        ~&  %already-applying-changes  !!
      =+  ^=  sop
          |=  [a=path b=miso]
          ^-  ?
          ?|  ?=(%del -.b) 
              ?&  ?=(%ins -.b)
                  ?=(%mime p.p.b)
                  =+  (slag (dec (lent a)) a)
                  ?|  =([%hook ~] -)
                      =([%hoon ~] -)
          ==  ==  ==
      =+  ^-  lon=(list path)
          (murn q.p.lem |=([a=path b=miso] ?:((sop a b) ~ (some a))))
      =+  ^-  sot=(list ,[p=path q=misu])
          %+  murn  q.p.lem
          |=([a=path b=miso] ?.((sop a b) ~ (some [a ((hard misu) b)])))
      =.  dok  `[sot lon]
      ?~  lon
        (apply-edit wen)
      =+  ^-  los=(list ,[duct path note])
          %+  murn  q.p.lem
          |=([a=path b=miso] ?:((sop a b) ~ (some (silkify wen a b))))
      %_(+>.$ tag (welp los tag))
    ::
    ++  silkify
      |=  [wen=@da pax=path mis=miso]
      ^-  [duct path note]
      :-  hen
      ?+    -.mis  !!
          %mut 
        :-  [%diffing (scot %p who) syd (scot %da wen) pax]
        :^  %f  %exec  who  :-  ~
        ^-  silk
        =+  =+  (slag (dec (lent pax)) pax)
            =+  ?~(- %$ i.-)
            [%cast - [%done ~ q.mis]]
        [%diff [%done ~ p.mis] -]
      ::
          %ins
        :-  [%casting (scot %p who) syd (scot %da wen) pax]
        :^  %f  %exec  who  :-  ~
        ^-  silk
        =+  (slag (dec (lent pax)) pax)
        =+  ?~(- %$ i.-)
        [%cast - [%done ~ p.mis]]
      ==
    ::
    ++  patch
      |=  [pax=path bar=lobe]
      ^-  [duct path note]
      :^    hen
          [%patching (scot %p who) syd pax]
        %f
      :^  %exec  who  ~
      |-  ^-  silk
      =+  bob=(~(got by lat.ran) bar)
      ?-  -.bob
        %direct    [%done ~ q.bob]
        %indirect  [%done ~ q.bob]
        %delta     [%pact $(bar q.bob) [%done ~ r.bob]]
      ==
    ::
    ++  apply-edit
      |=  wen=@da
      ^+  +>
      ?~  dok  ~&  %no-changes  !!
      ?^  lon.u.dok  ~&  %not-done-diffing  !!
      =+  [hat axe]=(~(edit ze lim dom ran) wen %& *cart sot.u.dok)
      =+  `[l=@da d=dome r=rang]`+<.axe
      ?~  hat
        (echo(dom d, ran r, dok ~) wen %& *cart sot.u.dok)
      (echo:(checkout-ankh(dom d, ran r, dok ~) u.hat) wen %& *cart sot.u.dok)
    ::
    ++  apply-patches
      ^+  .
      ?~  pok  ~&  %no-patches  !!
      ?^  lon.u.pok  ~&  %not-done-patching  !!
      =+  ank=(~(checkout-ankh ze lim dom ran) sot.u.pok)
      +(ank.dom ank, pok ~)
    ::
    ++  take-cast
      |=  [wen=@da pax=path res=(each bead (list tank))]
      ^+  +>
      ?~  dok
        ~&  %clay-unexpected-made  +>.$
      ?.  (lien lon.u.dok |=(path =(+< pax)))
        ~&  %clay-strange-made  +>.$
      ?:  ?=(%| -.res)
        %_    +>.$
            dok  ~
          ::  XX should be here
          ::    tag
          ::  %-  welp  :_  tag
          ::  ^-  (list ,[duct path note])
          ::  %+  murn  lon.u.dok
          ::  |=  a=path
          ::  ^-  (unit ,[duct path note])
          ::  ?:  =(pax a)  ~
          ::  `[hen [%diffing (scot %p who) syd (scot %da wen) a] %f %exec who ~]
        ::
            yel
          [[hen %note '!' %rose [" " "" ""] leaf/"clay diff failed" p.res] yel]
        ==
      =:  lon.u.dok  (skip lon.u.dok |=(path =(+< pax)))
          sot.u.dok  [[pax %ins q.p.res] sot.u.dok]
      ==
      ?~  lon.u.dok
        (apply-edit wen)
      +>.$
    ::
    ++  take-diff
      |=  [wen=@da pax=path res=(each bead (list tank))]
      ^+  +>
      ?~  dok
        ~&  %clay-unexpected-made  +>.$
      ?.  (lien lon.u.dok |=(path =(+< pax)))
        ~&  %clay-strange-made  +>.$
      ?:  ?=(%| -.res)
        %_    +>.$
            dok  ~
          ::    tag
          ::  %-  welp  :_  tag
          ::  ^-  (list ,[duct path note])
          ::  %+  murn  lon.u.dok
          ::  |=  a=path
          ::  ^-  (unit ,[duct path note])
          ::  ?:  =(pax a)  ~
          ::  `[hen [%diffing (scot %p who) syd (scot %da wen) a] %f %exec who ~]
        ::
            yel
          [[hen %note '!' %rose [" " "" ""] leaf/"clay diff failed" p.res] yel]
        ==
      =:  lon.u.dok  (skip lon.u.dok |=(path =(+< pax)))
          sot.u.dok  ?:  =(%null p.q.p.res)
                       sot.u.dok
                     [[pax %dif q.p.res] sot.u.dok]
      ==
      ?~  lon.u.dok
        (apply-edit wen)
      +>.$
    ::
    ++  take-patch
      |=  [pax=path res=(each bead (list tank))]
      ^+  +>
      ?~  pok
        ~&  %clay-patch-unexpected-made  +>
      ?.  (lien lon.u.pok |=(path =(+< pax)))
        ~&  %clay-patch-strange-made  +>
      ?:  ?=(%| -.res)
        %_    +>.$
            pok  ~
          ::    tag
          ::  %-  welp  :_  tag
          ::  ^-  (list ,[duct path note])
          ::  %+  murn  lon.u.pok
          ::  |=  a=path
          ::  ^-  (unit ,[duct path note])
          ::  ?:  =(pax a)  ~
          ::  `[hen [%patching (scot %p who) syd a] %f %exec who ~]
        ::
            yel
          [[hen %note '!' %rose [" " "" ""] leaf/"clay patch failed" p.res] yel]
        ==
      =:  lon.u.pok  (skip lon.u.pok |=(path =(+< pax)))
          sot.u.pok  (~(put by sot.u.pok) pax %direct (mug q.p.res) q.p.res)
      ==
      ?~  lon.u.pok
        apply-patches
      +>.$
    ::
    ++  checkout-ankh
      |=  hat=(map path lobe)
      ^+  +>
      ::?.  =(~ pok)
      ::  ~&  %already-applying-patches  +>.$
      =+  ^-  lon=(list path)
          %+  murn  (~(tap by hat))
          |=  [a=path b=lobe]
          =+  bob=(~(got by lat.ran) b)
          ?.(?=(%delta -.bob) ~ (some a))
      =+  ^-  sot=(map path bulb)
          %-  mo
          ^-  (list ,[path bulb])
          %+  murn  (~(tap by hat))
          |=  [a=path b=lobe]
          ^-  (unit ,[path bulb])
          =+  bob=(~(got by lat.ran) b)
          ?:(?=(%delta -.bob) ~ `[a `bulb`bob])
      =.  pok  `[sot lon]
      ?~  lon
        apply-patches
      =+  ^-  los=(list ,[duct path note])
          %+  murn  (~(tap by hat))
          |=  [pax=path bar=lobe] 
          ^-  (unit ,[duct path note])
          =+  bob=(~(got by lat.ran) bar)
          ?.  ?=(%delta -.bob)
            ~
          `(patch pax bar)
      %_(+>.$ tag (welp los tag))
    ::
    ++  edis                                            ::  apply subscription
      |=  nak=nako
      ^+  +>
      %=  +>
        hit.dom  (~(uni by hit.dom) gar.nak)
        let.dom  let.nak
        lat.ran  %+  roll  (~(tap in bar.nak) ~)
                 =<  .(yeb lat.ran)
                 |=  [sar=blob yeb=(map lobe blob)]
                 =+  zax=(blob-to-lobe sar)
                 %+  ~(put by yeb)  zax  sar
        hut.ran  %+  roll  (~(tap in lar.nak) ~)
                 =<  .(yeb hut.ran)
                 |=  [sar=yaki yeb=(map tako yaki)]
                 %+  ~(put by yeb)  r.sar  sar
      ==
    ::
    ++  exec                                            ::  change and update
      |=  [wen=@da lem=nori]
      ^+  +>
      wake:(edit wen lem)
    ::
    ++  exem                                            ::  execute merge
      |=  [wen=@da mer=mizu]                   ::  aka direct change
      ?.  (gte p.mer let.dom)  !!                       ::  no
      =.  +>.$  %=  +>.$
                  hut.ran  (~(uni by hut.r.mer) hut.ran)
                  lat.ran  (~(uni by lat.r.mer) lat.ran)
                  let.dom  p.mer
                  hit.dom  (~(uni by q.mer) hit.dom)
                ==
      =+  ^=  hed                                       ::  head commit
          =<  q
          %-  ~(got by hut.ran)
          %-  ~(got by hit.dom)
          let.dom
      (echa:wake:(checkout-ankh hed))
    ::
    ++  knit                                            ::  external change
      |=  [inx=@ud rot=riot]
      ^+  +>
      ?>  ?=(^ ref)
      |-  ^+  +>+.$
      =+  ruv=(~(get by bom.u.ref) inx)
      ?~  ruv  +>+.$
      =>  ?.  |(?=(~ rot) ?=(& -.q.u.ruv))  .
          %_  .
            bom.u.ref  (~(del by bom.u.ref) inx)
            fod.u.ref  (~(del by fod.u.ref) p.u.ruv)
          ==
      ?~  rot
        =+  rav=`rave`q.u.ruv
        %=    +>+.$
            lim
          ?.(&(?=(| -.rav) ?=(%da -.q.p.rav)) lim `@da`p.q.p.rav)
        ::
            haw.u.ref
          ?.  ?=(& -.rav)  haw.u.ref
          (~(put by haw.u.ref) p.rav ~)
        ==
      ?<  ?=(%v p.p.u.rot)
      =.  haw.u.ref
        (~(put by haw.u.ref) [p.p.u.rot q.p.u.rot q.u.rot] ~ r.u.rot)
      ?.  ?=(%w p.p.u.rot)  +>+.$
      |-  ^+  +>+.^$
      =+  nez=[%w [%ud let.dom] ~]
      =+  nex=(~(get by haw.u.ref) nez)
      ?~  nex  +>+.^$
      ?~  u.nex  +>+.^$  ::  should never happen
      =.  +>+.^$
        =+  roo=(edis ((hard nako) q.q.u.u.nex))
        ?>(?=(^ ref.roo) roo)
      %=  $
        haw.u.ref  (~(del by haw.u.ref) nez)
      ==
    ::
    ++  mabe                                            ::  maybe fire function
      |*  [rov=rove fun=$+(@da _+>.^$)]
      ^+  +>.$
      %-  fall  :_  +>.$
      %-  bind  :_  fun
      ^-  (unit ,@da)
      ?-    -.rov
          %&
        ?.  ?=(%da -.q.p.rov)  ~
        `p.q.p.rov
          %|
        =*  mot  p.rov
        %+  hunt
          ?.  ?=(%da -.p.mot)  ~
          ?.((lth now p.p.mot) ~ [~ p.p.mot])
        ?.  ?=(%da -.q.mot)  ~
        ?.((lth now p.q.mot) [~ now] [~ p.q.mot])
      ==
    ::
    ++  reve
      |=  rov=rove
      ^-  rave
      ?:  ?=(%& -.rov)  rov
      [%| p.p.rov q.p.rov r.p.rov]
    ::
    ++  rive
      |=  rav=[%| p=moat]
      ^-  rove
      [%| p.p.rav q.p.rav r.p.rav ~]
    ::
    ++  sync
      |=  [her=@p sud=@tas rot=riot]
      ^+  +>.$
      ?~  rot
        ~&  "autosync from {<sud>} on {<her>} to {<syd>} on {<who>} stopped"
        +>.$
      ?:  ?=(%y p.p.u.rot)
        %=    +>.$
            yel
          [[hen %note ';' %leaf "starting to sync desk {(trip syd)}..."] yel]
            tag
          :_  tag
          :*  hen  /auto/(scot %p who)/[syd]/(scot %p her)/[sud]/v
              %c  %warp  [who her]  sud
              `[%& %v q.p.u.rot /]
          ==
        ==
      ?>  ?=(%v p.p.u.rot)
      =+  der=((hard dome) r.u.rot)
      =+  ^=  lum
          ^-  (unit (unit mizu))
          ~
          ::%^  ~(construct-merge ze now dom ran)
          ::    ?:(=(0 let.dom) %init %meld)
          ::  who
          :::+  syd
          ::  `saba`[her sud [0 let.der] der]
          ::now
      =.  tag
        :_  tag
        :*  hen  /auto/(scot %p who)/[syd]/(scot %p her)/[sud]/y
            %c  %warp  [who her]  sud
            `[%& %y [%ud +(let.der)] /]
        ==
      ?~  lum
        ~&  "autosync from {<sud>} on {<her>} to {<syd>} on {<who>} failed"
        ~&  "please merge manually"
        +>.$
      ?~  u.lum
        ~&  "autosync from {<sud>} on {<her>} to {<syd>} on {<who>} up to date"
        +>.$
      %=    +>.$
          yel
        [[hen %note ';' %leaf "successfully synced desk {(trip syd)}..."] yel]
          tag
        :_  tag
        :*  hen  /auto/(scot %p who)/[syd]/(scot %p her)/[sud]/merg
            %c  %merg  who  syd  u.u.lum
        ==
      ==
    ::
    ++  wake                                            ::  update subscribers
      ^+  .
      =+  xiq=(~(tap by qyx) ~)
      =|  xaq=(list ,[p=duct q=rove])
      |-  ^+  ..wake
      ?~  xiq
        ..wake(qyx (~(gas by *cult) xaq))
      ?-    -.q.i.xiq
          &
        =+  cas=?~(ref ~ (~(get by haw.u.ref) `mood`p.q.i.xiq))
        ?^  cas
          %=    $
              xiq  t.xiq
              ..wake  ?~  u.cas  (blub p.i.xiq)
                      (blab p.i.xiq p.q.i.xiq u.u.cas)
          ==
        =+  nao=(~(case-to-aeon ze lim dom ran) q.p.q.i.xiq)
        ?~  nao  $(xiq t.xiq, xaq [i.xiq xaq])
        $(xiq t.xiq, ..wake (balk p.i.xiq u.nao p.q.i.xiq))
      ::
          |
        =+  mot=`moot`p.q.i.xiq
        =+  nab=(~(case-to-aeon ze lim dom ran) p.mot)
        ?~  nab
          $(xiq t.xiq, xaq [i.xiq xaq])
        =+  huy=(~(case-to-aeon ze lim dom ran) q.mot)
        ?~  huy
          =+  ptr=[%ud +(let.dom)]
          %=  $
            xiq     t.xiq
            xaq     [[p.i.xiq [%| ptr q.mot r.mot s.mot]] xaq]
            ..wake  =+  ^=  ear
                        (~(lobes-at-path ze lim dom ran) let.dom r.p.q.i.xiq)
                    ?:  =(s.p.q.i.xiq ear)  ..wake
                    =+  fud=(~(make-nako ze lim dom ran) u.nab let.dom)
                    (bleb p.i.xiq let.dom fud)
          ==
        %=  $
          xiq     t.xiq
          ..wake  =-  (blub:- p.i.xiq)
                  =+  ^=  ear
                      (~(lobes-at-path ze lim dom ran) u.huy r.p.q.i.xiq)
                  ?:  =(s.p.q.i.xiq ear)  (blub p.i.xiq)
                  =+  fud=(~(make-nako ze lim dom ran) u.nab u.huy)
                  (bleb p.i.xiq +(u.nab) fud)
        ==
      ==
    --
  ::
  ++  do
    |=  [now=@da hen=duct [who=ship him=ship] syd=@tas ruf=raft]
    =+  ^=  rug  ^-  rung
        =+  rug=(~(get by hoy.ruf) him)
        ?^(rug u.rug *rung)
    =+  ^=  red  ^-  rede
        =+  yit=(~(get by rus.rug) syd)
        ?^(yit u.yit `rede`[~2000.1.1 ~ [~ *rind] ~ ~ *dome])
    ((de now hen ~ ~) [who him] syd red ran.ruf)
  ::
  ++  posh
    |=  [him=ship syd=desk red=rede ruf=raft]
    ^-  raft
    =+  ^=  rug  ^-  rung
        =+  rug=(~(get by hoy.ruf) him)
        ?^(rug u.rug *rung)
    ruf(hoy (~(put by hoy.ruf) him rug(rus (~(put by rus.rug) syd red))))
  ::
  ++  un                                                ::  domestic ship
    |=  [who=@p now=@da hen=duct ruf=raft]
    =+  ^=  yar  ^-  room
        =+  yar=(~(get by fat.ruf) who)
        ?~(yar *room u.yar)
    |%
    ++  abet  ruf(fat (~(put by fat.ruf) who yar))
    ++  pish
      |=  [syd=@ta red=rede run=rang]
      %_  +>
        ran.ruf  run
        dos.yar  (~(put by dos.yar) syd [qyx.red dok.red pok.red dom.red])
      ==
    ::
    ++  wake
      =+  saz=(turn (~(tap by dos.yar) ~) |=([a=@tas b=*] a))
      =|  moz=(list move)
      =<  [moz ..wake]
      |-  ^+  +
      ?~  saz  +
      =+  sog=abet:wake:(di i.saz)
      $(saz t.saz, moz (weld moz -.sog), ..wake (pish i.saz +.sog ran.ruf))
    ::
    ++  di
      |=  syd=@ta
      =+  ^=  saq  ^-  dojo
          =+  saq=(~(get by dos.yar) syd)
          ?~(saq *dojo u.saq)
      %^    (de now hen hun.yar hez.yar)
          [who who]
        syd
      [[now p.saq ~ q.saq r.saq s.saq] ran.ruf]
    --
  --
  ::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  ::              section 4cA, filesystem vane          ::
  ::                                                    ::
  =|                                                    ::  instrument state
      $:  %0                                            ::  vane version
          ruf=raft                                      ::  revision tree
      ==                                                ::
  |=  [now=@da eny=@ ski=sled]                          ::  activate
  ^?                                                    ::  opaque core
  |%                                                    ::
  ++  call                                              ::  handle request
    |=  $:  hen=duct
            hic=(hypo (hobo kiss))
        ==
    =>  %=    .                                         ::  XX temporary
            q.hic
          ^-  kiss
          ?:  ?=(%soft -.q.hic)
            =+
            ~|([%bad-soft (,@t -.p.q.hic)] ((soft kiss) p.q.hic))
            ?~  -
              ~&  [%bad-softing (,@t -.p.q.hic)]  !!
            u.-
          ?:  (~(nest ut -:!>(*kiss)) | p.hic)  q.hic
          ~&  [%clay-call-flub (,@tas `*`-.q.hic)]
          ((hard kiss) q.hic)
        ==
    ^-  [p=(list move) q=_..^$]
    ?-    -.q.hic
        %font
      ?:  (~(has by sor.ruf) +.q.hic)  `..^$
      :_  ..^$(sor.ruf (~(put by sor.ruf) +.q.hic hen))
      :~  :*  hen  %pass
              /auto/(scot %p p.q.hic)/[q.q.hic]/(scot %p r.q.hic)/[s.q.hic]/y
              %c  %warp  [p.q.hic r.q.hic]  s.q.hic
              `[%& %y [%da now] /]
          ==
      ==
    ::
        %init
      :_  ..^$(fat.ruf (~(put by fat.ruf) p.q.hic [hen ~ ~]))
      =+  bos=(sein p.q.hic)
      ~&  [%bos bos p.q.hic]
      ?:  =(bos p.q.hic)  ~
      ^-  (list move)
      %+  turn  (limo ~[%main %arvo %try])
      |=  syd=@tas
      [hen %pass / %c %font p.q.hic syd bos syd]
    ::
        %info
      ?:  =(%$ q.q.hic)
        [~ ..^$]
      =^  mos  ruf
        =+  une=(un p.q.hic now hen ruf)
        =+  ^=  zat
            (exec:(di:wake:une q.q.hic) now r.q.hic)
        =+  zot=abet.zat
        :-  -.zot
        =.  une  (pish:une q.q.hic +.zot ran.zat)
        abet:une
      [mos ..^$]
    ::
        %into
      =+  yar=(~(got by fat.ruf) p.q.hic)
      :_  ..^$(fat.ruf (~(put by fat.ruf) p.q.hic yar(hez [~ hen])))
      ^-  (list move)
      ?:  =(%$ q.q.hic)
        ~
      =+  dos=(~(get by dos.yar) q.q.hic)
      ?:  &(?=(^ dos) !=(0 +>-.+>+.+.dos))            ::  ank.s.u.dos
        ?:  =(ank.s.u.dos q.q.hic)
          ~
        [hen %slip %c %info p.q.hic q.q.hic %& (cost r.q.hic ank.s.u.dos)]~
      =+  cos=(cost r.q.hic *ankh)
      =+  ^-  [one=(list ,[path miso]) two=(list ,[path miso])]
          %+  skid  q.cos
          |=  [a=path b=miso]
          ?&  ?=(%ins -.b)
              ?=(%mime p.p.b)
              =+  (slag (dec (lent a)) a)
              ?|  =([%hook ~] -)
                  =([%hoon ~] -)
          ==  ==
      :~  [hen %slip %c %info p.q.hic q.q.hic %& p.cos one]
          [hen %slip %c %info p.q.hic q.q.hic %& p.cos two]
      ==
    ::
        ?(%ingo %invo)                                   ::  not yet used
      ?:  =(%$ q.q.hic)
        ?.  ?=(%invo -.q.hic)  [~ ..^$]
        =+  yar=(need (~(get by fat.ruf) p.q.hic))
        [~ ..^$(fat.ruf (~(put by fat.ruf) p.q.hic yar(hez [~ hen])))]
      =^  mos  ruf
        =+  une=(un p.q.hic now hen ruf)
        =+  ^=  zat
            (exec:(di:wake:une q.q.hic) now r.q.hic)
        =+  zot=abet:zat
        :-  -.zot
        =.  une  (pish:une q.q.hic +.zot ran.zat)
        abet:une(hez.yar ?.(=(%invo -.q.hic) hez.yar.une [~ hen]))
      [mos ..^$]
    ::
        %merg                                               ::  direct state up
      =^  mos  ruf
        =+  une=(un p.q.hic now hen ruf)
        =+  ^=  zat
            (exem:(di:wake:une q.q.hic) now r.q.hic)
        =+  zot=abet.zat
        :-  -.zot
        =.  une  (pish:une q.q.hic +.zot ran.zat)
        abet:une(hez.yar ?.(=(%into -.q.hic) hez.yar.une [~ hen]))
      [mos ..^$]
    ::
        %plug
      ?.  (~(has by sor.ruf) +.q.hic)  `..^$
      :_  ..^$(sor.ruf (~(del by sor.ruf) +.q.hic))
      =+  hyn=(~(got by sor.ruf) +.q.hic)
      :~  :*  hyn  %pass
              /auto/(scot %p p.q.hic)/[q.q.hic]/(scot %p r.q.hic)/[s.q.hic]/y
              %c  %warp  [p.q.hic r.q.hic]  s.q.hic  ~
          ==
          :*  hyn  %pass
              /auto/(scot %p p.q.hic)/[q.q.hic]/(scot %p r.q.hic)/[s.q.hic]/v
              %c  %warp  [p.q.hic r.q.hic]  s.q.hic  ~
          ==
      ==
    ::
        %warp
      =^  mos  ruf
        ?:  =(p.p.q.hic q.p.q.hic)
          =+  une=(un p.p.q.hic now hen ruf)
          =+  wex=(di:une p.q.q.hic)
          =+  ^=  wao
            ?~  q.q.q.hic
              ease:wex
            (eave:wex u.q.q.q.hic)
          =+  ^=  woo
            abet:wao
          [-.woo abet:(pish:une p.q.q.hic +.woo ran.wao)]
        =+  wex=(do now hen p.q.hic p.q.q.hic ruf)
        =+  ^=  woo
          ?~  q.q.q.hic
            abet:ease:wex
          abet:(eave:wex u.q.q.q.hic)
        [-.woo (posh q.p.q.hic p.q.q.hic +.woo ruf)]
      [mos ..^$]
    ::
        %wart
      ?>  ?=(%re q.q.hic)
      =+  ryf=((hard riff) s.q.hic)
      :_  ..^$
      :~  :-  hen
          :^  %pass  [(scot %p p.p.q.hic) (scot %p q.p.q.hic) r.q.hic]
            %c
          [%warp [p.p.q.hic p.p.q.hic] ryf]
      ==
    ==
  ::
  ++  doze
    |=  [now=@da hen=duct]
    ^-  (unit ,@da)
    ~
  ::
  ++  load
    |=  old=[%0 ruf=raft]
    ^+  ..^$
    ..^$(ruf ruf.old)
  ::
  ++  scry                                              ::  inspect
    |=  [fur=(unit (set monk)) ren=@tas his=ship syd=desk lot=coin tyl=path]
    ^-  (unit (unit cage))
    =+  got=(~(has by fat.ruf) his)
    =+  luk=?.(?=(%$ -.lot) ~ ((soft case) p.lot))
    ?~  luk  [~ ~]
    ?:  =(%$ ren)
      [~ ~]
    =+  run=((soft care) ren)
    ?~  run  [~ ~]
    %.  [u.run u.luk tyl]
    =<  aver
    ?:  got
      (di:(un his now ~ ruf) syd)
    (do now ~ [his his] syd ruf)
  ::
  ++  stay  [%0 ruf]
  ++  take                                              ::  accept response
    |=  [tea=wire hen=duct hin=(hypo sign)]
    ^-  [p=(list move) q=_..^$]
    ?:  ?=([%auto @ @ @ @ ?(%y %v) ~] tea)
      ?>  ?=(%writ -.+.q.hin)
      =+  our=(slav %p i.t.tea)
      =*  sud  i.t.t.tea
      =+  her=(slav %p i.t.t.t.tea)
      =*  syd  i.t.t.t.t.tea
      =+  une=(un our now hen ruf)
      =+  wex=(di:une syd)
      =+  wao=(sync:wex her sud p.q.hin)
      =+  woo=abet:wao
      [-.woo ..^$(ruf abet:(pish:une syd +.woo ran.wao))]
    ?-    -.+.q.hin
        %crud
      [[[hen %slip %d %flog +.q.hin] ~] ..^$]
    ::
        %made
      ?~  tea  !!
      ?+    -.tea  !!
          %casting
        ?>  ?=([@ @ @ *] t.tea)
        =+  who=(slav %p i.t.tea)
        =+  syd=(slav %tas i.t.t.tea)
        =+  wen=(slav %da i.t.t.t.tea)
        =^  mos  ruf
          =+  une=(un who now hen ruf)
          =+  ^=  zat
              (take-cast:(di:wake:une syd) wen t.t.t.t.tea p.q.hin)
          =+  zot=abet.zat
          [-.zot abet:(pish:une syd +.zot ran.zat)]
        [mos ..^$]
      ::
          %diffing
        ?>  ?=([@ @ @ *] t.tea)
        =+  who=(slav %p i.t.tea)
        =+  syd=(slav %tas i.t.t.tea)
        =+  wen=(slav %da i.t.t.t.tea)
        =^  mos  ruf
          =+  une=(un who now hen ruf)
          =+  ^=  zat
              (take-diff:(di:wake:une syd) wen t.t.t.t.tea p.q.hin)
          =+  zot=abet.zat
          [-.zot abet:(pish:une syd +.zot ran.zat)]
        [mos ..^$]
      ::
          %patching
        ?>  ?=([@ @ *] t.tea)
        =+  who=(slav %p i.t.tea)
        =+  syd=(slav %tas i.t.t.tea)
        =^  mos  ruf
          ?:  (~(has by fat.ruf) who)
            =+  une=(un who now hen ruf)
            =+  ^=  zat
                (take-patch:(di:wake:une syd) t.t.t.tea p.q.hin)
            =+  zot=abet.zat
            [-.zot abet:(pish:une syd +.zot ran.zat)]
          =+  zax=(do now hen [who who] syd ruf)
          =+  ^=  zat
              (take-patch:zax t.t.t.tea p.q.hin)
          =+  zot=abet.zat
          [-.zot (posh who syd +.zot ruf)]
        [mos ..^$]
      ==
    ::
        %waft
      ?>  ?=([@ @ ~] tea)
      =+  syd=(need (slaw %tas i.tea))
      =+  inx=(need (slaw %ud i.t.tea))
      =+  ^=  zat
        =<  wake
        (knit:(do now hen p.+.q.hin syd ruf) [inx ((hard riot) q.+.q.hin)])
      =^  mos  ruf
        =+  zot=abet.zat
        [-.zot (posh q.p.+.q.hin syd +.zot ruf)]
      [mos ..^$(ran.ruf ran.zat)]                         ::  merge in new obj
    ::
        %wake
      =+  dal=(turn (~(tap by fat.ruf) ~) |=([a=@p b=room] a))
      =|  mos=(list move)
      |-  ^-  [p=(list move) q=_..^^$]
      ?~  dal  [mos ..^^$]
      =+  une=(un i.dal now hen ruf)
      =^  som  une  wake:une
      $(dal t.dal, ruf abet:une, mos (weld som mos))
    ::
        %writ
      ?>  ?=([@ @ *] tea)
      =+  our=(need (slaw %p i.tea))
      =+  him=(need (slaw %p i.t.tea))
      :_  ..^$
      :~  :-  hen
          [%pass ~ %a [%want [our him] [%r %re %c t.t.tea] p.+.q.hin]]
      ==
    ::
        %went
      ?:  =(%good q.+.q.hin)  [~ ..^$]
      ~&  [%clay-lost p.+.q.hin tea]
      [~ ..^$]
    ==
  --