2022-08-12 00:04:01 +03:00
|
|
|
/+ *test
|
2022-08-17 17:24:51 +03:00
|
|
|
/= ames /sys/vane/ames
|
|
|
|
|
/= gall-raw /sys/vane/gall
|
|
|
|
|
::
|
|
|
|
|
=/ gall-bunt (gall-raw ~zod)
|
2022-08-12 00:04:01 +03:00
|
|
|
::
|
|
|
|
|
|%
|
2022-08-17 17:24:51 +03:00
|
|
|
++ gall-gate _(make-gall ~zod)
|
|
|
|
|
++ nec-bud
|
|
|
|
|
=/ a ames-nec-bud
|
|
|
|
|
:* nec=[ames=nec.a gall=(make-gall ~nec)]
|
|
|
|
|
bud=[ames=bud.a gall=(make-gall ~bud)]
|
|
|
|
|
==
|
|
|
|
|
:: +gall-call: have %gall run a +task and assert it produces expected-moves
|
|
|
|
|
::
|
|
|
|
|
++ gall-call
|
|
|
|
|
|= $: =gall-gate
|
|
|
|
|
now=@da
|
|
|
|
|
scry=roof
|
|
|
|
|
call-args=[=duct wrapped-task=(hobo task:gall)]
|
|
|
|
|
expected-moves=(list move:gall-bunt)
|
|
|
|
|
==
|
|
|
|
|
^- [tang ^gall-gate]
|
|
|
|
|
=/ gall-core (gall-gate now=now eny=`@`0xdead.beef scry=scry)
|
|
|
|
|
::
|
|
|
|
|
=/ res
|
|
|
|
|
=/ =type -:!>(*task:gall)
|
|
|
|
|
(call:gall-core duct.call-args dud=~ wrapped-task.call-args)
|
|
|
|
|
::
|
|
|
|
|
=/ output=tang
|
|
|
|
|
%+ expect-eq
|
|
|
|
|
!> expected-moves
|
|
|
|
|
!> -.res
|
|
|
|
|
::
|
|
|
|
|
[output +.res]
|
|
|
|
|
::
|
2022-08-12 00:04:01 +03:00
|
|
|
++ ames-nec-bud
|
|
|
|
|
:: create ~nec
|
|
|
|
|
::
|
|
|
|
|
=/ nec (ames ~nec)
|
|
|
|
|
=. now.nec ~1111.1.1
|
|
|
|
|
=. eny.nec 0xdead.beef
|
|
|
|
|
=. life.ames-state.nec 2
|
|
|
|
|
=. rof.nec |=(* ``[%noun !>(*(list turf))])
|
|
|
|
|
=. crypto-core.ames-state.nec (pit:nu:crub:crypto 512 (shaz 'nec'))
|
|
|
|
|
=/ nec-pub pub:ex:crypto-core.ames-state.nec
|
|
|
|
|
=/ nec-sec sec:ex:crypto-core.ames-state.nec
|
|
|
|
|
:: create ~bud
|
|
|
|
|
::
|
|
|
|
|
=/ bud (ames ~bud)
|
|
|
|
|
=. now.bud ~1111.1.1
|
|
|
|
|
=. eny.bud 0xbeef.dead
|
|
|
|
|
=. life.ames-state.bud 3
|
|
|
|
|
=. rof.bud |=(* ``[%noun !>(*(list turf))])
|
|
|
|
|
=. crypto-core.ames-state.bud (pit:nu:crub:crypto 512 (shaz 'bud'))
|
|
|
|
|
=/ bud-pub pub:ex:crypto-core.ames-state.bud
|
|
|
|
|
=/ bud-sec sec:ex:crypto-core.ames-state.bud
|
|
|
|
|
::
|
|
|
|
|
=/ nec-sym (derive-symmetric-key:ames bud-pub nec-sec)
|
|
|
|
|
=/ bud-sym (derive-symmetric-key:ames nec-pub bud-sec)
|
|
|
|
|
?> =(nec-sym bud-sym)
|
|
|
|
|
:: tell ~nec about ~bud
|
|
|
|
|
::
|
|
|
|
|
=. peers.ames-state.nec
|
|
|
|
|
%+ ~(put by peers.ames-state.nec) ~bud
|
|
|
|
|
=| =peer-state:ames
|
|
|
|
|
=. -.peer-state
|
|
|
|
|
:* symmetric-key=bud-sym
|
|
|
|
|
life=3
|
|
|
|
|
rift=0
|
|
|
|
|
public-key=bud-pub
|
|
|
|
|
sponsor=~nec
|
|
|
|
|
==
|
|
|
|
|
=. route.peer-state `[direct=%.y `lane:ames`[%& ~nec]]
|
|
|
|
|
[%known peer-state]
|
|
|
|
|
:: tell ~bud about ~nec
|
|
|
|
|
::
|
|
|
|
|
=. peers.ames-state.bud
|
|
|
|
|
%+ ~(put by peers.ames-state.bud) ~nec
|
|
|
|
|
=| =peer-state:ames
|
|
|
|
|
=. -.peer-state
|
|
|
|
|
:* symmetric-key=nec-sym
|
|
|
|
|
life=2
|
|
|
|
|
rift=0
|
|
|
|
|
public-key=nec-pub
|
|
|
|
|
sponsor=~nec
|
|
|
|
|
==
|
|
|
|
|
=. route.peer-state `[direct=%.y `lane:ames`[%| `@`%lane-bar]]
|
|
|
|
|
[%known peer-state]
|
|
|
|
|
:: metamorphose
|
|
|
|
|
::
|
|
|
|
|
=> .(nec +:(call:(nec) ~[//unix] ~ %born ~))
|
|
|
|
|
=> .(bud +:(call:(bud) ~[//unix] ~ %born ~))
|
|
|
|
|
::
|
|
|
|
|
[nec=nec bud=bud]
|
2022-08-17 17:24:51 +03:00
|
|
|
::
|
|
|
|
|
++ make-gall
|
|
|
|
|
|= =ship
|
|
|
|
|
=/ gall-pupa (gall-raw ship)
|
|
|
|
|
=/ gall-core (gall-pupa now=~1111.1.1 eny=`@`0xdead.beef scry=*roof)
|
|
|
|
|
=+ [out adult]=(call:gall-core duct=~[/init] dud=~ task=[%init ~])
|
|
|
|
|
adult
|
2022-08-12 00:04:01 +03:00
|
|
|
--
|
