From 50239414eee5ada60a8510731674f19efabef2d9 Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Wed, 10 May 2023 09:48:46 -0400 Subject: [PATCH] clay: allow reads at the null tako --- pkg/arvo/sys/vane/clay.hoon | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkg/arvo/sys/vane/clay.hoon b/pkg/arvo/sys/vane/clay.hoon index 6224ebdc3f..319cd1f224 100644 --- a/pkg/arvo/sys/vane/clay.hoon +++ b/pkg/arvo/sys/vane/clay.hoon @@ -4492,13 +4492,13 @@ ++ read-at-tako :: read-at-tako:ze |= [for=(unit ship) tak=tako mun=mood] :: seek and read ^- [(unit (unit cage)) _..park] - :: the commit must be known, and reachable from within this desk + :: non-zero commits must be known, and reachable from within this desk :: - ?. ?& !=(0v0 tak) - (~(has by hut.ran) tak) + ?. ?| =(0v0 tak) + ?& (~(has by hut.ran) tak) (~(has in (reachable-takos (aeon-to-tako:ze let.dom))) tak) |(?=(~ for) (may-read u.for care.mun tak path.mun)) - == + == == [~ ..park] :: virtualize to catch and produce deterministic failures ::