0x5af6678d checks

0x5af6678dfaeeeb1cd1ffcb22d02217bc

no description

Anonymous package: import it by hash.

Published

2026-09-17

Size

9,670 bytes, 4 files

License

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

Declarations

28 laws (28 proved), 11 defs, 2 types

Import

import 0x5af6678dfaeeeb1cd1ffcb22d02217bc/LAWS.bend as LAWS
import 0x5af6678dfaeeeb1cd1ffcb22d02217bc/PROOF.bend as PROOF
import 0x5af6678dfaeeeb1cd1ffcb22d02217bc/lib.bend as Lib
import 0x5af6678dfaeeeb1cd1ffcb22d02217bc/seal.bend as Seal

Modules

• LAWS.bend 28 declarations, 28 laws
• PROOF.bend 0 declarations
• lib.bend 15 declarations — Queue — foundational two-list FIFO for Bend.
• seal.bend 0 declarations — Seal — publish entry so LAWS+PROOF ship with the package.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 28 TODOs found.
The code is incomplete, and not a valid proof yet.