bend-kit-archive@0.2.0.1 relies on unsafe/foreign

0x401661cec94425d3b4ef13a3c64b1e57

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

bend-kit-archive@0.2.0.1 by paymog

Published

2026-10-09

Size

50,737 bytes, 2 files

License

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

Declarations

0 laws (0 proved), 206 defs, 5 types

Import

import bend-kit-archive@0.2.0.1/archive/archive.bend as Archive
import 0x401661cec94425d3b4ef13a3c64b1e57/archive/archive.bend as Archive
import bend-kit-archive@0.2.0.1/bytes/bytes.bend as Bytes
import 0x401661cec94425d3b4ef13a3c64b1e57/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 157 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.2.0.1 via archive/archive.bend: import bend-kit-zlib@0.2.0.1/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:
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.zstd.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.raw.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.gzip.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.brotli.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.open
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.inflate.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.brotli.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.zstd.new
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.feed
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.feed.words
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.finish.id
- 0xcc180113489c489d3f5cdc852e6806f9/zlib.dec.finish
- inflate.of
- decode
- one.data
- one.name
- one.cap
- one
- run
- read.of
- read