Developer Tools

vfilesystem-audit

Which filesystem builtins are live, checked with real calls.

Released v1.0.0 · 2026-09-28
Import
use "stdlib/filesystem_audit.ven"

Checks every filesystem builtin the interpreter offers, for reading, writing, moving and listing files and directories, with a real call against the filesystem, so a program can see which operations are live on the virtual machine it runs under.

vfilesystem-audit.ven
print filesystem_audit_summary()
Reference (7 functions)

API reference

owner(name, owner_file, live, status)

Builds one implementation-ownership registry entry as a Map.

map_get(owner("Test slice", "builtins", yes, "live: worked"), "name")

file_content_io_status(probe_path)

Proves flat file content I/O is live on this VM with a real write/append/read/delete round-trip.

file_content_io_status("notes.txt")

path_text_status()

Proves the path-text slice is live and never touches disk.

path_text_status()

directory_structure_status(work_dir)

Proves the directory/path-structure slice is live with a real make/list/copy/size/remove sequence.

directory_structure_status("/tmp")

filesystem_owners(work_dir)

length(filesystem_owners("/tmp"))

filesystem_audit_summary(work_dir)

Reduces the full registry down to a plain {"total": N, "live": M} Map.

map_get(filesystem_audit_summary("/tmp"), "total")

filesystem_audit_report(work_dir)

length(split_text(filesystem_audit_report("/tmp"), "\n"))

Get notified when vfilesystem-audit changes

Get notified about

New versions and security advisories.

New and updated packages, once a day.

News on the math model built in Venutian.