shrub/sys/vane/ames.hoon

2229 lines
90 KiB
Plaintext
Raw Normal View History

2016-11-24 07:25:07 +03:00
:: :: ::
:::: /hoon/ames/arvo :::::: vane prelude
2017-04-19 17:48:10 +03:00
:: :: ::
2016-11-24 07:25:07 +03:00
|= pit/vase :: kernel vase
=> =~ ::
2016-11-24 07:25:07 +03:00
:: :: ::
:::: :::::: ames structures
:: :: ::
2017-04-17 04:52:41 +03:00
=, ames
=, crypto
2016-11-24 07:25:07 +03:00
|% ::
++ bait {p/skin q/@ud r/dove} :: fmt nrecvd spec
++ bath :: per friend
2017-04-17 04:52:41 +03:00
$: fon/(map bole lock) :: inbound locks
2016-11-24 07:25:07 +03:00
zam/scar :: outbound boles
sal/(map bole colt) :: outbound flows
== ::
++ bole bone :: inbound opaque
2017-04-17 04:52:41 +03:00
++ boon :: internal effect
$% {$acid $~} :: drop input
{$beer p/ship q/@uvG} :: gained ownership
{$coke p/sock q/duct r/path s/coop} :: forward ack
{$cola p/sock q/bole r/path s/coop} :: reverse ack
{$mead p/lane q/rock} :: forward to self
{$malt p/sock q/duct r/path s/*} :: response
{$milk p/sock q/bole r/path s/*} :: request
{$ouzo p/lane q/rock} :: transmit packet
{$wine p/sock q/tape} :: notify user
== ::
2016-11-24 07:25:07 +03:00
++ cake {p/sock q/skin r/@} :: top level packet
++ chan path :: channel
2017-04-17 04:52:41 +03:00
++ clot :: symmetric key state
$: yed/(unit {p/hand q/code}) :: outbound
heg/(map hand code) :: proposed
qim/(map hand code) :: inbound
== ::
2016-11-24 07:25:07 +03:00
++ clue :: live packet state
$: vig/? :: true iff virgin
tel/part :: block identity
fap/flap :: fragment hash
dat/rock :: fragment data
== ::
2017-04-17 04:52:41 +03:00
++ part (pair frag tick) :: fragment of packet
2016-11-24 07:25:07 +03:00
++ coal :: live packet state
$: out/@da :: sent date
lod/@da :: lost-by deadline
clu/clue :: packet to send
== ::
2017-04-17 04:52:41 +03:00
++ stat :: pump statistics
$: $: cur/@ud :: window q length
max/@ud :: max pax out
rey/@ud :: retry q length
== ::
$: rtt/@dr :: roundtrip estimate
las/@da :: last sent
lad/@da :: last deadline
== ::
== ::
++ mini :: pump data
$: saw/stat :: statistics
liv/(qeu coal) :: live packets
lop/(qeu clue) :: lost packets
== ::
2016-11-24 07:25:07 +03:00
++ colt :: outbound state
$: seq/tick :: next tick to fill
lac/tick :: acked tick until
cob/(map tick comb) :: live messages
myn/mini :: packet pump
== ::
++ comb :: live message
$: cup/(unit coop) :: final ack
cha/path :: channel
num/frag :: number of fragments
ack/frag :: number acked
cly/(list clue) :: left to send
== ::
2017-04-17 04:52:41 +03:00
++ corn :: flow by server
$: hen/duct :: admin channel
wab/(map ship bath) :: relationship
== ::
++ door :: foreign contact
$: wod/road :: connection to
wyl/wyll :: inferred mirror
caq/clot :: symmetric key state
== ::
2016-11-24 07:25:07 +03:00
++ dove {p/@ud q/(map @ud @)} :: count 13-blocks
++ flap @uvH :: network packet id
++ flea (pair bole tick) :: message id
++ frag @ud :: fragment number
2017-04-17 04:52:41 +03:00
++ fort :: formal state
$: $0 :: version
gad/duct :: client interface
hop/@da :: network boot date
ton/town :: security
zac/(map ship corn) :: flows by server
== ::
2016-11-24 07:25:07 +03:00
++ lock :: inbound sequencer
$: laq/tick :: acknowledged until
nys/(map tick bait) :: inbound partials
2017-04-17 04:52:41 +03:00
laz/(unit (trel flea flap lane)) :: awaiting app
2016-11-24 07:25:07 +03:00
exc/(map tick ares) :: negative acks
== ::
2016-11-24 07:25:07 +03:00
++ meal :: payload
$% {$back p/bone q/flap r/coop s/@dr} :: acknowledgment
2017-04-17 04:52:41 +03:00
{$bond p/flea q/path r/*} :: message
2016-11-24 07:25:07 +03:00
{$carp p/moan q/(pair @ud @)} :: fragment
{$fore p/ship q/(unit lane) r/@} :: forwarded packet
== ::
++ moan :: message invariant
$: {kos/bole liq/tick} :: flow identity
syn/@ :: skin number
cnt/@ :: number of packets
== ::
2017-04-17 04:52:41 +03:00
++ road :: secured oneway route
$: exp/@da :: expiration date
lun/(unit lane) :: route to friend
lew/wyll :: wyll of friend
2016-11-24 07:25:07 +03:00
== ::
++ skin ?($none $open $fast $full) :: encoding stem
2017-04-17 04:52:41 +03:00
++ sufi :: domestic host
$: hoy/(list ship) :: hierarchy
val/wund :: private keys
law/wyll :: server wyll
seh/(map hand {p/ship q/@da}) :: key cache
hoc/(map ship door) :: neighborhood
2016-11-24 07:25:07 +03:00
== ::
++ tick @ud :: message sequence no
2017-04-17 04:52:41 +03:00
++ town :: all security state
$: lit/@ud :: imperial modulus
any/@ :: entropy
urb/(map ship sufi) :: all keys and routes
fak/? ::
== ::
++ wund (list {p/life q/ring r/acru}) :: mace in action
--
:: :: ::
:::: :::::: arvo structures
:: :: ::
2016-11-24 07:25:07 +03:00
|% ::
++ flam |=(a/flap `@p`(mug a)) :: debug flap
++ msec |=(a/@dr `@ud`(div a (div ~s1 1.000))) :: debug @dr
2017-04-17 04:52:41 +03:00
++ move {p/duct q/(wind note-arvo gift:able)} :: local move
--
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
:::: outbound cores ::
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
|%
++ rail :: message rail
2016-11-24 07:25:07 +03:00
=> |% ::
2017-04-17 04:52:41 +03:00
++ gift ::
$% {$hear p/chan q/coop} :: message ack
{$send p/flap q/rock} :: release packet
2016-11-24 07:25:07 +03:00
== ::
2017-04-17 04:52:41 +03:00
++ note ::
$% {$back p/flap q/coop r/@dr} :: raw ack
{$tell p/chan q/*} :: send message
{$wake $~} :: random wakeup
== ::
++ rend $-({now/@da ham/meal} (list rock)) :: render message
-- ::
|= $: our/@p :: XX redundant
her/@p :: outgoing peer
red/rend :: message encoder
== ::
|= $: kos/bole :: this flow
sal/(map bole colt) :: flow table
== ::
=| fex/(list gift) :: effects
=+ ^- colt :: state
=+ (~(get by sal) kos)
?^ - u.-
:* 0 :: seq/tick
0 :: lac/tick
~ :: cob/(map tick comb)
^- mini
:* ^- stat
:* :* 0 :: cur/@ud
2 :: max/@ud
0 :: rey/@ud
==
:* ~s5 :: rtt/@dr
~2010.1.1 :: las/@da
~2010.1.1 :: lad/@da
== ==
~
~
== ==
=* cot -
=+ mup=(yawn:pump myn)
2016-11-24 07:25:07 +03:00
|% ::
2017-04-17 04:52:41 +03:00
++ abed [fex cot] :: reveal
++ abet :: resolve
^+ [fex sal]
[(flop fex) (~(put by sal) kos `colt`cot)]
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
++ view :: inspect
|% ::
++ bulk :: queue count
^- @ud
|-(?~(cob 0 :(add 1 $(cob l.cob) $(cob r.cob))))
:: ::
++ wait :: next wakeup
^- (unit @da)
wait:mup
--
:: ::
++ wish :: operate list
|= {now/@da day/(list note)}
2016-11-24 07:25:07 +03:00
^+ +>
2017-04-17 04:52:41 +03:00
?~(day +> $(day t.day, +> (work now i.day)))
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
++ work ::
|= {now/@da job/note} :: compute
^+ +>
=< +>:wy-abet
|% ::
++ wy-abet +:wy-able :: resolve
++ wy-able wy-tire:wy-ably:wy-feed:wy-ably :: converge
++ wy-ably :: drain
^+ .
=^ fix myn abet:mup
=. mup (yawn:pump myn)
|- ^+ +>.$
?~ fix +>.$
$(fix t.fix, +>.$ (wy-abut i.fix))
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
++ wy-abut :: pump effect
|= fic/gift:pump
2016-11-24 07:25:07 +03:00
^+ +>
2017-04-17 04:52:41 +03:00
?- -.fic
$good
:: ~& [%ok her `@p`(mug p.fic) r.fic]
(wy-good q.fic s.fic)
2017-04-17 03:12:12 +03:00
::
2017-04-17 04:52:41 +03:00
$send
:: ~& [%go her `@p`(mug p.fic) q.fic]
+>(fex [[%send p.fic r.fic] fex])
==
:: ::
++ wy-back :: hear an ack
|= {dam/flap cop/coop lag/@dr}
:: ~& [%wy-back (flam dam) cop lag]
+>(mup (work:mup now %back dam cop lag))
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
++ wy-emit
|= fec/gift
+>(fex [fec fex])
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
++ wy-feed :: feed pump
^+ .
=^ cly . (wy-find want.mup)
:: ~& [%wy-feed want.mup (lent cly)]
+(mup (work:mup now %pack cly))
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
++ wy-find :: collect packets
|= may/@ud
^- {(list clue) _+>}
=- [(flop -<) ->]
=+ [inx=lac hav=*(list clue)]
|- ^- {(list clue) _+>.^$}
?: |(=(0 may) =(inx seq)) [hav +>.^$]
=^ hey +>.^$ (wy-flow inx may hav)
$(inx +(inx), may p.hey, hav q.hey)
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
++ wy-flow :: collect by message
|= {tiq/tick may/@ud hav/(list clue)}
=+ mob=(~(got by cob) tiq)
|- ^- {(pair @ud (list clue)) _+>.^$}
?: |(=(0 may) ?=($~ cly.mob))
[[may hav] +>.^$(cob (~(put by cob) tiq mob))]
%= $
may (dec may)
hav [i.cly.mob hav]
cly.mob t.cly.mob
2017-04-17 03:12:12 +03:00
==
2017-04-17 04:52:41 +03:00
:: ::
++ wy-good :: handle ack
|= {paz/part cop/coop}
2017-04-17 03:12:12 +03:00
^+ +>
2017-04-17 04:52:41 +03:00
=+ bum=(~(get by cob) q.paz)
?: |(?=($~ bum) =(~ cly.u.bum))
:: ~& [%wy-good-ignore paz ?=($~ cop)]
+>.$
?^ cop
::
:: a failure; save this nack, clear the message
::
~& [%wy-good-fail q.paz]
%_ +>.$
mup (work:mup now %cull q.paz)
cob (~(put by cob) q.paz u.bum(cly ~, cup `cop))
2016-11-24 07:25:07 +03:00
==
2017-04-17 04:52:41 +03:00
?> (lth ack.u.bum num.u.bum)
=. ack.u.bum +(ack.u.bum)
=. cup.u.bum ?.(=(ack.u.bum num.u.bum) ~ [~ ~])
+>.$(cob (~(put by cob) q.paz u.bum))
:: ::
++ wy-tire :: report results
|- ^+ +
=+ zup=(~(get by cob) lac)
?~ zup +.$
?~ cup.u.zup +.$
~& [?:(=(0 (end 0 1 kos)) %ta %ba) her kos lac]
%= $
lac +(lac)
cob (~(del by cob) lac)
fex :_(fex [%hear [cha u.cup]:u.zup])
2016-11-24 07:25:07 +03:00
==
:: ::
2017-04-17 04:52:41 +03:00
++ wy-wake :: timeout
^+ .
.(mup (work:mup now %wake ~))
2016-11-24 07:25:07 +03:00
:: ::
2017-04-17 04:52:41 +03:00
++ wy-tell :: send
|= {cha/chan val/*}
2016-11-24 07:25:07 +03:00
^+ +>
2017-04-17 04:52:41 +03:00
=+ pex=(red now [%bond [(mix kos 1) seq] cha val])
~& [?:(=(0 (end 0 1 kos)) %tx %bx) her kos seq cha (lent pex)]
%_ +>.$
seq +(seq)
cob
%+ ~(put by cob)
seq
^- comb
:* ~
cha
(lent pex)
0
=+ inx=0
|- ?~ pex ~
:_ $(pex +.pex, inx +(inx))
[& [inx seq] (shaf %flap i.pex) i.pex]
2016-11-24 07:25:07 +03:00
==
==
--
--
++ pump :: packet pump
=> |% ::
++ gift :: effect
$% {$good p/flap q/part r/@dr s/coop} :: logical ack
{$send p/flap q/part r/rock} :: release packet
== ::
2017-04-17 04:52:41 +03:00
++ note :: event
2016-11-24 07:25:07 +03:00
$% {$back p/flap q/coop r/@dr} :: raw ack
{$cull p/tick} :: cancel message
{$pack p/(list clue)} :: submit packets
{$wake $~} :: random wakeup
== ::
--
|%
++ yawn ::
|= myn/mini ::
^+ zu
~(. zu ~ myn) ::
::
++ zu :: state machine
|_ $: fex/(list gift) :: effects
mini :: state
==
:: ::
++ abba :: a older than b
|= {a/part b/part}
|((lth q.a q.b) &(=(q.a q.b) (lth p.a p.b)))
:: ::
++ abet :: resolve
^- {(list gift:pump) mini}
:: =. . aver
[(flop fex) +<+]
:: ::
++ aver :: verify
?> (lte cur.saw max.saw)
?> !=(0 max.saw)
?. =(cur.saw (lent (~(tap to liv))))
~& [%aver-cur cur.saw (lent (~(tap to liv)))]
!!
?> =(rey.saw (lent (~(tap to lop))))
?> =+ |= {a/coal b/coal}
&((lth out.a out.b) (lth lod.a lod.b))
|- ?| ?=($~ liv)
?& ?| ?=($~ r.liv)
2016-11-24 07:25:07 +03:00
?& (+< n.r.liv n.liv)
$(liv r.liv)
== ==
?| ?=($~ l.liv)
?& (+< n.liv n.l.liv)
$(liv l.liv)
== ==
==
==
?> =+ |= {a/part b/part}
|((lth q.a q.b) &(=(q.a q.b) (lth p.a p.b)))
|- ?| ?=($~ lop)
?& ?| ?=($~ r.lop)
2016-11-24 07:25:07 +03:00
?& (+< tel.n.r.lop tel.n.lop)
$(lop r.lop)
== ==
?| ?=($~ l.lop)
2016-11-24 07:25:07 +03:00
?& (+< tel.n.lop tel.n.l.lop)
$(lop l.lop)
== ==
2016-11-24 07:25:07 +03:00
==
==
.
:: ::
++ back :: process raw ack
|= {now/@da dam/flap cop/coop lag/@dr}
^+ +>
=- =/ rtt ?~(ack ~s0 (sub now out.u.ack))
=. rtt ?:((gth rtt lag) (sub rtt lag) rtt)
(done:(lose(liv lov) ded) ack dam cop rtt)
|- ^- $: ack/(unit coal)
ded/(list coal)
2016-11-24 07:25:07 +03:00
lov/(qeu coal)
==
?~ liv [~ ~ ~]
=+ ryt=$(liv r.liv)
?^ ack.ryt
::
:: found in front, no need to search back.
::
[ack.ryt ded.ryt [n.liv l.liv lov.ryt]]
::
:: lose unacked packets sent before an acked virgin.
::
=+ ^- $: top/?
ack/(unit coal)
ded/(list coal)
lov/(qeu coal)
==
?: =(dam fap.clu.n.liv)
[| `n.liv ~ l.liv]
[& $(liv l.liv)]
?~ ack [~ ~ liv]
=. ded ?:(top [n.liv ded] ded)
=. ded ?:(vig.clu.u.ack (~(tap to r.liv) ded) ded)
=. lov ?:(top [n.liv lov ~] lov)
[ack ded lov]
:: ::
++ clap :: ordered enqueue
::
:: the `lop` queue isn't really a queue in case of
2016-11-24 07:25:07 +03:00
:: resent packets; packets from older messages
:: need to be sent first. unfortunately hoon.hoon
2016-11-24 07:25:07 +03:00
:: lacks a general sorted/balanced heap right now.
:: so we implement a balanced queue insert by hand.
::
|= clu/clue
%_ +>
lop
|- ^+ lop
?~ lop [clu ~ ~]
?: ?| (abba tel.clu tel.n.lop)
?& =(tel.clu tel.n.lop)
(lth fap.clu fap.n.lop)
== ==
[n.lop l.lop $(lop r.lop)]
[n.lop $(lop l.lop) r.lop]
==
:: ::
++ cull :: clear message
|= tiq/tick
%_ +>
liv
|- ^+ liv
?~ liv ~
=+ vil=[n.liv $(liv l.liv) $(liv r.liv)]
?. =(tiq q.tel.clu.n.liv) vil
2016-11-24 07:25:07 +03:00
~(nip to `(qeu coal)`vil)
::
lop
|- ^+ lop
?~ lop ~
=+ pol=[n.lop $(lop l.lop) $(lop r.lop)]
?: =(tiq q.tel.n.lop) pol
~(nip to `(qeu clue)`pol)
==
:: ::
++ done :: process cooked ack
|= {lyd/(unit coal) dam/flap cop/coop rtt/@dr}
^+ +>
?~ lyd +>
%_ +>
cur.saw (dec cur.saw)
fex [[%good dam tel.clu.u.lyd rtt cop] fex]
==
:: ::
++ fire :: send a packet
|= {now/@da clu/clue}
^+ +>
?> (lth cur.saw max.saw)
=+ out=?:((lte now las.saw) +(las.saw) now)
=+ lod=(add now (mul 2 rtt.saw))
=. lod ?:((gth lod lad.saw) lod +(lad.saw))
:: ~& [%fire (flam fap.clu) `@da`out `@da`lod]
%= +>.$
fex [[%send fap.clu tel.clu dat.clu] fex]
las.saw out
lad.saw lod
cur.saw +(cur.saw)
liv (~(put to liv) [out lod clu])
==
:: ::
++ flay :: time out packets
|= now/@da
^+ +>
=- (lose(liv q.ole) p.ole)
^= ole
=| ded/(list coal)
|- ^+ [p=ded q=liv]
?~ liv [ded ~]
?: (gte now lod.n.liv)
::
:: everything in front of a dead packet is dead
::
$(liv l.liv, ded (~(tap to r.liv) [n.liv ded]))
=+ ryt=$(liv r.liv)
[p.ryt [n.liv l.liv q.ryt]]
:: ::
++ lose :: abandon packets
|= cud/(list coal)
^+ +>
?~ cud +>
=. +> (clap clu.i.cud)
%= $
cud t.cud
cur.saw (dec cur.saw)
rey.saw +(rey.saw)
==
:: ::
++ ship :: send packets
|= {now/@da cly/(list clue)}
^+ +>
?: (gte cur.saw max.saw) +>
?: =(0 rey.saw)
?~ cly +>
$(cly t.cly, +> (fire now i.cly))
=^ clu lop ~(get to lop)
$(+> (fire(rey.saw (dec rey.saw)) now clu))
:: ::
++ wait :: next wakeup
^- (unit @da)
2016-11-24 07:25:07 +03:00
=+ tup=`(unit coal)`~(top to liv)
?~(tup ~ `lod.u.tup)
:: ::
++ want :: window space
^- @ud
?: (gte cur.saw max.saw) 0
=+ gap=(sub max.saw cur.saw)
?: (gte rey.saw gap) 0
(sub gap rey.saw)
::
++ work ::
2017-04-17 04:52:41 +03:00
|= {now/@da job/note} :: perform
2016-11-24 07:25:07 +03:00
^+ +>
?- -.job
$back (back now [p q r]:job)
$cull (cull p.job)
$pack (ship now p.job)
$wake (flay now)
==
--
--
2017-04-17 04:52:41 +03:00
--
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4aA, identity logic ::
::
2017-04-17 03:12:12 +03:00
|%
2017-04-17 04:52:41 +03:00
++ grip :: extend wyll
|= {wet/wyll law/wyll}
^- wyll
?~ wet law
?: =(wet law) law
?^ t.wet
?>((meld i.wet i.t.wet) [i.wet $(wet t.wet)])
?~ law
?>((pier i.wet) [i.wet ~])
?~ q.p.q.i.wet
?>((meld i.wet i.law) [i.wet law])
=+ rul=(sein:title r.p.q.i.wet)
|- ^- wyll
?: ?& =(rul r.p.q.i.law)
=(p.p.q.i.law u.q.p.q.i.wet)
==
?>((meld i.wet i.law) [i.wet law])
?>(?=(^ t.law) $(law t.law))
::
++ meld :: verify connect
|= {new/deyd old/deyd}
^- $&
?> (melt new old)
?> .= (shaf %meld (sham q.new))
(need (sure:as:(haul:suite r.q.old) *code p.new))
%&
::
++ melt :: proper connect
|= {new/deyd old/deyd}
^- ?
=+ rac=(clan:title r.p.q.new)
?& =(r.new r.old) :: match fake
?~ q.p.q.new
?& =(r.p.q.old r.p.q.new)
&(!=(%earl rac) =(p.p.q.old (dec p.p.q.new)))
==
?& &(!=(%pawn rac) !=(%czar rac))
|(=(0 p.p.q.new) =(%earl rac))
=(r.p.q.old (sein:title r.p.q.new))
=(p.p.q.old u.q.p.q.new)
==
2016-11-24 07:25:07 +03:00
==
::
2017-04-17 04:52:41 +03:00
++ pare :: shorten against
|= {fou/wyll law/wyll}
:: ~& [%pare-fou fou]
:: ~& [%pare-law law]
^- wyll
=+ [ouf=(flop fou) wal=(flop law)]
%- flop
|- ^- wyll
?~ ouf wal
?~ wal ~
?. =(i.wal i.ouf) ouf
$(wal t.wal, ouf t.ouf)
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
++ pier !: :: initial deyd
|= wed/deyd
^- $&
?> =+ rac=(clan:title r.p.q.wed)
=+ loy=(haul:suite r.q.wed)
?: &(r.wed =(rac %czar)) %&
?> =(0 p.p.q.wed)
?> =(fig:ex:loy ?+(rac !! $czar (zeno r.p.q.wed), $pawn r.p.q.wed))
?> =((shaf %self (sham q.wed)) (need (sure:as:loy *code p.wed)))
%&
%&
::
++ real :: validate
|= {mac/mace law/wyll}
?> ?& |- ^- ?
?~ mac &
?> ?& ?=(^ law)
(lth p.p.q.i.law 9) :: 9-lives rule
=(p.p.q.i.law p.i.mac)
=(r.q.i.law pub:ex:(weur:suite q.i.mac))
==
$(mac t.mac, law t.law)
==
%&
::
++ rice :: mace at life
|= {mar/life mac/mace}
^- (unit mace)
?~ mac ~
?: =(mar p.i.mac) [~ mac]
?: (gth mar p.i.mac) ~
$(mac t.mac)
::
++ rick :: wyll at life
|= {mar/life lag/ship law/wyll}
^- (unit wyll)
?~ law ~
?: =(mar p.p.q.i.law) [~ law]
?: (gth mar p.p.q.i.law) ~
?: |(?=($~ q.p.q.i.law) !=(lag r.p.q.i.law)) ~
$(law t.law)
::
++ zeno :: imperial keyprint
|= zar/@pD
^- @uvH ^- @
%+ snag zar
^- (list @uw)
:~ 0wN.Kdp5k.p5ncD.4Wsih.bFQFu :: 0, ~zod, urbit.org
0w0 :: 1, ~nec, Curtis Yarvin
0w0 :: 2, ~bud, Tlon Investor 1
0w0 :: 3, ~wes, Tlon Investor 2
0w0 :: 4, ~sev, Tlon Investor 2
0wt.cKYxs.Yb5VZ.boSwm.l0yYc :: 5, ~per, Tlon Investor 3
0w0 :: 6, ~sut, Tlon Investor 4
0w0 :: 7, ~let, Tlon Investor 4
0w0 :: 8, ~ful, Tlon Investor 4
0w0 :: 9, ~pen, Tlon Investor 4
0w0 :: 10, ~syt, Tlon Investor 4
0w0 :: 11, ~dur, Tlon Investor 4
0w0 :: 12, ~wep, Sam Putman
0w0 :: 13, ~ser, Tlon Investor 5
0w3j.H0sty.jHa3F.JlD26.4LPwV :: 14, ~wyl, Zimran Ahmed
0w3F.QdvV-.toAsR.hvUNk.fHjW6 :: 15, ~sun, Colin Smith
0w0 :: 16, ~ryp, Tlon Investor 6
0w0 :: 17, ~syx, Tlon Investor 6
0w0 :: 18, ~dyr, Tlon Investor 6
0w0 :: 19, ~nup, Tlon Investor 6
0w0 :: 20, ~heb, Tlon Investor 6
0w0 :: 21, ~peg, Tlon Investor 6
0w0 :: 22, ~lup, Tlon Investor 6
0w0 :: 23, ~dep, Tlon Investor 6
0w0 :: 24, ~dys, Mike Gogulski
0w0 :: 25, ~put, Tlon Investor 7
0w0 :: 26, ~lug, Tlon Investor 8
0w0 :: 27, ~hec, Tlon Investor 8
0w0 :: 28, ~ryt, Tlon Investor 8
0w0 :: 29, ~tyv, Tlon Investor 8
0w0 :: 30, ~syd, Jennifer Kollmer
0wp.BgRGJ.kslnv.PLAqb.TRKbr :: 31, ~nex, Prakhar Goel
0w0 :: 32, ~lun, Tlon Investor 9
0w0 :: 33, ~mep, Tlon Investor 9
0w0 :: 34, ~lut, Tlon Investor 9
0w0 :: 35, ~sep, Tlon Investor 9
0w0 :: 36, ~pes, Jennifer Kollmer
0w2J.WSHlR.t5VHN.X8GKE.DB-yz :: 37, ~del, Kingdon Barrett
0w1w.KF-J1.5I63F.khFyv.h0n4J :: 38, ~sul, John Burnham
0w1A.OcPXS.oQi8K.g-E0d.zTRph :: 39, ~ped, Jeremy Wall
0w2.Mr2Id.SX8xI.MAs-j.5Y-1W :: 40, ~tem, Tlon Investor 10
0w0 :: 41, ~led, Nick Caruso
0w0 :: 42, ~tul, Susan Yarvin
0w0 :: 43, ~met, Susan Yarvin
0w0 :: 44, ~wen, Susan Yarvin
0w0 :: 45, ~byn, Susan Yarvin
0w0 :: 46, ~hex, James Torre
0w0 :: 47, ~feb, urbit.org
0wK.GoKEY.rMjfn.ZcvFQ.n4BmX :: 48, ~pyl, Michael Hartl
0w0 :: 49, ~dul, Jennifer Kollmer
0w0 :: 50, ~het, Jennifer Kollmer
0w0 :: 51, ~mev, Herbert Yarvin
0w0 :: 52, ~rut, Herbert Yarvin
0w2L.M6-o5.DDTFL.R4sFL.7Zuay :: 53, ~tyl, Tlon Investor 11
0w0 :: 54, ~wyd, Curtis Yarvin
0w0 :: 55, ~tep, Sibyl Kollmer
0w0 :: 56, ~bes, Sibyl Kollmer
0w0 :: 57, ~dex, Jared Hance
0w0 :: 58, ~sef, Owen Rescher
0w0 :: 59, ~wyc, Galen Wolfe-Pauly
0w0 :: 60, ~bur, Galen Wolfe-Pauly
0w0 :: 61, ~der, Galen Wolfe-Pauly
0w0 :: 62, ~nep, Galen Wolfe-Pauly
0w0 :: 63, ~pur, Herbert Yarvin
0w30.VtXvV.S~xIV.iMCL~.j9zTC :: 64, ~rys, Charlie Cummings
0w0 :: 65, ~reb, Herbert Yarvin
0wp.LslIa.IFSM9.mIp-z.KBIBh :: 66, ~den, Michael Hartl
0w0 :: 67, ~nut, Henry Yarvin
0w0 :: 68, ~sub, Henry Yarvin
0w0 :: 69, ~pet, Henry Yarvin
0w0 :: 70, ~rul, Henry Yarvin
0w0 :: 71, ~syn, Henry Ault
0w0 :: 72, ~reg, Henry Ault
0w0 :: 73, ~tyd, Henry Ault
0w0 :: 74, ~sup, Henry Ault
0w0 :: 75, ~sem, Michael Livshin
0w0 :: 76, ~wyn, Anton Dyudin
0w0 :: 77, ~rec, Anton Dyudin
0w0 :: 78, ~meg, Anton Dyudin
0w2L.tavpW.Lk4R-.elm7E.4KEqZ :: 79, ~net, Anthony Martinez
0w0 :: 80, ~sec, Curtis Yarvin
0w0 :: 81, ~mul, Curtis Yarvin
0w1F.Tqroo.wyq2m.cBaTM.9MbG- :: 82, ~nym, Max Greer
0w0 :: 83, ~tev, Sibyl Kollmer
0w2x.~ldho.Oo7kE.QqNSx.XteFh :: 84, ~web, Ar Vicco
0w0 :: 85, ~sum, Philip Monk
0w0 :: 86, ~mut, Philip Monk
0w0 :: 87, ~nyx, Philip Monk
0w30.UUr19.iBPlD.wfyJD.2CWPv :: 88, ~rex, Tlon Investor 12
0w0 :: 89, ~teb, Sibyl Kollmer
0w0 :: 90, ~fus, Tlon Corporation
0w0 :: 91, ~hep, urbit.org
0w0 :: 92, ~ben, urbit.org
0w0 :: 93, ~mus, urbit.org
0w0 :: 94, ~wyx, urbit.org
0w0 :: 95, ~sym, urbit.org
0w0 :: 96, ~sel, urbit.org
0w0 :: 97, ~ruc, urbit.org
0w0 :: 98, ~dec, urbit.org
0w1L.NQ-5f.ABF9R.kVwVJ.zRfn2 :: 99, ~wex, Pax Dickinson
0w0 :: 100, ~syr, urbit.org
0w0 :: 101, ~wet, urbit.org
0w0 :: 102, ~dyl, urbit.org
0w0 :: 103, ~myn, urbit.org
0w0 :: 104, ~mes, urbit.org
0w0 :: 105, ~det, urbit.org
0w0 :: 106, ~bet, urbit.org
0w0 :: 107, ~bel, urbit.org
0w0 :: 108, ~tux, Tlon Investor 13
0w1D.JV9n0.9z~YK.yAWyi.c9~Lu :: 109, ~tug, Philip Monk
0w0 :: 110, ~myr, urbit.org
0w0 :: 111, ~pel, urbit.org
0w0 :: 112, ~syp, urbit.org
0w0 :: 113, ~ter, urbit.org
0w0 :: 114, ~meb, urbit.org
0w0 :: 115, ~set, urbit.org
0w0 :: 116, ~dut, urbit.org
0w0 :: 117, ~deg, urbit.org
0w0 :: 118, ~tex, urbit.org
0w0 :: 119, ~sur, urbit.org
0w0 :: 120, ~fel, urbit.org
0w0 :: 121, ~tud, urbit.org
0w0 :: 122, ~nux, urbit.org
0w0 :: 123, ~rux, urbit.org
0w0 :: 124, ~ren, urbit.org
0w0 :: 125, ~wyt, urbit.org
0w0 :: 126, ~nub, urbit.org
0w0 :: 127, ~med, urbit.org
0w20.GGLXx.aqxaQ.w4Iob.wdmmr :: 128, ~lyt, Arthur Breitman
0w0 :: 129, ~dus, urbit.org
0w0 :: 130, ~neb, urbit.org
0w1U.uigq6.c~IqX.tKRX2.VrURf :: 131, ~rum, Joseph Blowsky
0w0 :: 132, ~tyn, urbit.org
0w0 :: 133, ~seg, urbit.org
0w0 :: 134, ~lyx, urbit.org
0w0 :: 135, ~pun, urbit.org
0w0 :: 136, ~res, urbit.org
0w0 :: 137, ~red, Alex Kravets
0w3J.15iJA.0pbNk.mZXyh.A~uKb :: 138, ~fun, Aaron Beckerman
0w0 :: 139, ~rev, urbit.org
0w3m.Cqumo.ZC7-e.794A4.Bqhh8 :: 140, ~ref, Matt Brubeck
0w0 :: 141, ~mec, urbit.org
0w0 :: 142, ~ted, urbit.org
0w2d.GLlYg.-MwtO.ZCPBE.OqGB9 :: 143, ~rus, Stephen Burnham
0w0 :: 144, ~bex, urbit.org
0w0 :: 145, ~leb, Justin LeBlanc
0w0 :: 146, ~dux, urbit.org
0w0 :: 147, ~ryn, urbit.org
0w0 :: 148, ~num, Tlon
0w0 :: 149, ~pyx, Katherine McFall
0w2g.gLmg4.MtrHQ.A5VmH.WPk6G :: 150, ~ryg, Dan Haffey
0w0 :: 151, ~ryx, Tlon
0w0 :: 152, ~fep, Tlon
0w2j.T1u2s.BfXjV.ldOGR.aiZrQ :: 153, ~tyr, Steve Dee
0w0 :: 154, ~tus, Tlon
0w0 :: 155, ~tyc, Tlon
0w0 :: 156, ~leg, Tlon
0w0 :: 157, ~nem, Tlon
0w0 :: 158, ~fer, Tlon
0w0 :: 159, ~mer, Tlon
0w0 :: 160, ~ten, Tlon
0w0 :: 161, ~lus, Tlon
0w0 :: 162, ~nus, Tlon
0w0 :: 163, ~syl, Tlon
0w0 :: 164, ~tec, Tlon
0w0 :: 165, ~mex, Tlon
0w0 :: 166, ~pub, Tlon
0w0 :: 167, ~rym, Tlon
0w0 :: 168, ~tuc, Tlon
0w0 :: 169, ~fyl, Tlon
0w0 :: 170, ~lep, Tlon
0w0 :: 171, ~deb, Tlon
0w0 :: 172, ~ber, Tlon
0w0 :: 173, ~mug, Tlon
0w0 :: 174, ~hut, Tlon
0w0 :: 175, ~tun, Tlon
0w0 :: 176, ~byl, Tlon
0w0 :: 177, ~sud, Tlon
0w0 :: 178, ~pem, Tlon
0w0 :: 179, ~dev, Tlon
0w0 :: 180, ~lur, Tlon
0w0 :: 181, ~def, Tlon
0w0 :: 182, ~bus, Tlon
0w0 :: 183, ~bep, Tlon
0w0 :: 184, ~run, Tlon
0w0 :: 185, ~mel, Tlon
0w0 :: 186, ~pex, Tlon
0w0 :: 187, ~dyt, Tlon
0w0 :: 188, ~byt, Tlon
0w0 :: 189, ~typ, Tlon
0w0 :: 190, ~lev, Tlon
0w0 :: 191, ~myl, Tlon
0w0 :: 192, ~wed, Tlon
0w0 :: 193, ~duc, Tlon
0w0 :: 194, ~fur, Tlon
0w0 :: 195, ~fex, Tlon
0w0 :: 196, ~nul, Tlon
0w0 :: 197, ~luc, Tlon
0w0 :: 198, ~len, Tlon
0w0 :: 199, ~ner, Tlon
0wv.aixe9.7gG2w.7cJiy.i3Mg8 :: 200, ~lex, Michael Hartl
0w0 :: 201, ~rup, Owen Rescher
0w0 :: 202, ~ned, Tlon
0w0 :: 203, ~lec, Tlon
0w0 :: 204, ~ryd, Tlon
0w1U.n361n.FC3jj.9cX26.V1Wif :: 205, ~lyd, Adam Bliss
0w0 :: 206, ~fen, Tlon
0w0 :: 207, ~wel, Tlon
0w0 :: 208, ~nyd, Tlon
0w0 :: 209, ~hus, Tlon
0w0 :: 210, ~rel, Tlon
0w0 :: 211, ~rud, Tlon
0w0 :: 212, ~nes, Tlon
0w16.~8NZV.VyMmf.4toMO.pui1R :: 213, ~hes, Tlon Investor 14
0w0 :: 214, ~fet, Tlon
0w0 :: 215, ~des, Tlon
0w0 :: 216, ~ret, Tlon
0w0 :: 217, ~dun, Tlon
0w0 :: 218, ~ler, Tlon
0w10.w0AUz.QVdks.HCNvf.ja~TO :: 219, ~nyr, Ivan Matosevic
0w0 :: 220, ~seb, Tlon
0w0 :: 221, ~hul, Tlon
0w0 :: 222, ~ryl, Tlon
0w0 :: 223, ~lud, Tlon
0w0 :: 224, ~rem, Tlon
0w0 :: 225, ~lys, Tlon
0w3C.YXlEl.pFbYV.9pYWI.d7cla :: 226, ~fyn, Stephen Burnham
0w0 :: 227, ~wer, Tlon
0w0 :: 228, ~ryc, Tlon
0w0 :: 229, ~sug, Tlon
0w0 :: 230, ~nys, Tlon
0w0 :: 231, ~nyl, Tlon
0w0 :: 232, ~lyn, Tlon
0w0 :: 233, ~dyn, Tlon
0w0 :: 234, ~dem, Tlon
0w0 :: 235, ~lux, Tlon Investor 15
0w0 :: 236, ~fed, Tlon
0w0 :: 237, ~sed, Tlon
0w0 :: 238, ~bec, Tlon
0w0 :: 239, ~mun, Tlon
0w0 :: 240, ~lyr, Tlon
0w0 :: 241, ~tes, Tlon
0w0 :: 242, ~mud, Ian Rowan
0w4.yybWD.F1BgE.ynzlF.47neH :: 243, ~nyt, Byrne Hobart
0w0 :: 244, ~byr, Tlon
0w0 :: 245, ~sen, Tlon
0w0 :: 246, ~weg, Tlon
0w28.bRVMq.Oi3tM.zOCNV.j00Yq :: 247, ~fyr, Anton Dyudin
0w0 :: 248, ~mur, Tlon
0w0 :: 249, ~tel, Tlon
0w3D.onYhb.3wvaz.62Ct8.nt3iJ :: 250, ~rep, Raymond Pasco
0w0 :: 251, ~teg, Tlon
0w0 :: 252, ~pec, Tlon
0w0 :: 253, ~nel, Tlon
0w0 :: 254, ~nev, Tlon
0wY.a0HAU.7Lbkf.6V514.OsJBv :: 255, ~fes, John Burnham
==
2016-11-24 07:25:07 +03:00
--
2017-04-17 04:52:41 +03:00
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4aB, packet format ::
::
|%
++ bite :: packet to cake
|= pac/rock ^- cake
=+ [mag=(end 5 1 pac) bod=(rsh 5 1 pac)]
=+ :* vez=(end 0 3 mag) :: protocol version
chk=(cut 0 [3 20] mag) :: checksum
wix=(bex +((cut 0 [23 2] mag))) :: width of receiver
vix=(bex +((cut 0 [25 2] mag))) :: width of sender
tay=(cut 0 [27 5] mag) :: message type
==
?> =(7 vez)
?> =(chk (end 0 20 (mug bod)))
:+ [(end 3 wix bod) (cut 3 [wix vix] bod)]
(kins tay)
(rsh 3 (add wix vix) bod)
::
++ kins |=(tay/@ (snag tay `(list skin)`[%none %open %fast %full ~]))
++ ksin |=(sin/skin `@`?-(sin $none 0, $open 1, $fast 2, $full 3))
++ spit :: cake to packet
|= kec/cake ^- @
=+ wim=(met 3 p.p.kec)
=+ dum=(met 3 q.p.kec)
=+ yax=?:((lte wim 2) 0 ?:((lte wim 4) 1 ?:((lte wim 8) 2 3)))
=+ qax=?:((lte dum 2) 0 ?:((lte dum 4) 1 ?:((lte dum 8) 2 3)))
=+ wix=(bex +(yax))
=+ vix=(bex +(qax))
=+ bod=:(mix p.p.kec (lsh 3 wix q.p.kec) (lsh 3 (add wix vix) r.kec))
=+ tay=(ksin q.kec)
%+ mix
%+ can 0
:~ [3 7]
[20 (mug bod)]
[2 yax]
[2 qax]
[5 tay]
2016-11-24 07:25:07 +03:00
==
2017-04-17 04:52:41 +03:00
(lsh 5 1 bod)
--
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4aC, PKI engine ::
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
|%
++ go :: go
|_ ton/town :: ames state
++ as :: as:go
|_ {our/ship saf/sufi} :: per server
++ born :: born:as:go
|= {now/@da her/@p tic/@pG ges/gens pub/pass} :: register user
^- {(unit wyll) _+>}
?. =(our (sein:title her)) [~ +>.$]
=+ nes=sen
=+ ryt=(end 6 1 (shaf %tick (mix her (shax sec:ex:q.nes))))
?. =(tic ryt)
~& [%ames-wrong-ticket `@p`ryt]
[~ +>.$]
=+ rad=(~(get by hoc.saf) her)
?^ rad
?. ?=(^ lew.wod.u.rad)
$(hoc.saf (~(del by hoc.saf) her)) :: XX how can this be?
?. =(pub r.q.i.lew.wod.u.rad) [~ +>.$]
[[~ lew.wod.u.rad] +>.$]
=+ syp=[[0 [~ p.nes] her now] ges pub]
=+ ded=[(sign:as:q.nes *code (shaf %meld (sham syp))) syp fak.ton]
=+ wil=[ded law.saf]
?> =(wil (grip wil ~))
:- [~ wil]
+>.$(hoc.saf (~(put by hoc.saf) her [[~31337.1.1 ~ wil] ~ *clot]))
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
++ lax :: lax:as:go
|_ {her/ship dur/door} :: security engine
++ cluy :: cluy:lax:as:go
^- {p/life q/gens r/acru} :: client crypto
?~ lew.wod.dur !!
?. =(fak.ton r.i.lew.wod.dur) ~|([%client-wrong-fake her] !!)
:+ p.p.q.i.lew.wod.dur
q.q.i.lew.wod.dur
(haul:suite r.q.i.lew.wod.dur)
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
++ clon
^- life
?~(lew.wod.dur 0 p.p.q.i.lew.wod.dur)
2016-11-24 07:25:07 +03:00
::
2017-04-17 04:52:41 +03:00
++ deng
|= law/wyll
%_(+> lew.wod.dur (grip law lew.wod.dur))
::
++ griz :: griz:lax:as:go
|= now/@da :: generate key for
^- {p/code q/_+>}
=+ key=(shas %enty (mix now any.ton))
:- key
%= +>.$
any.ton (shax (mix now any.ton))
heg.caq.dur (~(put by heg.caq.dur) (shaf %hand key) key)
==
::
++ pode :: pode:lax:as:go
|= now/@da :: timeout route
^+ +>
?: (lth her 256) +>(lun.wod.dur [~ %if ~2000.1.1 0 (mix her .0.0.1.0)])
+>(lun.wod.dur ~)
::
++ kuch :: kuch:lax:as:go
|= had/hand :: hear key tag
^- (unit {code _+>})
=+ wey=(~(get by heg.caq.dur) had)
?^ wey
=+ key=u.wey
:+ ~ key
%= ..kuch
yed.caq.dur [~ had u.wey]
heg.caq.dur (~(del by heg.caq.dur) had)
qim.caq.dur (~(put by qim.caq.dur) had key)
==
=+ dyv=(~(get by qim.caq.dur) had)
?~ dyv ~
[~ u.dyv ..kuch]
::
++ wasc :: wasc:lax:as:go
|= key/code :: hear foreign code
^+ +>
=+ had=(shaf %hand key)
%_ ..wasc
yed.caq.dur [~ had key]
qim.caq.dur (~(put by qim.caq.dur) had key)
==
::
++ wast :: wast:lax:as:go
|= ryn/lane :: set route
^+ +>
%= +>
lun.wod.dur
?: ?=({$ix *} ryn)
?: ?| ?=($~ lun.wod.dur)
?=({$ix *} u.lun.wod.dur)
?& ?=({$if *} u.lun.wod.dur)
(gth p.ryn (add ~s10 p.u.lun.wod.dur))
==
==
[~ ryn]
lun.wod.dur
[~ ryn]
==
::
++ wist :: wist:lax:as:go
|= $: now/@da :: route via
waz/(list @p)
ryn/(unit lane)
pac/rock
==
^- (list boon)
?: =(our her) [[%ouzo *lane pac] ~]
?~ waz ~
=+ dyr=?:(=(her i.waz) dur (gur i.waz))
?. ?& !=(our i.waz)
?=(^ lun.wod.dyr)
==
:: ~& [%wist-skip i.waz lun.wod.dyr]
$(waz t.waz)
:_ ?: ?=($ix -.u.lun.wod.dyr)
$(waz t.waz)
~
:+ %ouzo u.lun.wod.dyr
?: &(=(i.waz her) =(~ ryn)) pac
=+ mal=(jam `meal`[%fore her ryn pac])
%- spit
^- cake
:* [our i.waz]
?~ yed.caq.dyr [%none mal]
:- %fast
%^ cat 7
p.u.yed.caq.dyr
(en:crua q.u.yed.caq.dyr mal)
==
::
++ xeno :: xeno:lax:as:go
^- (list ship) :: foreign canon
(saxo:title her)
::
++ xong :: xong:lax:as:go
^- (list ship) :: route unto
=+ [fro=xen too=xeno]
=+ ^= oot ^- (list ship)
=| oot/(list ship)
|- ^+ oot
?~ too ~
?: (lien fro |=(a/ship =(a i.too))) ~
[i.too $(too t.too)]
:: ~& [%xong-to [our her] (weld oot ?>(?=(^ fro) t.fro))]
(weld oot ?>(?=(^ fro) t.fro))
::
++ zuul :: zuul:lax:as:go
|= {now/@da ham/meal} :: encode message
^- (list rock)
=< weft
|%
++ wain :: message identity
^- flea
?+ -.ham [0 0]
$bond p.ham
$carp [kos liq]:p.ham
==
::
++ wasp :: null security
^-({p/skin q/@} [%none (jam ham)])
::
++ weft :: fragment message
^- (list rock)
=+ gim=wisp
=+ wit=(met ?:(fak.ton 13 13) q.gim)
?< =(0 wit)
?: |(?=($back -.ham) =(1 wit))
=+ yup=(spit [our her] p.gim q.gim)
[yup ~]
=+ ruv=(rip ?:(fak.ton 13 13) q.gim)
2017-04-17 03:12:12 +03:00
=+ inx=0
2017-04-17 04:52:41 +03:00
|- ^- (list rock)
?~ ruv ~
=+ ^= vie
%+ spit
[our her]
wasp(ham [%carp [wain (ksin p.gim) wit] inx i.ruv])
:- vie
$(ruv t.ruv, inx +(inx))
::
++ wisp :: generate message
^- {p/skin q/@}
?: =(%carp -.ham)
wasp
?: !=(~ yed.caq.dur)
?> ?=(^ yed.caq.dur)
:- %fast
%^ cat 7
p.u.yed.caq.dur
(en:r:cluy q.u.yed.caq.dur (jam ham))
?: &(=(~ lew.wod.dur) |(=(%back -.ham)))
wasp
=^ tuy +>.$
?:(=(~ lew.wod.dur) [*code +>.$] (griz now))
=+ yig=sen
:: =+ bil=`wyll`(pare wyl.dur law.saf) :: XX not set
=+ bil=law.saf :: XX send whole wyll
=+ hom=(jam ham)
?: =(~ lew.wod.dur)
:- %open
%^ jam
[~ `life`p.yig]
bil
(sign:as:q.yig tuy hom)
:- %full
=+ cay=cluy
%^ jam
[`life`p.cay `life`p.yig]
bil
(seal:as:q.yig pub:ex:r.cay tuy hom)
-- :: --zuul:lax:as:go
-- :: --lax:as:go
::
++ gur :: default door
|= her/ship
^- door
=+ def=?.((lth her 256) ~ [~ %if ~2000.1.1 0 (mix her .0.0.1.0)])
[[~2100.1.1 def ~] ~ *clot]
::
++ myx :: door by ship
|= her/ship
^+ lax
=+ fod=(~(get by hoc.saf) her)
~(. lax [her ?~(fod (gur her) u.fod)])
::
++ nux :: install door
|= new/_lax
^+ +>
+>(hoc.saf (~(put by hoc.saf) her.new dur.new))
::
++ sen :: current crypto
^- {p/life q/acru}
?~(val.saf !! [p.i.val.saf r.i.val.saf])
::
++ sev :: crypto by life
|= mar/life
^- {p/? q/acru}
?~ val.saf !!
?: =(mar p.i.val.saf)
[& r.i.val.saf]
?> (lth mar p.i.val.saf)
:- |
|- ^- acru
?> ?=(^ t.val.saf)
?: =(mar p.i.t.val.saf)
r.i.t.val.saf
$(t.val.saf t.t.val.saf)
::
++ sex :: export secrets
|- ^- mace
?~ val.saf ~
:- [p.i.val.saf sec:ex:r.i.val.saf]
$(val.saf t.val.saf)
::
++ xen :: canon
|- ^- (list ship)
(saxo:title our)
::
++ yew :: best wyll for
|= her/ship
^- wyll
=+ gel=(~(get by hoc.saf) her)
?^ gel
lew.wod.u.gel
?:((lth her 256) ~ $(her (sein:title her)))
-- :: --as:go
::
++ ha !: :: adopt new license
|= {our/ship mac/mace wil/wyll}
^- town
?> !=(~ mac)
?> ?=(^ wil)
:: ?> =(our r.p.q.i.wil)
?> =(wil (grip wil ~))
?> (real mac wil)
%_ ton
fak r.i.wil
urb
%+ ~(put by urb.ton)
our
:* %- flop
|- ^- (list ship)
?:((lth our 256) ~ =+(seg=(sein:title our) [seg $(our seg)]))
::
(turn mac |=({p/life q/ring} [p q (weur:suite q)]))
wil
~
~
2017-04-17 03:12:12 +03:00
==
==
2017-04-17 04:52:41 +03:00
::
++ su :: install safe
|= new/_as
^- town
ton(urb (~(put by urb.ton) our.new saf.new))
::
++ ti :: expire by time
|= now/@da
^- town
!!
::
++ us :: produce safe
|= our/ship
^- (unit _as)
=+ goh=(~(get by urb.ton) our)
?~ goh ~
[~ ~(. as [our u.goh])]
-- :: --go
--
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4aG, protocol engine ::
::
|%
++ am :: am
|_ {now/@da fox/fort} :: protocol engine
++ anon
|= wen/@da
^- @tas
?: =(wen now) %now
?: (gth wen now)
(cat 3 (scot %ud (msec (sub wen now))) %ms)
(cat 3 '-' $(now wen, wen now))
::
++ anun
|= wun/(unit @da)
^- @tas
?~(wun %no (anon u.wun))
::
++ anos
|= one/@dr
^- @tas
?: =(`@`0 one) '0ms'
(cat 3 (scot %ud (msec one)) %ms)
::
++ anus
|= une/(unit @dr)
^- @tas
?~(une %no (anos u.une))
::
++ boot :: boot:am
^- fort :: restore from noun
%= fox
urb.ton
%- ~(gas by *(map ship sufi))
%+ turn
(~(tap by urb.ton.fox) ~)
|= {p/ship q/sufi} ^- {p/ship q/sufi}
:- p
%= q
val
(turn val.q |=({p/life q/ring r/acru} [p q (weur:suite q)]))
==
==
++ come :: come:am
|= {ges/(unit @t) wid/@ bur/@ fak/?} :: instantiate pawn
^- {p/{p/ship q/@uvG} q/fort}
=+ loy=(bruw:suite wid bur)
=+ rig=sec:ex:loy
=+ our=`@p`fig:ex:loy
=+ syp=[[0 ~ our now] [%en %pawn ges] pub:ex:loy]
:- [our pac:ex:loy]
%_ fox
ton
%^ ~(ha go ton.fox)
our
`mace`[[0 rig] ~]
`wyll`[[(sign:as:loy *@ (shaf %self (sham syp))) syp fak] ~]
fak.ton
fak
2016-11-24 07:25:07 +03:00
==
::
2017-04-17 04:52:41 +03:00
++ czar !: :: czar:am
|= {her/ship ger/@uw fak/?} :: instantiate emperor
^- {p/(list boon) q/fort}
~& [%czar her]
::
:: fake uses carrier #
::
=+ loy=?:(fak (bruw:suite 2.048 her) (bruw:suite 2.048 ger))
=+ fim==(fig:ex:loy (zeno her))
?: &(!fak !fim) !! :: not fake & bad fig
=+ mac=`mace`[[0 sec:ex:loy] ~]
=+ syp=`step`[`bray`[0 ~ her now] [%en %czar ~] pub:ex:loy]
=+ ded=`deyd`[(sign:as:loy *@ (shaf %self (sham syp))) syp fak]
=+ buq=`buck`[mac [ded ~]]
=: ton.fox (~(ha go ton.fox) her buq)
zac.fox (~(put by zac.fox) her *corn)
fak.ton.fox fak
==
[[[%beer her pac:ex:loy] ~] fox]
::
++ user :: instantiate citizen
|= {her/ship ger/@uw fak/?}
^- {p/(list boon) q/fort}
=^ out fox (czar her ger fak)
?: (lth her 256)
[out fox]
::
:: `ger` is the ticket; make a key out of it (XX use scrypt);
:: install it as a symmetric key.
::
=+ key=(shax ger)
=+ dad=(sein:title her)
~& [%user-auth her `@p`ger `@p`(mug key)]
=+ gus=(need (~(us go ton.fox) her))
=+ diz=(wasc:(myx:gus dad) key)
=. gus (nux:gus diz)
=. ton.fox (~(su go ton.fox) gus)
[out fox]
::
++ doze
%^ hunt lth `(add now ~s32)
|- ^- (unit @da)
?~ zac.fox ~
;: (cury hunt lth)
$(zac.fox l.zac.fox)
$(zac.fox r.zac.fox)
doze:(um p.n.zac.fox)
2017-04-17 03:12:12 +03:00
==
2017-04-17 04:52:41 +03:00
::
++ gnaw :: gnaw:am
|= {ryn/lane pac/rock} :: process packet
^- {p/(list boon) q/fort}
?. =(7 (end 0 3 pac)) [~ fox]
=+ kec=(bite pac)
?: (goop p.p.kec) [~ fox]
?. (~(has by urb.ton.fox) q.p.kec)
[~ fox]
=< zork
=< abet
:: ~& [%in p.p.kec (flam (shaf %flap pac))]
%- chew:(ho:(um q.p.kec) p.p.kec)
[q.kec (shaf %flap pac) ryn r.kec]
::
++ goop :: blacklist
|= him/ship
|
::
++ have :: have:am
|= {our/ship buq/buck} :: acquire license
^- {p/(list boon) q/fort}
=: ton.fox (~(ha go ton.fox) our buq)
zac.fox (~(put by zac.fox) our *corn)
==
[[[%beer our pac:ex:q:sen:(need (~(us go ton.fox) our))] ~] fox]
::
++ kick :: kick:am
|= hen/duct :: refresh net
=+ aks=(turn (~(tap by urb.ton.fox) ~) |=({p/ship q/sufi} p))
|- ^- {p/(list boon) q/fort}
?~ aks [~ fox]
=^ buz fox zork:(kick:(um i.aks) hen)
=^ biz fox $(aks t.aks)
[(weld p.buz p.biz) fox]
::
++ rack :: ruck:am
|= {soq/sock kos/bole cop/coop} :: new e2e ack
^- {p/(list boon) q/fort}
zork:abet:(hike:(ho:(um p.soq) q.soq) kos cop)
::
++ wake :: wake:am
|= hen/duct :: harvest packets
=+ caz=zac.fox
|- ^- {p/(list boon) q/fort}
?~ caz [~ fox]
=^ lef fox $(caz l.caz)
=^ ryt fox $(caz r.caz)
=^ bun fox zork:(wake:(um p.n.caz) hen)
:_(fox :(weld p.lef p.ryt p.bun))
::
++ wise :: wise:am
|= {soq/sock hen/duct cha/path val/*} :: send request
^- {p/(list boon) q/fort}
zork:abet:ve-abet:(ve-tell:(vend:(ho:(um p.soq) q.soq) hen) cha val)
::
++ wish :: wise:am
|= {soq/sock kos/bole cha/path val/*} :: return response
^- {p/(list boon) q/fort}
zork:abet:ve-abet:(ve-tell:(vand:(ho:(um p.soq) q.soq) kos) cha val)
::
::
++ um :: per server
|= our/ship
=+ gus=(need (~(us go ton.fox) our))
=+ ^= weg ^- corn
=+ weg=(~(get by zac.fox) our)
?^(weg u.weg *corn)
=| bin/(list boon)
|%
++ doze :: doze:um:am
|- ^- (unit @da) :: wakeup time
?~ wab.weg ~
;: (cury hunt lth)
$(wab.weg l.wab.weg)
$(wab.weg r.wab.weg)
doze:(ho p.n.wab.weg)
==
::
++ wake :: wake:um:am
|= hen/duct :: activate
=. +> (kick hen)
=+ baw=wab.weg
|- ^+ +>.^$
?~ baw +>.^$
=. +>.^$ $(baw l.baw)
=. +>.^$ $(baw r.baw)
abet:thaw:(ho p.n.baw)
::
++ ho :: ho:um:am
|= her/ship :: per friend
=+ diz=(myx:gus her)
=+ bah=(~(get by wab.weg) her)
=> .(bah `bath`?~(bah [~ [2 ~ ~] ~] u.bah))
|%
++ zest ~
++ abet :: abet:ho:um:am
%= +>.$ :: resolve
gus (nux:gus diz)
wab.weg (~(put by wab.weg) her bah)
==
::
++ back :: back:ho:um:am
|= {ost/bone dam/flap cop/coop lag/@dr} :: receive ack
^+ +>
?: =(`@`0 dam) +> :: dummy ack
?. (~(has by sal.bah) ost)
~& [%back-lost ost (flam dam)]
+>
ve-abet:(ve-back:(vand ost) dam cop lag)
::
++ busk :: busk:ho:um:am
|= {waz/(list ship) pex/(list rock)} :: send packets
%_ +>
bin
|- ^+ bin
?~ pex bin
$(pex t.pex, bin (weld (flop (wist:diz now waz ~ i.pex)) bin))
==
::
++ chew :: chew:ho:um:am
|= {sin/skin dam/flap ryn/lane msg/@} :: handle anything
^+ +>
::
:: ++chew
::
=^ fud diz (grok sin ryn msg)
:: ~& [%chew sin -.fud `@p`(mug dam) ryn (met 3 msg)]
?- -.fud
$back =. +>.$ ?. =(%full sin) +>.$
:: here we send a dummy ack
:: to complete the key exchange and stop
:: the sender from using %full
:: (conk ~ dam)
:: (conk 0 `@`0 ~)
+>.$
:: ~& [%chew-back p.fud (flam dam) (flam q.fud)]
(back +.fud)
$bond hi-abet:(hi-bond:(high p.fud dam ryn) q.fud r.fud)
$carp =< hi-abet
%- hi-carp:(high [kos liq]:p.fud dam ryn)
[(kins syn.p.fud) cnt.p.fud q.fud]
$fore (fore ryn +.fud)
==
::
++ conk :: conk:ho:um:am
|= {kos/bole dam/flap cop/coop} :: send acknowledge
^+ +>
?: =(0 kos)
:: don't ack an ack
~& [%conk-acaq (flam dam)]
+>
=+ pex=(zuul:diz now [%back (mix 1 kos) dam cop ~s0])
(busk xong:diz pex)
::
++ doze :: doze:ho:um:am
^- (unit @da) :: wait until
=| wun/(unit @da)
|- ^- (unit @da)
?~ sal.bah ~
=. wun $(sal.bah l.sal.bah)
=. wun $(sal.bah r.sal.bah)
=+ nuw=ve-wait:(vond p.n.sal.bah q.n.sal.bah)
?~(wun nuw ?~(nuw wun `(min u.nuw u.wun)))
::
++ fore :: fore:ho:um:am
|= {ryn/lane who/ship via/(unit lane) msg/@} :: forward packet
^+ +>
=+ ^= lyn ^- lane
?~ via ryn
?. ?=($if -.u.via) u.via
[%ix +.u.via]
:: u.via
?: =(our who)
+>.$(bin [[%mead lyn msg] bin])
=+ zid=(myx:gus who)
+>.$(bin (weld (flop (wist:zid now xong:zid [~ lyn] msg)) bin))
::
++ grok :: grok:ho:um:am
|= {sin/skin ryn/lane msg/@} :: decode message
^+ [*meal diz]
::
:: ++grok decodes a message blob to a ++meal. Decoding
:: affects the orb connection state, diz.
::
=+ maw=|=(@ ((hard meal) (cue +<)))
=. diz ?:(=(%none sin) diz (wast:diz ryn))
?- sin
$none
:: ~& %chew-none
[(maw msg) diz]
::
$fast
:: ~& %chew-fast
=+ [mag=`hand`(end 7 1 msg) bod=(rsh 7 1 msg)]
=+ dey=(kuch:diz mag)
?~ dey
~& [%bad-key her mag]
!!
=^ key diz u.dey
[(maw (dy:q:sen:gus key bod)) diz]
::
$full
:: ~& %chew-full
=+ mex=((hard {p/{p/life q/life} q/wyll r/@}) (cue msg))
=. diz (deng:diz q.mex)
=+ wug=cluy:diz
?> =(q.p.mex p.wug)
=+ gey=(sev:gus p.p.mex)
=+ mes=(need (tear:as:q.gey pub:ex:r.wug r.mex))
=. diz (wast:(wasc:diz p.mes) ryn)
[(maw q.mes) diz]
::
$open
:: ~& %chew-open
=+ mex=((hard {p/{$~ q/life} q/wyll r/@}) (cue msg))
=. diz (deng:diz q.mex)
=+ wug=cluy:diz
?> =(q.p.mex p.wug)
=. diz (wast:diz ryn)
[(maw (need (sure:as:r.wug *code r.mex))) diz]
==
::
++ hike :: hike:ho:um:am
|= {kos/bole cop/coop} :: acknowledgment
^+ +>
:: ~& [%hike [our her] kos cop]
=+ loc=(~(got by fon.bah) kos)
?. &(?=(^ laz.loc) =(kos p.p.u.laz.loc))
~& [%hike-no-message kos laz.loc]
!!
:: ~& [?~(cop %ro %re) her kos q.p.u.laz.loc]
hi-abet:(~(hi-back hi [kos q.p.u.laz.loc] [& +.u.laz.loc] loc) cop)
::
++ high :: high:ho:um:am
|= {fel/flea dam/flap ryn/lane} :: external message
^+ hi
~(. hi fel [& dam ryn] (fall (~(get by fon.bah) p.fel) *lock))
::
++ hi :: receiving core
|_ $: $: kos/bole :: sender
liq/tick :: index
==
$: tru/? :: authenticated
fap/flap :: critical flap
ryn/lane :: received from
==
lock
==
++ hi-abet :: resolve
+>(fon.bah (~(put by fon.bah) kos +<+>))
:: :: receive message
++ hi-bond
|= {cha/path val/*}
^+ +>
?: (lth liq laq)
:: we already acked this msg; ack it again
:: ~& [%hi-bond-low [kos liq] laq]
hi-cong
?: (gth liq laq)
:: later than the next msg; ignore
~& [%hi-bond-high [kos liq] laq]
+>
?: !=(~ laz)
:: this msg is already being processed; ignore
~& [%hi-bond-wait [kos liq] laq]
+>
=. nys (~(del by nys) liq)
?: =(0 (end 0 1 kos))
~& [%br her kos cha liq]
=. +>.$ (hi-back ~)
%= +>.$
bin :_(bin [%malt [our her] (~(got by r.zam.bah) kos) cha val])
==
~& [%tr her kos cha liq]
%= +>.$
bin :_(bin [%milk [our her] kos cha val])
laz `[[kos liq] fap ryn]
==
::
++ hi-back :: app acknowledge
|= cop/coop
^+ +>
(hi-cone(laq +(laq), laz ~) cop)
::
++ hi-carp :: receive fragment
|= {syn/skin cnt/@ud far/(pair @ud @)}
^+ +>
:: ~& [%carp fap/`@p`(mug fap) syn/syn cnt/cnt far/p.far]
?: (lth liq laq)
:: ~& [%hi-card-low liq laq]
hi-cong
?: (gth liq laq)
:: ~& [%hi-card-high liq laq]
+>
=+ neb=`bait`(fall (~(get by nys) liq) [syn 0 [cnt ~]])
?> &(=(p.neb syn) (gth p.r.neb p.far) =(p.r.neb cnt))
=+ doy=(~(get by q.r.neb) p.far)
?^ doy (hi-conk ~)
=: q.r.neb (~(put by q.r.neb) p.far q.far)
q.neb +(q.neb)
==
?. =(q.neb p.r.neb)
(hi-conk(nys (~(put by nys) liq neb)) ~)
=^ fud diz (grok syn ryn (hi-golf r.neb))
=+ sec=?=(?($open $fast $full) syn)
=. tru |(tru sec)
?: ?=($back -.fud)
~& [%back-phat [kos p.fud] (flam q.fud) r.fud s.fud]
+>.$(+> (back +.fud))
?. &(tru ?=($bond -.fud) =([kos liq] p.fud))
~& [%ames-bad-bond tru -.fud [[kos liq] p.fud]]
!!
(hi-bond q.fud r.fud)
::
++ hi-cong (hi-conk (~(get by exc) liq)) :: accepted ack
++ hi-conk :: stated ack
|=(cop/coop +>(+> (conk kos fap cop)))
::
++ hi-cone :: record ack
|= cop/coop
=. +>+> (conk kos fap cop)
?~(cop +> +>(exc (~(put by exc) liq u.cop)))
::
++ hi-golf :: golf:hi:ho:um:am
|= duv/dove :: assemble fragments
=+ [nix=0 rax=*(list @)]
|- ^- @
?: =(p.duv nix)
(can ?:(fak.ton.fox 13 13) (turn (flop rax) |=(a/@ [1 a])))
$(nix +(nix), rax [(need (~(get by q.duv) nix)) rax])
--
::
++ pong :: pong:ho:um:am
|= hen/duct :: test connection
^+ +>
+>
:: (conk 0 `@`0 ~)
:: ::
++ thaw :: activate by time
^+ .
=+ lah=sal.bah
=^ sal +
|- ^+ [lah +>.$]
?~ lah [~ +>.$]
=^ lef +>.$ $(lah l.lah)
=^ ryt +>.$ $(lah r.lah)
=^ nod +>.$ ve-abed:ve-wake:(vond n.lah)
[[nod lef ryt] +>.$]
+>(sal.bah sal)
::
++ ve :: outbound core
|_ $: kos/bole ::
mup/_zu:pump ::
colt ::
== ::
++ ve-abed [[kos +<+>] +>]:ve-able :: raw resolve
++ ve-abet :: resolve core
=> ve-able
%= +>
sal.bah
(~(put by sal.bah) kos +<+>)
==
:: ::
++ ve-able :: converge machine
ve-tire:ve-ably:ve-feed:ve-ably
:: ::
++ ve-ably :: apply pump effects
^+ .
=^ fex myn abet:mup
=. mup (yawn:pump myn)
|- ^+ +>.$
?~ fex +>.$
%= $
fex t.fex
+>.$
?- -.i.fex
$send
:: ~& [%go her `@p`(mug p.i.fex) q.i.fex]
+>.$(+> (busk xong:diz [r.i.fex ~]))
::
$good
:: ~& [%ok her `@p`(mug p.i.fex) r.i.fex]
(ve-good q.i.fex s.i.fex)
==
==
:: ::
++ ve-back :: hear an ack
|= {dam/flap cop/coop lag/@dr}
:: ~& [%ve-back (flam dam) cop lag]
+>(mup (work:mup now %back dam cop lag))
:: ::
++ ve-feed :: feed pump
^+ .
=^ cly . (ve-find want.mup)
:: ~& [%ve-feed want.mup (lent cly)]
+(mup (work:mup now %pack cly))
:: ::
++ ve-find :: collect packets
|= may/@ud
^- {(list clue) _+>}
=- [(flop -<) ->]
=+ [inx=lac hav=*(list clue)]
|- ^- {(list clue) _+>.^$}
?: |(=(0 may) =(inx seq)) [hav +>.^$]
=^ hey +>.^$ (ve-flow inx may hav)
$(inx +(inx), may p.hey, hav q.hey)
:: ::
++ ve-flow :: collect from msg
|= {tiq/tick may/@ud hav/(list clue)}
=+ mob=(~(got by cob) tiq)
|- ^- {(pair @ud (list clue)) _+>.^$}
?: |(=(0 may) ?=($~ cly.mob))
[[may hav] +>.^$(cob (~(put by cob) tiq mob))]
%= $
may (dec may)
hav [i.cly.mob hav]
cly.mob t.cly.mob
==
:: ::
++ ve-good :: handle ack
|= {paz/part cop/coop}
^+ +>
=+ bum=(~(get by cob) q.paz)
?: |(?=($~ bum) =(~ cly.u.bum))
:: ~& [%ve-good-ignore paz ?=($~ cop)]
+>.$
?^ cop
::
:: a failure; save this nack, clear the message
::
~& [%ve-good-fail q.paz]
%_ +>.$
mup (work:mup now %cull q.paz)
cob (~(put by cob) q.paz u.bum(cly ~, cup `cop))
==
?> (lth ack.u.bum num.u.bum)
=. ack.u.bum +(ack.u.bum)
=. cup.u.bum ?.(=(ack.u.bum num.u.bum) ~ [~ ~])
+>.$(cob (~(put by cob) q.paz u.bum))
:: ::
++ ve-tire :: report results
|- ^+ +
=+ zup=(~(get by cob) lac)
?~ zup +.$
?~ cup.u.zup +.$
~& [?:(=(0 (end 0 1 kos)) %ta %ba) her kos lac]
%= $
lac +(lac)
cob (~(del by cob) lac)
bin :_ bin
?: =(1 (end 0 1 kos))
[%cola [our her] kos [cha u.cup]:u.zup]
[%coke [our her] (~(got by r.zam.bah) kos) [cha u.cup]:u.zup]
==
:: ::
++ ve-wait :: next wakeup
^- (unit @da)
wait:mup
:: ::
++ ve-wake :: timeout
^+ .
.(mup (flay:mup now))
:: ::
++ ve-tell :: send
|= {cha/path val/*}
^+ +>
=+ pex=(zuul:diz now [%bond [(mix kos 1) seq] cha val])
~& [?:(=(0 (end 0 1 kos)) %tx %bx) her kos seq cha (lent pex)]
%_ +>.$
seq +(seq)
cob
%+ ~(put by cob)
seq
^- comb
:* ~
cha
(lent pex)
0
=+ inx=0
|- ?~ pex ~
:_ $(pex +.pex, inx +(inx))
[& [inx seq] (shaf %flap i.pex) i.pex]
==
==
--
:: ::
++ vind :: default colt
^- colt
:* 0 :: seq/tick
0 :: lac/tick
~ :: cob/(map tick comb)
^- mini
:* ^- stat
:* :* 0 :: cur/@ud
2 :: max/@ud
0 :: rey/@ud
==
:* ~s5 :: rtt/@dr
~2010.1.1 :: las/@da
~2010.1.1 :: lad/@da
== ==
~
~
== ==
:: ::
++ vond :: outgoing core
|= {kos/bole cot/colt}
~(. ve kos (yawn:pump myn.cot) cot)
:: ::
++ vand :: response core
|= kos/bole
(vond kos (fall (~(get by sal.bah) kos) vind))
:: ::
++ vend :: request core
|= hen/duct
^+ ve
=+ ust=(~(get by q.zam.bah) hen)
?~ ust
%. [p.zam.bah vind]
%_ vond
p.zam.bah (add 2 p.zam.bah)
q.zam.bah (~(put by q.zam.bah) hen p.zam.bah)
r.zam.bah (~(put by r.zam.bah) p.zam.bah hen)
==
(vond u.ust (~(got by sal.bah) u.ust))
-- :: --ho:um:am
::
++ kick :: kick:um:am
|= hen/duct :: test connection
^+ +>
=+ hoy=hoy.saf.gus
|- ^+ +>.^$
?~ hoy
+>.^$
$(hoy t.hoy, +>.^$ (pong i.hoy hen))
::
++ pals :: pals:um:am
^- (list @p) :: active neighbors
:: XX
~
::
++ pong :: pong:um:am
|= {her/ship hen/duct} :: test neighbor
^+ +>
abet:(pong:(ho her) hen)
::
++ zork :: zork:um:am
^- {p/(list boon) q/fort} :: resolve
:- (flop bin)
%_ fox
ton (~(su go ton.fox) gus)
zac (~(put by zac.fox) our.gus weg)
==
-- :: --um:am
-- :: --am
2017-04-17 03:12:12 +03:00
--
. ==
2017-04-17 04:52:41 +03:00
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4aH, protocol vane ::
::
=| $: fox/fort :: kernel state
== ::
|= {now/@da eny/@ ski/sley} :: current invocation
^? :: opaque core
=<
|% :: vane interface
++ call :: handle request
|= $: hen/duct
hic/(hypo (hobo task:able))
==
=> %= . :: XX temporary
q.hic
^- task:able
?: ?=($soft -.q.hic)
((hard task:able) p.q.hic)
?: (~(nest ut -:!>(*task:able)) | p.hic) q.hic
~& [%ames-call-flub (@tas `*`-.q.hic)]
((hard task:able) q.hic)
==
^- {p/(list move) q/_..^$}
=^ duy ..knob
(knob hen q.hic)
[duy ..^$]
::
++ doze
|= {now/@da hen/duct}
^- (unit @da)
^doze
::
++ load
|= old/fort
^+ ..^$
~& %ames-reload
..^$(fox old)
::
++ scry
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
^- (unit (unit cage))
?. ?=($& -.why) ~
=* who p.why
?~ tyl [~ ~]
=+ hun=(slaw %p i.tyl)
?~ hun [~ ~]
?. =(`@`0 ren) ~
?+ lot ~
{$$ $ud @}
(perm who u.hun q.p.lot [syd t.tyl])
::
{$$ $da @}
?. =(now q.p.lot) ~
(temp who u.hun [syd t.tyl])
2016-11-24 07:25:07 +03:00
==
::
2017-04-17 04:52:41 +03:00
++ stay fox
++ take :: accept response
|= {tea/wire hen/duct hin/(hypo sign-arvo)}
^- {p/(list move) q/_..^$}
=^ duy ..knap
(knap tea hen q.hin)
[duy ..^$]
2017-04-17 03:12:12 +03:00
--
2017-04-17 04:52:41 +03:00
|%
++ claw |=(our/ship ^-(duct hen:(need (~(get by zac.fox) our))))
++ clod
|= {soq/sock kos/bole cha/path hen/duct cad/card:able}
^- {(list move) fort}
?> ?=({@ *} cha)
=+ pax=[(scot %p p.soq) (scot %p q.soq) (scot %ud kos) ~]
=+ ^= did
^- move
?+ i.cha ~|([%bad-vane soq hen cha] !!)
$c [hen %pass pax `note-arvo`[%c cad]]
$e [hen %pass pax `note-arvo`[%e cad]]
$g [hen %pass pax `note-arvo`[%g cad]]
==
[[did ~] fox]
::
++ clop
|= {now/@da hen/duct bon/boon}
^- {(list move) fort}
?- -.bon
$acid :_(fox [[hen [%give %drop ~]] ~])
$beer
:_ fox(zac (~(put by zac.fox) p.bon `corn`[hen ~]))
~& [%beer p.bon]
:* [hen [%slip %c %init p.bon]]
[hen [%give %init p.bon]]
[hen [%slip %a %kick now]]
[hen [%slip %e %init p.bon]]
[hen [%slip %g %init p.bon]]
[hen [%slip %d %init p.bon]] :: must be after gall
~
==
::
$cola (clod p.bon q.bon r.bon hen [%went p.bon +.r.bon q.bon s.bon])
$coke :_(fox [[q.bon [%give %woot q.p.bon r.bon s.bon]] ~])
$malt :_(fox [[q.bon [%give %waft q.p.bon r.bon s.bon]] ~])
$mead :_(fox [[hen [%give %hear p.bon q.bon]] ~])
$milk (clod p.bon q.bon r.bon hen [%west p.bon +.r.bon q.bon s.bon])
$ouzo
:: ~& [%to (flam (shaf %flap q.bon))]
:_ fox
[[gad.fox [%give %send p.bon q.bon]] ~]
::
$wine
:_ fox
=+ fom=~(rend co %$ %p q.p.bon)
:~ :- hen
:+ %slip %d
:+ %flog %text
;: weld
"; "
fom
q.bon
==
2016-11-24 07:25:07 +03:00
==
==
::
2017-04-17 04:52:41 +03:00
++ doze
^- (unit @da)
~(doze am now fox)
::
++ knap
|= {tea/wire hen/duct sih/sign-arvo}
^- {(list move) _+>}
?. ?=({@ @ @ $~} tea)
~& [%knap-tea tea]
!!
=+ [soq kos]=[[(slav %p i.tea) (slav %p i.t.tea)] (slav %ud i.t.t.tea)]
?+ sih
~|([%ames-sign -.sih (@tas +<.sih)] !!)
::
{?($e $c $g) $rend *}
=^ bin fox (~(wish am [now fox]) soq kos p.+>.sih q.+>.sih)
(knit hen bin)
::
{?($e $c $g) $mack *}
=^ bin fox
(~(rack am [now fox]) soq kos ?~(+>.sih ~ `[~ %lose u.p.+>.sih]))
(knit hen bin)
==
::
++ knit
|= {hen/duct bin/(list boon)}
^- {(list move) _+>}
=| out/(list move)
|- ^+ [out +>.^$]
?~ bin
[(flop out) +>.^$]
=^ toe fox (clop now hen i.bin)
$(bin t.bin, out (weld (flop toe) out))
::
++ knob
|= {hen/duct kyz/task:able}
^- {(list move) _+>}
?: ?=($crud -.kyz)
[[[hen [%slip %d %flog kyz]] ~] +>]
=^ bin fox
^- {(list boon) fort}
?- -.kyz
$barn
[~ fox(gad hen)]
$cash
(~(have am [now fox]) p.kyz q.kyz)
::
?($want $wegh $west)
!!
::
$hear
(~(gnaw am [now fox]) p.kyz q.kyz)
::
$hole
~& %ames-hole-disabled
[~ fox]
::
$junk
[~ fox(any.ton (shax (mix any.ton.fox p.kyz)))]
::
$kick
(~(kick am [now fox(hop p.kyz)]) hen)
::
$make
=+ vun=(~(come am [now fox]) p.kyz (bex q.kyz) r.kyz s.kyz)
[[[%beer p.vun] ~] q.vun]
::
$sith
(~(user am [now fox]) p.kyz q.kyz r.kyz)
::
$wake
(~(wake am [now fox]) hen)
::
$went
:: we don't send any responses as yet
!!
::
$wont
(~(wise am [now fox]) p.kyz hen q.kyz r.kyz)
==
(knit hen bin)
::
++ perm
|= {our/ship his/ship mar/@ud tyl/path}
^- (unit (unit cage))
?~ tyl ~
?: ?=({$name $~} tyl)
=+ wul=$(tyl [%wyll ~])
:- ~
:- ~
:- %noun
!>
?~ wul
(scot %p his)
(gnow:title his q.q.q:((hard deyd) -.u.wul))
?: ?=({$gcos $~} tyl)
=+ wul=$(tyl [%wyll ~])
?~(wul ~ ``[%noun !>(`gcos`q.q.q:((hard deyd) -.u.wul))])
=+ gys=(~(us go ton.fox) our)
?~ gys ~
?. =(our his)
?: ?=({$wyll $~} tyl)
=+ fod=(~(get by hoc.saf.u.gys) his)
?~ fod ~
%+ bind (rick mar his lew.wod.u.fod)
|=(a/wyll `[%noun !>(a)])
?: ?=({$tick $~} tyl)
?. =(our (sein:title his)) ~
``[%noun !>((end 6 1 (shaf %tick (mix his (shax sec:ex:q:sen:u.gys)))))]
~
?: ?=({$buck $~} tyl)
=+ muc=(rice mar sex:u.gys)
=+ luw=(rick mar our law.saf.u.gys)
?. &(?=(^ muc) ?=(^ luw)) ~
``[%noun !>(`buck`[u.muc u.luw])]
?: ?=({$code $~} tyl)
``[%noun !>((end 6 1 (shaf %pass (shax sec:ex:q:sen:u.gys))))]
?: ?=({$wyll $~} tyl)
(bind (rick mar our law.saf.u.gys) |=(a/wyll `[%noun !>(a)]))
~
::
++ temp
|= {our/ship his/ship tyl/path}
^- (unit (unit cage))
?: ?=({?($show $tell) *} tyl)
?^ t.tyl [~ ~]
=+ gys=(~(us go ton.fox) our)
?~ gys [~ ~]
=+ zet=zest:(ho:(~(um am [now fox]) our) his)
``[%noun ?:(=(%show i.tyl) !>(>zet<) !>(zet))]
?: ?=({$pals $~} tyl)
?. =(our his)
~
``[%noun !>(pals:(~(um am [now fox]) our))]
?. ?=({$life $~} tyl)
=+ muc=$(tyl [%life ~])
(perm our his ?~(muc 0 (@ud u.muc)) tyl)
=+ gys=(~(us go ton.fox) our)
?~ gys ~
?. =(our his)
=+ fod=(~(get by hoc.saf.u.gys) his)
?~ fod ~
?~ lew.wod.u.fod ~
``[%noun !>(`@ud`p.p.q.i.lew.wod.u.fod)]
?~ val.saf.u.gys ~
``[%noun !>(`@ud`p.i.val.saf.u.gys)]
::
++ wegh
^- mass
:- %ames
:- %|
:~ fox+[%& fox]
==
--