ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-01 11:33:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Some jael work.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-11-08 02:08:29 -08:00
parent ee8e945e7f
commit b54934353f
2 changed files with 17 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
arvo/jael.hoon
View File

@ -26,24 +26,28 @@
|%
++ axle :: %jael state
$: %0 ::
ent=@uwH :: entropy
all=(map ship ,[p=@ q=safe]) :: entropy, secrets
ent=@ :: entropy
sef=safe :: secret tree
red=(map duct (set path)) :: reverse subscribers
== ::
++ mast $: ent=@
++ mort ,[p=@da q=duct r=@] :: a mortal secret
++ gift :: out result <-$
$% [%done p=path q=@] :: key expired
$% [%dead p=path] :: key expired
[%live p=path q=@] :: key created
== ::
++ kiss :: in request ->$
$% [%kill p=
[%drop p=@p q=path r=@] :: discard key
[%junk p=@] :: add entropy
[%show p=@p q=path] :: read subtree
[%tell p=@ q=path r=@da s=@] :: save key
$% [%kill p=path] :: discard secret
[%make p=@uw q=(unit ,@da) r=@ud s=path] :: create secret
[%nuke ~] :: erase subscriber
[%prim p=@uw q=(unit ,@da) r=perm s=path] :: create prime
[%tell p=@uw q=(unit ,@da) r=path] :: save secret
== ::
++ safe ,[p=(unit ,@) q=(map ,@ta safe)] :: secret tree
++ move ,[p=duct q=[%give p=gift]] :: local move
++ perm (pair ,@ud (list ,@ud)) :: prime definition
++ safe ::
$: nub=@uw :: secret
dex=(unit ,@da) :: expiration
sud=(set duct) :: subscribers
== ::
-- ::
. ==
=| axle

2
arvo/time.hoon
View File

@ -161,7 +161,7 @@
q.hic
^- kiss
?: ?=(%soft -.q.hic)
:: ~& [%dill-call-soft (,@tas `*`-.p.q.hic)]
:: ~& [%time-call-soft (,@tas `*`-.p.q.hic)]
((hard kiss) p.q.hic)
?: (~(nest ut -:!>(*kiss)) | p.hic) q.hic
~& [%time-call-flub (,@tas `*`-.q.hic)]