shrub/tests/sys/zuse/dawn.hoon

/+  *test
|%
::  example point for ~zod
::
++  pot
  ^-  point:azimuth-types
  :+  [0x0 0x0 0x0 0x0]
    :*  ~
        life=1
         pass=2.448.360.348.730.164.860.814.441.775.703.143.856.915.192.920.
        639.124.529.297.987.279.849.833.790.775.864.413.949.853.880.667.744.
        188.597.545.066.664.466.963.044.328.182.155.965.137.512.758.548.384.
        637.214.562
        continuity-number=0
        sponsor=[& ~zod]
        escape=~
    ==
  [~ u=[spawn-proxy=0x0 spawned=~]]
::  secret key for ~zod
::
++  sec
  ^-  ring
  0w8.Ugyke.eUOf2.NcHRo.tZA7r.P8vP6.DGKp4.yn-BI.etdzb.ucv75.WgRob.H1-7n.
  4qCje.gc7z7.1i-3T.9~8UR.IGkGH.6NWR2
::  Azimuth contract address
::
++  azimuth
  %-  crip
  %+  weld  "0x"
  (render-hex-bytes:ethereum 20 `@`azimuth:contracts:^azimuth)
::  snapshot
::
++  snap
  =|  =snapshot:jael
  %_    snapshot
      kyz  ~
  ::
      dns.eth
    ['urbit.org' 'urbit.org' '']
  ::
      pos.eth
    %-  malt
    :*  ~zod^pot
        ~marzod^pot
        (turn (gulf 1 255) |=(gal=@ gal^pot))
    ==
  ::
      latest-block  4.230.000
  ==
::
++  test-give-bloq
  =/  oct
    %-  as-octs:mimes:html
    '{"params":[],"id":"0","jsonrpc":"2.0","method":"eth_blockNumber"}'
  %+  expect-eq
    !>  oct
    !>  bloq:give:dawn
:: this produces a 1000+ line payload, so we just check that it doesn't crash
::
++  test-give-czar
  =/  zar  czar:give:dawn
  ~!  zar
  %+  expect-eq
    !>  &
    !>  ?=(^ zar)
::
++  test-give-point
  =/  oct
    %-  as-octs:mimes:html
    %+  rap  3
    :~  '{"params":[{"to":"'  azimuth  '","data":"'
        '0x63fa9a87'
        '0000000000000000000000000000000000000000000000000000000000000000'
        '"},"0x0"],"id":"0","jsonrpc":"2.0","method":"eth_call"}'
    ==
  %+  expect-eq
    !>  oct
    !>  (point:give:dawn 0 ~zod)
::
++  test-give-turf
  =/  oct
    %-  as-octs:mimes:html
    %+  rap  3
    :~  '[{"params":[{"to":"'  azimuth  '","data":"'
        '0xeccc8ff1'
        '0000000000000000000000000000000000000000000000000000000000000000'
        '"},"0x0"],"id":"turf-0","jsonrpc":"2.0","method":"eth_call"},'
        '{"params":[{"to":"'  azimuth  '","data":"'
        '0xeccc8ff1'
        '0000000000000000000000000000000000000000000000000000000000000001'
        '"},"0x0"],"id":"turf-1","jsonrpc":"2.0","method":"eth_call"},'
        '{"params":[{"to":"'  azimuth  '","data":"'
        '0xeccc8ff1'
        '0000000000000000000000000000000000000000000000000000000000000002'
        '"},"0x0"],"id":"turf-2","jsonrpc":"2.0","method":"eth_call"}]'
    ==
  %+  expect-eq
    !>  oct
    !>  (turf:give:dawn 0)
::
++  test-take-bloq
  =/  oct
    %-  as-octs:mimes:html
    '{"id":"0","jsonrpc":"2.0","result":"0x20"}'
  =/  boq  32
  %+  expect-eq
    !>  [~ boq]
    !>  (bloq:take:dawn oct)
