mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-03 02:35:52 +03:00
Moved %gall structures into a namespace.
This commit is contained in:
C. Guy Yarvin
parent
b94faeccfc
commit
62f75945d3
@ -95,7 +95,7 @@
|
||||
++ move (pair bone card) :: user-level move
|
||||
++ sign ::
|
||||
$% {$made p/@uvH q/gage} ::
|
||||
{$unto p/cuft} ::
|
||||
{$unto p/cuft:gall} ::
|
||||
== ::
|
||||
-- ::
|
||||
!: ::
|
||||
@ -908,7 +908,7 @@
|
||||
==
|
||||
::
|
||||
++ he-unto :: result from behn
|
||||
|= {way/wire cit/cuft}
|
||||
|= {way/wire cit/cuft:gall}
|
||||
^+ +>
|
||||
?. ?=($coup -.cit)
|
||||
~& [%strange-unto cit]
|
||||
|
||||
@ -2,6 +2,7 @@
|
||||
:: dill (4d), terminal handling
|
||||
::
|
||||
|= pit/vase
|
||||
=, gall
|
||||
=> |% :: interface tiles
|
||||
++ gill (pair ship term) :: general contact
|
||||
-- ::
|
||||
|
||||
@ -2,6 +2,7 @@
|
||||
!? 164
|
||||
::::
|
||||
|= pit/vase
|
||||
=, gall
|
||||
=> =~
|
||||
|% :: interfaces
|
||||
++ gift gift-eyre :: out result <-$
|
||||
|
||||
@ -3,6 +3,7 @@
|
||||
!? 164
|
||||
::::
|
||||
|= pit/vase
|
||||
=, gall
|
||||
=> =~
|
||||
:: structures
|
||||
|%
|
||||
|
||||
@ -3,6 +3,7 @@
|
||||
::::
|
||||
|= pit/vase
|
||||
=> =~
|
||||
=, gall
|
||||
|% :::::::::::::::::::::::::::::::::::::::::::::::::::::: rest of arvo
|
||||
::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
||||
++ volt ?($low $high) :: voltage
|
||||
@ -42,7 +43,7 @@
|
||||
++ gest :: subscriber data
|
||||
$: sup/bitt :: incoming subscribers
|
||||
neb/boat :: outgoing subscribers
|
||||
qel/(map bone @ud) :: queue meter
|
||||
qel/(map bone @ud) :: queue meter
|
||||
== ::
|
||||
++ mast :: ship state
|
||||
$: sys/duct :: system duct
|
||||
@ -127,7 +128,7 @@
|
||||
%_(+> moz :_(moz [hen %pass pax noh]))
|
||||
::
|
||||
++ mo-give
|
||||
|= git/gift-gall
|
||||
|= git/gift
|
||||
%_(+> moz :_(moz [hen %give git]))
|
||||
::
|
||||
++ mo-okay :: valid agent core
|
||||
@ -1200,9 +1201,9 @@
|
||||
--
|
||||
++ call :: request
|
||||
~% %gall-call +> ~
|
||||
|= {hen/duct hic/(hypo (hobo kiss-gall))}
|
||||
|= {hen/duct hic/(hypo (hobo kiss))}
|
||||
^+ [p=*(list move) q=..^$]
|
||||
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard kiss-gall) p.q.hic)))
|
||||
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard kiss) p.q.hic)))
|
||||
?- -.q.hic
|
||||
$conf
|
||||
?. (~(has by pol.all) p.p.q.hic)
|
||||
|
||||
202
arvo/jael.hoon
202
arvo/jael.hoon
@ -21,205 +21,7 @@
|
||||
:::: # 0 :: public structures
|
||||
:: ::::
|
||||
|= pit/vase
|
||||
=> |%
|
||||
++ funq
|
||||
^?
|
||||
|%
|
||||
++ mook
|
||||
(mul 6 70)
|
||||
--
|
||||
--
|
||||
=> |%
|
||||
:: ::
|
||||
:::: ## 0.a :: certificates
|
||||
:: ::::
|
||||
:: the urbit meta-certificate (++will) is a sequence
|
||||
:: of certificates (++cert). each cert in a will
|
||||
:: revokes and replaces the previous cert. the
|
||||
:: version number of a ship is a ++life.
|
||||
::
|
||||
:: the deed contains an ++arms, an optional definition
|
||||
:: of cosmetic identity; a semi-trusted parent,
|
||||
:: which signs the initial certificate and provides
|
||||
:: routing services; and a dirty bit. if the dirty
|
||||
:: bit is set, the new life of this ship may have
|
||||
:: lost information that the old life had.
|
||||
::::
|
||||
++ arms (map chip (pair @ta @t)) :: stated identity
|
||||
++ bull :: cert metadata
|
||||
$: dad/ship :: parent
|
||||
dob/? :: & clean, | dirty
|
||||
nym/arms :: identity strings
|
||||
== ::
|
||||
++ cert (tale deed) :: signed deed
|
||||
++ chip :: standard identity
|
||||
$? $giv :: given name
|
||||
$sur :: surname
|
||||
$had :: fictitious name
|
||||
$mid :: middle name
|
||||
== ::
|
||||
++ deed :: certificate deed
|
||||
$: doc/bull :: metadata
|
||||
pub/pass :: public key
|
||||
== ::
|
||||
++ farm (map ship will) :: pki dump set
|
||||
++ life @ud :: ship version
|
||||
++ mind {who/ship lyf/life} :: key identifier
|
||||
++ name (pair @ta @t) :: ascii / unicode
|
||||
++ oath @ :: signature
|
||||
++ tale :: urbit-signed *
|
||||
|* typ/mold :: payload mold
|
||||
$: dat/typ :: data
|
||||
syg/(map ship (pair life oath)) :: signatures
|
||||
== ::
|
||||
++ will (map life cert) :: meta-certificate
|
||||
:: ::::
|
||||
:::: ## 0.b :: rights and promises
|
||||
:: ::::
|
||||
:: %jael tracks promises (++rite) from ship to ship.
|
||||
:: a rite may be any right, badge, asset, secret, etc.
|
||||
:: un-shared secret or private asset is stored as a
|
||||
:: rite from self to self.
|
||||
::
|
||||
:: each rite is really a class of rights, and often
|
||||
:: has its own internal set or map structure.
|
||||
::
|
||||
:: present kinds of rite:
|
||||
::
|
||||
:: %apple: application secret for a web api.
|
||||
:: %block: the promisee is banned.
|
||||
:: %email: email tied to promissee's ship.
|
||||
:: %final: ship/ticket pair, ready to launch.
|
||||
:: %fungi: fungible, countable asset.
|
||||
:: %guest: permission to adopt foreign child.
|
||||
:: %hotel: block of unissued children.
|
||||
:: %jewel: urbit private keys.
|
||||
:: %login: user's login passcode.
|
||||
:: %pword: password for a website/api.
|
||||
:: %token: user access token for a web api.
|
||||
:: %urban: symmetric key for urbit networking.
|
||||
::
|
||||
:: %fungi keys can be anything, but don't reuse
|
||||
:: currency codes. codes for urbit invitations:
|
||||
:: %ugl == galaxy, %usr == star, %upl == planet
|
||||
::::
|
||||
++ bill (pair @da @) :: expiring value
|
||||
++ bump :: rights change
|
||||
$: mor/safe :: add rights
|
||||
les/safe :: lose rights
|
||||
== ::
|
||||
++ dorm (pair ship bloq) :: issuing group
|
||||
++ pile (tree (pair @ @)) :: efficient ship set
|
||||
++ rite :: urbit commitment
|
||||
$% {$apple p/(map site @)} :: web api key
|
||||
{$block $~} :: banned
|
||||
{$email p/(set @ta)} :: email addresses
|
||||
{$final p/(map ship @pG)} :: ticketed ships
|
||||
{$fungi p/(map term @ud)} :: fungibles
|
||||
{$guest $~} :: refugee visa
|
||||
{$hotel p/(map dorm pile)} :: reserved block
|
||||
{$jewel p/(map life ring)} :: private keyring
|
||||
{$login p/(set @pG)} :: login secret
|
||||
{$pword p/(map site (map @t @t))} :: web passwd by user
|
||||
{$token p/(map site (map @t @t))} :: app tokens by user
|
||||
{$urban p/(map hand bill)} :: urbit symmetric keys
|
||||
== ::
|
||||
++ site (list @ta) :: [%com %yahoo %www ~]
|
||||
++ safe (tree rite) :: rights set
|
||||
:: ::::
|
||||
:::: ## 0.c :: i/o
|
||||
:: ::::
|
||||
:: %jael has two general kinds of task: changes
|
||||
:: and change subscriptions.
|
||||
::
|
||||
:: change tasks are designed to match high-level
|
||||
:: operations - for instance, we have %burn, %mint,
|
||||
:: and %move, not just a single delta operation.
|
||||
:: more of these operations will probably be added,
|
||||
:: and invariants enforced at transaction end.
|
||||
::
|
||||
:: subscriptions are also user-focused - for instance,
|
||||
:: %vein sends all the information needed to maintain
|
||||
:: the secure channel, both rights and certificates.
|
||||
:: the security-critical tasks (%veil, %vein, %vine)
|
||||
:: should probably be bound to a whitelisted duct set.
|
||||
:: (all secrets are redacted from %vest gifts.)
|
||||
::
|
||||
:: %jael only talks to %ames and %behn. we send messages
|
||||
:: through %ames and use %behn timers.
|
||||
::::
|
||||
++ action :: balance change
|
||||
%+ pair ship :: partner
|
||||
%+ each bump :: &/liability change
|
||||
bump :: |/asset change
|
||||
:: ::
|
||||
++ balance :: balance sheet
|
||||
%+ pair ::
|
||||
(map ship safe) :: liabilities
|
||||
(map ship safe) :: assets
|
||||
:: ::
|
||||
++ change :: urbit change
|
||||
$% $: $fact :: certificate change
|
||||
rex/ship :: owner
|
||||
vie/(unit (unit ship)) :: made/heard from
|
||||
lyf/life :: deed added/modified
|
||||
gan/growth :: info gained
|
||||
== ::
|
||||
$: $rite :: rights change
|
||||
rex/ship :: issuer
|
||||
pal/ship :: issued to
|
||||
del/bump :: change
|
||||
== == ::
|
||||
:: ::
|
||||
++ channel :: secure channel
|
||||
$: out/(unit (pair hand bill)) :: outbound key
|
||||
inn/(map hand bill) :: inbound keys
|
||||
cur/(unit life) :: their version
|
||||
sax/(list ship) :: their ancestry
|
||||
pub/will :: their public keys
|
||||
== ::
|
||||
++ gift :: out result <-$
|
||||
$? {$veil p/channel} :: secure channel
|
||||
{$vest p/tally} :: balance update
|
||||
{$vein p/life q/(map life ring)} :: private keys
|
||||
{$vine p/(list change)} :: all raw changes
|
||||
== ::
|
||||
++ growth :: unit of learning
|
||||
$% {$sign p/mind q/@} :: add/update signature
|
||||
{$step p/cert} :: add whole deed
|
||||
== ::
|
||||
++ note :: out request $->
|
||||
$% {$b $wait p/@da} :: wait until
|
||||
{$x $mess p/ship q/path r/*} :: send message
|
||||
== ::
|
||||
++ remote :: remote notification
|
||||
%+ each safe :: &/addition
|
||||
safe :: |/replacement
|
||||
:: ::
|
||||
++ sign :: in result $<-
|
||||
$% {$b $wake $~} :: wakeup
|
||||
{$x $rest p/coop} :: message result
|
||||
== ::
|
||||
++ tally :: balance update
|
||||
%+ each balance :: complete
|
||||
action :: change
|
||||
::
|
||||
++ task :: in request ->$
|
||||
$% {$burn p/ship q/safe} :: destroy rights
|
||||
{$hail p/ship q/remote} :: remote update
|
||||
{$init p/@pG q/arms} :: initialize urbit
|
||||
{$meet p/(unit (unit ship)) q/farm} :: integrate pki from
|
||||
{$mint p/ship q/safe} :: create rights
|
||||
{$move p/ship q/ship r/safe} :: transfer from/to
|
||||
{$next p/bull} :: update private key
|
||||
{$nuke $~} :: cancel tracker from
|
||||
{$veil p/ship} :: view secret channel
|
||||
{$vein $~} :: view signing keys
|
||||
{$vest $~} :: view public balance
|
||||
{$vine $~} :: view secret history
|
||||
{$west p/ship q/path r/*} :: remote request
|
||||
== ::
|
||||
--
|
||||
=, jael
|
||||
:: ::::
|
||||
:::: # 1 :: private structures
|
||||
:: ::::
|
||||
@ -236,9 +38,7 @@
|
||||
:: derived. it consists of all the state we need to
|
||||
:: manage subscriptions efficiently.
|
||||
::::
|
||||
=, funq
|
||||
=> |%
|
||||
++ ape mook
|
||||
++ state :: all vane state
|
||||
$: ver/$0 :: vane version
|
||||
yen/(set duct) :: raw observers
|
||||
|
||||
297
arvo/zuse.hoon
297
arvo/zuse.hoon
@ -3864,52 +3864,247 @@
|
||||
::
|
||||
:::: %gall
|
||||
::
|
||||
++ club :: agent action
|
||||
$% {$peel p/mark q/path} :: translated peer
|
||||
{$peer p/path} :: subscribe
|
||||
{$poke p/cage} :: apply
|
||||
{$puff p/mark q/noun} :: unchecked poke
|
||||
{$pull $~} :: unsubscribe
|
||||
{$punk p/mark q/cage} :: translated poke
|
||||
{$pump $~} :: pump yes+no
|
||||
== ::
|
||||
++ cuft :: internal gift
|
||||
$% {$coup p/(unit tang)} :: poke result
|
||||
{$diff p/cage} :: subscription output
|
||||
{$doff p/mark q/noun} :: untyped diff
|
||||
{$quit $~} :: close subscription
|
||||
{$reap p/(unit tang)} :: peer result
|
||||
== ::
|
||||
++ culm :: config action
|
||||
$% {$load p/scup} :: load+reload
|
||||
:: {$kick $~} :: restart everything
|
||||
:: {$stop $~} :: toggle suspend
|
||||
:: {$wipe $~} :: destroy all state
|
||||
== ::
|
||||
++ cush (pair term club) :: internal kiss
|
||||
++ dude term :: server identity
|
||||
++ scup (pair ship desk) :: autoupdate
|
||||
++ well (pair desk term) ::
|
||||
++ suss (trel dude @tas @da) :: config report
|
||||
:::: ::
|
||||
++ kiss-gall :: incoming request
|
||||
$% {$conf p/dock q/culm} :: configure app
|
||||
{$init p/ship} :: set owner
|
||||
{$deal p/sock q/cush} :: full transmission
|
||||
{$went p/sack q/path r/@ud s/coop} :: response confirm
|
||||
{$west p/sack q/path r/@ud s/*} :: network request
|
||||
{$wegh $~} :: report memory
|
||||
== ::
|
||||
++ gift-gall :: outgoing result
|
||||
$% {$mass p/mass} :: memory usage
|
||||
{$onto p/(each suss tang)} :: about agent
|
||||
{$rend p/path q/*} :: network request
|
||||
{$unto p/cuft} ::
|
||||
{$mack p/(unit tang)} :: message ack
|
||||
== ::
|
||||
++ gift-jael ::
|
||||
$% {$clue p/ship q/pipe} ::
|
||||
==
|
||||
++ gall
|
||||
^? |%
|
||||
++ club :: agent action
|
||||
$% {$peel p/mark q/path} :: translated peer
|
||||
{$peer p/path} :: subscribe
|
||||
{$poke p/cage} :: apply
|
||||
{$puff p/mark q/noun} :: unchecked poke
|
||||
{$pull $~} :: unsubscribe
|
||||
{$punk p/mark q/cage} :: translated poke
|
||||
{$pump $~} :: pump yes+no
|
||||
== ::
|
||||
++ cuft :: internal gift
|
||||
$% {$coup p/(unit tang)} :: poke result
|
||||
{$diff p/cage} :: subscription output
|
||||
{$doff p/mark q/noun} :: untyped diff
|
||||
{$quit $~} :: close subscription
|
||||
{$reap p/(unit tang)} :: peer result
|
||||
== ::
|
||||
++ culm :: config action
|
||||
$% {$load p/scup} :: load+reload
|
||||
:: {$kick $~} :: restart everything
|
||||
:: {$stop $~} :: toggle suspend
|
||||
:: {$wipe $~} :: destroy all state
|
||||
== ::
|
||||
++ cush (pair term club) :: internal kiss
|
||||
++ dude term :: server identity
|
||||
++ scup (pair ship desk) :: autoupdate
|
||||
++ well (pair desk term) ::
|
||||
++ suss (trel dude @tas @da) :: config report
|
||||
:::: ::
|
||||
++ kiss :: incoming request
|
||||
$% {$conf p/dock q/culm} :: configure app
|
||||
{$init p/ship} :: set owner
|
||||
{$deal p/sock q/cush} :: full transmission
|
||||
{$went p/sack q/path r/@ud s/coop} :: response confirm
|
||||
{$west p/sack q/path r/@ud s/*} :: network request
|
||||
{$wegh $~} :: report memory
|
||||
== ::
|
||||
++ gift :: outgoing result
|
||||
$% {$mass p/mass} :: memory usage
|
||||
{$onto p/(each suss tang)} :: about agent
|
||||
{$rend p/path q/*} :: network request
|
||||
{$unto p/cuft} ::
|
||||
{$mack p/(unit tang)} :: message ack
|
||||
== ::
|
||||
--
|
||||
::
|
||||
::::
|
||||
::
|
||||
++ jael
|
||||
:: ::
|
||||
:::: ## jael.public :: certificates
|
||||
:: ::::
|
||||
^? |%
|
||||
:: the urbit meta-certificate (++will) is a sequence
|
||||
:: of certificates (++cert). each cert in a will
|
||||
:: revokes and replaces the previous cert. the
|
||||
:: version number of a ship is a ++life.
|
||||
::
|
||||
:: the deed contains an ++arms, a definition
|
||||
:: of cosmetic identity; a semi-trusted parent,
|
||||
:: which signs the initial certificate and provides
|
||||
:: routing services; and a dirty bit. if the dirty
|
||||
:: bit is set, the new life of this ship may have
|
||||
:: lost information that the old life had.
|
||||
::::
|
||||
++ arms (map chip (pair @ta @t)) :: stated identity
|
||||
++ bull :: cert metadata
|
||||
$: dad/ship :: parent
|
||||
dob/? :: & clean, | dirty
|
||||
nym/arms :: identity strings
|
||||
== ::
|
||||
++ cert (tale deed) :: signed deed
|
||||
++ chip :: standard identity
|
||||
$? $giv :: given name
|
||||
$sur :: surname
|
||||
$had :: fictitious name
|
||||
$mid :: middle name
|
||||
== ::
|
||||
++ deed :: certificate deed
|
||||
$: doc/bull :: metadata
|
||||
pub/pass :: public key
|
||||
== ::
|
||||
++ farm (map ship will) :: pki dump set
|
||||
++ life @ud :: ship version
|
||||
++ mind {who/ship lyf/life} :: key identifier
|
||||
++ name (pair @ta @t) :: ascii / unicode
|
||||
++ oath @ :: signature
|
||||
++ tale :: urbit-signed *
|
||||
|* typ/mold :: payload mold
|
||||
$: dat/typ :: data
|
||||
syg/(map ship (pair life oath)) :: signatures
|
||||
== ::
|
||||
++ will (map life cert) :: meta-certificate
|
||||
:: ::::
|
||||
:::: ## jael.promise :: rights and promises
|
||||
:: ::::
|
||||
:: %jael tracks promises (++rite) from ship to ship.
|
||||
:: a rite may be any right, badge, asset, secret, etc.
|
||||
:: un-shared secret or private asset is stored as a
|
||||
:: rite from self to self.
|
||||
::
|
||||
:: each rite is really a class of rights, and often
|
||||
:: has its own internal set or map structure.
|
||||
::
|
||||
:: present kinds of rite:
|
||||
::
|
||||
:: %apple: application secret for a web api.
|
||||
:: %block: the promisee is banned.
|
||||
:: %email: email tied to promissee's ship.
|
||||
:: %final: ship/ticket pair, ready to launch.
|
||||
:: %fungi: fungible, countable asset.
|
||||
:: %guest: permission to adopt foreign child.
|
||||
:: %hotel: block of unissued children.
|
||||
:: %jewel: urbit private keys.
|
||||
:: %login: user's login passcode.
|
||||
:: %pword: password for a website/api.
|
||||
:: %token: user access token for a web api.
|
||||
:: %urban: symmetric key for urbit networking.
|
||||
::
|
||||
:: %fungi keys can be anything, but don't reuse
|
||||
:: currency codes. codes for urbit invitations:
|
||||
:: %ugl == galaxy, %usr == star, %upl == planet
|
||||
::::
|
||||
++ bill (pair @da @) :: expiring value
|
||||
++ bump :: rights change
|
||||
$: mor/safe :: add rights
|
||||
les/safe :: lose rights
|
||||
== ::
|
||||
++ dorm (pair ship bloq) :: issuing group
|
||||
++ pile (tree (pair @ @)) :: efficient ship set
|
||||
++ rite :: urbit commitment
|
||||
$% {$apple p/(map site @)} :: web api key
|
||||
{$block $~} :: banned
|
||||
{$email p/(set @ta)} :: email addresses
|
||||
{$final p/(map ship @pG)} :: ticketed ships
|
||||
{$fungi p/(map term @ud)} :: fungibles
|
||||
{$guest $~} :: refugee visa
|
||||
{$hotel p/(map dorm pile)} :: reserved block
|
||||
{$jewel p/(map life ring)} :: private keyring
|
||||
{$login p/(set @pG)} :: login secret
|
||||
{$pword p/(map site (map @t @t))} :: web passwd by user
|
||||
{$token p/(map site (map @t @t))} :: app tokens by user
|
||||
{$urban p/(map hand bill)} :: urbit symmetric keys
|
||||
== ::
|
||||
++ site (list @ta) :: [%com %yahoo %www ~]
|
||||
++ safe (tree rite) :: rights set
|
||||
:: ::::
|
||||
:::: ## 0.c :: i/o
|
||||
:: ::::
|
||||
:: %jael has two general kinds of task: changes
|
||||
:: and change subscriptions.
|
||||
::
|
||||
:: change tasks are designed to match high-level
|
||||
:: operations - for instance, we have %burn, %mint,
|
||||
:: and %move, not just a single delta operation.
|
||||
:: more of these operations will probably be added,
|
||||
:: and invariants enforced at transaction end.
|
||||
::
|
||||
:: subscriptions are also user-focused - for instance,
|
||||
:: %vein sends all the information needed to maintain
|
||||
:: the secure channel, both rights and certificates.
|
||||
:: the security-critical tasks (%veil, %vein, %vine)
|
||||
:: should probably be bound to a whitelisted duct set.
|
||||
:: (all secrets are redacted from %vest gifts.)
|
||||
::
|
||||
:: %jael only talks to %ames and %behn. we send messages
|
||||
:: through %ames and use %behn timers.
|
||||
::::
|
||||
++ action :: balance change
|
||||
%+ pair ship :: partner
|
||||
%+ each bump :: &/liability change
|
||||
bump :: |/asset change
|
||||
:: ::
|
||||
++ balance :: balance sheet
|
||||
%+ pair ::
|
||||
(map ship safe) :: liabilities
|
||||
(map ship safe) :: assets
|
||||
:: ::
|
||||
++ change :: urbit change
|
||||
$% $: $fact :: certificate change
|
||||
rex/ship :: owner
|
||||
vie/(unit (unit ship)) :: made/heard from
|
||||
lyf/life :: deed added/modified
|
||||
gan/growth :: info gained
|
||||
== ::
|
||||
$: $rite :: rights change
|
||||
rex/ship :: issuer
|
||||
pal/ship :: issued to
|
||||
del/bump :: change
|
||||
== == ::
|
||||
:: ::
|
||||
++ channel :: secure channel
|
||||
$: out/(unit (pair hand bill)) :: outbound key
|
||||
inn/(map hand bill) :: inbound keys
|
||||
cur/(unit life) :: their version
|
||||
sax/(list ship) :: their ancestry
|
||||
pub/will :: their public keys
|
||||
== ::
|
||||
++ gift :: out result <-$
|
||||
$? {$veil p/channel} :: secure channel
|
||||
{$vest p/tally} :: balance update
|
||||
{$vein p/life q/(map life ring)} :: private keys
|
||||
{$vine p/(list change)} :: all raw changes
|
||||
== ::
|
||||
++ growth :: unit of learning
|
||||
$% {$sign p/mind q/@} :: add/update signature
|
||||
{$step p/cert} :: add whole deed
|
||||
== ::
|
||||
++ note :: out request $->
|
||||
$% {$b $wait p/@da} :: wait until
|
||||
{$x $mess p/ship q/path r/*} :: send message
|
||||
== ::
|
||||
++ remote :: remote notification
|
||||
%+ each safe :: &/addition
|
||||
safe :: |/replacement
|
||||
:: ::
|
||||
++ sign :: in result $<-
|
||||
$% {$b $wake $~} :: wakeup
|
||||
{$x $rest p/coop} :: message result
|
||||
== ::
|
||||
++ tally :: balance update
|
||||
%+ each balance :: complete
|
||||
action :: change
|
||||
::
|
||||
++ task :: in request ->$
|
||||
$% {$burn p/ship q/safe} :: destroy rights
|
||||
{$hail p/ship q/remote} :: remote update
|
||||
{$init p/@pG q/arms} :: initialize urbit
|
||||
{$meet p/(unit (unit ship)) q/farm} :: integrate pki from
|
||||
{$mint p/ship q/safe} :: create rights
|
||||
{$move p/ship q/ship r/safe} :: transfer from/to
|
||||
{$next p/bull} :: update private key
|
||||
{$nuke $~} :: cancel tracker from
|
||||
{$veil p/ship} :: view secret channel
|
||||
{$vein $~} :: view signing keys
|
||||
{$vest $~} :: view public balance
|
||||
{$vine $~} :: view secret history
|
||||
{$west p/ship q/path r/*} :: remote request
|
||||
== ::
|
||||
--
|
||||
::
|
||||
:::: %arvo
|
||||
::
|
||||
@ -3919,7 +4114,7 @@
|
||||
gift-dill
|
||||
gift-eyre
|
||||
gift-ford
|
||||
gift-gall
|
||||
gift:gall
|
||||
gift-behn
|
||||
==
|
||||
++ kiss-arvo :: in request ->$
|
||||
@ -3928,7 +4123,7 @@
|
||||
kiss-dill
|
||||
kiss-eyre
|
||||
kiss-ford
|
||||
kiss-gall
|
||||
kiss:gall
|
||||
kiss-behn
|
||||
==
|
||||
++ note-arvo :: out request $->
|
||||
@ -3939,7 +4134,7 @@
|
||||
{$d kiss-dill}
|
||||
{$e kiss-eyre}
|
||||
{$f kiss-ford}
|
||||
{$g kiss-gall}
|
||||
{$g kiss:gall}
|
||||
== ==
|
||||
++ sign-arvo :: in result $<-
|
||||
$% {$a gift-ames}
|
||||
@ -3948,7 +4143,7 @@
|
||||
{$d gift-dill}
|
||||
{$e gift-eyre}
|
||||
{$f gift-ford}
|
||||
{$g gift-gall}
|
||||
{$j gift-jael}
|
||||
{$g gift:gall}
|
||||
{$j gift:jael}
|
||||
==
|
||||
--
|
||||
|
||||
@ -15,11 +15,11 @@
|
||||
++ drum-pith-1 ::
|
||||
$: sys/(unit bone) :: local console
|
||||
eel/(set gill) :: connect to
|
||||
ray/(set well) ::
|
||||
fur/(map dude (unit server)) :: servers
|
||||
ray/(set well:gall) ::
|
||||
fur/(map dude:gall (unit server)) :: servers
|
||||
bin/(map bone source) :: terminals
|
||||
== ::
|
||||
++ drum-start well :: start (local) server
|
||||
++ drum-start well:gall :: start (local) server
|
||||
:: :: ::
|
||||
:::: :: ::
|
||||
:: :: ::
|
||||
@ -65,7 +65,7 @@
|
||||
++ ukase :: master command
|
||||
$% {$add p/(list gill)} :: attach to
|
||||
{$del p/(list gill)} :: detach from
|
||||
{$new p/(list well)} :: create
|
||||
{$new p/(list well:gall)} :: create
|
||||
== ::
|
||||
--
|
||||
:: :: ::
|
||||
@ -74,7 +74,7 @@
|
||||
|%
|
||||
++ deft-apes :: default servers
|
||||
|= our/ship
|
||||
%- ~(gas in *(set well))
|
||||
%- ~(gas in *(set well:gall))
|
||||
=+ myr=(clan our)
|
||||
?: =(%pawn myr)
|
||||
[[%base %talk] [%base %dojo] ~]
|
||||
@ -184,7 +184,7 @@
|
||||
(se-belt bet)
|
||||
::
|
||||
++ poke-start ::
|
||||
|= wel/well
|
||||
|= wel/well:gall
|
||||
=< se-abet =< se-view
|
||||
(se-born wel)
|
||||
::
|
||||
@ -223,11 +223,11 @@
|
||||
(se-dump:(se-drop & gyl) u.saw)
|
||||
::
|
||||
++ take-onto ::
|
||||
|= {way/wire saw/(each suss tang)}
|
||||
|= {way/wire saw/(each suss:gall tang)}
|
||||
=< se-abet =< se-view
|
||||
?> ?=({@ @ $~} way)
|
||||
?> (~(has by fur) i.t.way)
|
||||
=+ wel=`well`[i.way i.t.way]
|
||||
=+ wel=`well:gall`[i.way i.t.way]
|
||||
?- -.saw
|
||||
$| (se-dump p.saw)
|
||||
$& ?> =(q.wel p.p.saw)
|
||||
@ -263,7 +263,7 @@
|
||||
^+ .
|
||||
%+ roll (~(tap in ray))
|
||||
=< .(con +>)
|
||||
|= {wel/well con/_..se-adit} ^+ con
|
||||
|= {wel/well:gall con/_..se-adit} ^+ con
|
||||
=. +>.$ con
|
||||
=+ hig=(~(get by fur) q.wel)
|
||||
?: &(?=(^ hig) |(?=($~ u.hig) =(p.wel syd.u.u.hig))) +>.$
|
||||
@ -361,7 +361,7 @@
|
||||
==
|
||||
::
|
||||
++ se-born :: new server
|
||||
|= wel/well
|
||||
|= wel/well:gall
|
||||
^+ +>
|
||||
?: (~(has in ray) wel)
|
||||
(se-text "[already running {<p.wel>}/{<q.wel>}]")
|
||||
|
||||
@ -212,7 +212,7 @@
|
||||
(emit %flog /helm %verb ~)
|
||||
::
|
||||
++ take-onto :: result of %conf
|
||||
|= saw/(each suss tang) =< abet
|
||||
|= saw/(each suss:gall tang) =< abet
|
||||
%- emit
|
||||
?- -.saw
|
||||
$| [%flog ~ %crud %onto `tang`p.saw]
|
||||
|
||||
Loading…
Reference in New Issue
Block a user