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

0x4ac5209fa4a6e3fd4139a876056c7e73

multipart/form-data (RFC 7578): an encoder with a secure random boundary and a streaming decoder over Bytes. Source: https://github.com/paymog/bend-kit/tree/main/multipart

bend-kit-multipart@0.1.1.0 by paymog

Published

2026-10-09

Size

25,339 bytes, 1 files

License

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

Declarations

0 laws (0 proved), 90 defs, 9 types

Import

import bend-kit-multipart@0.1.1.0/multipart.bend as Multipart
import 0x4ac5209fa4a6e3fd4139a876056c7e73/multipart.bend as Multipart

Modules

• multipart.bend 126 declarations — multipart/form-data (RFC 7578): an encoder with a secure random boundary and a streaming decoder over Bytes. Source: https://github.com/paymog/bend-kit/tree/main/multipart

Dependencies

• bend-kit-bytes@0.3.1.0 via multipart.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes
• bend-kit-crypto@0.1.0.0 via multipart.bend: import bend-kit-crypto@0.1.0.0/crypto.bend as Crypto

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 10 defs rely on unsafe or foreign code:
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.digest.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha256.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha512.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.sha1.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.hmac.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.hkdf.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.random.words
- 0xd0eff414f6867c5e43b15b33239e1b1e/crypto.eq.ct.words
- boundary.new
- form