veri jet skeleton, still not working

2024-12-12 10:29:01 +03:00 · 2014-04-12 19:59:02 -07:00 · 2014-04-12 19:59:02 -07:00 · e0dfb10b42
commit e0dfb10b42
parent dac62b87e2
1 changed files with 1 additions and 0 deletions
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@ -4184,6 +4184,7 @@
    (can 0 ~[[b (etch rr)] [b ss]])
  ::
  ++  veri                                                ::  validate
+    ~/  %veri
    |=  [s=@ m=@ pk=@]  ^-  ?
    ?:  (gth (div b 4) (met 3 s))  |
    ?:  (gth (div b 8) (met 3 pk))  |