mirror of
https://github.com/urbit/shrub.git
synced 2024-12-21 09:51:36 +03:00
7ca3d9624e
Two bugs fixed here: first, if the %done reentrancy triggered another %boon, that wasn't getting translated to a %lost, even though it could have been the reason the event crashed in the first place. Second, the %done reentrancy needs to happen after we emit our move, so that we don't invert the order of the %boon's we produce.
232 lines
6.0 KiB
Plaintext
232 lines
6.0 KiB
Plaintext
/+ *test
|
|
/= ames /: /===/sys/vane/ames
|
|
/!noun/
|
|
:: construct some test fixtures
|
|
::
|
|
=/ vane (ames !>(..zuse))
|
|
::
|
|
=/ nec vane
|
|
=/ bud vane
|
|
::
|
|
=. our.nec ~nec
|
|
=. now.nec ~1111.1.1
|
|
=. eny.nec 0xdead.beef
|
|
=. scry-gate.nec |=(* ``[%noun !>(*(list turf))])
|
|
::
|
|
=. our.bud ~bud
|
|
=. now.bud ~1111.1.1
|
|
=. eny.bud 0xbeef.dead
|
|
=. scry-gate.bud |=(* ``[%noun !>(*(list turf))])
|
|
::
|
|
=. crypto-core.ames-state.nec (pit:nu:crub:crypto 512 (shaz 'nec'))
|
|
=. crypto-core.ames-state.bud (pit:nu:crub:crypto 512 (shaz 'bud'))
|
|
::
|
|
=/ nec-pub pub:ex:crypto-core.ames-state.nec
|
|
=/ nec-sec sec:ex:crypto-core.ames-state.nec
|
|
=/ bud-pub pub:ex:crypto-core.ames-state.bud
|
|
=/ bud-sec sec:ex:crypto-core.ames-state.bud
|
|
::
|
|
=/ nec-sym (derive-symmetric-key:vane bud-pub nec-sec)
|
|
=/ bud-sym (derive-symmetric-key:vane nec-pub bud-sec)
|
|
::
|
|
?> =(nec-sym bud-sym)
|
|
::
|
|
=. life.ames-state.nec 2
|
|
=. peers.ames-state.nec
|
|
%+ ~(put by peers.ames-state.nec) ~bud
|
|
=| =peer-state:ames
|
|
=. -.peer-state
|
|
:* symmetric-key=bud-sym
|
|
life=3
|
|
public-key=bud-pub
|
|
sponsor=~nec
|
|
==
|
|
=. route.peer-state `[direct=%.y `lane:ames`[%& ~nec]]
|
|
[%known peer-state]
|
|
::
|
|
=. life.ames-state.bud 3
|
|
=. peers.ames-state.bud
|
|
%+ ~(put by peers.ames-state.bud) ~nec
|
|
=| =peer-state:ames
|
|
=. -.peer-state
|
|
:* symmetric-key=nec-sym
|
|
life=2
|
|
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 ~))
|
|
:: helper core
|
|
::
|
|
=>
|
|
|%
|
|
++ move-to-packet
|
|
|= =move:ames
|
|
^- [=lane:ames =blob:ames]
|
|
::
|
|
?> ?=([%give %send *] +.move)
|
|
[lane blob]:+>+.move
|
|
::
|
|
++ is-move-send
|
|
|= =move:ames
|
|
^- ?
|
|
?=([%give %send *] card.move)
|
|
::
|
|
++ snag-packet
|
|
|= [index=@ud moves=(list move:ames)]
|
|
^- [=lane:ames =blob:ames]
|
|
::
|
|
%- move-to-packet
|
|
%+ snag index
|
|
(skim moves is-move-send)
|
|
::
|
|
++ call
|
|
|= [vane=_nec =duct =task:ames]
|
|
^- [moves=(list move:ames) _nec]
|
|
::
|
|
=/ vane-core (vane(now `@da`(add ~s1 now.vane)))
|
|
::
|
|
(call:vane-core duct ** task)
|
|
::
|
|
++ take
|
|
|= [vane=_nec =wire =duct =sign:ames]
|
|
^- [moves=(list move:ames) _nec]
|
|
::
|
|
=/ vane-core (vane(now `@da`(add ~s1 now.vane)))
|
|
::
|
|
(take:vane-core wire duct ** sign)
|
|
--
|
|
:: test core
|
|
::
|
|
|%
|
|
++ test-packet-encoding ^- tang
|
|
::
|
|
=/ =packet:ames
|
|
:* [sndr=~nec rcvr=~bud]
|
|
encrypted=%.n
|
|
origin=~
|
|
content=[12 13]
|
|
==
|
|
::
|
|
=/ encoded (encode-packet:vane packet)
|
|
=/ decoded (decode-packet:vane encoded)
|
|
::
|
|
%+ expect-eq
|
|
!> packet
|
|
!> decoded
|
|
::
|
|
++ test-alien-encounter ^- tang
|
|
::
|
|
=/ lane-foo=lane:ames [%| `@ux``@`%lane-foo]
|
|
::
|
|
=/ =plea:ames [%g /talk [%first %post]]
|
|
::
|
|
=/ =shut-packet:ames
|
|
:* sndr-life=4
|
|
rcvr-life=3
|
|
bone=1
|
|
message-num=1
|
|
[%& num-fragments=1 fragment-num=0 (jam plea)]
|
|
==
|
|
::
|
|
=/ =packet:ames
|
|
:* [sndr=~bus rcvr=~bud]
|
|
encrypted=%.y
|
|
origin=~
|
|
content=(encrypt:vane nec-sym shut-packet)
|
|
==
|
|
::
|
|
=/ =blob:ames (encode-packet:vane packet)
|
|
=^ moves1 bud (call bud ~[//unix] %hear lane-foo blob)
|
|
=^ moves2 bud
|
|
=/ =point:ames
|
|
:* rift=1
|
|
life=4
|
|
keys=[[life=4 [crypto-suite=1 `@`nec-pub]] ~ ~]
|
|
sponsor=`~bus
|
|
==
|
|
%- take
|
|
:^ bud /public-keys ~[//unix]
|
|
^- sign:ames
|
|
[%j %public-keys %full [n=[~bus point] ~ ~]]
|
|
=^ moves3 bud (call bud ~[//unix] %hear lane-foo blob)
|
|
::
|
|
;: weld
|
|
%+ expect-eq
|
|
!> [~[//unix] %pass /public-keys %j %public-keys [~bus ~ ~]]~
|
|
!> moves1
|
|
::
|
|
%+ expect-eq
|
|
!> %- sy
|
|
:~ :^ ~[//unix] %pass /bone/~bus/1
|
|
[%g %plea ~bus %g /talk [%first %post]]
|
|
::
|
|
:^ ~[//unix] %pass /qos
|
|
[%d %flog %text "; ~bus is your neighbor"]
|
|
==
|
|
!> (sy ,.moves3)
|
|
==
|
|
::
|
|
++ test-message-flow ^- tang
|
|
:: ~nec -> %plea -> ~bud
|
|
::
|
|
=^ moves1 nec (call nec ~[/g/talk] %plea ~bud %g /talk [%get %post])
|
|
=^ moves2 bud (call bud ~[//unix] %hear (snag-packet 0 moves1))
|
|
:: ~bud -> %done -> ~nec
|
|
::
|
|
=^ moves3 bud (take bud /bone/~nec/1 ~[//unix] %g %done ~)
|
|
=^ moves4 nec (call nec ~[//unix] %hear (snag-packet 0 moves3))
|
|
:: ~bud -> %boon -> ~nec
|
|
::
|
|
=^ moves5 bud (take bud /bone/~nec/1 ~[//unix] %g %boon [%post 'first1!!'])
|
|
=^ moves6 nec (call nec ~[//unix] %hear (snag-packet 0 moves5))
|
|
:: ~nec -> %done -> ~bud (just make sure ~bud doesn't crash on ack)
|
|
::
|
|
=^ moves7 bud (call bud ~[//unix] %hear (snag-packet 0 moves6))
|
|
::
|
|
;: weld
|
|
%+ expect-eq
|
|
!> :~ [~[//unix] %pass /qos %d %flog %text "; ~nec is your neighbor"]
|
|
[~[//unix] %pass /bone/~nec/1 %g %plea ~nec %g /talk [%get %post]]
|
|
==
|
|
!> moves2
|
|
::
|
|
%+ expect-eq
|
|
!> %- sy
|
|
:~ [~[/ames] %pass /pump/~bud/0 %b %rest ~1111.1.1..00.00.02]
|
|
[~[//unix] %pass /qos %d %flog %text "; ~bud is your neighbor"]
|
|
[~[/g/talk] %give %done error=~]
|
|
==
|
|
!> (sy ,.moves4)
|
|
::
|
|
%+ expect-eq
|
|
!> [~[/g/talk] %give %boon [%post 'first1!!']]
|
|
!> (snag 0 `(list move:ames)`moves6)
|
|
==
|
|
::
|
|
++ test-nack ^- tang
|
|
:: ~nec -> %plea -> ~bud
|
|
::
|
|
=^ moves1 nec (call nec ~[/g/talk] %plea ~bud %g /talk [%get %post])
|
|
=^ moves2 bud (call bud ~[//unix] %hear (snag-packet 0 moves1))
|
|
:: ~bud -> nack -> ~nec
|
|
::
|
|
=/ =error:ames [%flub [%leaf "sinusoidal repleneration"]~]
|
|
=^ moves3 bud (take bud /bone/~nec/1 ~[/bud] %g %done `error)
|
|
=^ moves4 nec (call nec ~[//unix] %hear (snag-packet 0 moves3))
|
|
:: ~bud -> nack-trace -> ~nec
|
|
::
|
|
=^ moves5 nec (call nec ~[//unix] %hear (snag-packet 1 moves3))
|
|
:: ~nec -> ack nack-trace -> ~bud
|
|
::
|
|
=^ moves6 bud (call bud ~[//unix] %hear (snag-packet 0 moves5))
|
|
::
|
|
%+ expect-eq
|
|
!> [~[/g/talk] %give %done `error]
|
|
!> (snag 1 `(list move:ames)`moves5)
|
|
--
|