2014-09-23 21:11:59 +04:00
|
|
|
:: %kahn, social state
|
|
|
|
::
|
|
|
|
:::: /hoon/kahn
|
|
|
|
::
|
|
|
|
!? 164
|
|
|
|
::::
|
|
|
|
|= pit=vase
|
|
|
|
=> =~
|
|
|
|
:: structures
|
|
|
|
|%
|
|
|
|
++ axle :: %kahn state
|
|
|
|
$: %0 ::
|
2014-11-02 01:13:18 +03:00
|
|
|
big=(unit ship) :: main ship, freeze
|
2014-11-04 02:07:46 +03:00
|
|
|
soc=(map monk node) :: state once big
|
2014-09-23 21:11:59 +04:00
|
|
|
== ::
|
2014-11-04 02:07:46 +03:00
|
|
|
++ cert (each will ,*) :: urbit and others
|
2014-09-23 21:11:59 +04:00
|
|
|
++ gift :: out result <-$
|
2014-11-04 02:07:46 +03:00
|
|
|
$: [%then p=node] :: propagate change
|
2014-11-02 01:13:18 +03:00
|
|
|
== ::
|
2014-11-04 02:07:46 +03:00
|
|
|
++ node :: social identity
|
|
|
|
$: ven=@ud :: iteration number
|
|
|
|
tin=(map monk link) :: inbound links
|
|
|
|
oud=(map monk link) :: outbound links
|
|
|
|
cet=cert :: certificate
|
2014-09-23 21:11:59 +04:00
|
|
|
== ::
|
|
|
|
++ kiss :: change
|
2014-11-04 02:07:46 +03:00
|
|
|
$: [%that p=note] :: social update
|
2014-09-23 21:11:59 +04:00
|
|
|
== ::
|
2014-11-04 02:07:46 +03:00
|
|
|
++ link (pair rank ,@da) :: graph link
|
|
|
|
++ note (qual ,@ud monk (map monk link) cert) ::
|
2014-11-02 01:13:18 +03:00
|
|
|
++ rank :: privilege ring
|
2014-11-04 02:07:46 +03:00
|
|
|
$? %0 :: owner / admin
|
|
|
|
%1 :: guardian / employer
|
|
|
|
%2 :: partner / employee
|
|
|
|
%3 :: friend / customer
|
|
|
|
%4 :: neighbor/ contact
|
|
|
|
%5 :: zombie
|
2014-09-23 21:11:59 +04:00
|
|
|
== ::
|
|
|
|
-- ::
|
|
|
|
. ==
|
|
|
|
=| axle
|
|
|
|
=* lex -
|
|
|
|
|= [now=@da eny=@ ski=sled] :: activate
|
|
|
|
^? :: opaque core
|
|
|
|
|% ::
|
|
|
|
++ call :: request
|
|
|
|
|= [hen=duct hic=(hypo (hobo kiss))]
|
|
|
|
^- [p=(list move) q=_..^$]
|
|
|
|
=> .(q.hic ?.(?=(%soft -.q.hic) q.hic ((hard kiss) p.q.hic)))
|
|
|
|
!!
|
|
|
|
::
|
|
|
|
++ doze
|
|
|
|
|= [now=@da hen=duct]
|
|
|
|
^- (unit ,@da)
|
|
|
|
~
|
|
|
|
::
|
|
|
|
++ load :: highly forgiving
|
|
|
|
|= old=*
|
|
|
|
=+ lox=((soft axle) old)
|
|
|
|
^+ ..^$
|
|
|
|
?~ lox
|
|
|
|
~& %lunt-reset
|
|
|
|
..^$
|
|
|
|
..^$(+>- u.lox)
|
|
|
|
::
|
|
|
|
++ scry
|
|
|
|
|= [fur=(unit (set monk)) ren=@tas who=ship syd=desk lot=coin tyl=path]
|
|
|
|
^- (unit (unit (pair mark ,*)))
|
2014-11-04 02:07:46 +03:00
|
|
|
?. =(big [~ who]) ~
|
|
|
|
=+ ^= yub ^- [(unit monk)
|
|
|
|
?: =(%urb syd)
|
|
|
|
?. ?=([* ~] tyl) ~
|
|
|
|
=+ goy=(slaw %p
|
|
|
|
|
|
|
|
?+ ?=([%$ %da @]
|
|
|
|
?+ lot ~
|
|
|
|
[%$ %ud @]
|
|
|
|
%+ bind
|
|
|
|
(perm who u.hun q.p.lot [syd t.tyl])
|
|
|
|
|=(a=* [%noun a])
|
|
|
|
::
|
|
|
|
?. =(now q.p.lot) ~
|
|
|
|
%+ bind
|
|
|
|
(temp who u.hun [syd t.tyl])
|
|
|
|
|=(a=* [%noun a])
|
|
|
|
==
|
|
|
|
?. ?=([%da
|
|
|
|
=+ mok ^- (unit monk)
|
|
|
|
?: =(%urb face)
|
|
|
|
(
|
|
|
|
|
2014-09-23 21:11:59 +04:00
|
|
|
::
|
|
|
|
++ stay :: save w/o cache
|
|
|
|
`axle`+>-.$
|
|
|
|
::
|
|
|
|
++ take :: response
|
|
|
|
|= [tea=wire hen=duct hin=(hypo noun)]
|
|
|
|
!!
|
|
|
|
--
|
|
|
|
|