::
++  test-take-czar
  =/  oct
    %-  as-octs:mimes:html
    %+  rap  3
    :~  '[{"id":"gal-0","jsonrpc":"2.0","result":"'
        '0xb69b6818b17b7cc22f8e0a2291f58e4aa840cbf44cb2f1c94dc3d71e3cda0d94'
          '3defb87516f42ce4327820b588002aa53e52527af8d23bee4aa215fa296bdf5f'
          '0000000000000000000000000000000000000000000000000000000000000001'
          '0000000000000000000000000000000000000000000000000000000000000001'
        '"},{"id":"gal-1","jsonrpc":"2.0","result":"'
        '0xb727e38d031162e50913b2e37a2e29d4ba457eff4f7fd4ac47dc68fcb54260d3'
          'b8bfe4789483c171f7fa359438cdcc8d268d40fe08d6c1d8b36267748d2139f8'
          '0000000000000000000000000000000000000000000000000000000000000001'
          '0000000000000000000000000000000000000000000000000000000000000001'
        '"},{"id":"gal-2","jsonrpc":"2.0","result":"'
        '0x0000000000000000000000000000000000000000000000000000000000000000'
          '0000000000000000000000000000000000000000000000000000000000000000'
          '0000000000000000000000000000000000000000000000000000000000000000'
          '0000000000000000000000000000000000000000000000000000000000000000'
        '"}]'
    ==
  =/  kyz
    ^-  [zod=pass nec=pass]
    :-  2.448.360.348.730.164.860.814.441.775.703.143.856.915.192.920.639.124.
      529.297.987.279.849.833.790.775.864.413.949.853.880.667.744.188.597.545.
      066.664.466.963.044.328.182.155.965.137.512.758.548.384.637.214.562
    ::
      2.455.718.000.840.284.920.492.237.722.671.938.413.341.955.411.945.312.
    638.361.167.187.097.711.481.986.932.531.569.955.478.938.087.263.286.158.
    823.313.739.767.009.446.819.531.923.255.637.798.148.055.143.938.146
  %+  expect-eq
    !>  :-  ~
        %-  ~(gas by *(map ship [=life =pass]))
        [[~zod 1 zod.kyz] [~nec 1 nec.kyz] [~bud 0 'b'] ~]
    !>  (czar:take:dawn oct)
::
++  test-take-point
  =/  oct
    %-  as-octs:mimes:html
    %+  rap  3
    :~  '{"jsonrpc":"2.0","result":"'
        '0xb69b6818b17b7cc22f8e0a2291f58e4aa840cbf44cb2f1c94dc3d71e3cda0d94'
          '3defb87516f42ce4327820b588002aa53e52527af8d23bee4aa215fa296bdf5f'
          '0000000000000000000000000000000000000000000000000000000000000001'
          '0000000000000000000000000000000000000000000000000000000000000001'
          '0000000000000000000000000000000000000000000000000000000000000000'
          '0000000000000000000000000000000000000000000000000000000000000000'
          '0000000000000000000000000000000000000000000000000000000000000000'
          '0000000000000000000000000000000000000000000000000000000000000001'
          '0000000000000000000000000000000000000000000000000000000000000001'
          '0000000000000000000000000000000000000000000000000000000000000000'
        '"}'
    ==
  %+  expect-eq
    !>  [~ pot]
    !>  (point:take:dawn ~zod oct)
::
++  test-take-turf
  =/  oct
    %-  as-octs:mimes:html
    %+  rap  3
    :~  '[{"id":"turf-0","jsonrpc":"2.0","result":"'
        '0x0000000000000000000000000000000000000000000000000000000000000020'
          '0000000000000000000000000000000000000000000000000000000000000009'
          '75726269742e6f72670000000000000000000000000000000000000000000000'
        '"},{"id":"turf-1","jsonrpc":"2.0","result":"'
        '0x0000000000000000000000000000000000000000000000000000000000000020'
          '0000000000000000000000000000000000000000000000000000000000000009'
          '75726269742e6f72670000000000000000000000000000000000000000000000'
        '"},{"id":"turf-2","jsonrpc":"2.0","result":"'
        '0x0000000000000000000000000000000000000000000000000000000000000020'
          '0000000000000000000000000000000000000000000000000000000000000009'
          '75726269742e6f72670000000000000000000000000000000000000000000000'
        '"}]'
    ==
  %+  expect-eq
    !>  [~ [/org/urbit ~]]
    !>  (turf:take:dawn oct)
::
++  test-snap-bloq
  %+  expect-eq
    !>  [~ 4.230.000]
    !>  (bloq:snap:dawn snap)
::
++  test-snap-point
  %+  expect-eq
    !>  [~ pot]
    !>  (point:snap:dawn ~zod snap)
::
++  test-snap-czar
  %+  expect-eq
    !>  256
    !>  ~(wyt by (need (czar:snap:dawn snap)))
::
++  test-snap-turf
  %+  expect-eq
    !>  [~ `(list turf)`~[~['org' 'urbit'] ~['org' 'urbit']]]
    !>  (turf:snap:dawn snap)
::
++  test-veri-good
  =/  sed  [~zod 1 sec ~]
  %+  expect-eq
    !>  [%& ~zod]
    !>  (veri:dawn sed pot ~)
::
++  test-veri-not-spawned
  =/  sed  [~zod 1 sec ~]
  %+  expect-eq
    !>  [%| %not-keyed]
    !>  (veri:dawn sed =>(pot .(net ~)) ~)
