diff --git a/arvo/ames.hoon b/arvo/ames.hoon index f2bd53b8fc..3f21acfcca 100644 --- a/arvo/ames.hoon +++ b/arvo/ames.hoon @@ -379,7 +379,7 @@ vix=(bex +((cut 0 [25 2] mag))) :: width of sender tay=(cut 0 [27 5] mag) :: message type == - ?> =(3 vez) + ?> =(4 vez) ?> =(chk (end 0 20 (mug bod))) :+ [(end 3 wix bod) (cut 3 [wix vix] bod)] (kins tay) @@ -399,7 +399,7 @@ =+ tay=(ksin q.kec) %+ mix %+ can 0 - :~ [3 3] + :~ [3 4] [20 (mug bod)] [2 yax] [2 qax] @@ -965,7 +965,7 @@ ++ gnaw :: gnaw:am |= [kay=cape ryn=lane pac=rock] :: process packet ^- [p=(list boon) q=fort] - ?. =(3 (end 0 3 pac)) [~ fox] + ?. =(4 (end 0 3 pac)) [~ fox] =+ kec=(bite pac) ?: (goop p.p.kec) [~ fox] ?. (~(has by urb.ton.fox) q.p.kec) diff --git a/arvo/batz.hoon b/arvo/batz.hoon index 843bf392b2..ef9709f715 100644 --- a/arvo/batz.hoon +++ b/arvo/batz.hoon @@ -85,6 +85,7 @@ =+ rew=(flop wer) =+ vez=(vang | wer) |% + ++ abet `brat`+<.^$ :: abet:be ++ fane :: fane:be |= [gyp=@ud ted=@ud lap=wire] :: validate waiter ^- ? :: XX hack @@ -120,6 +121,11 @@ == (fi gyp hen gyr) :: + ++ flub :: flub:be + |= [gyp=@ud ted=@ud lap=wire] :: delete timer + ^+ +> + +>(tem (~(del by tem) [gyp ted lap])) + :: ++ lake :: lake:be |= [hen=duct gyp=@ud ted=@ud lap=wire] :: deliver wakeup ^- [p=(list move) q=brat] @@ -1176,8 +1182,11 @@ |- ^- [p=(list move) q=vane] ?~ fiy [wam ..^^$] =+ dos=(need (~(get by dez) p.i.fiy)) - =+ beg=`brat`[[p.i.dos bred] q.i.dos] - =+ yub=(lake:((be beg) now eny sky) p.i.fiy q.i.fiy) + =+ geb=((be [[p.i.dos bred] q.i.dos]) now eny sky) + =+ ^= yub ^- [p=(list move) q=brat] + ?. (fane:geb q.i.fiy) + [~ abet:(flub:geb q.i.fiy)] + (lake:geb p.i.fiy q.i.fiy) %= $ fiy t.fiy wam (weld p.yub wam) diff --git a/arvo/dill.hoon b/arvo/dill.hoon index 39da86c70a..c36856131b 100644 --- a/arvo/dill.hoon +++ b/arvo/dill.hoon @@ -400,8 +400,8 @@ ++ load |= new=vase ^- vane - :: ?. (~(nest ut -:!>(dug)) & p.new) :: XX using old state unconditionally! - :: (come new) + ?. (~(nest ut -:!>(dug)) & p.new) + (come new) %_ ..^$ dug ((map duct yard) q.new) ==