bend-kit-zlib@0.2.0.0 relies on unsafe/foreign

0xaca98ab7f724003ea421c18792cafe52

DEFLATE, gzip, and zlib encoding and decoding (RFC 1951, 1952, 1950) over byte strings, plus gzip, zstd, and brotli through the C libraries. Source: https://github.com/paymog/bend-kit/tree/main/zlib

bend-kit-zlib@0.2.0.0 by paymog

Published

2026-09-29

Size

72,955 bytes, 3 files

License

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

Declarations

0 laws (0 proved), 199 defs, 14 types

Import

import bend-kit-zlib@0.2.0.0/zlib.bend as Zlib
import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib

Modules

• zlib.bend 233 declarations — DEFLATE, gzip, and zlib encoding and decoding (RFC 1951, 1952, 1950) over byte strings, plus gzip, zstd, and brotli through the C libraries. Source: https://github.com/paymog/bend-kit/tree/main/zlib

Other files

• effs/zlib.c 19,683 bytes
• effs/zlib.js 14,884 bytes

Dependencies

• bend-kit-hash@0.1.0.0 via zlib.bend: import bend-kit-hash@0.1.0.0/hash.bend as Hash

Dependents

• bend-kit-http@0.31.1.1 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.31.1.0 via http/http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.31.0.0 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.30.0.0 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.29.0.0 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.28.0.0 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.27.0.0 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.26.0.0 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib
• bend-kit-http@0.25.0.2 via http.bend: import 0xaca98ab7f724003ea421c18792cafe52/zlib.bend as Zlib

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 14 defs rely on unsafe or foreign code:
- zstd.words
- inflate.words
- inflate.raw.words
- gzip.words
- brotli.words
- dec.open
- dec.new
- inflate.new
- brotli.new
- zstd.new
- dec.feed
- dec.feed.words
- dec.finish.id
- dec.finish