0x9abf4483 relies on unsafe/foreign

0x9abf4483e85cdd9418700acfbda3e5a0

ZIP archives read over Bytes: stored and DEFLATE entries, checked against their CRC-32 and sizes. Source: https://github.com/paymog/bend-kit/tree/main/archive

Anonymous package: import it by hash.

Published

2026-09-29

Size

45,610 bytes, 2 files

License

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

Declarations

0 laws (0 proved), 176 defs, 3 types

Import

import 0x9abf4483e85cdd9418700acfbda3e5a0/archive/archive.bend as Archive
import 0x9abf4483e85cdd9418700acfbda3e5a0/bytes/bytes.bend as Bytes

Modules

• archive/archive.bend 59 declarations — ZIP archives read over Bytes: stored and DEFLATE entries, checked against their CRC-32 and sizes. Source: https://github.com/paymog/bend-kit/tree/main/archive
• bytes/bytes.bend 123 declarations — Byte buffers packed four bytes to a U32, with bounds-checked access. Source: https://github.com/paymog/bend-kit/tree/main/bytes

Dependencies

• bend-kit-bytes@0.3.0.0 via archive/archive.bend: import 0x49814d83de8f70993a43e1002be29ecd/bytes.bend as HubBytes
• bend-kit-zlib@0.1.6.0 via archive/archive.bend: import bend-kit-zlib@0.1.6.0/zlib.bend as Zlib
• bend-kit-hash@0.1.0.0 via archive/archive.bend: import bend-kit-hash@0.1.0.0/hash.bend as Hash
• bend-kit-int@0.2.0.0 via bytes/bytes.bend: import 0x4eed9d7ac6ece61523d747a9d804e4f0/int.bend as Int

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 23 defs rely on unsafe or foreign code:
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.zstd.words
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.inflate.words
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.inflate.raw.words
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.gzip.words
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.brotli.words
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.dec.open
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.dec.new
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.inflate.new
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.brotli.new
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.zstd.new
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.dec.feed
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.dec.feed.words
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.dec.finish.id
- 0x0b9edfd8f6cd7a13ede14e4494345f6f/zlib.dec.finish
- inflate.of
- decode
- one.data
- one.name
- one.cap
- one
- run
- read.of
- read