~/bend-docscommunity

bend-kit-journal@0.1.0.0 relies on unsafe/foreign

0x801060290904d418c14ffa544e867442

Append-only journal: checksummed frames, fsync'd appends, and crash recovery of the committed prefix. Source: https://github.com/paymog/bend-kit/tree/main/journal

bend-kit-journal@0.1.0.0 by paymog

Published
2026-10-11
Size
27,581 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 59 defs, 6 types

Import

import bend-kit-journal@0.1.0.0/journal.bend as Journal
import 0x801060290904d418c14ffa544e867442/journal.bend as Journal

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
journal.bendrelies on unsafe/foreign 11 defs rely on unsafe or foreign code
defs: open.words, append.words, truncate, open.tail, open.replayed, open.read, open, append.write, append.size, append.ok, append
output
SOME PROOFS FAIL
Error: 11 defs rely on unsafe or foreign code:
- open.words
- append.words
- truncate
- open.tail
- open.replayed
- open.read
- open
- append.write
- append.size
- append.ok
- append
0.7 s