0x831d2a84 checks
0x831d2a84246839cb2e33f4e7653d3f09
no description
Anonymous package: import it by hash.
Other versions (18)
- 0xa7cf27ec 2026-09-18 latest
- 0x498c837f 2026-09-18
- 0x4c137800 2026-09-18
- 0x36062a68 2026-09-18
- 0x697f24d2 2026-09-18
- 0x58fe9864 2026-09-17
- 0xdf88d6b2 2026-09-17
- 0xbe30b4c1 2026-09-17
- 0x36850d3e 2026-09-17
- 0xfeda1cb3 2026-09-17
- 0x92b0674f 2026-09-17
- 0x4b7f9a03 2026-09-17
- 0xc6de6e52 2026-09-17
- 0x5af6678d 2026-09-17
- 0xcc241f12 2026-09-17
- 0xcc99578c 2026-09-17
- 0x3b8f9f54 2026-09-17
- 0x87443356 2026-09-17
- Published
- 2026-09-17
- Size
- 7,287 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 22 laws (22 proved), 14 defs, 3 types
Import
import 0x831d2a84246839cb2e33f4e7653d3f09/LAWS.bend as LAWS import 0x831d2a84246839cb2e33f4e7653d3f09/PROOF.bend as PROOF import 0x831d2a84246839cb2e33f4e7653d3f09/lib.bend as Lib import 0x831d2a84246839cb2e33f4e7653d3f09/seal.bend as Seal
Modules
- LAWS.bend 22 declarations, 22 laws
- PROOF.bend 0 declarations
- lib.bend 20 declarations — RingBuf — fixed-capacity FIFO ring buffer for U32 values.
- seal.bend 0 declarations — Publish seal for RingBuf. Laws are included transitively.
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| LAWS.bend | open laws/TODOs | 22 TODOs found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. outputSOME PROOFS FAIL Error: 22 TODOs found. The code is incomplete, and not a valid proof yet. | 0.8 s |
| PROOF.bend | checks | ALL PROOFS CHECK | 0.7 s |
| lib.bend | checks | ALL PROOFS CHECK | 0.9 s |
| seal.bend | checks | ALL PROOFS CHECK | 0.7 s |