enforces fake/not domain invariants in %jael

2024-11-28 13:54:20 +03:00 · 2018-10-17 12:42:53 -04:00 · 2018-10-17 12:42:53 -04:00 · f7c721fd25
commit f7c721fd25
parent cf06e987bb
1 changed files with 4 additions and 0 deletions
--- a/sys/vane/jael.hoon
+++ b/sys/vane/jael.hoon
@ -790,6 +790,10 @@
    ::    [%turf ~]
    ::
        %turf
+      ::  ships with real keys must have domains,
+      ::  those with fake keys must not
+      ::
+      ?<  =(fak.urb ?=(^ tuf.urb))
      +>.$(moz [[hen %give %turf tuf.urb] moz])
    ::
    ::  watch private keys