urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-18 07:42:20 +03:00
Code Issues Packages Projects Releases Wiki Activity
a85a7e57f0
shrub/tests/sys/vane/alef.hoon

461 lines
11 KiB
Plaintext
Raw Normal View History

encode and decode packets
2019-05-25 05:03:33 +03:00
/+ *test
/= alef /: /===/sys/vane/alef
/!noun/
::
+test-alien-encounter passes
2019-05-28 06:39:42 +03:00
=/ vane (alef !>(..zuse))
=/ lane-foo=lane:alef `@uxlane``@`'lane-foo'
::
basic ordered map tests pass (haven't tried +traverse yet)
2019-05-31 04:29:54 +03:00
=/ items-from-keys
|= keys=(list @ud)
%+ turn keys
|= k=@ud
[k `@tas`(add k %a)]
::
=/ test-items=(list [@ud @tas])
(items-from-keys (gulf 0 6))
::
=/ atom-map ((ordered-map:alef @ud @tas) lte)
::
+test-nack passes
2019-06-21 04:36:16 +03:00
=>
|%
++ move-to-packet
|= =move:alef
^- [=lane:alef =blob:alef]
::
?> ?=([%give %send *] +.move)
[lane blob]:+>+.move
::
++ is-move-send
|= =move:alef
^- ?
?=([%give %send *] card.move)
--
encode and decode packets
2019-05-25 05:03:33 +03:00
|%
basic ordered map tests pass (haven't tried +traverse yet)
2019-05-31 04:29:54 +03:00
::
+| %ordered-map
::
++ test-ordered-map-gas ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
%+ expect-eq
!> %.y
!> (check-balance:atom-map a)
::
++ test-ordered-map-tap ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
%+ expect-eq
!> test-items
!> (tap:atom-map a)
::
++ test-ordered-map-pop ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
%+ expect-eq
!> [[0 %a] (gas:atom-map ~ (items-from-keys (gulf 1 6)))]
!> (pop:atom-map a)
::
++ test-ordered-map-peek ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
%+ expect-eq
!> `[0 %a]
!> (peek:atom-map a)
::
+traverse:ordered-map can delete items; also docs
2019-05-31 21:59:28 +03:00
++ test-ordered-map-nip ^- tang
old +traverse don't work good, new traverse passes a real test and might work for real
2019-05-31 07:51:06 +03:00
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
+traverse:ordered-map can delete items; also docs
2019-05-31 21:59:28 +03:00
=/ b (nip:atom-map a)
::
%+ expect-eq
!> (gas:atom-map ~ ~[[0^%a] [1^%b] [2^%c] [3^%d] [4^%e] [5^%f]])
!> b
::
++ test-ordered-map-traverse ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
+traverse:ordered-map passes test with null .start
2019-06-01 00:00:53 +03:00
=/ b %- (traverse:atom-map ,(list [@ud @tas]))
thread state through +trav:ordered-map
2019-05-31 20:59:45 +03:00
:* a
+traverse:ordered-map passes test with null .start
2019-06-01 00:00:53 +03:00
start=`3
thread state through +trav:ordered-map
2019-05-31 20:59:45 +03:00
state=~
::
|= [s=(list [@ud @tas]) k=@ud v=@tas]
+traverse:ordered-map can delete items; also docs
2019-05-31 21:59:28 +03:00
:+ ?: =(3 k)
~
[~ `@tas`+(v)]
thread state through +trav:ordered-map
2019-05-31 20:59:45 +03:00
=(5 k)
[[k v] s]
==
old +traverse don't work good, new traverse passes a real test and might work for real
2019-05-31 07:51:06 +03:00
::
+traverse:ordered-map can delete items; also docs
2019-05-31 21:59:28 +03:00
;: weld
%+ expect-eq
!> (gas:atom-map ~ ~[[0^%a] [1^%b] [2^%c] [4^%f] [5^%g] [6^%g]])
!> +.b
ordered-map actually compiles now; +traverse fails test
2019-05-31 05:18:02 +03:00
::
+traverse:ordered-map can delete items; also docs
2019-05-31 21:59:28 +03:00
%+ expect-eq
!> ~[[5^%f] [4^%e] [3^%d]]
!> -.b
==
ordered-map actually compiles now; +traverse fails test
2019-05-31 05:18:02 +03:00
::
+traverse:ordered-map passes test with null .start
2019-06-01 00:00:53 +03:00
++ test-ordered-map-traverse-null-start ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ test-items)
::
=/ b %- (traverse:atom-map ,(list [@ud @tas]))
:* a
start=~
state=~
::
|= [s=(list [@ud @tas]) k=@ud v=@tas]
:+ ?: =(3 k)
~
[~ `@tas`+(v)]
=(5 k)
[[k v] s]
==
::
;: weld
%+ expect-eq
!> (gas:atom-map ~ ~[[0^%b] [1^%c] [2^%d] [4^%f] [5^%g] [6^%g]])
!> +.b
::
%+ expect-eq
!> (flop (items-from-keys (gulf 0 5)))
!> -.b
==
::
+send:packet-pump and +uni:ordered-map
2019-06-01 06:05:21 +03:00
++ test-ordered-map-uni ^- tang
::
=/ a=(tree [@ud @tas]) (gas:atom-map ~ (scag 4 test-items))
=/ b=(tree [@ud @tas]) (gas:atom-map ~ (slag 4 test-items))
::
=/ c (uni:atom-map a b)
::
%+ expect-eq
!> (gas:atom-map ~ test-items)
!> c
::
removed defunct +ordered-set and +sift:ordered-map
2019-06-01 06:07:36 +03:00
+| %vane
+ordered-set, with basic tests
2019-05-27 02:54:23 +03:00
::
encode and decode packets
2019-05-25 05:03:33 +03:00
++ test-packet-encoding ^- tang
::
=/ =packet:alef
:* [sndr=~nec rcvr=~doznec-doznec]
encrypted=%.n
origin=~
content=[12 13]
==
::
=/ encoded (encode-packet:alef packet)
=/ decoded (decode-packet:alef encoded)
::
%+ expect-eq
!> packet
!> decoded
+test-alien-encounter passes
2019-05-28 06:39:42 +03:00
::
++ test-alien-encounter ^- tang
::
=/ =packet:alef
:* [sndr=~nec rcvr=~doznec-doznec]
encrypted=%.y
origin=~
make it 'secure'
2019-05-28 06:59:53 +03:00
content=%double-secret
+test-alien-encounter passes
2019-05-28 06:39:42 +03:00
==
=/ =blob:alef (encode-packet:alef packet)
::
=/ event-args
[our=~doznec-doznec eny=0xdead.beef now=~2222.2.2 *sley]
::
=/ res
(call:(vane event-args) ~[//unix] *type %hear lane-foo blob)
::
;: weld
%+ expect-eq
!> [~[//unix] %pass /alien %j %pubs ~nec]~
!> -.res
::
%+ expect-eq
!> [%alien [lane-foo packet]~ ~]
!> (~(got by peers.ames-state.+.res) ~nec)
==
sending a small message seems to work; will test more
2019-06-11 23:22:24 +03:00
::
++ test-send-rcv-message ^- tang
::
=/ alice vane
=/ bob vane
::
=. crypto-core.ames-state.alice (pit:nu:crub:crypto 512 (shaz 'alice'))
=. crypto-core.ames-state.bob (pit:nu:crub:crypto 512 (shaz 'bob'))
::
=/ alice-pub pub:ex:crypto-core.ames-state.alice
=/ alice-sec sec:ex:crypto-core.ames-state.alice
=/ bob-pub pub:ex:crypto-core.ames-state.bob
=/ bob-sec sec:ex:crypto-core.ames-state.bob
::
=/ alice-sym (derive-symmetric-key:alef bob-pub alice-sec)
=/ bob-sym (derive-symmetric-key:alef alice-pub bob-sec)
::
?> =(alice-sym bob-sym)
::
=. life.ames-state.alice 2
=. peers.ames-state.alice
%+ ~(put by peers.ames-state.alice) ~doznec-doznec
:- %known
^- peer-state:alef
:- :* symmetric-key=bob-sym
life=3
public-key=bob-pub
sponsors=~
==
:* [~ direct=%.y `lane:alef``@`%lane-foo]
*ossuary:alef
*(map bone:alef message-pump-state:alef)
*(map bone:alef message-still-state:alef)
nax.peer-state as set instead of map
2019-06-19 02:38:20 +03:00
*(set [bone:alef message-num:alef])
sending a small message seems to work; will test more
2019-06-11 23:22:24 +03:00
==
::
=. life.ames-state.bob 3
=. peers.ames-state.bob
%+ ~(put by peers.ames-state.bob) ~nec
:- %known
^- peer-state:alef
:- :* symmetric-key=alice-sym
life=2
public-key=alice-pub
sponsors=~
==
:* [~ direct=%.y `lane:alef``@`%lane-bar]
*ossuary:alef
*(map bone:alef message-pump-state:alef)
*(map bone:alef message-still-state:alef)
nax.peer-state as set instead of map
2019-06-19 02:38:20 +03:00
*(set [bone:alef message-num:alef])
sending a small message seems to work; will test more
2019-06-11 23:22:24 +03:00
==
::
=/ alice-core (alice ~nec 0xdead.beef ~2222.2.2 *sley)
::
=/ res1
%- call:alice-core
fixed some duct/bone bugs
2019-06-21 00:46:31 +03:00
[~[/alice] ** %memo ~doznec-doznec /g/talk [%get %post]]
sending a small message seems to work; will test more
2019-06-11 23:22:24 +03:00
::
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
::~& res1=-.res1
ack subscription updates
2019-06-11 23:37:30 +03:00
::
sending a small message seems to work; will test more
2019-06-11 23:22:24 +03:00
=+ ^- [=lane:alef =blob:alef]
=- ?> ?=([%give %send *] ->)
[lane blob]:->+>
%+ snag 0
%+ skim -.res1
|= [duct card=*]
^- ?
?=([%give %send *] card)
::
=/ bob-core (bob ~doznec-doznec 0xbeef.dead ~2222.2.3 *sley)
::
=/ res2
%- call:bob-core
fixed some duct/bone bugs
2019-06-21 00:46:31 +03:00
[~[/bob] ** %hear lane blob]
sending a small message seems to work; will test more
2019-06-11 23:22:24 +03:00
::
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
::~& res2=-.res2
ack subscription updates
2019-06-11 23:37:30 +03:00
::
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
=. bob-core (+.res2 ~doznec-doznec 0xbeef.dead ~2222.2.4 *sley)
::
=/ res3
%- take:bob-core
move renaming: %memo and %done
2019-06-20 10:21:37 +03:00
[/bone/~nec/1 ~[/bob] ** %g %done ~]
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
::
::~& res3=-.res3
::
=. alice-core (+.res1 ~nec 0xdead.beef ~2222.2.5 *sley)
::
=+ ^- [=lane:alef =blob:alef]
=- ?> ?=([%give %send *] ->)
[lane blob]:->+>
%+ snag 0
%+ skim -.res3
|= [duct card=*]
^- ?
?=([%give %send *] card)
::
=/ res4
%- call:alice-core
fixed some duct/bone bugs
2019-06-21 00:46:31 +03:00
[~[/alice] ** %hear lane blob]
::
=. bob-core (+.res3 ~doznec-doznec 0xbeef.dead ~2222.2.6 *sley)
::
=/ res5
%- take:bob-core
[/bone/~nec/1 ~[/bob] ** %g %memo /g/talk [%post 'first1!!']]
::
~& res5=-.res5
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
::
backward flow message works good in test
2019-06-21 00:52:44 +03:00
=. alice-core (+.res4 ~nec 0xdead.beef ~2222.2.7 *sley)
::
=+ ^- [=lane:alef =blob:alef]
=- ?> ?=([%give %send *] ->)
[lane blob]:->+>
%+ snag 0
%+ skim -.res5
|= [duct card=*]
^- ?
?=([%give %send *] card)
::
=/ res6
%- call:alice-core
[~[/alice] ** %hear lane blob]
::
~& res6=-.res6
::
=. bob-core (+.res5 ~doznec-doznec 0xbeef.dead ~2222.2.8 *sley)
::
=+ ^- [=lane:alef =blob:alef]
=- ?> ?=([%give %send *] ->)
[lane blob]:->+>
%+ snag 0
%+ skim -.res6
|= [duct card=*]
^- ?
?=([%give %send *] card)
::
=/ res7
%- call:bob-core
[~[/bob] ** %hear lane blob]
::
~& res7=-.res7
::
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
%+ expect-eq
move renaming: %memo and %done
2019-06-20 10:21:37 +03:00
!> :~ :+ ~[/alice] %give [%done error=~]
+test-send-rcv-message through %aver and timer cancellation
2019-06-20 03:49:22 +03:00
:+ ~[/alice] %pass
[/pump/~doznec-doznec/0 %b %rest ~2222.2.2..00.00.05]
==
!> -.res4
+test-nack passes
2019-06-21 04:36:16 +03:00
::
++ test-nack ^- tang
::
=/ alice vane
=/ bob vane
::
=. crypto-core.ames-state.alice (pit:nu:crub:crypto 512 (shaz 'alice'))
=. crypto-core.ames-state.bob (pit:nu:crub:crypto 512 (shaz 'bob'))
::
=/ alice-pub pub:ex:crypto-core.ames-state.alice
=/ alice-sec sec:ex:crypto-core.ames-state.alice
=/ bob-pub pub:ex:crypto-core.ames-state.bob
=/ bob-sec sec:ex:crypto-core.ames-state.bob
::
=/ alice-sym (derive-symmetric-key:alef bob-pub alice-sec)
=/ bob-sym (derive-symmetric-key:alef alice-pub bob-sec)
::
?> =(alice-sym bob-sym)
::
=. life.ames-state.alice 2
=. peers.ames-state.alice
%+ ~(put by peers.ames-state.alice) ~doznec-doznec
:- %known
^- peer-state:alef
:- :* symmetric-key=bob-sym
life=3
public-key=bob-pub
sponsors=~
==
:* [~ direct=%.y `lane:alef``@`%lane-foo]
*ossuary:alef
*(map bone:alef message-pump-state:alef)
*(map bone:alef message-still-state:alef)
*(set [bone:alef message-num:alef])
==
::
=. life.ames-state.bob 3
=. peers.ames-state.bob
%+ ~(put by peers.ames-state.bob) ~nec
:- %known
^- peer-state:alef
:- :* symmetric-key=alice-sym
life=2
public-key=alice-pub
sponsors=~
==
:* [~ direct=%.y `lane:alef``@`%lane-bar]
*ossuary:alef
*(map bone:alef message-pump-state:alef)
*(map bone:alef message-still-state:alef)
*(set [bone:alef message-num:alef])
==
::
=/ alice-core (alice ~nec 0xdead.beef ~2222.2.2 *sley)
::
=/ res1
%- call:alice-core
[~[/alice] ** %memo ~doznec-doznec /g/talk [%get %post]]
::
::~& res1=-.res1
::
=+ ^- [=lane:alef =blob:alef]
%- move-to-packet
%+ snag 0
(skim -.res1 is-move-send)
::
=/ bob-core (bob ~doznec-doznec 0xbeef.dead ~2222.2.3 *sley)
::
=/ res2
%- call:bob-core
[~[/bob] ** %hear lane blob]
::
::~& res2=-.res2
::
=. bob-core (+.res2 ~doznec-doznec 0xbeef.dead ~2222.2.4 *sley)
::
=/ =error:alef [%flub [%leaf "sinusoidal repleneration"]~]
::
=/ res3
%- take:bob-core
[/bone/~nec/1 ~[/bob] ** %g %done `error]
::
~& res3=-.res3
::
=/ pac3-0
%- move-to-packet
%+ snag 0
(skim -.res3 is-move-send)
::
=/ pac3-1
%- move-to-packet
%+ snag 1
(skim -.res3 is-move-send)
::
=. alice-core (+.res1 ~nec 0xdead.beef ~2222.2.5 *sley)
::
=/ res4
%- call:alice-core
[~[/alice] ** %hear pac3-0]
::
~& res4=-.res4
::
=. alice-core (+.res4 ~nec 0xdead.beef ~2222.2.6 *sley)
::
=/ res5
%- call:alice-core
[~[/alice] ** %hear pac3-1]
::
~& res5=-.res5
::
=. bob-core (+.res3 ~doznec-doznec 0xbeef.dead ~2222.2.7 *sley)
::
=/ pac5
%- move-to-packet
%+ snag 0
(skim -.res5 is-move-send)
::
=/ res6
%- call:bob-core
[~[/bob] ** %hear pac5]
::
~& res6=-.res6
::
~
encode and decode packets
2019-05-25 05:03:33 +03:00
--
Reference in New Issue Copy Permalink