0xedb848fc checks

0xedb848fc7835fe5f9d34e575a7612788

Definitional laws for ColorSample (concrete seeds / ranges).

Anonymous package: import it by hash.

Published: 2026-09-18
Size: 8,308 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 13 laws (13 proved), 19 defs, 0 types

Import

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

Modules

LAWS.bend 17 declarations, 13 laws — Definitional laws for ColorSample (concrete seeds / ranges).
PROOF.bend 0 declarations — Computational proofs for ColorSample's definitional laws.
lib.bend 15 declarations — ColorSample — Color layer 3: sample RGB within a ColorRange using Prng.
seal.bend 0 declarations — Seal — local publish entry. Importing this file checks that laws and proofs

Dependencies

0xc6ecb72f via LAWS.bend: import 0xc6ecb72f45a1b2f83318765698582f7f/lib.bend as Color
0xfd703773 via LAWS.bend: import 0xfd7037736e4fa1794a671d0278638da7/lib.bend as Prng

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
LAWS.bend	open laws/TODOs	13 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. output SOME PROOFS FAIL Error: 13 TODOs found. The code is incomplete, and not a valid proof yet.	0.6 s
PROOF.bend	checks	ALL PROOFS CHECK	1.7 s
lib.bend	checks	ALL PROOFS CHECK	0.7 s
seal.bend	checks	ALL PROOFS CHECK	1.5 s