urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-24 04:58:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6574 from urbit/jb/clay-redux

Browse Source 
clay: allow reads at the null tako
This commit is contained in:
Ted Blackman 2023-05-10 10:33:02 -04:00 committed by GitHub
commit 06baf980d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkg/arvo/sys/vane/clay.hoon
View File

@ -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
::