clay: static clay boots

bin/solid.pill

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:b38b016c4bcb23818328073e2b81fd09522699c9800e0744adbdbc15bb092795
-size 8749007
+oid sha256:fd51d827ed2bd4823a87caa953ce9a508d6a390442246198b093b0c39fa4e5ed
+size 8763109

pkg/arvo/mar/mime.hoon

@@ -24,6 +24,9 @@
   ++  diff  |=(mime +<)
   ++  pact  |=(mime +<)
   ++  join  |=([mime mime] `(unit mime)`~)
-  ++  mash  |=([[ship desk mime] [ship desk mime]] ~|(%mime-mash !!))
+  ++  mash
+    |=  [[ship desk mime] [ship desk mime]]
+    ^-  mime
+    ~|(%mime-mash !!)
   --
 --

pkg/arvo/sys/vane/clay.hoon

@@ -554,8 +554,8 @@
         %+  slap
           (with-faces deg+deg tub+tub but+but cor+cor nave+!>(nave) ~)
         !,  *hoon
-        =/  typ=mold  _+<.cor
-        =/  dif=mold  vale:deg
+        =/  typ  _+<.cor
+        =/  dif  vale:deg
         ^-  (nave typ dif)
         |%
         ++  bunt  +<.cor
@@ -573,7 +573,6 @@
         ++  vale  noun:grab:cor
         --
       :_  nub
-      =+  !<(fom=mark (slap gad %limb %form))
       ^-  vase  ::  vase of nave
       %+  slap  (slop (with-face cor+cor) bud)
       !,  *hoon
@@ -595,7 +594,7 @@
         ^-  (unit dif)
         ?:  =(dif.a dif.b)
           ~
-        (mash:grad:cor a b)
+        `(mash:grad:cor a b)
       ++  pact  |=([v=typ d=dif] (pact:~(grad cor v) d))
       ++  vale  noun:grab:cor
       --