mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-11 16:09:31 +03:00
1932 lines
76 KiB
Plaintext
1932 lines
76 KiB
Plaintext
:: ames (4a), networking
|
|
::
|
|
|= pit=vase
|
|
=> =~
|
|
:: structures
|
|
|%
|
|
++ flog :: error wrapper
|
|
$% [%crud p=@tas q=(list tank)] ::
|
|
[%text p=tape] ::
|
|
== ::
|
|
++ gift :: out result <-$
|
|
$% [%hear p=lane q=@] :: receive packet
|
|
[%init p=@p] :: report install
|
|
[%send p=lane q=@] :: transmit packet
|
|
[%waft p=sock q=*] :: response message
|
|
[%wart p=sock q=@tas r=path s=*] :: network request
|
|
[%went p=ship q=cape] :: reaction message
|
|
[%woot p=ship q=coop] :: e2e reaction message
|
|
== ::
|
|
++ hasp ,[p=ship q=term] :: see %gall
|
|
++ kiss :: in request ->$
|
|
$% [%barn ~] :: new unix process
|
|
[%crud p=@tas q=(list tank)] :: error with trace
|
|
[%cash p=@p q=buck] :: civil license
|
|
[%hear p=lane q=@] :: receive packet
|
|
[%hole p=lane q=@] :: packet failed
|
|
[%junk p=@] :: entropy
|
|
[%kick p=@da] :: wake up
|
|
[%make p=(unit ,@t) q=@ud r=@ s=?] :: wild license
|
|
[%sith p=@p q=@uw r=?] :: imperial generator
|
|
[%wake ~] :: timer activate
|
|
[%want p=sock q=path r=*] :: send message
|
|
[%wont p=sock q=path r=*] :: e2e send message
|
|
== ::
|
|
++ move ,[p=duct q=(mold note gift)] :: local move
|
|
++ note :: out request $->
|
|
$? $: %d :: to %dill
|
|
$% [%flog p=flog] ::
|
|
== == ::
|
|
$: %a :: to %ames
|
|
$% [%kick p=@da] ::
|
|
== == ::
|
|
$: %g :: to %gall
|
|
$% [%rote p=sack q=path r=*] ::
|
|
[%roth p=sack q=path r=*] ::
|
|
== == ::
|
|
$: @tas :: to any
|
|
$% [%init p=@p] ::
|
|
[%want p=sock q=path r=*] ::
|
|
[%wart p=sock q=@tas r=path s=*] ::
|
|
== == == ::
|
|
++ sign :: in result $<-
|
|
$? $: %a :: from %ames
|
|
$% [%went p=ship q=cape] ::
|
|
== == ::
|
|
$: %g :: from %gall
|
|
$% [%mean p=ares] ::
|
|
[%nice ~] ::
|
|
== == ::
|
|
$: @tas ::
|
|
$% [%crud p=@tas q=(list tank)] :: by any
|
|
== == == ::
|
|
--
|
|
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
|
:: section 4aA, identity logic ::
|
|
::
|
|
|%
|
|
::
|
|
++ grip :: extend will
|
|
|= [wet=will law=will]
|
|
^- will
|
|
?~ 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 r.p.q.i.wet)
|
|
|- ^- will
|
|
?: ?& =(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=deed old=deed]
|
|
^- &
|
|
?> (melt new old)
|
|
?> =((shaf %meld (sham q.new)) (need (sure:as:(haul r.q.old) *code p.new)))
|
|
%&
|
|
::
|
|
++ melt :: proper connect
|
|
|= [new=deed old=deed]
|
|
^- ?
|
|
=+ rac=(clan 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 r.p.q.new))
|
|
=(p.p.q.old u.q.p.q.new)
|
|
==
|
|
==
|
|
::
|
|
++ pare :: shorten against
|
|
|= [fou=will law=will]
|
|
:: ~& [%pare-fou fou]
|
|
:: ~& [%pare-law law]
|
|
^- will
|
|
=+ [ouf=(flop fou) wal=(flop law)]
|
|
%- flop
|
|
|- ^- will
|
|
?~ ouf wal
|
|
?~ wal ?>(=(~ ouf) ~)
|
|
?. =(i.wal i.ouf) ouf
|
|
$(wal t.wal, ouf t.ouf)
|
|
::
|
|
++ pier !: :: initial deed
|
|
|= wed=deed
|
|
^- &
|
|
?> =+ rac=(clan r.p.q.wed)
|
|
=+ loy=(haul 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=will]
|
|
?> ?& |- ^- ?
|
|
?~ 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 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 :: will at life
|
|
|= [mar=life lag=ship law=will]
|
|
^- (unit will)
|
|
?~ 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, Tlon (gleba)
|
|
0w0 :: 1, ~nec, Curtis Yarvin (sator)
|
|
0w0 :: 2, ~bud, Charles Songhurst (angelus)
|
|
0w0 :: 3, ~wes, Tamares Group (angelus)
|
|
0w0 :: 4, ~sev, Tamares Group (angelus)
|
|
0wt.cKYxs.Yb5VZ.boSwm.l0yYc :: 5, ~per, Jonathan Perlow (angelus)
|
|
0w0 :: 6, ~sut, A16Z(a) (angelus)
|
|
0w0 :: 7, ~let, A16Z(b) (angelus)
|
|
0w0 :: 8, ~ful, A16Z (angelus)
|
|
0w0 :: 9, ~pen, A16Z (angelus)
|
|
0w0 :: 10, ~syt, A16Z (angelus)
|
|
0w0 :: 11, ~dur, A16Z (angelus)
|
|
0w0 :: 12, ~wep, ~rislus-dopsym (fidelis)
|
|
0w0 :: 13, ~ser, Alex Morcos (angelus)
|
|
0w3j.H0sty.jHa3F.JlD26.4LPwV :: 14, ~wyl, Zimran Ahmed (donum)
|
|
0w3F.QdvV-.toAsR.hvUNk.fHjW6 :: 15, ~sun, Colin Smith (fortuna)
|
|
0w0 :: 16, ~ryp, FF Angel (angelus)
|
|
0w0 :: 17, ~syx, FF Angel (angelus)
|
|
0w0 :: 18, ~dyr, FF Angel (angelus)
|
|
0w0 :: 19, ~nup, FF Angel (angelus)
|
|
0w0 :: 20, ~heb, FF Angel (angelus)
|
|
0w0 :: 21, ~peg, FF Angel (angelus)
|
|
0w0 :: 22, ~lup, FF Angel (angelus)
|
|
0w0 :: 23, ~dep, FF Angel (angelus)
|
|
0w0 :: 24, ~dys, Mike Gogulski (mercor)
|
|
0w0 :: 25, ~put, Suhas Daftuar (angelus)
|
|
0w0 :: 26, ~lug, Garth Partners (angelus)
|
|
0w0 :: 27, ~hec, Garth Partners (angelus)
|
|
0w0 :: 28, ~ryt, Garth Partners (angelus)
|
|
0w0 :: 29, ~tyv, Garth Partners (angelus)
|
|
0w0 :: 30, ~syd, Curtis Yarvin (sator)
|
|
0wp.BgRGJ.kslnv.PLAqb.TRKbr :: 31, ~nex, Prakhar Goel (fortuna)
|
|
0w0 :: 32, ~lun, Tim Draper (angelus)
|
|
0w0 :: 33, ~mep, Tim Draper (angelus)
|
|
0w0 :: 34, ~lut, Tim Draper (angelus)
|
|
0w0 :: 35, ~sep, Tim Draper (angelus)
|
|
0w0 :: 36, ~pes, Curtis Yarvin (sator)
|
|
0w2J.WSHlR.t5VHN.X8GKE.DB-yz :: 37, ~del, ~novrud-hanweb (fidelis)
|
|
0w1w.KF-J1.5I63F.khFyv.h0n4J :: 38, ~sul, John Burnham (donum)
|
|
0w0 :: 39, ~ped, Curtis Yarvin (sator)
|
|
0w2.Mr2Id.SX8xI.MAs-j.5Y-1W :: 40, ~tem, Bruce Schwartz (angelus)
|
|
0w0 :: 41, ~led, ~lontec-botrum (fidelis)
|
|
0w0 :: 42, ~tul, Curtis Yarvin (sator)
|
|
0w0 :: 43, ~met, Curtis Yarvin (sator)
|
|
0w0 :: 44, ~wen, Curtis Yarvin (sator)
|
|
0w0 :: 45, ~byn, Curtis Yarvin (sator)
|
|
0w0 :: 46, ~hex, ~bishus-namsum (fidelis)
|
|
0w0 :: 47, ~feb, Curtis Yarvin (sator)
|
|
0wK.GoKEY.rMjfn.ZcvFQ.n4BmX :: 48, ~pyl, Michael Hartl (donum)
|
|
0w0 :: 49, ~dul, Curtis Yarvin (sator)
|
|
0w0 :: 50, ~het, Curtis Yarvin (sator)
|
|
0w0 :: 51, ~mev, Curtis Yarvin (sator)
|
|
0w0 :: 52, ~rut, Curtis Yarvin (sator)
|
|
0w2L.M6-o5.DDTFL.R4sFL.7Zuay :: 53, ~tyl, Jaan Tallinn (angelus)
|
|
0w0 :: 54, ~wyd, Curtis Yarvin (sator)
|
|
0w0 :: 55, ~tep, Curtis Yarvin (sator)
|
|
0w0 :: 56, ~bes, Curtis Yarvin (sator)
|
|
0w0 :: 57, ~dex, Jared Hance (aestas)
|
|
0w0 :: 58, ~sef, Curtis Yarvin (sator)
|
|
0w0 :: 59, ~wyc, Curtis Yarvin (sator)
|
|
0w0 :: 60, ~bur, Curtis Yarvin (sator)
|
|
0w0 :: 61, ~der, Curtis Yarvin (sator)
|
|
0w0 :: 62, ~nep, Curtis Yarvin (sator)
|
|
0w0 :: 63, ~pur, Curtis Yarvin (sator)
|
|
0w0 :: 64, ~rys, Curtis Yarvin (sator)
|
|
0w0 :: 65, ~reb, Curtis Yarvin (sator)
|
|
0wp.LslIa.IFSM9.mIp-z.KBIBh :: 66, ~den Michael Hartl (donum)
|
|
0w0 :: 67, ~nut, Curtis Yarvin (sator)
|
|
0w0 :: 68, ~sub, Curtis Yarvin (sator)
|
|
0w0 :: 69, ~pet, Curtis Yarvin (sator)
|
|
0w0 :: 70, ~rul, Curtis Yarvin (sator)
|
|
0w0 :: 71, ~syn, Curtis Yarvin (sator)
|
|
0w0 :: 72, ~reg, Henry Ault (aestas)
|
|
0w0 :: 73, ~tyd, Curtis Yarvin (sator)
|
|
0w0 :: 74, ~sup, Curtis Yarvin (sator)
|
|
0w0 :: 75, ~sem, ~boswed-nibnyd (fidelis)
|
|
0w0 :: 76, ~wyn, Curtis Yarvin (sator)
|
|
0w0 :: 77, ~rec, Curtis Yarvin (sator)
|
|
0w0 :: 78, ~meg, Curtis Yarvin (sator)
|
|
0w2L.tavpW.Lk4R-.elm7E.4KEqZ :: 79, ~net, ~hatteb-mitlyd (fidelis)
|
|
0w0 :: 80, ~sec, Curtis Yarvin (sator)
|
|
0w0 :: 81, ~mul, Curtis Yarvin (sator)
|
|
0w0 :: 82, ~nym, Curtis Yarvin (sator)
|
|
0w0 :: 83, ~tev, Curtis Yarvin (sator)
|
|
0w2x.~ldho.Oo7kE.QqNSx.XteFh :: 84, ~web, Ar Vicco (donum)
|
|
0w0 :: 85, ~sum, Curtis Yarvin (sator)
|
|
0w0 :: 86, ~mut, Curtis Yarvin (sator)
|
|
0w0 :: 87, ~nyx, Curtis Yarvin (sator)
|
|
0w30.UUr19.iBPlD.wfyJD.2CWPv :: 88, ~rex, Ben Davenport (angelus)
|
|
0w0 :: 89, ~teb, Curtis Yarvin (sator)
|
|
0w0 :: 90, ~fus, urbit.org (civitas)
|
|
0w0 :: 91, ~hep, urbit.org (civitas)
|
|
0w0 :: 92, ~ben, urbit.org (civitas)
|
|
0w0 :: 93, ~mus, urbit.org (civitas)
|
|
0w0 :: 94, ~wyx, urbit.org (civitas)
|
|
0w0 :: 95, ~sym, urbit.org (civitas)
|
|
0w0 :: 96, ~sel, urbit.org (civitas)
|
|
0w0 :: 97, ~ruc, urbit.org (civitas)
|
|
0w0 :: 98, ~dec, urbit.org (civitas)
|
|
0w1L.NQ-5f.ABF9R.kVwVJ.zRfn2 :: 99, ~wex, Pax Dickinson (donum)
|
|
0w0 :: 100, ~syr, urbit.org (civitas)
|
|
0w0 :: 101, ~wet, urbit.org (civitas)
|
|
0w0 :: 102, ~dyl, urbit.org (civitas)
|
|
0w0 :: 103, ~myn, urbit.org (civitas)
|
|
0w0 :: 104, ~mes, urbit.org (civitas)
|
|
0w0 :: 105, ~det, urbit.org (civitas)
|
|
0w0 :: 106, ~bet, urbit.org (civitas)
|
|
0w0 :: 107, ~bel, urbit.org (civitas)
|
|
0w0 :: 108, ~tux, Chen Zheng (angelus)
|
|
0w1D.JV9n0.9z~YK.yAWyi.c9~Lu :: 109, ~tug, Philip Monk (aestas)
|
|
0w0 :: 110, ~myr, urbit.org (civitas)
|
|
0w0 :: 111, ~pel, urbit.org (civitas)
|
|
0w0 :: 112, ~syp, urbit.org (civitas)
|
|
0w0 :: 113, ~ter, urbit.org (civitas)
|
|
0w0 :: 114, ~meb, urbit.org (civitas)
|
|
0w0 :: 115, ~set, urbit.org (civitas)
|
|
0w0 :: 116, ~dut, urbit.org (civitas)
|
|
0w0 :: 117, ~deg, urbit.org (civitas)
|
|
0w0 :: 118, ~tex, urbit.org (civitas)
|
|
0w0 :: 119, ~sur, urbit.org (civitas)
|
|
0w0 :: 120, ~fel, urbit.org (civitas)
|
|
0w0 :: 121, ~tud, urbit.org (civitas)
|
|
0w0 :: 122, ~nux, urbit.org (civitas)
|
|
0w0 :: 123, ~rux, urbit.org (civitas)
|
|
0w0 :: 124, ~ren, urbit.org (civitas)
|
|
0w0 :: 125, ~wyt, urbit.org (civitas)
|
|
0w0 :: 126, ~nub, urbit.org (civitas)
|
|
0w0 :: 127, ~med, urbit.org (civitas)
|
|
0w20.GGLXx.aqxaQ.w4Iob.wdmmr :: 128, ~lyt, Arthur Breitman (mercor)
|
|
0w0 :: 129, ~dus, urbit.org (civitas)
|
|
0w0 :: 130, ~neb, urbit.org (civitas)
|
|
0w0 :: 131, ~rum, urbit.org (civitas)
|
|
0w0 :: 132, ~tyn, urbit.org (civitas)
|
|
0w0 :: 133, ~seg, urbit.org (civitas)
|
|
0w0 :: 134, ~lyx, urbit.org (civitas)
|
|
0w0 :: 135, ~pun, urbit.org (civitas)
|
|
0w0 :: 136, ~res, urbit.org (civitas)
|
|
0w0 :: 137, ~red, urbit.org (civitas)
|
|
0w3J.15iJA.0pbNk.mZXyh.A~uKb :: 138, ~fun, Aaron Beckerman (fortuna)
|
|
0w0 :: 139, ~rev, urbit.org (civitas)
|
|
0w3m.Cqumo.ZC7-e.794A4.Bqhh8 :: 140, ~ref, Matt Brubeck (fortuna)
|
|
0w0 :: 141, ~mec, urbit.org (civitas)
|
|
0w0 :: 142, ~ted, urbit.org (civitas)
|
|
0w2d.GLlYg.-MwtO.ZCPBE.OqGB9 :: 143, ~rus, Stephen Burnham (donum)
|
|
0w0 :: 144, ~bex, urbit.org (civitas)
|
|
0w0 :: 145, ~leb, ~nosryl-tarpem (fidelis)
|
|
0w0 :: 146, ~dux, urbit.org (civitas)
|
|
0w0 :: 147, ~ryn, urbit.org (civitas)
|
|
0w0 :: 148, ~num, Tlon (gleba)
|
|
0w0 :: 149, ~pyx, ~racbes-solmun (fidelis)
|
|
0w2g.gLmg4.MtrHQ.A5VmH.WPk6G :: 150, ~ryg, Dan Haffey (fortuna)
|
|
0w0 :: 151, ~ryx, Tlon (gleba)
|
|
0w0 :: 152, ~fep, Tlon (gleba)
|
|
0w3h.8OnVd.~cI9l.Y1-lK.82Lqb :: 153, ~tyr, ~hobmed-hinrym (fidelis)
|
|
0w0 :: 154, ~tus, Tlon (gleba)
|
|
0w0 :: 155, ~tyc, Tlon (gleba)
|
|
0w0 :: 156, ~leg, Tlon (gleba)
|
|
0w0 :: 157, ~nem, Tlon (gleba)
|
|
0w0 :: 158, ~fer, Tlon (gleba)
|
|
0w0 :: 159, ~mer, Tlon (gleba)
|
|
0w0 :: 160, ~ten, Tlon (gleba)
|
|
0w0 :: 161, ~lus, Tlon (gleba)
|
|
0w0 :: 162, ~nus, Tlon (gleba)
|
|
0w0 :: 163, ~syl, Tlon (gleba)
|
|
0w0 :: 164, ~tec, Tlon (gleba)
|
|
0w0 :: 165, ~mex, Tlon (gleba)
|
|
0w0 :: 166, ~pub, Tlon (gleba)
|
|
0w0 :: 167, ~rym, Tlon (gleba)
|
|
0w0 :: 168, ~tuc, Tlon (gleba)
|
|
0w0 :: 169, ~fyl, Tlon (gleba)
|
|
0w0 :: 170, ~lep, Tlon (gleba)
|
|
0w0 :: 171, ~deb, Tlon (gleba)
|
|
0w0 :: 172, ~ber, Tlon (gleba)
|
|
0w0 :: 173, ~mug, Tlon (gleba)
|
|
0w0 :: 174, ~hut, Tlon (gleba)
|
|
0w0 :: 175, ~tun, Tlon (gleba)
|
|
0w0 :: 176, ~byl, Tlon (gleba)
|
|
0w0 :: 177, ~sud, Tlon (gleba)
|
|
0w0 :: 178, ~pem, Tlon (gleba)
|
|
0w0 :: 179, ~dev, Tlon (gleba)
|
|
0w0 :: 180, ~lur, Tlon (gleba)
|
|
0w0 :: 181, ~def, Tlon (gleba)
|
|
0w0 :: 182, ~bus, Tlon (gleba)
|
|
0w0 :: 183, ~bep, Tlon (gleba)
|
|
0w0 :: 184, ~run, Tlon (gleba)
|
|
0w0 :: 185, ~mel, Tlon (gleba)
|
|
0w0 :: 186, ~pex, Tlon (gleba)
|
|
0w0 :: 187, ~dyt, Tlon (gleba)
|
|
0w0 :: 188, ~byt, Tlon (gleba)
|
|
0w0 :: 189, ~typ, Tlon (gleba)
|
|
0w0 :: 190, ~lev, Tlon (gleba)
|
|
0w0 :: 191, ~myl, Tlon (gleba)
|
|
0w0 :: 192, ~wed, Tlon (gleba)
|
|
0w0 :: 193, ~duc, Tlon (gleba)
|
|
0w0 :: 194, ~fur, Tlon (gleba)
|
|
0w0 :: 195, ~fex, Tlon (gleba)
|
|
0w0 :: 196, ~nul, Tlon (gleba)
|
|
0w0 :: 197, ~luc, Tlon (gleba)
|
|
0w0 :: 198, ~len, Tlon (gleba)
|
|
0w0 :: 199, ~ner, Tlon (gleba)
|
|
0wv.aixe9.7gG2w.7cJiy.i3Mg8 :: 200, ~lex, Michael Hartl (donum)
|
|
0w0 :: 201, ~rup, Tlon (gleba)
|
|
0w0 :: 202, ~ned, Tlon (gleba)
|
|
0w0 :: 203, ~lec, Tlon (gleba)
|
|
0w0 :: 204, ~ryd, Tlon (gleba)
|
|
0w1U.n361n.FC3jj.9cX26.V1Wif :: 205, ~lyd, Adam Bliss (fortuna)
|
|
0w0 :: 206, ~fen, Tlon (gleba)
|
|
0w0 :: 207, ~wel, Tlon (gleba)
|
|
0w0 :: 208, ~nyd, Tlon (gleba)
|
|
0w0 :: 209, ~hus, Tlon (gleba)
|
|
0w0 :: 210, ~rel, Tlon (gleba)
|
|
0w0 :: 211, ~rud, Tlon (gleba)
|
|
0w0 :: 212, ~nes, Tlon (gleba)
|
|
0w16.~8NZV.VyMmf.4toMO.pui1R :: 213, ~hes, Alex Moskalyuk (angelus)
|
|
0w0 :: 214, ~fet, Tlon (gleba)
|
|
0w0 :: 215, ~des, Tlon (gleba)
|
|
0w0 :: 216, ~ret, Tlon (gleba)
|
|
0w0 :: 217, ~dun, Tlon (gleba)
|
|
0w0 :: 218, ~ler, Tlon (gleba)
|
|
0w10.w0AUz.QVdks.HCNvf.ja~TO :: 219, ~nyr, Ivan Matosevic (fortuna)
|
|
0w0 :: 220, ~seb, Tlon (gleba)
|
|
0w0 :: 221, ~hul, Tlon (gleba)
|
|
0w0 :: 222, ~ryl, Tlon (gleba)
|
|
0w0 :: 223, ~lud, Tlon (gleba)
|
|
0w0 :: 224, ~rem, Tlon (gleba)
|
|
0w0 :: 225, ~lys, Tlon (gleba)
|
|
0w3C.YXlEl.pFbYV.9pYWI.d7cla :: 226, ~fyn, Stephen Burnham (donum)
|
|
0w0 :: 227, ~wer, Tlon (gleba)
|
|
0w0 :: 228, ~ryc, Tlon (gleba)
|
|
0w0 :: 229, ~sug, Tlon (gleba)
|
|
0w0 :: 230, ~nys, Tlon (gleba)
|
|
0w0 :: 231, ~nyl, Tlon (gleba)
|
|
0w0 :: 232, ~lyn, Tlon (gleba)
|
|
0w0 :: 233, ~dyn, Tlon (gleba)
|
|
0w0 :: 234, ~dem, Tlon (gleba)
|
|
0w0 :: 235, ~lux, Mark Zavislak (angelus)
|
|
0w0 :: 236, ~fed, Tlon (gleba)
|
|
0w0 :: 237, ~sed, Tlon (gleba)
|
|
0w0 :: 238, ~bec, Tlon (gleba)
|
|
0w0 :: 239, ~mun, Tlon (gleba)
|
|
0w0 :: 240, ~lyr, Tlon (gleba)
|
|
0w0 :: 241, ~tes, Tlon (gleba)
|
|
0w0 :: 242, ~mud, ~difryt-dapdeg (fidelis)
|
|
0w4.yybWD.F1BgE.ynzlF.47neH :: 243, ~nyt, Byrne Hobart (mercor)
|
|
0w0 :: 244, ~byr, Tlon (gleba)
|
|
0w0 :: 245, ~sen, Tlon (gleba)
|
|
0w0 :: 246, ~weg, Tlon (gleba)
|
|
0wU.VWcJa.TR1rQ.ONSCN.Mi5TW :: 247, ~fyr, Anton Dyudin (aestas)
|
|
0w0 :: 248, ~mur, Tlon (gleba)
|
|
0w0 :: 249, ~tel, Tlon (gleba)
|
|
0w0 :: 250, ~rep, Tlon (gleba)
|
|
0w0 :: 251, ~teg, Tlon (gleba)
|
|
0w0 :: 252, ~pec, Tlon (gleba)
|
|
0w0 :: 253, ~nel, Tlon (gleba)
|
|
0w0 :: 254, ~nev, Tlon (gleba)
|
|
0wY.a0HAU.7Lbkf.6V514.OsJBv :: 255, ~fes, John Burnham (donum)
|
|
==
|
|
--
|
|
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
|
:: 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
|
|
==
|
|
?> =(1 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 1]
|
|
[20 (mug bod)]
|
|
[2 yax]
|
|
[2 qax]
|
|
[5 tay]
|
|
==
|
|
(lsh 5 1 bod)
|
|
--
|
|
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
|
:: section 4aC, PKI engine ::
|
|
::
|
|
|%
|
|
++ 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 will) _+>]
|
|
?. =(our (sein her)) [~ +>.$]
|
|
=+ nes=sen
|
|
?. =(tic (end 6 1 (shaf %tick (mix her (shax sec:ex:q.nes)))))
|
|
[~ +>.$]
|
|
=+ 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]))
|
|
::
|
|
++ lax :: lax:as:go
|
|
|_ [her=ship dur=dore] :: per client
|
|
++ 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 r.q.i.lew.wod.dur)
|
|
::
|
|
++ clon
|
|
^- life
|
|
?~(lew.wod.dur 0 p.p.q.i.lew.wod.dur)
|
|
::
|
|
++ deng
|
|
|= law=will
|
|
%_(+> 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 ~)
|
|
::
|
|
++ 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]
|
|
::
|
|
++ trox :: trox:lax:as:go
|
|
|= [now=@da] :: expire by date
|
|
^+ +>
|
|
+> :: XX
|
|
::
|
|
++ 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)
|
|
==
|
|
$(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 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
|
|
^- [p=(list rock) q=_+>]
|
|
=< weft
|
|
|%
|
|
++ wasp :: null security
|
|
^-([p=skin q=@] [%none (jam ham)])
|
|
::
|
|
++ weft :: fragment message
|
|
^- [p=(list rock) q=_+>.$]
|
|
=^ gim ..weft wisp
|
|
:_ +>.$
|
|
^- (list rock)
|
|
=+ wit=(met 13 q.gim)
|
|
?< =(0 wit)
|
|
?: =(1 wit)
|
|
=+ yup=(spit [our her] p.gim q.gim)
|
|
[yup ~]
|
|
=+ ruv=(rip 13 q.gim)
|
|
=+ gom=(shaf %thug q.gim)
|
|
=+ inx=0
|
|
|- ^- (list rock)
|
|
?~ ruv ~
|
|
=+ ^= vie
|
|
%+ spit
|
|
[our her]
|
|
wasp(ham [%carp (ksin p.gim) inx wit gom i.ruv])
|
|
:- vie
|
|
$(ruv t.ruv, inx +(inx))
|
|
::
|
|
++ wisp :: generate message
|
|
^- [[p=skin q=@] q=_..wisp]
|
|
?: =(%carp -.ham)
|
|
[wasp ..wisp]
|
|
?: !=(~ yed.caq.dur)
|
|
?> ?=(^ yed.caq.dur)
|
|
:_ ..wisp
|
|
:- %fast
|
|
%^ cat 7
|
|
p.u.yed.caq.dur
|
|
(en:r:cluy q.u.yed.caq.dur (jam ham))
|
|
?: &(=(~ lew.wod.dur) |(=(%back -.ham) =(%buck -.ham)))
|
|
[wasp ..wisp]
|
|
=^ tuy +>.$
|
|
?:(=(~ lew.wod.dur) [*code +>.$] (griz now))
|
|
:_ ..wisp
|
|
=+ yig=sen
|
|
:: =+ bil=`will`(pare wyl.dur law.saf) :: XX not set
|
|
=+ bil=law.saf :: XX send whole will
|
|
=+ 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 dore
|
|
|= her=ship
|
|
^- dore
|
|
=+ def=?.((lth her 256) ~ [~ %if ~2000.1.1 0 (mix her .0.0.1.0)])
|
|
[[~2100.1.1 def ~] ~ *clot]
|
|
::
|
|
++ myx :: dore by ship
|
|
|= her=ship
|
|
^+ lax
|
|
=+ fod=(~(get by hoc.saf) her)
|
|
~(. lax [her ?~(fod (gur her) u.fod)])
|
|
::
|
|
++ nux :: install dore
|
|
|= 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 our)
|
|
::
|
|
++ yew :: best will for
|
|
|= her=ship
|
|
^- will
|
|
=+ gel=(~(get by hoc.saf) her)
|
|
?^ gel
|
|
lew.wod.u.gel
|
|
?:((lth her 256) ~ $(her (sein her)))
|
|
-- :: --as:go
|
|
::
|
|
++ ha !: :: adopt new license
|
|
|= [our=ship mac=mace wil=will]
|
|
^- 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 our) [seg $(our seg)]))
|
|
::
|
|
(turn mac |=([p=life q=ring] [p q (weur q)]))
|
|
wil
|
|
~
|
|
~
|
|
==
|
|
==
|
|
::
|
|
++ 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 4aF, packet pump ::
|
|
|%
|
|
++ pu :: packet pump
|
|
|_ shed
|
|
++ abet +<
|
|
++ ahoy :: ahoy:pu
|
|
^+ . :: initialize
|
|
%_ .
|
|
rtt ~s1
|
|
rto ~s4
|
|
rtn ~
|
|
rue ~
|
|
nus 0
|
|
nif 0
|
|
nep 0
|
|
caw 2
|
|
cag 64
|
|
diq ~
|
|
pyz ~
|
|
puq ~
|
|
==
|
|
::
|
|
++ bick :: bick:pu
|
|
|= [now=@da fap=flap] :: ack by hash
|
|
^- [[p=(unit soup) q=(list rock)] _+>]
|
|
=+ sun=(~(get by diq) fap)
|
|
?~ sun
|
|
:: ~& [%bick-none `@p`(mug fap)] :: not a real error
|
|
[[~ ~] +>.$]
|
|
:: ~& [%bick-good `@p`(mug fap) u.sun]
|
|
=. diq (~(del by diq) fap)
|
|
=^ gub +>.$ (bock now u.sun)
|
|
=^ yop +>.$ (harv now)
|
|
[[gub yop] +>.$]
|
|
::
|
|
++ bilk :: bilk:pu
|
|
|= now=@da :: inbound packet
|
|
^+ +>
|
|
=+ trt=(mul 2 rtt)
|
|
%= +>.$
|
|
rue [~ now]
|
|
rto trt
|
|
rtn ?~(puq ~ [~ (add now trt)])
|
|
==
|
|
::
|
|
++ boom :: boom:pu
|
|
|= now=@da ^- ? :: address timeout
|
|
|(?=(~ rue) (gte (sub now u.rue) ~m1))
|
|
::
|
|
++ bust :: bust:pu
|
|
^- ? :: not responding
|
|
&(?=(^ rtn) (gte rto ~s16))
|
|
::
|
|
++ bike :: bike:pu
|
|
^+ . :: check stats
|
|
?> .= nif
|
|
|- ^- @
|
|
?~ puq 0
|
|
:(add !liv.q.n.puq $(puq l.puq) $(puq r.puq))
|
|
.
|
|
::
|
|
++ beet :: beet:pu
|
|
^+ . :: advance unacked
|
|
=- +(nep ?~(foh nus u.foh))
|
|
^= foh
|
|
|- ^- (unit ,@ud)
|
|
?~ puq ~
|
|
?: (lte p.n.puq nep) $(puq l.puq)
|
|
=+ rig=$(puq r.puq)
|
|
?^(rig rig [~ p.n.puq])
|
|
::
|
|
++ bine :: bine:pu
|
|
|= [now=@da num=@ud] :: apply ack
|
|
^- [(unit soup) _+>]
|
|
?~ puq !!
|
|
?. =(num p.n.puq)
|
|
?: (gth num p.n.puq)
|
|
=+ lef=$(puq l.puq)
|
|
[-.lef +.lef(puq [n.puq puq.lef r.puq])]
|
|
=+ rig=$(puq r.puq)
|
|
[-.rig +.rig(puq [n.puq l.puq puq.rig])]
|
|
=: rtt ?. &(liv.q.n.puq =(1 nux.q.n.puq)) rtt
|
|
=+ gap=(sub now lys.q.n.puq)
|
|
:: ~& [%bock-trip num (div gap (div ~s1 1.000))]
|
|
(div (add (mul 2 rtt) gap) 3)
|
|
nif (sub nif !liv.q.n.puq)
|
|
==
|
|
=+ lez=(dec (need (~(get by pyz) gom.q.n.puq)))
|
|
=^ gub pyz
|
|
?: =(0 lez)
|
|
[[~ gom.q.n.puq] (~(del by pyz) gom.q.n.puq)]
|
|
[~ (~(put by pyz) gom.q.n.puq lez)]
|
|
:- gub
|
|
+>.$(puq ~(nap to puq))
|
|
::
|
|
++ bock :: bock:pu
|
|
|= [now=@da num=@ud] :: ack by sequence
|
|
^- [(unit soup) _+>]
|
|
=^ gym +> (bine now num)
|
|
:- gym
|
|
?: (gth num nep)
|
|
=+ cam=(max 2 (div caw 2))
|
|
:: ~& [%bock-hole num nep cam]
|
|
beet:(wept(nep num, cag cam, caw cam) nep num)
|
|
=. caw ?: (lth caw cag) +(caw)
|
|
(add caw !=(0 (mod (mug now) caw)))
|
|
?: =(num nep)
|
|
:: ~& [%bock-fine num nif caw cag]
|
|
beet
|
|
:: ~& [%bock-fill num nif caw cag]
|
|
+>.$
|
|
::
|
|
++ harv :: harv:pu
|
|
|= now=@da :: harvest queue
|
|
^- [(list rock) _+>]
|
|
?: =(~ puq) [~ +>(rtn ~)]
|
|
?. (gth caw nif) [~ +>]
|
|
=+ wid=(sub caw nif)
|
|
=| rub=(list rock)
|
|
=< abet =< apse
|
|
|%
|
|
++ abet
|
|
?~ rub [~ +>.$]
|
|
[(flop rub) +>.$(rtn [~ (add rto now)])]
|
|
::
|
|
++ apse
|
|
^+ .
|
|
?~ puq .
|
|
?: =(0 wid) .
|
|
=> rigt =< left
|
|
?> ?=(^ puq)
|
|
?: =(0 wid) .
|
|
?. =(| liv.q.n.puq) .
|
|
:: ~& [%harv nux.q.n.puq p.n.puq]
|
|
%_ .
|
|
wid (dec wid)
|
|
rub [pac.q.n.puq rub]
|
|
nif +(nif)
|
|
liv.q.n.puq &
|
|
nux.q.n.puq +(nux.q.n.puq)
|
|
lys.q.n.puq now
|
|
==
|
|
::
|
|
++ left
|
|
?> ?=(^ puq)
|
|
^+(. =+(lef=apse(puq l.puq) lef(puq [n.puq puq.lef r.puq])))
|
|
++ rigt
|
|
?> ?=(^ puq)
|
|
^+(. =+(rig=apse(puq r.puq) rig(puq [n.puq l.puq puq.rig])))
|
|
--
|
|
::
|
|
++ wack :: wack:pu
|
|
|= now=@da :: wakeup (timeout)
|
|
^- [(list rock) _+>]
|
|
?. &(!=(~ rtn) ?>(?=(^ rtn) (gte now u.rtn))) [~ +>]
|
|
:: ~& [%slow (div rto (div ~s1 1.000))]
|
|
=. +> (wept 0 nus)
|
|
?> =(0 nif)
|
|
=+ oub=(gte rto ~s16)
|
|
=: caw 2
|
|
rto ;: min
|
|
(mul 2 rto)
|
|
~m2
|
|
(mul ~s16 ?~(rue 1 +((div (sub now u.rue) ~d1))))
|
|
==
|
|
==
|
|
(harv now)
|
|
::
|
|
++ wept :: wept:pu
|
|
|= [fip=@ud lap=@ud] :: fip thru lap-1
|
|
=< abet =< apse
|
|
|%
|
|
++ abet +>.$
|
|
++ apse
|
|
^+ .
|
|
?~ puq .
|
|
?: (lth p.n.puq fip) ?~(l.puq . left)
|
|
?: (gte p.n.puq lap) ?~(r.puq . rigt)
|
|
=> rigt =< left
|
|
?> ?=(^ puq)
|
|
?.(liv.q.n.puq . .(nif (dec nif), liv.q.n.puq |))
|
|
::
|
|
++ left
|
|
?> ?=(^ puq)
|
|
^+(. =+(lef=apse(puq l.puq) lef(puq [n.puq puq.lef r.puq])))
|
|
++ rigt
|
|
?> ?=(^ puq)
|
|
^+(. =+(rig=apse(puq r.puq) rig(puq [n.puq l.puq puq.rig])))
|
|
--
|
|
::
|
|
++ whap :: whap:pu
|
|
|= [now=@da gom=soup wyv=(list rock)] :: send a message
|
|
^- [(list rock) _+>]
|
|
=. pyz (~(put by pyz) gom (lent wyv))
|
|
=. +>
|
|
|- ^+ +>.^$
|
|
?~ wyv +>.^$
|
|
%= $
|
|
wyv t.wyv
|
|
nus +(nus)
|
|
diq (~(put by diq) (shaf %flap i.wyv) nus)
|
|
puq (~(put to puq) [nus `soul`[gom 0 | ~2000.1.1 i.wyv]])
|
|
==
|
|
(harv now)
|
|
--
|
|
--
|
|
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
|
:: section 4aG, protocol engine ::
|
|
::
|
|
|%
|
|
++ am :: am
|
|
|_ [now=@da fox=fort] :: protocol engine
|
|
++ 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 q)]))
|
|
==
|
|
==
|
|
++ come :: come:am
|
|
|= [ges=(unit ,@t) wid=@ bur=@ fak=?] :: instantiate pawn
|
|
^- [p=[p=ship q=@uvG] q=fort]
|
|
=+ loy=(bruw 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] ~]
|
|
`will`[[(sign:as:loy _@ (shaf %self (sham syp))) syp fak] ~]
|
|
fak.ton
|
|
fak
|
|
==
|
|
::
|
|
++ czar !: :: czar:am
|
|
|= [our=ship ger=@uw fak=?] :: instantiate emperor
|
|
^- [p=(list boon) q=fort]
|
|
=+ loy=?:(fak (bruw 2.048 our) (bruw 2.048 ger)) :: fake uses carrier #
|
|
=+ fim==(fig:ex:loy (zeno our))
|
|
?: &(!fak !fim) !! :: not fake & bad fig
|
|
=+ mac=`mace`[[0 sec:ex:loy] ~]
|
|
=+ syp=`step`[`bray`[0 ~ our now] [%en %czar ~] pub:ex:loy]
|
|
=+ ded=`deed`[(sign:as:loy _@ (shaf %self (sham syp))) syp fak]
|
|
=+ buq=`buck`[mac [ded ~]]
|
|
=: ton.fox (~(ha go ton.fox) our buq)
|
|
zac.fox (~(put by zac.fox) our *corn)
|
|
fak.ton.fox fak
|
|
==
|
|
[[[%beer our pac:ex:loy] ~] fox]
|
|
::
|
|
++ gnaw :: gnaw:am
|
|
|= [kay=cape ryn=lane pac=rock] :: process packet
|
|
^- [p=(list boon) q=fort]
|
|
?. =(1 (end 0 3 pac)) [~ fox]
|
|
=+ kec=(bite pac)
|
|
?: (goop p.p.kec) [~ fox]
|
|
?. (~(has by urb.ton.fox) q.p.kec)
|
|
[~ fox]
|
|
=< zork
|
|
=< zank
|
|
:: ~& [%hear p.p.kec ryn `@p`(mug (shaf %flap pac))]
|
|
%- ~(chew la:(ho:(um q.p.kec) p.p.kec) kay ryn %none (shaf %flap pac))
|
|
[q.kec r.kec]
|
|
::
|
|
++ goop
|
|
|= him=ship
|
|
|
|
|
::
|
|
++ hall :: hall:am
|
|
^- (list sock) :: all sockets
|
|
=| sox=(list sock) :: XX hideous
|
|
|- ^+ sox
|
|
?~ zac.fox sox
|
|
=. sox $(zac.fox l.zac.fox)
|
|
=. sox $(zac.fox r.zac.fox)
|
|
|- ^+ sox
|
|
?~ wab.q.n.zac.fox sox
|
|
=. sox $(wab.q.n.zac.fox l.wab.q.n.zac.fox)
|
|
=. sox $(wab.q.n.zac.fox r.wab.q.n.zac.fox)
|
|
[[p.n.zac.fox p.n.wab.q.n.zac.fox] sox]
|
|
::
|
|
++ 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 :: rack:am
|
|
|= [soq=sock cha=path cop=coop] :: e2e ack
|
|
=+ oh=(ho:(um p.soq) q.soq)
|
|
=. oh (cook:oh cop cha ~)
|
|
(cans:oh cha)
|
|
::
|
|
++ wake :: wake:am
|
|
|= hen=duct :: harvest packets
|
|
^- [p=(list boon) q=fort]
|
|
=+ sox=hall
|
|
=| bin=(list boon)
|
|
|- ^- [p=(list boon) q=fort]
|
|
?~ sox
|
|
=^ ban fox (kick hen)
|
|
[(weld bin p.ban) fox]
|
|
=^ bun fox zork:zank:thaw:(ho:(um p.i.sox) q.i.sox)
|
|
$(sox t.sox, bin (weld p.bun bin))
|
|
::
|
|
++ wise :: wise:am
|
|
|= [soq=sock hen=duct cha=path val=* ete=?] :: send a statement
|
|
^- [p=(list boon) q=fort]
|
|
zork:zank:(wool:(ho:(um p.soq) q.soq) hen cha val ete)
|
|
::
|
|
++ 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)
|
|
|%
|
|
++ ho :: ho:um:am
|
|
|= her=ship :: per friend
|
|
=+ diz=(myx:gus her)
|
|
=+ bah=(~(get by wab.weg) her)
|
|
=+ puz=?~(bah ahoy:pu %*(. pu +< sop.u.bah))
|
|
=> .(bah `bath`?~(bah [abet:puz ~ ~] u.bah))
|
|
|%
|
|
++ busk :: busk:ho:um:am
|
|
|= [waz=(list ship) pax=(list rock)] :: send packets
|
|
%_ +>
|
|
bin
|
|
|- ^+ bin
|
|
?~ pax bin
|
|
$(pax t.pax, bin (weld (flop (wist:diz now waz ~ i.pax)) bin))
|
|
==
|
|
::
|
|
++ cans :: cans:ho:um:am
|
|
|= cha=path
|
|
=+ rum=(need (~(get by raz.bah) cha))
|
|
=. rum
|
|
%= rum
|
|
did +(did.rum)
|
|
mis (~(del by mis.rum) did.rum)
|
|
==
|
|
(coat cha rum)
|
|
::
|
|
++ coat :: coat:ho:um:am
|
|
|= [cha=path rum=race] :: update input race
|
|
^+ +>
|
|
=+ cun=(~(get by mis.rum) did.rum)
|
|
?~ cun
|
|
+>.$(raz.bah (~(put by raz.bah) cha rum))
|
|
?. =(%good p.u.cun) +>.$
|
|
?> ?=(^ s.u.cun)
|
|
%= +>.$
|
|
raz.bah (~(put by raz.bah) cha rum(dod |))
|
|
bin
|
|
:_ bin
|
|
:^ %mulk
|
|
[our her]
|
|
`soap`[[p:sen:gus clon:diz] cha did.rum]
|
|
u.s.u.cun
|
|
==
|
|
::
|
|
++ cook :: cook:ho:um:am
|
|
|= [cop=coop cha=path ram=(unit ,[ryn=lane dam=flap])]
|
|
^+ +> :: acknowledgment
|
|
:: ~& [%cook cop num cha ram]
|
|
=+ rum=(need (~(get by raz.bah) cha))
|
|
=+ lat=(~(get by mis.rum) did.rum)
|
|
?: &(?=(~ lat) ?=(~ ram)) ~&(%ack-late-or-redundant +>.$)
|
|
=+ ^- [ryn=lane dam=flap]
|
|
?^ ram [ryn.u.ram dam.u.ram]
|
|
?< ?=(~ lat)
|
|
[q r]:u.lat
|
|
=. raz.bah
|
|
?^ ram raz.bah
|
|
%+ ~(put by raz.bah) cha
|
|
rum(dod &, bum ?~(cop bum.rum (~(put by bum.rum) did.rum u.cop)))
|
|
=^ roc diz (zuul:diz now [%buck cop dam ~s0])
|
|
(busk(diz (wast:diz ryn)) xong:diz roc)
|
|
::
|
|
++ done :: done:ho:um:am
|
|
|= [cha=path num=@ud] :: complete outgoing
|
|
^- [(unit duct) _+>]
|
|
=+ rol=(need (~(get by ryl.bah) cha))
|
|
=+ rix=(~(get by san.rol) num)
|
|
?~ rix [~ +>.$]
|
|
:- rix
|
|
%_ +>.$
|
|
ryl.bah
|
|
(~(put by ryl.bah) cha rol(san (~(del by san.rol) num)))
|
|
==
|
|
::
|
|
++ la :: la:ho:um:am
|
|
|_ [kay=cape ryn=lane aut=skin dam=flap] :: per packet
|
|
::
|
|
++ chew :: chew:la:ho:um:am
|
|
|= [sin=skin msg=@] :: receive
|
|
^+ +>
|
|
=< apse
|
|
|%
|
|
++ apse
|
|
^+ +>.$
|
|
=+ oub=bust:puz
|
|
=+ neg==(~ yed.caq.dur.diz)
|
|
=. +>.$ east
|
|
=+ eng==(~ yed.caq.dur.diz)
|
|
=+ bou=bust:puz
|
|
=. bin
|
|
?. &(oub !bou) bin
|
|
:_(bin [%wine [our her] " is ok"])
|
|
=. bin
|
|
?. &(neg !eng) bin
|
|
:_(bin [%wine [our her] " is your neighbor"])
|
|
+>.$
|
|
::
|
|
++ east
|
|
^+ +>.$
|
|
?- sin
|
|
%none
|
|
:: ~& %chew-none
|
|
=. puz (bilk:puz now)
|
|
(chow ((hard meal) (cue msg)))
|
|
::
|
|
%fast
|
|
:: ~& %chew-fast
|
|
=+ [mag=`hand`(end 7 1 msg) bod=(rsh 7 1 msg)]
|
|
=+ dey=(kuch:diz mag)
|
|
?~ dey
|
|
~& [%bad-key her mag]
|
|
+>.$ :: ignore unknown key
|
|
=. puz (bilk:puz now)
|
|
=^ key diz u.dey
|
|
(chow(aut sin) ((hard meal) (cue (dy:q:sen:gus key bod))))
|
|
::
|
|
%full
|
|
:: ~& %chew-full
|
|
=+ mex=((hard ,[p=[p=life q=life] q=will 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 (wasc:diz p.mes)
|
|
=. puz (bilk:puz now)
|
|
(west(msg q.mes))
|
|
::
|
|
%open
|
|
:: ~& %chew-open
|
|
=+ mex=((hard ,[p=[~ q=life] q=will r=@]) (cue msg))
|
|
=. diz (deng:diz q.mex)
|
|
=+ wug=cluy:diz
|
|
?> =(q.p.mex p.wug)
|
|
=+ mes=(need (sure:as:r.wug *code r.mex))
|
|
=. puz (bilk:puz now)
|
|
(west(msg mes))
|
|
==
|
|
++ west
|
|
|= ~
|
|
=+ vib=(cue msg)
|
|
=+ mal=(meal vib)
|
|
?. =(mal vib)
|
|
~& [%bad-meal her]
|
|
+>.^$
|
|
(chow(aut sin) mal)
|
|
--
|
|
::
|
|
++ chow :: chow:la:ho:um:am
|
|
|= fud=meal :: interpret meal
|
|
^+ +>
|
|
=. diz ?:(=(%none aut) diz (wast:diz ryn))
|
|
(dine fud)
|
|
::
|
|
++ cock :: cock:la:ho:um:am
|
|
^+ . :: acknowledgment
|
|
:: ~& [%back kay dam]
|
|
=^ pax diz (zuul:diz now [%back kay dam ~s0])
|
|
+(+> (busk(diz (wast:diz ryn)) xong:diz pax))
|
|
::
|
|
++ coot :: coot:la:ho:um:am
|
|
|= [cha=path rum=race] :: update input race
|
|
^+ +>
|
|
=+ cun=(~(get by mis.rum) did.rum)
|
|
?~ cun
|
|
+>.$(raz.bah (~(put by raz.bah) cha rum))
|
|
=. +>.$ cock(kay p.u.cun, dam r.u.cun)
|
|
=. +>.$ ?. =(%good p.u.cun) +>.$
|
|
?> ?=(^ s.u.cun)
|
|
%- emit
|
|
^- boon
|
|
:^ %milk
|
|
[our her]
|
|
`soap`[[p:sen:gus clon:diz] cha did.rum]
|
|
u.s.u.cun
|
|
%= $
|
|
mis.rum (~(del by mis.rum) did.rum)
|
|
did.rum +(did.rum)
|
|
==
|
|
::
|
|
++ dear :: dear:la:ho:um:am
|
|
|= [cha=path num=@ud dut=(unit)] :: interpret message
|
|
^+ +>
|
|
=+ ^= rum ^- race
|
|
=+ rum=(~(get by raz.bah) cha)
|
|
?~(rum *race u.rum)
|
|
?. (gte num did.rum)
|
|
cock :: always ack a dup
|
|
(coot cha rum(mis (~(put by mis.rum) num [kay ryn dam dut])))
|
|
::
|
|
++ deer :: deer:la:ho:um:am
|
|
|= [cha=path num=@ud dut=(unit)] :: interpret message
|
|
^+ +>
|
|
=+ rum=(fall (~(get by raz.bah) cha) *race)
|
|
%= +>.$
|
|
+>
|
|
?. (gte num did.rum) :: always ack a dup
|
|
:: ~& [%deer-1 num]
|
|
(cook (~(get by bum.rum) num) cha ~ ryn dam)
|
|
?: dod.rum
|
|
:: ~& [%deer-2 num]
|
|
(coat cha rum(mis (~(put by mis.rum) num [kay ryn dam dut])))
|
|
:: ~& [%deer-3 num]
|
|
%= +>.+>.$
|
|
raz.bah
|
|
%+ ~(put by raz.bah) cha
|
|
rum(mis (~(put by mis.rum) num [kay ryn dam dut]))
|
|
==
|
|
==
|
|
::
|
|
++ dine :: dine:la:ho:um:am
|
|
|= fud=meal :: interpret meal
|
|
^+ +>
|
|
?- -.fud
|
|
%back
|
|
=. +> ?.(=(%full aut) +> cock) :: finish key exch
|
|
+>(..la (tuck p.fud q.fud r.fud))
|
|
::
|
|
%buck
|
|
=. +> ?.(=(%full aut) +> cock) :: finish key exch
|
|
+>(..la (tock p.fud q.fud r.fud))
|
|
::
|
|
%bond
|
|
:: ~& [%bond q.fud r.fud]
|
|
?> =(p:sen:gus p.fud)
|
|
(dear q.fud r.fud ?-(kay %dead ~, %good [~ s.fud]))
|
|
::
|
|
%bund
|
|
:: ~& [%bund q.fud r.fud]
|
|
?> =(p:sen:gus p.fud)
|
|
(deer q.fud r.fud ?-(kay %dead ~, %good [~ s.fud]))
|
|
::
|
|
%carp
|
|
=+ zol=(~(get by olz.weg) s.fud)
|
|
?^ zol cock(kay u.zol)
|
|
=^ neb nys.weg
|
|
=+ neb=(~(get by nys.weg) s.fud)
|
|
?^ neb [u.neb nys.weg]
|
|
=+ neb=`bait`[(kins p.fud) 0 r.fud ~]
|
|
[neb (~(put by nys.weg) s.fud neb)]
|
|
?> (lth q.fud p.r.neb)
|
|
?> =((kins p.fud) p.neb)
|
|
?> =(r.fud p.r.neb)
|
|
=+ doy=`(unit ,@)`(~(get by q.r.neb) q.fud)
|
|
?^ doy cock
|
|
=> ^+ . %= .
|
|
q.r.neb (~(put by q.r.neb) q.fud t.fud)
|
|
q.neb +(q.neb)
|
|
==
|
|
:: ~& [%carp q.fud s.fud q.neb p.r.neb]
|
|
?: =(q.neb p.r.neb)
|
|
=: nys.weg (~(del by nys.weg) s.fud)
|
|
olz.weg (~(put by olz.weg) s.fud kay)
|
|
==
|
|
(golf p.neb r.neb)
|
|
=. +>.$ cock
|
|
+>.$(nys.weg (~(put by nys.weg) s.fud neb))
|
|
::
|
|
%fore
|
|
=+ ^= lyn ^- lane
|
|
?~ q.fud ryn
|
|
?. ?=(%if -.u.q.fud) u.q.fud
|
|
[%ix +.u.q.fud]
|
|
:: u.q.fud
|
|
?: =(our p.fud)
|
|
(emit %mead lyn r.fud)
|
|
=+ zid=(myx:gus p.fud)
|
|
(emir (wist:zid now xong:zid [~ lyn] r.fud))
|
|
==
|
|
::
|
|
++ emir :: emir:la:ho:um:am
|
|
|= ben=(list boon) :: emit boons
|
|
^+ +>
|
|
?~(ben +> $(ben t.ben, bin [i.ben bin]))
|
|
::
|
|
++ emit :: emit:la:ho:um:am
|
|
|= bun=boon :: emit a boon
|
|
+>(bin [bun bin])
|
|
::
|
|
++ golf :: golf:la:ho:um:am
|
|
|= [sin=skin duv=dove] :: assemble fragments
|
|
^+ +>
|
|
%+ chew sin
|
|
=+ [nix=0 rax=*(list ,@)]
|
|
|- ^- @
|
|
?: =(p.duv nix)
|
|
(can 13 (turn (flop rax) |=(a=@ [1 a])))
|
|
$(nix +(nix), rax [(need (~(get by q.duv) nix)) rax])
|
|
-- :: --la:ho:um:am
|
|
::
|
|
++ pong :: pong:ho:um:am
|
|
|= hen=duct :: test connection
|
|
^+ +>
|
|
?. ?& =(~ puq.puz)
|
|
?| bust:puz
|
|
?=(~ rue.puz)
|
|
(gth now (add ~s32 u.rue.puz))
|
|
(lth u.rue.puz hop.fox)
|
|
==
|
|
==
|
|
+>.$
|
|
(wool [/a hen] /q/pi ~ |)
|
|
::
|
|
++ thaw :: thaw:ho:um:am
|
|
^+ . :: wakeup bomb
|
|
=+ oub=bust:puz
|
|
=^ yem puz (wack:puz now)
|
|
=+ bou=bust:puz
|
|
=. bin
|
|
?. &(bou !oub) bin
|
|
:_(bin [%wine [our her] " not responding still trying"])
|
|
=. diz ?:((boom:puz now) (pode:diz now) diz)
|
|
(busk xong:diz yem)
|
|
::
|
|
++ tock :: tock:ho:um:am
|
|
|= [cop=coop fap=flap cot=@dr] :: e2e ack by hash
|
|
^+ +>
|
|
=^ yoh puz (bick:puz now fap)
|
|
=. +>.$
|
|
?~ p.yoh +>.$
|
|
=^ hud +>.$
|
|
(done p.u.p.yoh q.u.p.yoh)
|
|
?~ hud +>.$
|
|
%= +>.$
|
|
bin
|
|
:_ bin
|
|
`boon`[%cake [our her] [[p:sen:gus clon:diz] u.p.yoh] cop u.hud]
|
|
==
|
|
(busk xong:diz q.yoh)
|
|
::
|
|
++ tuck :: tuck:ho:um:am
|
|
|= [kay=cape fap=flap cot=@dr] :: ack by hash
|
|
^+ +>
|
|
=^ yoh puz (bick:puz now fap)
|
|
=. +>.$
|
|
?~ p.yoh +>.$
|
|
=^ hud +>.$
|
|
(done p.u.p.yoh q.u.p.yoh)
|
|
?~ hud +>.$
|
|
%= +>.$
|
|
bin
|
|
:_ bin
|
|
`boon`[%coke [our her] [[p:sen:gus clon:diz] u.p.yoh] kay u.hud]
|
|
==
|
|
(busk xong:diz q.yoh)
|
|
::
|
|
++ wind :: wind:ho:um:am
|
|
|= [gom=soup ham=meal]
|
|
:: ~& [%wind her gom]
|
|
^+ +>
|
|
=^ wyv diz (zuul:diz now ham)
|
|
=^ feh puz (whap:puz now gom wyv)
|
|
(busk xong:diz feh)
|
|
::
|
|
++ wool :: wool:ho:um:am
|
|
|= [hen=duct cha=path val=* ete=?] :: send a statement
|
|
^+ +>
|
|
=+ ^= rol ^- rill
|
|
=+ rol=(~(get by ryl.bah) cha)
|
|
?~(rol *rill u.rol)
|
|
=+ sex=sed.rol
|
|
:: ~& [%tx [our her] cha sex]
|
|
=. ryl.bah
|
|
%+ ~(put by ryl.bah) cha
|
|
rol(sed +(sed.rol), san (~(put by san.rol) sex hen))
|
|
=+ cov=[p=p:sen:gus q=clon:diz]
|
|
%+ wind [cha sex]
|
|
?: ete
|
|
[%bund q.cov cha sex val]
|
|
[%bond q.cov cha sex val]
|
|
::
|
|
++ zest :: zest:ho:um:am
|
|
:~ :~ :* [%rtt rtt.sop.bah]
|
|
[%rto rto.sop.bah]
|
|
[%rtn rtn.sop.bah]
|
|
[%rue rue.sop.bah]
|
|
==
|
|
:* [%nus nus.sop.bah]
|
|
[%nif nif.sop.bah]
|
|
[%nep nep.sop.bah]
|
|
[%caw caw.sop.bah]
|
|
[%cag cag.sop.bah]
|
|
==
|
|
=+ qup=(~(tap to puq.sop.bah) ~)
|
|
:- %qup
|
|
%+ turn qup
|
|
|= [a=@ud b=soul]
|
|
:* a
|
|
nux.b
|
|
liv.b
|
|
lys.b
|
|
`@p`(mug (shaf %flap pac.b))
|
|
gom.b
|
|
==
|
|
==
|
|
::
|
|
:- %raz
|
|
=+ zar=(~(tap by raz.bah) ~)
|
|
%+ turn zar
|
|
|= [a=path b=race]
|
|
:+ a
|
|
did.b
|
|
=+ ciy=(~(tap by mis.b) ~)
|
|
%+ turn ciy
|
|
|= [c=@ud d=[p=cape q=lane r=flap s=(unit)]]
|
|
[c p.d r.d]
|
|
::
|
|
[%ryl (~(tap to ryl.bah) ~)]
|
|
[%lun lun.wod.dur.diz]
|
|
[%caq caq.dur.diz]
|
|
[%lew lew.wod.dur.diz]
|
|
==
|
|
::
|
|
++ zank :: zank:ho:um:am
|
|
%= +>.$ :: resolve
|
|
gus (nux:gus diz)
|
|
wab.weg (~(put by wab.weg) her bah(sop abet:puz))
|
|
==
|
|
-- :: --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
|
|
%+ turn
|
|
%+ skim (~(tap by wab.weg) ~)
|
|
|= [a=ship b=bath]
|
|
!(~(boom pu sop.b) now)
|
|
|=([a=ship b=bath] a)
|
|
::
|
|
++ pong :: pong:um:am
|
|
|= [her=ship hen=duct] :: test neighbor
|
|
^+ +>
|
|
zank:(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
|
|
--
|
|
. ==
|
|
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
|
:: section 4aH, protocol vane ::
|
|
::
|
|
=| $: fox=fort :: kernel state
|
|
== ::
|
|
|= [now=@da eny=@ ski=sled] :: current invocation
|
|
^? :: opaque core
|
|
=<
|
|
|% :: vane interface
|
|
++ call :: handle request
|
|
|= $: hen=duct
|
|
hic=(hypo (hobo kiss))
|
|
==
|
|
=> %= . :: XX temporary
|
|
q.hic
|
|
^- kiss
|
|
?: ?=(%soft -.q.hic)
|
|
((hard kiss) p.q.hic)
|
|
?: (~(nest ut -:!>(*kiss)) | p.hic) q.hic
|
|
~& [%ames-call-flub (,@tas `*`-.q.hic)]
|
|
((hard kiss) q.hic)
|
|
==
|
|
^- [p=(list move) q=_..^$]
|
|
=^ duy ..knob
|
|
(knob hen q.hic)
|
|
[duy ..^$]
|
|
::
|
|
++ doze
|
|
|= [now=@da hen=duct]
|
|
=+ doz=`(unit ,@da)`[~ (add now ~s32)]
|
|
|- ^+ doz
|
|
?~ zac.fox doz
|
|
=. doz $(zac.fox l.zac.fox)
|
|
=. doz $(zac.fox r.zac.fox)
|
|
=+ yem=q.n.zac.fox
|
|
|- ^+ doz
|
|
?~ wab.yem doz
|
|
=. doz $(wab.yem l.wab.yem)
|
|
=. doz $(wab.yem r.wab.yem)
|
|
=+ bah=q.n.wab.yem
|
|
(hunt doz rtn.sop.bah)
|
|
::
|
|
++ load
|
|
|= old=fort
|
|
^+ ..^$
|
|
..^$(fox old)
|
|
::
|
|
++ scry
|
|
|= [fur=(unit (set monk)) ren=@tas who=ship syd=desk lot=coin tyl=path]
|
|
^- (unit (unit (pair mark ,*)))
|
|
?~ tyl [~ ~]
|
|
=+ hun=(slaw %p i.tyl)
|
|
?~ hun [~ ~]
|
|
=- ?~ old ~
|
|
[~ ~ u.old]
|
|
^= old
|
|
?. =(0 ren) ~
|
|
?+ lot ~
|
|
[%$ %ud @]
|
|
%+ bind
|
|
(perm who u.hun q.p.lot [syd t.tyl])
|
|
|=(a=* [%noun a])
|
|
::
|
|
[%$ %da @]
|
|
?. =(now q.p.lot) ~
|
|
%+ bind
|
|
(temp who u.hun [syd t.tyl])
|
|
|=(a=* [%noun a])
|
|
==
|
|
::
|
|
++ stay fox
|
|
++ take :: accept response
|
|
|= [tea=wire hen=duct hin=(hypo sign)]
|
|
^- [p=(list move) q=_..^$]
|
|
=^ duy ..knap
|
|
(knap tea hen q.hin)
|
|
[duy ..^$]
|
|
--
|
|
|%
|
|
++ claw |=(our=ship ^-(duct hen:(need (~(get by zac.fox) our))))
|
|
++ clop
|
|
|= [now=@da hen=duct bon=boon]
|
|
^- [(list move) fort]
|
|
?- -.bon
|
|
%beer
|
|
:_ fox(zac (~(put by zac.fox) p.bon `corn`[hen ~ ~ ~]))
|
|
:: ~& [%ames-clop p.bon hen]
|
|
:* [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
|
|
~
|
|
==
|
|
::
|
|
%cake
|
|
:: ~& [%cake p.bon q.bon r.bon]
|
|
:_ fox
|
|
:~ [s.bon %give %woot q.p.bon r.bon]
|
|
==
|
|
::
|
|
%coke
|
|
:: ~& [%tz p.bon q.bon r.bon]
|
|
:_ fox
|
|
:~ [s.bon %give %went q.p.bon r.bon]
|
|
==
|
|
::
|
|
%mead :_(fox [[hen [%give %hear p.bon q.bon]] ~])
|
|
%milk
|
|
:: ~& [%rx p.bon q.bon]
|
|
?> ?=([@ *] q.q.bon)
|
|
?: ?=(%r i.q.q.bon)
|
|
?> ?=([@ @ *] t.q.q.bon)
|
|
:_ fox
|
|
=+ [cak=i.t.q.q.bon ven=i.t.t.q.q.bon]
|
|
:~ =+ neh=(claw p.p.bon)
|
|
?> ?=(^ neh)
|
|
=+ ton=[%waft p.bon r.bon]
|
|
:: ~& [%milk-waft [[ven `path`t.t.t.q.q.bon] t.neh]]
|
|
:- ?: =(%c ven)
|
|
?> =(%re cak)
|
|
[[%c `path`t.t.t.q.q.bon] hen]
|
|
?: =(%e ven)
|
|
?> |(=(%pr cak) =(%pc cak))
|
|
[[%e `path`t.t.t.q.q.bon] hen]
|
|
[[ven `path`t.t.t.q.q.bon] t.neh]
|
|
[%sick ton]
|
|
==
|
|
?> ?=(%q i.q.q.bon)
|
|
?> ?=([@ *] t.q.q.bon)
|
|
?+ i.t.q.q.bon
|
|
:_ fox
|
|
:~ :- (claw p.p.bon)
|
|
[%sick %wart p.bon i.t.q.q.bon t.t.q.q.bon r.bon]
|
|
==
|
|
::
|
|
%pi :: ping
|
|
`fox
|
|
:: $(bon [%wine p.bon " sent a ping at {(scow %da now)}"])
|
|
::
|
|
?(%pr %pc) :: %pr, %pc
|
|
:_ fox
|
|
:~ [hen [%slip %e %wart p.bon i.t.q.q.bon t.t.q.q.bon r.bon]]
|
|
==
|
|
::
|
|
%ta
|
|
=+ gox=((hard ,[p=@p q=@pG r=gens s=pass]) r.bon)
|
|
=+ gus=(need (~(us go ton.fox) p.p.bon))
|
|
=^ wyl gus (born:gus now gox)
|
|
=. ton.fox (~(su go ton.fox) gus)
|
|
:_ fox
|
|
:~ :- hen
|
|
[%pass ~ %a %want p.bon [%r %ta t.t.q.q.bon] `(unit will)`wyl]
|
|
==
|
|
%re :: %re
|
|
:_ fox
|
|
:~ [hen [%slip %c %wart p.bon i.t.q.q.bon t.t.q.q.bon r.bon]]
|
|
==
|
|
::
|
|
%ye :: %ye
|
|
:: ~& [%ye bon]
|
|
?> =(p.p.bon (sein q.p.bon))
|
|
=+ ^= paz ^- (list ,@p)
|
|
%+ skim pals:(~(um am [now fox]) p.p.bon)
|
|
|=(a=@p =(p.p.bon (sein a)))
|
|
:_ fox
|
|
%+ turn paz
|
|
|= him=ship
|
|
:- hen
|
|
[%pass ~ %a %want [p.p.bon him] /q/yu [q.p.bon r.bon]]
|
|
==
|
|
::
|
|
%mulk
|
|
:: ~& [%mulk p.bon q.bon]
|
|
?> ?=([@ @ *] q.q.bon)
|
|
?> ?=(%q i.q.q.bon)
|
|
?+ i.t.q.q.bon
|
|
~& %mulk-bad
|
|
:_ fox
|
|
:~ :- (claw p.p.bon)
|
|
[%sick %wart p.bon i.t.q.q.bon t.t.q.q.bon r.bon]
|
|
==
|
|
%ge :: %gall request
|
|
=* imp t.t.q.q.bon
|
|
?> (levy imp (sane %ta))
|
|
=+ ^= pax
|
|
:+ (scot %p p.p.bon)
|
|
(scot %p q.p.bon)
|
|
q.q.bon
|
|
:_ fox [hen %pass pax %g %rote p.bon imp r.bon]~
|
|
%gh :: %gall response
|
|
=* imp t.t.q.q.bon
|
|
?> (levy imp (sane %ta))
|
|
=+ ^= pax
|
|
:+ (scot %p p.p.bon)
|
|
(scot %p q.p.bon)
|
|
q.q.bon
|
|
:_ fox [hen %pass pax %g %roth p.bon imp r.bon]~
|
|
==
|
|
::
|
|
%ouzo
|
|
:: ~& [%send now p.bon `@p`(mug (shaf %flap q.bon))]
|
|
:_ fox
|
|
[[gad.fox [%give %send p.bon q.bon]] ~]
|
|
::
|
|
%wine
|
|
:_ fox
|
|
=+ nym=(temp p.p.bon q.p.bon /name)
|
|
=+ fom=~(rend co %$ %p q.p.bon)
|
|
:~ :- hen
|
|
:+ %slip %d
|
|
:+ %flog %text
|
|
;: weld
|
|
"; "
|
|
?: |(?=(~ nym) =(%$ u.nym)) fom
|
|
:(weld fom " " (trip ((hard ,@) u.nym)))
|
|
q.bon
|
|
==
|
|
==
|
|
==
|
|
::
|
|
++ knap
|
|
|= [tea=wire hen=duct sih=sign]
|
|
^- [(list move) _+>]
|
|
?- +<.sih
|
|
%crud [[[hen [%slip %d %flog +.sih]] ~] +>]
|
|
%went [~ +>]
|
|
?(%mean %nice)
|
|
?> ?=([@ @ @ *] tea)
|
|
=+ soq=[(slav %p i.tea) (slav %p i.t.tea)]
|
|
=+ pax=t.t.tea
|
|
:: ~& [%knap soq num pax]
|
|
=+ ^= fuy
|
|
=< zork =< zank
|
|
%^ ~(rack am [now fox]) soq pax
|
|
?-(+<.sih %mean `p.+.sih, %nice ~)
|
|
=> %_(. fox q.fuy)
|
|
=| out=(list move)
|
|
|- ^- [p=(list move) q=_+>.^$]
|
|
?~ p.fuy
|
|
[(flop out) +>.^$]
|
|
=^ toe fox (clop now hen i.p.fuy)
|
|
$(p.fuy t.p.fuy, out (weld (flop toe) out))
|
|
==
|
|
::
|
|
++ knob
|
|
|= [hen=duct kyz=kiss]
|
|
^- [(list move) _+>]
|
|
?: ?=([%crud *] kyz)
|
|
[[[hen [%slip %d %flog kyz]] ~] +>]
|
|
=+ ^= fuy
|
|
^- [p=(list boon) q=fort]
|
|
?- -.kyz
|
|
%barn
|
|
[~ fox(gad hen)]
|
|
%cash
|
|
(~(have am [now fox]) p.kyz q.kyz)
|
|
::
|
|
%hear
|
|
(~(gnaw am [now fox]) %good p.kyz q.kyz)
|
|
::
|
|
%hole
|
|
(~(gnaw am [now fox]) %dead p.kyz q.kyz)
|
|
::
|
|
%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
|
|
(~(czar am [now fox]) p.kyz q.kyz r.kyz)
|
|
::
|
|
%wake
|
|
(~(wake am [now fox]) hen)
|
|
::
|
|
%want
|
|
(~(wise am [now fox]) p.kyz hen q.kyz r.kyz |)
|
|
::
|
|
%wont
|
|
(~(wise am [now fox]) p.kyz hen q.kyz r.kyz &)
|
|
==
|
|
=> %_(. fox q.fuy)
|
|
=| out=(list move)
|
|
|- ^- [p=(list move) q=_+>.^$]
|
|
?~ p.fuy
|
|
[(flop out) +>.^$]
|
|
=^ toe fox (clop now hen i.p.fuy)
|
|
$(p.fuy t.p.fuy, out (weld (flop toe) out))
|
|
::
|
|
++ perm
|
|
|= [our=ship his=ship mar=@ud tyl=path]
|
|
^- (unit)
|
|
?~ tyl ~
|
|
?: ?=([%name ~] tyl)
|
|
=+ wul=$(tyl [%will ~])
|
|
[~ ?~(wul (scot %p his) (gnow his q.q.q:((hard deed) -.u.wul)))]
|
|
?: ?=([%gcos ~] tyl)
|
|
=+ wul=$(tyl [%will ~])
|
|
[~ ?~(wul ~ [~ `gcos`q.q.q:((hard deed) -.u.wul)])]
|
|
=+ gys=(~(us go ton.fox) our)
|
|
?~ gys ~
|
|
?. =(our his)
|
|
?: ?=([%will ~] tyl)
|
|
=+ fod=(~(get by hoc.saf.u.gys) his)
|
|
?~ fod ~
|
|
(rick mar his lew.wod.u.fod)
|
|
?: ?=([%tick ~] tyl)
|
|
?. =(our (sein his)) ~
|
|
[~ (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)) ~
|
|
[~ `buck`[u.muc u.luw]]
|
|
?: ?=([%code ~] tyl)
|
|
[~ (end 6 1 (shaf %code (shax sec:ex:q:sen:u.gys)))]
|
|
?: ?=([%will ~] tyl)
|
|
(rick mar our law.saf.u.gys)
|
|
~
|
|
::
|
|
++ temp
|
|
|= [our=ship his=ship tyl=path]
|
|
^- (unit)
|
|
?: ?=([?(%show %tell) *] tyl)
|
|
?^ t.tyl ~
|
|
=+ gys=(~(us go ton.fox) our)
|
|
?~ gys ~
|
|
=+ zet=zest:(ho:(~(um am [now fox]) our) his)
|
|
[~ ?:(=(%show i.tyl) >zet< zet)]
|
|
?: ?=([%pals ~] tyl)
|
|
?. =(our his)
|
|
~
|
|
[~ 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 ~
|
|
[~ `@ud`p.p.q.i.lew.wod.u.fod]
|
|
?~ val.saf.u.gys ~
|
|
[~ `@ud`p.i.val.saf.u.gys]
|
|
--
|