0xc6ecb72f checks

0xc6ecb72f45a1b2f83318765698582f7f

Definitional laws for Color layer 1.

Anonymous package: import it by hash.

Published

2026-09-18

Size

11,674 bytes, 4 files

License

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

Declarations

25 laws (25 proved), 33 defs, 3 types

Import

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

Modules

• LAWS.bend 25 declarations, 25 laws — Definitional laws for Color layer 1.
• PROOF.bend 0 declarations
• lib.bend 39 declarations — Color — Layer 1: Rgb/Hsl types, conversion, and string show for Bend 2.0.2.
• seal.bend 0 declarations — Seal — local publish entry. Importing this file checks that laws and proofs

Dependencies

No imports from other hub packages.

Dependents

• 0xedb848fc via LAWS.bend: import 0xc6ecb72f45a1b2f83318765698582f7f/lib.bend as Color

Status on bend 2.0.36

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