From 44d13b224629c5be4cbc0746138951fa6d5c8259 Mon Sep 17 00:00:00 2001
From: "C. Guy Yarvin" <cgyarvin@gmail.com>
Date: Tue, 13 Sep 2016 09:41:54 -0700
Subject: [PATCH] Interim checkin.

---
 arvo/jael.hoon | 34 ++++++++++------------------------
 1 file changed, 10 insertions(+), 24 deletions(-)

diff --git a/arvo/jael.hoon b/arvo/jael.hoon
index 9de346e48f..eee46ddbe0 100644
--- a/arvo/jael.hoon
+++ b/arvo/jael.hoon
@@ -167,54 +167,40 @@
     ::  add rights
     ::    {$give p/ship q/(nap jael-right))}
     ::
-        $give
-      =^  rod  urb
-        =<  abet
-        =<  abet
-        =<  abet
-        (give:(unto:(~(from ur urb.nav) our) p.tac) q.tac)
-      (fear rod)
+        $give  
+      abet:(give:~(call ur urb.nav) our [p q]:tac)
     ::
     ::  outbound symmetric key
     ::    {$link p/ship q/@da r/code}
     ::
         $link
       =*  ryt  [%entry [[(shaf %hand r.tac) q.tac r.tac] ~ ~]]
-      =^  rod  urb
-        =<  abet
-        =<  abet
-        =<  abet
-        (give:(unto:(~(from ur urb.nav) our) p.tac) [ryt ~ ~])
-      (fear rod)
+      abet:(give:~(call ur urb.nav) our p.tac ryt)
     ::
     ::  inbound symmetric key
     ::    {$line p/ship q/@da r/code}
     ::
         $line
-      =^  rod  urb
-        =*  ryt  [%entry [[(shaf %hand r.tac) q.tac r.tac] ~ ~]]
-        =<  abet
-        =<  abet
-        (give:(unto:(~(from ur urb.nav) p.tac) our) [ryt ~ ~])
-      (fear rod)
-    ::
+      =*  ryt  [%entry [[(shaf %hand r.tac) q.tac r.tac] ~ ~]]
+      abet:(give:~(call ur urb.nav) p.tac our ryt)
+    :
     ::  public-key update
     ::    {$meet p/ship q/gree}
     ::
         $meet
-      abet:(~(meet ur urb.nav) p.tac q.tac)
+      abet:(meet:~(call ur urb.nav) p.tac q.tac)
     ::
-    ::  install someone else's keys
+    ::  learn as other ship
     ::    {$over p/ship q/jael-task}
     ::
         $over
       $(our p.tac, tac q.tac)
     ::
-    ::  remote certificate acknowledgment
+    ::  remote version acknowledgment
     ::    {$pall p/ship q/life}
     ::
         $pall
-      !!
+      abet:(pall:~(call ur urb.urb.nav) 
     ::
     ::  extend our certificate with a new private key
     ::    {$step p/lamp}