0xf941a081 checks

0xf941a081d658b4ed09b0d1c5a3d26f48

Executable laws for the strict, lowercase Hex codec.

Anonymous package: import it by hash.

Published

2026-09-18

Size

6,482 bytes, 4 files

License

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

Declarations

26 laws (26 proved), 9 defs, 0 types

Import

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

Modules

• LAWS.bend 26 declarations, 26 laws — Executable laws for the strict, lowercase Hex codec.
• PROOF.bend 0 declarations — Computational proofs for every executable Hex law.
• lib.bend 9 declarations — Hex — strict hexadecimal codec for Base List<&2, U32> and String.
• seal.bend 0 declarations — Local package seal. Publishing is intentionally not performed.

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: 26 TODOs found.
The code is incomplete, and not a valid proof yet.