urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-05 11:09:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

minor cleanup

Browse Source
This commit is contained in:
Ted Blackman 2019-05-26 18:48:41 -07:00
parent 97a7f4e76e
commit 907aff8701
1 changed files with 27 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

59
sys/vane/alef.hoon
View File

@ -132,9 +132,9 @@
+$ blob @uxblob +$ blob @uxblob
+$ bone @udbone +$ bone @udbone
+$ fragment @uwfragment +$ fragment @uwfragment
+$ fragment-num @udfragmentnum
+$ lane @uxlane +$ lane @uxlane
+$ message-num @udmessagenum +$ message-num @udmessagenum
+$ fragment-num @udfragmentnum
+$ public-key @uwpublickey +$ public-key @uwpublickey
+$ signature @uwsignature +$ signature @uwsignature
+$ symmetric-key @uwsymmetrickey +$ symmetric-key @uwsymmetrickey
@ -147,8 +147,26 @@
:: ::
+$ rank ?(%0 %1 %2 %3) +$ rank ?(%0 %1 %2 %3)
:: ::
+| %parts +| %dynamics
:: ::
:: $channel: combined sender and receiver identifying data
::
+$ channel
$: :: dyad: [our her] if sending; [her our] when receiving
::
dyad
:: our data, common to all dyads
::
$: =our=life
crypto-core=acru:ames
==
:: her data, specific to this dyad
::
$: =symmetric-key
=her=life
=her=public-key
her-sponsors=(list ship)
== ==
:: $dyad: pair of sender and receiver ships :: $dyad: pair of sender and receiver ships
:: ::
+$ dyad [sndr=ship rcvr=ship] +$ dyad [sndr=ship rcvr=ship]
@ -206,24 +224,6 @@
:: ::
+| %state +| %state
:: ::
:: $channel: combined sender and receiver identifying data
::
+$ channel
$: :: dyad: [our her] if sending; [her our] when receiving
::
dyad
:: our data, common to all dyads
::
$: =our=life
crypto-core=acru:ames
==
:: her data, specific to this dyad
::
$: =symmetric-key
=her=life
=her=public-key
her-sponsors=(list ship)
== ==
:: $ames-state: state for entire vane :: $ames-state: state for entire vane
:: ::
+$ ames-state +$ ames-state
@ -280,18 +280,13 @@
=pump-metrics =pump-metrics
== ==
+$ pump-metrics +$ pump-metrics
$: :: empirically observed data $: num-live=@ud
:: num-lost=@ud
$: num-live=@ud last-sent-at=@da
num-lost=@ud last-dead-at=@da
last-sent-at=@da rtt=@dr
last-dead-at=@da max-live=@ud
== ==
:: derived state
::
$: rtt=@dr
max-live=@ud
== ==
+$ live-fragment +$ live-fragment
$: sent-at=@da $: sent-at=@da
dead-at=@da dead-at=@da