W7 done done

This commit is contained in:
root
2026-06-15 10:53:36 +00:00
parent f5637bb587
commit 04745f39a8
35 changed files with 323 additions and 60 deletions
+14
View File
@@ -0,0 +1,14 @@
:sig
bool path_is_within(String path, String root)
:params
path : path to test
root : containing directory
return value : true when both paths canonicalize and `path` is equal to or inside `root`
:see
>sys
>path_real
:content
Performs canonical containment on the host. It resolves `..`, symlinks, and trailing slash differences before comparing, so `/foo/bar2` is not considered inside `/foo/bar`.