~/bend-docscommunity

bend-kit-stream@0.1.0.1 relies on unsafe/foreign

0x6eaf476c39756d18630510c519770168

Bounded packed-byte transfers between files and TCP/TLS sockets.

bend-kit-stream@0.1.0.1 by paymog

Earlier versions (1)
Published
2026-10-09
Size
7,065 bytes, 1 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 18 defs, 4 types

Import

import bend-kit-stream@0.1.0.1/stream.bend as Stream
import 0x6eaf476c39756d18630510c519770168/stream.bend as Stream

Modules

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
stream.bendrelies on unsafe/foreign 45 defs rely on unsafe or foreign code
defs: 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.list_dir.raw, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.stat.raw, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.mkdir, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.remove, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.rename, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.temp_dir, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.read.words, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.read_bytes, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.write.words, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.write_bytes, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.list_dir, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.stat, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.exists, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.mkdir_all.go, 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.mkdir_all, 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect, 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send.words, file.read, file.write, socket.read.tls, socket.read, socket.write.tls, socket.write, file.file, file.socket, socket.file
output
SOME PROOFS FAIL
Error: 45 defs rely on unsafe or foreign code:
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.list_dir.raw
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.stat.raw
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.mkdir
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.remove
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.rename
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.temp_dir
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.read.words
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.read_bytes
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.write.words
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.write_bytes
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.list_dir
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.stat
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.exists
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.mkdir_all.go
- 0xbfce8e3c28ef3e7d2baa52370e0804c4/files.mkdir_all
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send.words
- file.read
- file.write
- socket.read.tls
- socket.read
- socket.write.tls
- socket.write
- file.file
- file.socket
- socket.file
1.3 s