::
++  test-veri-wrong-key
  =/  sed  [~zod 1 sec:ex:(pit:nu:crub:crypto 24 %foo) ~]
  %+  expect-eq
    !>  [%| %key-mismatch]
    !>  (veri:dawn sed pot ~)
::
++  test-veri-life-mismatch
  =/  sed  [~zod 2 sec ~]
  %+  expect-eq
    !>  [%| %life-mismatch]
    !>  (veri:dawn sed pot ~)
::
++  test-veri-already-booted
  =/  sed  [~zod 1 sec ~]
  ;:  weld
    %+  expect-eq
      !>  [%| %already-booted]
      !>  (veri:dawn sed pot `[1 |])
  ::
    %+  expect-eq
      !>  [%| %already-booted]
      !>  (veri:dawn sed pot `[2 &])
  ==
::
++  test-veri-earl-good
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who  ~simtel-mithet-dozzod-dozzod
  =/  sed
    =/  sig
      %-  sign:as:(nol:nu:crub:crypto sec)
      (shaf %earl (sham who 1 pub:ex:cub))
    [who 1 sec:ex:cub `sig]
  %+  expect-eq
    !>  [%& (^sein:title who)]
    !>  (veri:dawn sed pot ~)
::
++  test-veri-earl-missing-sig
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who  ~simtel-mithet-dozzod-dozzod
  =/  sed
    [who 1 sec:ex:cub ~]
  %+  expect-eq
    !>  [%| %missing-sig]
    !>  (veri:dawn sed pot ~)
::
++  test-veri-earl-parent-not-keyed
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who  ~simtel-mithet-dozzod-dozzod
  =/  sed
    =/  sig
      %-  sign:as:(nol:nu:crub:crypto sec)
      (shaf %earl (sham who 1 pub:ex:cub))
    [who 1 sec:ex:cub `sig]
  %+  expect-eq
    !>  [%| %parent-not-keyed]
    !>  (veri:dawn sed =>(pot .(net ~)) ~)
::
++  test-veri-earl-life-mismatch
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who  ~simtel-mithet-dozzod-dozzod
  =/  sed
    =/  sig
      %-  sign:as:(nol:nu:crub:crypto sec)
      (shaf %earl (sham who 1 pub:ex:cub))
    [who 2 sec:ex:cub `sig]
  %+  expect-eq
    !>  [%| %life-mismatch]
    !>  (veri:dawn sed pot ~)
::
++  test-veri-earl-invalid-sig
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who  ~simtel-mithet-dozzod-dozzod
  ;:  weld
    =/  sed
      =/  sig
        %-  sign:as:cub
        (shaf %earl (sham who 1 pub:ex:cub))
      [who 1 sec:ex:cub `sig]
    %+  expect-eq
      !>  [%| %invalid-sig]
      !>  (veri:dawn sed pot ~)
  ::
    =/  sed
      =/  sig
        %-  sign:as:(nol:nu:crub:crypto sec)
        (shaf %earl (sham who 2 pub:ex:cub))
      [who 1 sec:ex:cub `sig]
    %+  expect-eq
      !>  [%| %invalid-sig]
      !>  (veri:dawn sed pot ~)
  ==
::
++  test-veri-earl-already-booted
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who  ~simtel-mithet-dozzod-dozzod
  =/  sed
    =/  sig
      %-  sign:as:(nol:nu:crub:crypto sec)
      (shaf %earl (sham who 1 pub:ex:cub))
    [who 1 sec:ex:cub `sig]
  %+  expect-eq
    !>  [%| %already-booted]
    !>  (veri:dawn sed pot `[1 |])
::
++  test-veri-pawn-good
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who=ship  `@`fig:ex:cub
  =/  sed  [who 1 sec:ex:cub ~]
  %+  expect-eq
    !>  [%& ~mittun]
    !>  (veri:dawn sed *point:azimuth-types ~)
::
++  test-veri-pawn-key-mismatch
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who=ship  `@`fig:ex:cub
  =/  sed  [who 1 sec:ex:(pit:nu:crub:crypto 24 %bar) ~]
  %+  expect-eq
    !>  [%| %key-mismatch]
    !>  (veri:dawn sed *point:azimuth-types ~)
::
++  test-veri-pawn-invalid-life
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who=ship  `@`fig:ex:cub
  =/  sed  [who 2 sec:ex:cub ~]
  %+  expect-eq
    !>  [%| %invalid-life]
    !>  (veri:dawn sed *point:azimuth-types ~)
::
++  test-veri-pawn-already-booted
  =/  cub  (pit:nu:crub:crypto 24 %foo)
  =/  who=ship  `@`fig:ex:cub
  =/  sed  [who 1 sec:ex:cub ~]
  %+  expect-eq
    !>  [%| %already-booted]
    !>  (veri:dawn sed *point:azimuth-types `[1 |])
--