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 #6568 from urbit/m/zero-tacos

Browse Source 
clay: the commit must actually be known
This commit is contained in:
Pyry Kovanen 2023-05-09 22:16:41 +03:00 committed by GitHub
commit 781406bed6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4492,14 +4492,13 @@
++ read-at-tako :: read-at-tako:ze
|= [for=(unit ship) tak=tako mun=mood] :: seek and read
^- [(unit (unit cage)) _..park]
?. |(?=(~ for) (may-read u.for care.mun tak path.mun))
[~ ..park]
:: the commit 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
::