0xff0c68fa checks

0xff0c68fa4ce715b1f30ee5944192f0b7

Definitional laws for Crc32's Base-only List<&2, U32> API.

Anonymous package: import it by hash.

Published: 2026-09-18
Size: 3,111 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 6 laws (6 proved), 9 defs, 0 types

Import

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

Modules

LAWS.bend 6 declarations, 6 laws — Definitional laws for Crc32's Base-only List<&2, U32> API.
PROOF.bend 0 declarations — Computational proofs for Crc32's definitional laws.
lib.bend 9 declarations — Crc32 — Base-only CRC-32 (ISO 3309 / Ethernet).
seal.bend 0 declarations — Seal — local publish entry. Importing this file checks that laws and proofs

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	6 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: 6 TODOs found. The code is incomplete, and not a valid proof yet.	0.9 s
PROOF.bend	checks	ALL PROOFS CHECK	1.2 s
lib.bend	checks	ALL PROOFS CHECK	0.7 s
seal.bend	checks	ALL PROOFS CHECK	1.1 s