naive: cleanup style
++ common-vote %vote-key-0
++ common-ownr %ownr-key-0
++ common-tran %tran-key-0
-++ rut-ship-list %- ly :* ~rut
+++ rut-ship-list %- ly
+ :* ~rut
~holrut
~rigrut
~losrut
==
::
:: initial ownership keys for each point under ~rut
-++ default-own-keys %- my:nl :* [~rut %rut-key-0]
+++ default-own-keys %- my:nl
+ :* [~rut %rut-key-0]
[~holrut %holrut-key-0]
[~rigrut %rigrut-key-0]
[~losrut %losrut-key-0]
!> (~(got by suc-map) cur-event)
::
!>
- =^ f state %- n
+ =^ f
+ state
+ %- n
:* initial-state ::state?
%bat
- =< q %- gen-tx
- :* nonce.owner.own:(~(got by points.state) cur-ship)
- :* [cur-ship proxy.cur-event]
- %set-management-proxy :: why does the tx-type not work?
- ::tx-type.cur-event
+ =< q
+ %- gen-tx
+ :+ nonce.owner.own:(~(got by points.state) cur-ship)
+ :+ [cur-ship proxy.cur-event]
+ %set-management-proxy ::tx-type.cur-event why does the tx-type not work?
(addr common-mgmt)
- ==
(~(got by default-own-keys) cur-ship)
==
- ==
- ?: =(address.management-proxy.own:(~(got by points.state) cur-ship) (addr common-mgmt))
+ ?: .= =< address.management-proxy.own
+ (~(got by points.state) cur-ship)
+ (addr common-mgmt)
%.y
%.n
::
