-build-file, -build-mark, -build-cast

pkg/arvo/lib/strandio.hoon

@@ -391,7 +391,6 @@
   ?:  ?=(%incomplete -.made-result)
     (strand-fail %ford-incomplete tang.made-result)
   (pure:m build-result.made-result)
-::
 ::  Take ford build result
 ::
 ++  take-made-result
@@ -406,7 +405,45 @@
       `[%skip ~]
     `[%done result.sign-arvo.u.in.tin]
   ==
+::  +build-fail: build the source file at the specified $beam
 ::
+++  build-file
+  |=  [[=ship =desk =case] =spur]
+  =*  arg  +<
+  =/  m  (strand ,vase)
+  ^-  form:m
+  ;<  =riot:clay  bind:m
+    (warp ship desk ~ %sing %a case (flop spur))
+  ?~  riot
+    (strand-fail %build-file >arg< ~)
+  ?>  =(%vase p.r.u.riot)
+  (pure:m q.r.u.riot)
+::  +build-mark: build a mark definition to a $dais
+::
+++  build-mark
+  |=  [[=ship =desk =case] mak=mark]
+  =*  arg  +<
+  =/  m  (strand ,dais:clay)
+  ^-  form:m
+  ;<  =riot:clay  bind:m
+    (warp ship desk ~ %sing %b case /[mak])
+  ?~  riot
+    (strand-fail %build-mark >arg< ~)
+  ?>  =(%dais p.r.u.riot)
+  (pure:m !<(dais:clay q.r.u.riot))
+::  +build-cast: build a mark conversion gate ($tube)
+::
+++  build-cast
+  |=  [[=ship =desk =case] =mars:clay]
+  =*  arg  +<
+  =/  m  (strand ,tube:clay)
+  ^-  form:m
+  ;<  =riot:clay  bind:m
+    (warp ship desk ~ %sing %c case /[a.mars]/[b.mars])
+  ?~  riot
+    (strand-fail %build-cast >arg< ~)
+  ?>  =(%tube p.r.u.riot)
+  (pure:m !<(tube:clay q.r.u.riot))
 ::  Run several taggged ford builds
 ::
 ++  build-map

pkg/arvo/sys/vane/clay.hoon

@@ -115,26 +115,6 @@
       marks=(map mark [res=dais dez=(set path)])
       casts=(map mars [res=tube dez=(set path)])
   ==
-::  $mars: mark conversion request
-::  $tube: mark conversion gate
-+$  mars  [a=mark b=mark]
-+$  tube  $-(vase vase)
-::  $dais: processed mark core
-::
-+$  dais
-  $_  ^|
-  |_  sam=vase
-  ++  bunt  sam
-  ++  diff  |~(new=_sam *vase)
-  ++  form  *mark
-  ++  join  |~([a=vase b=vase] *(unit (unit vase)))
-  ++  mash
-    |~  [a=[ship desk diff=vase] b=[ship desk diff=vase]]
-    *(unit vase)
-  ++  pact  |~(diff=vase sam)
-  ++  vale  |~(noun sam)
-  ++  volt  |~(noun sam)
-  --
 ::
 ::  Hash of a blob, for lookup in the object store (lat.ran)
 ::
@@ -2944,12 +2924,13 @@
     ++  cast-path
       |=  [=path mak=mark]
       ^-  [cage state]
-      =^  cag=cage  nub  (get-value path)
       =/  mok  (head (flop path))
+      ~|  error-casting-path+[path mok mak]
+      =^  cag=cage  nub  (get-value path)
       ?:  =(mok mak)
         [cag nub]
       =^  =tube  nub  (get-cast mok mak)
-      ~|  error-casting+[path mok mak]
+      ~|  error-running-cast+[path mok mak]
       :_(nub [mak (tube q.cag)])
     ::
     ++  run-pact
@@ -3574,6 +3555,7 @@
       ?~  cans
         [mim ford-cache.ford-args]
       =^  cage  ford-cache.ford-args
+        ~|  mime-cast-fail+i.cans
         (wrap:fusion (cast-path:(ford:fusion ford-args) i.cans %mime))
       =^  mim  ford-cache.ford-args  $(cans t.cans)
       [(~(put by mim) i.cans `!<(mime q.cage)) ford-cache.ford-args]

pkg/arvo/sys/zuse.hoon

@@ -713,6 +713,27 @@
         %^  cat  7  (sham [%yaki (roll p add) q t])
         (sham [%tako (roll p add) q t])
     [p q has t]
+  ::  $mars: mark conversion request
+  ::  $tube: mark conversion gate
+  ::
+  +$  mars  [a=mark b=mark]
+  +$  tube  $-(vase vase)
+  ::  $dais: processed mark core
+  ::
+  +$  dais
+    $_  ^|
+    |_  sam=vase
+    ++  bunt  sam
+    ++  diff  |~(new=_sam *vase)
+    ++  form  *mark
+    ++  join  |~([a=vase b=vase] *(unit (unit vase)))
+    ++  mash
+      |~  [a=[ship desk diff=vase] b=[ship desk diff=vase]]
+      *(unit vase)
+    ++  pact  |~(diff=vase sam)
+    ++  vale  |~(noun sam)
+    ++  volt  |~(noun sam)
+    --
   --  ::clay
 ::                                                      ::::
 ::::                    ++dill                            ::  (1d) console