bend-kit-files@0.1.1.0 relies on unsafe/foreign

0x6c54b2522c2258baf6f58d2b970c3902

POSIX paths plus directory and metadata effects. Source: https://github.com/paymog/bend-kit/tree/main/files

bend-kit-files@0.1.1.0 by paymog

Published

2026-09-29

Size

21,967 bytes, 3 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 39 defs, 2 types

Import

import bend-kit-files@0.1.1.0/files.bend as Files
import 0x6c54b2522c2258baf6f58d2b970c3902/files.bend as Files

Modules

• files.bend 45 declarations — POSIX paths plus directory and metadata effects. Source: https://github.com/paymog/bend-kit/tree/main/files

Other files

• effs/files.c 8,883 bytes
• effs/files.js 3,503 bytes

Dependencies

• bend-kit-bytes@0.3.1.0 via files.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes

Dependents

• mylsm-lsm-store@0.5.0.0 via src/Fs.bend: import 0x6c54b2522c2258baf6f58d2b970c3902/files.bend as PackedFiles
• mylsm-lsm-store@0.4.0.0 via src/Fs.bend: import 0x6c54b2522c2258baf6f58d2b970c3902/files.bend as PackedFiles
• bend-kit-stream@0.1.0.0 via stream.bend: import bend-kit-files@0.1.1.0/files.bend as Files

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 15 defs rely on unsafe or foreign code:
- list_dir.raw
- stat.raw
- mkdir
- remove
- rename
- temp_dir
- read.words
- read_bytes
- write.words
- write_bytes
- list_dir
- stat
- exists
- mkdir_all.go
- mkdir_all