mirror of
https://github.com/ilyakooo0/urbit.git
synced 2025-01-04 13:19:48 +03:00
Merge branch 'm/rezuse' into jb/motion-merge
* m/rezuse: zuse: lift moves out of +able
This commit is contained in:
commit
0b03a06b7b
@ -520,7 +520,7 @@
|
||||
:: should be deleted now that aqua is capable of managing azimuth state
|
||||
:: internally. Its been left this way for now until all the ph tests
|
||||
:: can be rewritten
|
||||
=/ keys=dawn-event:able:jael (dawn who.ae)
|
||||
=/ keys=dawn-event:jael (dawn who.ae)
|
||||
=. this abet-pe:(publish-effect:(pe who.ae) [/ %sleep ~])
|
||||
=/ initted
|
||||
=< plow
|
||||
@ -736,7 +736,7 @@
|
||||
::
|
||||
++ dawn
|
||||
|= who=ship
|
||||
^- dawn-event:able:jael
|
||||
^- dawn-event:jael
|
||||
?> ?=(?(%czar %king %duke) (clan:title who))
|
||||
=/ spon=(list [ship point:azimuth])
|
||||
%- flop
|
||||
@ -759,7 +759,7 @@
|
||||
?: ?=(%czar (clan:title ship))
|
||||
[a-point]~
|
||||
[a-point $(who ship)]
|
||||
=/ =seed:able:jael
|
||||
=/ =seed:jael
|
||||
=/ life-rift (~(got by lives.azi.piers) who)
|
||||
=/ =life lyfe.life-rift
|
||||
[who life sec:ex:(get-keys:aqua-azimuth who life) ~]
|
||||
|
@ -1,6 +1,6 @@
|
||||
/- eth-watcher
|
||||
/+ ethereum, azimuth, default-agent, verb
|
||||
=, able:jael
|
||||
=, jael
|
||||
|%
|
||||
++ app-state
|
||||
$: %0
|
||||
|
@ -3,7 +3,7 @@
|
||||
/- *eth-watcher, spider
|
||||
/+ ethereum, default-agent, verb, dbug
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
=> |%
|
||||
+$ card card:agent:gall
|
||||
|
@ -1,7 +1,7 @@
|
||||
:: herm: stand-in for term.c with http interface
|
||||
::
|
||||
/+ default-agent, dbug, verb
|
||||
=, able:jael
|
||||
=, jael
|
||||
|%
|
||||
+$ state-0 [%0 ~]
|
||||
--
|
||||
|
@ -234,7 +234,7 @@
|
||||
`state
|
||||
::
|
||||
++ handle-build
|
||||
|= [=path =gift:able:clay]
|
||||
|= [=path =gift:clay]
|
||||
^- (quip card _state)
|
||||
?> ?=([%writ *] gift)
|
||||
=/ uri=@t
|
||||
|
@ -10,7 +10,7 @@
|
||||
:: talk to its own star.
|
||||
::
|
||||
/+ default-agent, verb
|
||||
=* point point:able:kale
|
||||
=* point point:kale
|
||||
::
|
||||
|%
|
||||
+$ card card:agent:gall
|
||||
|
@ -7,7 +7,7 @@
|
||||
/- group-store, spider
|
||||
/+ ethereum, azimuth, default-agent, verb
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
=> |%
|
||||
++ group-path /invite-peers
|
||||
|
@ -3,4 +3,4 @@
|
||||
:- %say
|
||||
|= [* [her=ship ~] ~]
|
||||
:- %aqua-events
|
||||
[%init-ship her `*dawn-event:able:jael]~
|
||||
[%init-ship her `*dawn-event:jael]~
|
||||
|
@ -13,7 +13,7 @@
|
||||
=rift
|
||||
==
|
||||
:- %helm-moon
|
||||
^- (unit [=ship =udiff:point:able:jael])
|
||||
^- (unit [=ship =udiff:point:jael])
|
||||
=* our p.bec
|
||||
=/ ran (clan:title our)
|
||||
?: ?=([?(%earl %pawn)] ran)
|
||||
@ -30,4 +30,4 @@
|
||||
?. =(*^rift rift)
|
||||
rift
|
||||
+(.^(^rift j+/(scot %p our)/rift/(scot %da now)/(scot %p mon)))
|
||||
`[mon *id:block:able:jael %rift rift]
|
||||
`[mon *id:block:jael %rift rift]
|
||||
|
@ -14,7 +14,7 @@
|
||||
public-key=pass
|
||||
==
|
||||
:- %helm-moon
|
||||
^- (unit [=ship =udiff:point:able:jael])
|
||||
^- (unit [=ship =udiff:point:jael])
|
||||
=* our p.bec
|
||||
=/ ran (clan:title our)
|
||||
?: ?=([?(%earl %pawn)] ran)
|
||||
@ -35,11 +35,11 @@
|
||||
?. =(*pass public-key)
|
||||
public-key
|
||||
=/ cub (pit:nu:crub:crypto 512 (shaz (jam mon life eny)))
|
||||
=/ =seed:able:jael
|
||||
=/ =seed:jael
|
||||
[mon life sec:ex:cub ~]
|
||||
%- %- slog
|
||||
:~ leaf+"moon: {(scow %p mon)}"
|
||||
leaf+(scow %uw (jam seed))
|
||||
==
|
||||
pub:ex:cub
|
||||
`[mon *id:block:able:jael %keys life 1 pass]
|
||||
`[mon *id:block:jael %keys life 1 pass]
|
||||
|
@ -13,7 +13,7 @@
|
||||
public-key=pass
|
||||
==
|
||||
:- %helm-moon
|
||||
^- (unit [=ship =udiff:point:able:jael])
|
||||
^- (unit [=ship =udiff:point:jael])
|
||||
=* our p.bec
|
||||
=/ ran (clan:title our)
|
||||
?: ?=([?(%earl %pawn)] ran)
|
||||
@ -34,11 +34,11 @@
|
||||
?. =(*pass public-key)
|
||||
public-key
|
||||
=/ cub (pit:nu:crub:crypto 512 (shaz (jam mon life=1 eny)))
|
||||
=/ =seed:able:jael
|
||||
=/ =seed:jael
|
||||
[mon 1 sec:ex:cub ~]
|
||||
%- %- slog
|
||||
:~ leaf+"moon: {(scow %p mon)}"
|
||||
leaf+(scow %uw (jam seed))
|
||||
==
|
||||
pub:ex:cub
|
||||
`[mon *id:block:able:jael %keys 1 1 pass]
|
||||
`[mon *id:block:jael %keys 1 1 pass]
|
||||
|
@ -26,6 +26,6 @@
|
||||
%+ print leaf+" networking: 0x{(render-hex-bytes:ethereum 32 cry)}"
|
||||
%+ print leaf+"ethereum public keys:"
|
||||
::
|
||||
=/ sed=seed:able:jael
|
||||
=/ sed=seed:jael
|
||||
[who life sec:ex:cub ~]
|
||||
%- produce [%atom (scot %uw (jam sed))]
|
||||
|
@ -134,14 +134,14 @@
|
||||
==
|
||||
::
|
||||
++ number-to-hash
|
||||
|= =number:block:able:jael
|
||||
|= =number:block:jael
|
||||
^- @
|
||||
?: (lth number launch:contracts:azimuth)
|
||||
(cat 3 0x5364 (sub launch:contracts:azimuth number))
|
||||
(cat 3 0x5363 (sub number launch:contracts:azimuth))
|
||||
::
|
||||
++ hash-to-number
|
||||
|= =hash:block:able:jael
|
||||
|= =hash:block:jael
|
||||
(add launch:contracts:azimuth (div hash 0x1.0000))
|
||||
::
|
||||
++ logs-by-range
|
||||
@ -157,8 +157,8 @@
|
||||
logs.azi
|
||||
::
|
||||
++ logs-by-hash
|
||||
|= =hash:block:able:jael
|
||||
=/ =number:block:able:jael (hash-to-number hash)
|
||||
|= =hash:block:jael
|
||||
=/ =number:block:jael (hash-to-number hash)
|
||||
(logs-by-range number number)
|
||||
::
|
||||
++ logs-to-json
|
||||
|
@ -1,7 +1,7 @@
|
||||
/- rpc=json-rpc
|
||||
/+ ethereum, azimuth, strandio
|
||||
=, strand=strand:strandio
|
||||
=, able:jael
|
||||
=, jael
|
||||
|%
|
||||
++ tract azimuth:contracts:azimuth
|
||||
++ fetch-point
|
||||
|
@ -3,7 +3,7 @@
|
||||
/- rpc=json-rpc
|
||||
/+ ethereum, strandio
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
=> |%
|
||||
+$ topics (list ?(@ux (list @ux)))
|
||||
|
@ -43,10 +43,10 @@
|
||||
::
|
||||
++ poke-rekey :: rotate private keys
|
||||
|= des=@t
|
||||
=/ sed=(unit seed:able:jael)
|
||||
=/ sed=(unit seed:jael)
|
||||
%+ biff
|
||||
(bind (slaw %uw des) cue)
|
||||
(soft seed:able:jael)
|
||||
(soft seed:jael)
|
||||
=< abet
|
||||
?~ sed
|
||||
~& %invalid-private-key
|
||||
@ -73,7 +73,7 @@
|
||||
(foal:space:userlib :(welp byk sec+p.hot /atom) cage)
|
||||
::
|
||||
++ poke-moon :: rotate moon keys
|
||||
|= sed=(unit [=ship =udiff:point:able:jael])
|
||||
|= sed=(unit [=ship =udiff:point:jael])
|
||||
=< abet
|
||||
?~ sed
|
||||
this
|
||||
|
@ -190,7 +190,7 @@
|
||||
=/ m (strand ,~)
|
||||
^- form:m
|
||||
~& > "starting {<ship>}"
|
||||
;< ~ bind:m (send-events (init:util ship `*dawn-event:able:jael))
|
||||
;< ~ bind:m (send-events (init:util ship `*dawn-event:jael))
|
||||
(check-ship-booted ship)
|
||||
::
|
||||
++ real-ship
|
||||
@ -202,7 +202,7 @@
|
||||
(check-ship-booted ship)
|
||||
::
|
||||
++ raw-ship
|
||||
|= [=ship keys=(unit dawn-event:able:jael)]
|
||||
|= [=ship keys=(unit dawn-event:jael)]
|
||||
=/ m (strand ,~)
|
||||
^- form:m
|
||||
~& > "starting {<ship>}"
|
||||
|
@ -16,7 +16,7 @@
|
||||
:: Start a ship (low-level; prefer +raw-ship)
|
||||
::
|
||||
++ init
|
||||
|= [who=ship keys=(unit dawn-event:able:jael)]
|
||||
|= [who=ship keys=(unit dawn-event:jael)]
|
||||
^- (list aqua-event)
|
||||
[%init-ship who keys]~
|
||||
::
|
||||
|
@ -17,7 +17,7 @@
|
||||
$% [%wack p=@]
|
||||
[%what p=(list (pair path (cask)))]
|
||||
[%whom p=ship]
|
||||
[%boot ? $%($>(%fake task:able:jael) $>(%dawn task:able:jael))]
|
||||
[%boot ? $%($>(%fake task:jael) $>(%dawn task:jael))]
|
||||
unix-task
|
||||
==
|
||||
:: +boot-ovum: boostrap kernel filesystem load
|
||||
|
@ -31,7 +31,7 @@
|
||||
?> ?=(%king (clan:title i.tar))
|
||||
$(tar t.tar, stars (~(put in stars) i.tar))
|
||||
::
|
||||
|- ^- seed:able:jael
|
||||
|- ^- seed:jael
|
||||
=/ cub=acru:ames (pit:nu:crub:crypto 512 eny)
|
||||
=/ who=ship `@`fig:ex:cub
|
||||
:: disallow 64-bit or smaller addresses
|
||||
@ -232,7 +232,7 @@
|
||||
:: +veri:dawn: validate keys, life, discontinuity, &c
|
||||
::
|
||||
++ veri
|
||||
|= [=seed:able:jael =point:azimuth =live]
|
||||
|= [=seed:jael =point:azimuth =live]
|
||||
^- (unit error=term)
|
||||
=/ rac (clan:title who.seed)
|
||||
=/ cub (nol:nu:crub:crypto key.seed)
|
||||
|
@ -28,7 +28,7 @@
|
||||
+$ pill pill:pill-lib
|
||||
::
|
||||
+$ aqua-event
|
||||
$% [%init-ship who=ship keys=(unit dawn-event:able:jael)]
|
||||
$% [%init-ship who=ship keys=(unit dawn-event:jael)]
|
||||
[%pause-events who=ship]
|
||||
[%snap-ships lab=term hers=(list ship)]
|
||||
[%restore-snap lab=term]
|
||||
|
@ -1,7 +1,7 @@
|
||||
:: eth-watcher: ethereum event log collector
|
||||
::
|
||||
/+ ethereum
|
||||
=, able:jael
|
||||
=, jael
|
||||
|%
|
||||
+$ config
|
||||
$: :: url: ethereum node rpc endpoint
|
||||
|
@ -18,7 +18,7 @@
|
||||
[%rule wire %turf %put turf]
|
||||
[%source wire whos=(set ship) src=source:jael]
|
||||
[%sources wire ~]
|
||||
[%new-event wire =ship =udiff:point:able:jael]
|
||||
[%new-event wire =ship =udiff:point:jael]
|
||||
[%listen wire whos=(set ship) =source:jael]
|
||||
[%flog wire flog:dill]
|
||||
==
|
||||
|
@ -90,9 +90,8 @@
|
||||
!:
|
||||
=/ protocol-version=?(%0 %1 %2 %3 %4 %5 %6 %7) %0
|
||||
=, ames
|
||||
=, able
|
||||
=* point point:able:jael
|
||||
=* public-keys-result public-keys-result:able:jael
|
||||
=* point point:jael
|
||||
=* public-keys-result public-keys-result:jael
|
||||
:: veb: verbosity flags
|
||||
::
|
||||
=/ veb-all-off
|
||||
|
@ -5,18 +5,18 @@
|
||||
=, behn
|
||||
|= our=ship
|
||||
=> |%
|
||||
+$ move [p=duct q=(wite note gift:able)]
|
||||
+$ move [p=duct q=(wite note gift)]
|
||||
+$ note :: out request $->
|
||||
$~ [%b %wait *@da] ::
|
||||
$% $: %b :: to self
|
||||
$>(%wait task:able) :: set timer
|
||||
$>(%wait task) :: set timer
|
||||
== ::
|
||||
$: %d :: to %dill
|
||||
$>(%flog task:able:dill) :: log output
|
||||
$>(%flog task:dill) :: log output
|
||||
== == ::
|
||||
+$ sign
|
||||
$~ [%b %wake ~]
|
||||
$% [%b $>(%wake gift:able)]
|
||||
$% [%b $>(%wake gift)]
|
||||
==
|
||||
::
|
||||
+$ behn-state
|
||||
@ -258,17 +258,17 @@
|
||||
=* behn-gate .
|
||||
^?
|
||||
|%
|
||||
:: +call: handle a +task:able:behn request
|
||||
:: +call: handle a +task:behn request
|
||||
::
|
||||
++ call
|
||||
~% %behn-call ..part ~
|
||||
|= $: hen=duct
|
||||
dud=(unit goof)
|
||||
wrapped-task=(hobo task:able)
|
||||
wrapped-task=(hobo task)
|
||||
==
|
||||
^- [(list move) _behn-gate]
|
||||
::
|
||||
=/ =task:able ((harden task:able) wrapped-task)
|
||||
=/ =task ((harden task) wrapped-task)
|
||||
::
|
||||
:: error notifications "downcast" to %crud
|
||||
::
|
||||
|
@ -282,21 +282,21 @@
|
||||
$: rus=(map desk rede) :: neighbor desks
|
||||
==
|
||||
::
|
||||
+$ move [p=duct q=(wind note gift:able)] :: local move
|
||||
+$ move [p=duct q=(wind note gift)] :: local move
|
||||
+$ note :: out request $->
|
||||
$~ [%b %wait *@da] ::
|
||||
$% $: %$ :: to arvo
|
||||
$>(%what waif) ::
|
||||
== ::
|
||||
$: %a :: to %ames
|
||||
$>(%plea task:able:ames) ::
|
||||
$>(%plea task:ames) ::
|
||||
== ::
|
||||
$: %b :: to %behn
|
||||
$> $? %drip ::
|
||||
%rest ::
|
||||
%wait ::
|
||||
== ::
|
||||
task:able:behn ::
|
||||
task:behn ::
|
||||
== ::
|
||||
$: %c :: to %clay
|
||||
$> $? %info :: internal edit
|
||||
@ -305,16 +305,16 @@
|
||||
%warp ::
|
||||
%werp ::
|
||||
== ::
|
||||
task:able ::
|
||||
task ::
|
||||
== ::
|
||||
$: %d :: to %dill
|
||||
$>(%flog task:able:dill) ::
|
||||
$>(%flog task:dill) ::
|
||||
== ::
|
||||
$: %g :: to %gall
|
||||
$>(%deal task:able:gall) ::
|
||||
$>(%deal task:gall) ::
|
||||
== ::
|
||||
$: %j :: by %jael
|
||||
$>(%public-keys task:able:jael) ::
|
||||
$>(%public-keys task:jael) ::
|
||||
== == ::
|
||||
+$ riot (unit rant) :: response+complete
|
||||
+$ sign :: in result $<-
|
||||
@ -324,21 +324,21 @@
|
||||
%done :: (n)ack
|
||||
%lost :: lost boon
|
||||
== ::
|
||||
gift:able:ames ::
|
||||
gift:ames ::
|
||||
== ::
|
||||
$: %b :: by %behn
|
||||
$% $>(%wake gift:able:behn) :: timer activate
|
||||
$>(%writ gift:able) :: XX %slip
|
||||
$% $>(%wake gift:behn) :: timer activate
|
||||
$>(%writ gift) :: XX %slip
|
||||
== == ::
|
||||
$: %c :: by %clay
|
||||
$> $? %mere ::
|
||||
%note ::
|
||||
%writ ::
|
||||
== ::
|
||||
gift:able ::
|
||||
gift ::
|
||||
== ::
|
||||
$: %j :: by %jael
|
||||
$>(%public-keys gift:able:jael) ::
|
||||
$>(%public-keys gift:jael) ::
|
||||
== ::
|
||||
$: @tas :: by any
|
||||
$>(%crud vane-task) :: XX strange
|
||||
@ -3882,11 +3882,11 @@
|
||||
++ call :: handle request
|
||||
|= $: hen=duct
|
||||
dud=(unit goof)
|
||||
wrapped-task=(hobo task:able)
|
||||
wrapped-task=(hobo task)
|
||||
==
|
||||
^- [(list move) _..^$]
|
||||
::
|
||||
=/ req=task:able ((harden task:able) wrapped-task)
|
||||
=/ req=task ((harden task) wrapped-task)
|
||||
::
|
||||
:: error notifications "downcast" to %crud
|
||||
::
|
||||
|
@ -30,7 +30,7 @@
|
||||
+$ mess ::
|
||||
$% [%dill-belt p=(hypo dill-belt)] ::
|
||||
== ::
|
||||
+$ move [p=duct q=(wind note gift:able)] :: local move
|
||||
+$ move [p=duct q=(wind note gift)] :: local move
|
||||
+$ note :: out request $->
|
||||
$~ [%d %verb ~] ::
|
||||
$% $: %$ ::
|
||||
@ -41,7 +41,7 @@
|
||||
%perm :: change permissions
|
||||
%warp :: wait for clay hack
|
||||
== ::
|
||||
task:able:clay ::
|
||||
task:clay ::
|
||||
== ::
|
||||
$: %d ::
|
||||
$> $? %crud ::
|
||||
@ -49,42 +49,42 @@
|
||||
%text ::
|
||||
%verb ::
|
||||
== ::
|
||||
task:able:dill ::
|
||||
task:dill ::
|
||||
== ::
|
||||
$: %g ::
|
||||
$> $? %conf ::
|
||||
%deal ::
|
||||
%goad ::
|
||||
== ::
|
||||
task:able:gall ::
|
||||
task:gall ::
|
||||
== ::
|
||||
$: %j ::
|
||||
$> $? %dawn ::
|
||||
%fake ::
|
||||
== ::
|
||||
task:able:jael ::
|
||||
task:jael ::
|
||||
== == ::
|
||||
+$ sign :: in result $<-
|
||||
$~ [%d %blit ~] ::
|
||||
$% $: %b ::
|
||||
$% $>(%writ gift:able:clay) :: XX %slip
|
||||
$>(%mere gift:able:clay) :: XX %slip
|
||||
$% $>(%writ gift:clay) :: XX %slip
|
||||
$>(%mere gift:clay) :: XX %slip
|
||||
== == ::
|
||||
$: %c ::
|
||||
$> $? %mere ::
|
||||
%note ::
|
||||
%writ ::
|
||||
== ::
|
||||
gift:able:clay ::
|
||||
gift:clay ::
|
||||
== ::
|
||||
$: %d ::
|
||||
$>(%blit gift:able:dill) ::
|
||||
$>(%blit gift:dill) ::
|
||||
== ::
|
||||
$: %g ::
|
||||
$> $? %onto ::
|
||||
%unto ::
|
||||
== ::
|
||||
gift:able:gall ::
|
||||
gift:gall ::
|
||||
== == ::
|
||||
:::::::: :: dill tiles
|
||||
--
|
||||
@ -100,7 +100,7 @@
|
||||
[(flop moz) all(dug (~(put by dug.all) hen +<+))]
|
||||
::
|
||||
++ call :: receive input
|
||||
|= kyz=task:able
|
||||
|= kyz=task
|
||||
^+ +>
|
||||
?+ -.kyz ~& [%strange-kiss -.kyz] +>
|
||||
%flow +>
|
||||
@ -139,12 +139,12 @@
|
||||
$(wall t.wall, +>.^$ (from %out (tuba i.wall)))
|
||||
::
|
||||
++ dump :: pass down to hey
|
||||
|= git=gift:able
|
||||
|= git=gift
|
||||
?> ?=(^ hey.all)
|
||||
+>(moz [[u.hey.all %give git] moz])
|
||||
::
|
||||
++ done :: return gift
|
||||
|= git=gift:able
|
||||
|= git=gift
|
||||
=- +>.$(moz (weld - moz))
|
||||
%+ turn
|
||||
:- hen
|
||||
@ -300,11 +300,11 @@
|
||||
++ call :: handle request
|
||||
|= $: hen=duct
|
||||
dud=(unit goof)
|
||||
wrapped-task=(hobo task:able)
|
||||
wrapped-task=(hobo task)
|
||||
==
|
||||
^+ [*(list move) ..^$]
|
||||
~| wrapped-task
|
||||
=/ task=task:able ((harden task:able) wrapped-task)
|
||||
=/ task=task ((harden task) wrapped-task)
|
||||
::
|
||||
:: error notifications "downcast" to %crud
|
||||
::
|
||||
@ -320,7 +320,7 @@
|
||||
?> =(~ hey.all)
|
||||
=. hey.all `hen
|
||||
=/ boot
|
||||
((soft $>($?(%dawn %fake) task:able:jael)) p.task)
|
||||
((soft $>($?(%dawn %fake) task:jael)) p.task)
|
||||
?~ boot
|
||||
~& %dill-no-boot
|
||||
~& p.task
|
||||
|
@ -17,7 +17,7 @@
|
||||
=duct
|
||||
::
|
||||
::
|
||||
card=(wind note gift:able)
|
||||
card=(wind note gift)
|
||||
==
|
||||
:: +note: private request from eyre to another vane
|
||||
::
|
||||
@ -42,7 +42,7 @@
|
||||
$: %g
|
||||
::
|
||||
::
|
||||
$>(%deal task:able:gall)
|
||||
$>(%deal task:gall)
|
||||
== ==
|
||||
:: +sign: private response from another vane to eyre
|
||||
::
|
||||
@ -59,8 +59,8 @@
|
||||
$: %g
|
||||
::
|
||||
::
|
||||
gift:able:gall
|
||||
:: $>(%unto gift:able:gall)
|
||||
gift:gall
|
||||
:: $>(%unto gift:gall)
|
||||
== ==
|
||||
--
|
||||
:: more structures
|
||||
@ -1522,7 +1522,7 @@
|
||||
::NOTE assertions in this block because =* is flimsy
|
||||
?> ?=([%| *] state.u.channel)
|
||||
:+ p.state.u.channel %give
|
||||
^- gift:able
|
||||
^- gift
|
||||
:* %response %continue
|
||||
::
|
||||
^= data
|
||||
@ -1577,7 +1577,7 @@
|
||||
=? moves &(kicking ?=([%| *] state.u.channel))
|
||||
:_ moves
|
||||
:+ p.state.u.channel %give
|
||||
^- gift:able
|
||||
^- gift
|
||||
:* %response %continue
|
||||
::
|
||||
^= data
|
||||
@ -2102,10 +2102,10 @@
|
||||
~% %http-server ..part ~
|
||||
|%
|
||||
++ call
|
||||
|= [=duct dud=(unit goof) wrapped-task=(hobo task:able)]
|
||||
|= [=duct dud=(unit goof) wrapped-task=(hobo task)]
|
||||
^- [(list move) _http-server-gate]
|
||||
::
|
||||
=/ task=task:able ((harden task:able) wrapped-task)
|
||||
=/ task=task ((harden task) wrapped-task)
|
||||
::
|
||||
:: error notifications "downcast" to %crud
|
||||
::
|
||||
|
@ -195,7 +195,7 @@
|
||||
[moves adult-gate]
|
||||
::
|
||||
++ call
|
||||
|= [=duct dud=(unit goof) wrapped-task=(hobo task:able)]
|
||||
|= [=duct dud=(unit goof) wrapped-task=(hobo task)]
|
||||
=* call-args +<
|
||||
?: =(~ eggs.spore)
|
||||
~> %slog.[0 leaf+"gall: direct morphogenesis"]
|
||||
@ -204,7 +204,7 @@
|
||||
?^ dud
|
||||
~> %slog.[0 leaf+"gall: pupa call dud"]
|
||||
(mean >mote.u.dud< tang.u.dud)
|
||||
=/ task ((harden task:able:gall) wrapped-task)
|
||||
=/ task ((harden task:gall) wrapped-task)
|
||||
(molt duct `[duct %slip %g task])
|
||||
::
|
||||
++ scry scry:adult-core
|
||||
@ -265,7 +265,7 @@
|
||||
++ mo-abed |=(hun=duct mo-core(hen hun))
|
||||
++ mo-abet [(flop moves) gall-payload]
|
||||
++ mo-pass |=(p=[wire note-arvo] mo-core(moves [[hen pass+p] moves]))
|
||||
++ mo-give |=(g=gift:able mo-core(moves [[hen give+g] moves]))
|
||||
++ mo-give |=(g=gift mo-core(moves [[hen give+g] moves]))
|
||||
:: +mo-boot: ask %ford to build us a core for the specified agent.
|
||||
::
|
||||
++ mo-boot
|
||||
@ -1660,13 +1660,13 @@
|
||||
::
|
||||
++ call
|
||||
~% %gall-call +> ~
|
||||
|= [=duct dud=(unit goof) hic=(hobo task:able)]
|
||||
|= [=duct dud=(unit goof) hic=(hobo task)]
|
||||
^- [(list move) _gall-payload]
|
||||
?^ dud
|
||||
~|(%gall-call-dud (mean tang.u.dud))
|
||||
::
|
||||
~| [%gall-call-failed duct hic]
|
||||
=/ =task:able ((harden task:able) hic)
|
||||
=/ =task ((harden task) hic)
|
||||
::
|
||||
=/ mo-core (mo-abed:mo duct)
|
||||
?- -.task
|
||||
|
@ -19,7 +19,7 @@
|
||||
=duct
|
||||
::
|
||||
::
|
||||
card=(wind note gift:able)
|
||||
card=(wind note gift)
|
||||
==
|
||||
:: +note: private request from light to another vane
|
||||
::
|
||||
@ -303,10 +303,10 @@
|
||||
~% %http-client ..part ~
|
||||
|%
|
||||
++ call
|
||||
|= [=duct dud=(unit goof) wrapped-task=(hobo task:able)]
|
||||
|= [=duct dud=(unit goof) wrapped-task=(hobo task)]
|
||||
^- [(list move) _light-gate]
|
||||
::
|
||||
=/ task=task:able ((harden task:able) wrapped-task)
|
||||
=/ task=task ((harden task) wrapped-task)
|
||||
::
|
||||
:: error notifications "downcast" to %crud
|
||||
::
|
||||
|
@ -17,12 +17,12 @@
|
||||
::
|
||||
|= our=ship
|
||||
=, pki:jael
|
||||
=, able:jael
|
||||
=, jael
|
||||
=, crypto
|
||||
=, jael
|
||||
=, ethereum-types
|
||||
=, azimuth-types
|
||||
=, point=point:able:jael
|
||||
=, point=point:jael
|
||||
:: ::::
|
||||
:::: # models :: data structures
|
||||
:: ::::
|
||||
@ -78,16 +78,16 @@
|
||||
+$ note :: out request $->
|
||||
$~ [%a %plea *ship *plea:ames] ::
|
||||
$% $: %a :: to %ames
|
||||
$>(%plea task:able:ames) :: send request message
|
||||
$>(%plea task:ames) :: send request message
|
||||
== ::
|
||||
$: %b :: to %behn
|
||||
$>(%wait task:able:behn) :: set timer
|
||||
$>(%wait task:behn) :: set timer
|
||||
== ::
|
||||
$: %e :: to %eyre
|
||||
[%code-changed ~] :: notify code changed
|
||||
== ::
|
||||
$: %g :: to %gall
|
||||
$>(%deal task:able:gall) :: talk to app
|
||||
$>(%deal task:gall) :: talk to app
|
||||
== ::
|
||||
$: %j :: to self
|
||||
$>(%listen task) :: set ethereum source
|
||||
@ -99,18 +99,18 @@
|
||||
+$ sign :: in result $<-
|
||||
$~ [%a %done ~] ::
|
||||
$% $: %a ::
|
||||
$% $>(%boon gift:able:ames) :: message response
|
||||
$>(%done gift:able:ames) :: message (n)ack
|
||||
$>(%lost gift:able:ames) :: lost boon
|
||||
$% $>(%boon gift:ames) :: message response
|
||||
$>(%done gift:ames) :: message (n)ack
|
||||
$>(%lost gift:ames) :: lost boon
|
||||
== == ::
|
||||
$: %b ::
|
||||
$>(%wake gift:able:behn) ::
|
||||
$>(%wake gift:behn) ::
|
||||
== ::
|
||||
$: %g ::
|
||||
$> $? %onto ::
|
||||
%unto ::
|
||||
== ::
|
||||
gift:able:gall ::
|
||||
gift:gall ::
|
||||
==
|
||||
== ::
|
||||
-- ::
|
||||
@ -989,13 +989,13 @@
|
||||
::
|
||||
hen=duct
|
||||
dud=(unit goof)
|
||||
hic=(hobo task:able)
|
||||
hic=(hobo task)
|
||||
==
|
||||
^- [(list move) _..^$]
|
||||
?^ dud
|
||||
~|(%jael-call-dud (mean tang.u.dud))
|
||||
::
|
||||
=/ =task:able ((harden task:able) hic)
|
||||
=/ =task ((harden task) hic)
|
||||
=^ did lex
|
||||
abet:(~(call of [now eny] lex) hen task)
|
||||
[did ..^$]
|
||||
|
File diff suppressed because it is too large
Load Diff
@ -191,14 +191,14 @@
|
||||
==
|
||||
::
|
||||
++ number-to-hash
|
||||
|= =number:block:able:jael
|
||||
|= =number:block:jael
|
||||
^- @
|
||||
?: (lth number launch:contracts:azimuth)
|
||||
(cat 3 0x5364 (sub launch:contracts:azimuth number))
|
||||
(cat 3 0x5363 (sub number launch:contracts:azimuth))
|
||||
::
|
||||
++ hash-to-number
|
||||
|= =hash:block:able:jael
|
||||
|= =hash:block:jael
|
||||
(add launch:contracts:azimuth (div hash 0x1.0000))
|
||||
::
|
||||
++ logs-by-range
|
||||
@ -214,8 +214,8 @@
|
||||
logs.state
|
||||
::
|
||||
++ logs-by-hash
|
||||
|= =hash:block:able:jael
|
||||
=/ =number:block:able:jael (hash-to-number hash)
|
||||
|= =hash:block:jael
|
||||
=/ =number:block:jael (hash-to-number hash)
|
||||
(logs-by-range number number)
|
||||
::
|
||||
++ logs-to-json
|
||||
@ -287,7 +287,7 @@
|
||||
0w9N.5uIvA.Jg0cx.NCD2R.o~MtZ.uEQOB.9uTbp.6LHvg.0yYTP.
|
||||
3q3td.T4UF0.d5sDL.JGpZq.S3A92.QUuWg.IHdw7.izyny.j9W92
|
||||
(pit:nu:crub:crypto 512 (shaz (jam who life=1 %entropy)))
|
||||
=/ =seed:able:jael
|
||||
=/ =seed:jael
|
||||
[who 1 sec:ex:cub ~]
|
||||
=/ =pass pub:ex:cub
|
||||
=/ com=tape
|
||||
@ -299,8 +299,8 @@
|
||||
==
|
||||
::
|
||||
++ dawn
|
||||
|= [who=ship seed=(unit seed:able:jael)]
|
||||
^- dawn-event:able:jael
|
||||
|= [who=ship seed=(unit seed:jael)]
|
||||
^- dawn-event:jael
|
||||
=/ spon=(list [ship point:azimuth])
|
||||
%- flop
|
||||
|- ^- (list [ship point:azimuth])
|
||||
@ -322,7 +322,7 @@
|
||||
?: ?=(%czar (clan:title ship))
|
||||
[a-point]~
|
||||
[a-point $(who ship)]
|
||||
=/ =seed:able:jael
|
||||
=/ =seed:jael
|
||||
?^ seed
|
||||
u.seed
|
||||
=/ life-rift (~(got by lives.state) who)
|
||||
|
@ -1,7 +1,7 @@
|
||||
/- spider
|
||||
/+ strandio, *azimuthio
|
||||
=, strand=strand:spider
|
||||
=, able:jael
|
||||
=, jael
|
||||
|%
|
||||
+$ pending-udiffs (map number:block udiffs:point)
|
||||
+$ app-state
|
||||
|
@ -3,7 +3,7 @@
|
||||
/- *claz
|
||||
/+ *claz, ethio, strandio
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
|= args=vase
|
||||
=/ [url=@t =command]
|
||||
|
@ -3,7 +3,7 @@
|
||||
/- spider, *eth-watcher
|
||||
/+ strandio, ethio
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
:: Main loop: get updates since last checked
|
||||
::
|
||||
|
@ -4,7 +4,7 @@
|
||||
::
|
||||
/+ ethereum, ethio, strandio
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
|= args=vase
|
||||
=+ !<([url=@t blocks=(list @ud)] args)
|
||||
|
@ -4,7 +4,7 @@
|
||||
::
|
||||
/+ ethereum, ethio, strandio
|
||||
=, ethereum-types
|
||||
=, able:jael
|
||||
=, jael
|
||||
::
|
||||
|= args=vase
|
||||
=/ m (strand:strandio ,vase)
|
||||
|
@ -176,7 +176,7 @@
|
||||
|= $: clay-gate=_clay-gate
|
||||
now=@da
|
||||
scry=roof
|
||||
call-args=[=duct wrapped-task=(hobo task:able:clay)]
|
||||
call-args=[=duct wrapped-task=(hobo task:clay)]
|
||||
expected-moves=(list move:clay-gate)
|
||||
==
|
||||
^- [tang _clay-gate]
|
||||
@ -197,7 +197,7 @@
|
||||
|= $: clay-gate=_clay-gate
|
||||
now=@da
|
||||
scry=roof
|
||||
call-args=[=duct wrapped-task=(hobo task:able:clay)]
|
||||
call-args=[=duct wrapped-task=(hobo task:clay)]
|
||||
move-comparator=$-((list move:clay-gate) tang)
|
||||
==
|
||||
^- [tang _clay-gate]
|
||||
|
@ -631,7 +631,7 @@
|
||||
now=~1111.1.5..1.0.0
|
||||
scry=scry-provides-code
|
||||
^= call-args
|
||||
^- [=duct (unit goof) wrapped-task=(hobo task:able:eyre-gate)]
|
||||
^- [=duct (unit goof) wrapped-task=(hobo task:eyre-gate)]
|
||||
:* duct=~[/http-blah] ~
|
||||
%request
|
||||
%.n
|
||||
@ -1564,7 +1564,7 @@
|
||||
now=(add ~1111.1.2 ~m3)
|
||||
scry=scry-provides-code
|
||||
^= call-args
|
||||
^- [duct (unit goof) (hobo task:able:eyre-gate)]
|
||||
^- [duct (unit goof) (hobo task:eyre-gate)]
|
||||
:* duct=~[/http-get-open] ~
|
||||
%request
|
||||
%.n
|
||||
@ -1818,7 +1818,7 @@
|
||||
now
|
||||
scry=scry-provides-code
|
||||
^= call-args
|
||||
^- [duct (unit goof) (hobo task:able:eyre-gate)]
|
||||
^- [duct (unit goof) (hobo task:eyre-gate)]
|
||||
:* duct=~[/http-get-open] ~
|
||||
%request
|
||||
%.n
|
||||
@ -2007,7 +2007,7 @@
|
||||
::
|
||||
=/ move=move:eyre-gate i.t.moves
|
||||
=/ =duct duct.move
|
||||
=/ card=(wind note:eyre-gate gift:able:eyre-gate) card.move
|
||||
=/ card=(wind note:eyre-gate gift:eyre-gate) card.move
|
||||
::
|
||||
%+ weld
|
||||
(expect-eq !>(~[/http-blah]) !>(duct))
|
||||
@ -2029,7 +2029,7 @@
|
||||
|= $: eyre-gate=_eyre-gate
|
||||
now=@da
|
||||
scry=roof
|
||||
call-args=[=duct dud=(unit goof) wrapped-task=(hobo task:able:eyre-gate)]
|
||||
call-args=[=duct dud=(unit goof) wrapped-task=(hobo task:eyre-gate)]
|
||||
expected-moves=(list move:eyre-gate)
|
||||
==
|
||||
^- [tang _eyre-gate]
|
||||
@ -2051,7 +2051,7 @@
|
||||
|= $: eyre-gate=_eyre-gate
|
||||
now=@da
|
||||
scry=roof
|
||||
call-args=[=duct dud=(unit goof) wrapped-task=(hobo task:able:eyre-gate)]
|
||||
call-args=[=duct dud=(unit goof) wrapped-task=(hobo task:eyre-gate)]
|
||||
move-comparator=$-((list move:eyre-gate) tang)
|
||||
==
|
||||
^- [tang _eyre-gate]
|
||||
@ -2095,7 +2095,7 @@
|
||||
::
|
||||
=/ eyre-core (eyre-gate now=now eny=`@uvJ`0xdead.beef scry=scry)
|
||||
::
|
||||
=^ moves eyre-gate (take:eyre-core [wire duct ~ sign]:take-args)
|
||||
=^ moves eyre-gate (take:eyre-core [wire duct ~ sign]:take-args)
|
||||
::
|
||||
=/ output=tang (move-comparator moves)
|
||||
::
|
||||
@ -2103,7 +2103,7 @@
|
||||
::
|
||||
++ expect-gall-deal
|
||||
|= $: expected=[wire=path id=sock app=term =deal:gall]
|
||||
actual=(wind note:eyre-gate gift:able:eyre-gate)
|
||||
actual=(wind note:eyre-gate gift:eyre-gate)
|
||||
==
|
||||
^- tang
|
||||
::
|
||||
|
@ -13,7 +13,7 @@
|
||||
::
|
||||
=/ call-args
|
||||
=/ =duct ~[/init]
|
||||
=/ =task:able:gall [%init ~]
|
||||
=/ =task:gall [%init ~]
|
||||
[duct task]
|
||||
::
|
||||
=/ expected-moves=(list move:gall-gate) ~
|
||||
@ -33,7 +33,7 @@
|
||||
=/ ship ~nec
|
||||
::
|
||||
=/ call-args
|
||||
=/ =task:able:gall [%conf dap]
|
||||
=/ =task:gall [%conf dap]
|
||||
[duct task]
|
||||
::
|
||||
=/ =move:gall-gate
|
||||
@ -54,13 +54,13 @@
|
||||
|= $: gall-gate=_gall-gate
|
||||
now=@da
|
||||
scry=roof
|
||||
call-args=[=duct wrapped-task=(hobo task:able:gall)]
|
||||
call-args=[=duct wrapped-task=(hobo task:gall)]
|
||||
expected-moves=(list move:gall-gate)
|
||||
==
|
||||
=/ gall-core (gall-gate now=now eny=`@`0xdead.beef scry=scry)
|
||||
::
|
||||
=/ res
|
||||
=/ =type -:!>(*task:able:gall)
|
||||
=/ =type -:!>(*task:gall)
|
||||
(call:gall-core duct.call-args dud=~ wrapped-task.call-args)
|
||||
::
|
||||
=/ output=tang
|
||||
|
@ -58,7 +58,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/initial-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %receive
|
||||
id=0
|
||||
^- http-event:http
|
||||
@ -154,7 +154,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/initial-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %receive
|
||||
id=0
|
||||
^- http-event:http
|
||||
@ -191,7 +191,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/initial-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %receive
|
||||
id=0
|
||||
^- http-event:http
|
||||
@ -224,7 +224,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/initial-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %receive
|
||||
id=0
|
||||
^- http-event:http
|
||||
@ -311,7 +311,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/initial-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %receive
|
||||
id=0
|
||||
^- http-event:http
|
||||
@ -417,7 +417,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/initial-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %receive
|
||||
id=0
|
||||
^- http-event:http
|
||||
@ -489,7 +489,7 @@
|
||||
scry=*roof
|
||||
^= call-args
|
||||
:+ duct=~[/secondary-born-duct] ~
|
||||
^- task:able:iris
|
||||
^- task:iris
|
||||
:* %born
|
||||
~
|
||||
==
|
||||
@ -512,7 +512,7 @@
|
||||
|= $: http-client-gate=_http-client-gate
|
||||
now=@da
|
||||
scry=roof
|
||||
call-args=[=duct dud=(unit goof) wrapped-task=(hobo task:able:iris)]
|
||||
call-args=[=duct dud=(unit goof) wrapped-task=(hobo task:iris)]
|
||||
expected-moves=(list move:http-client-gate)
|
||||
==
|
||||
^- [tang _http-client-gate]
|
||||
|
Loading…
Reference in New Issue
Block a user