0xd9193642 checks

0xd9193642e70279e288909ba354d1bb6a

Laws for Base64's Base-only List<&2, U32> API.

Anonymous package: import it by hash.

Published: 2026-09-18
Size: 10,986 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 21 laws (21 proved), 16 defs, 0 types

Import

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

Modules

LAWS.bend 21 declarations, 21 laws — Laws for Base64's Base-only List<&2, U32> API.
PROOF.bend 0 declarations — Computational proofs for the Base64 laws.
lib.bend 16 declarations — Base64 — standard RFC 4648 Base64 over Base's List<&2, U32> and String.
seal.bend 0 declarations — Seal — publish entry so the implementation and its verified laws travel together.

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	21 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: 21 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.8 s
seal.bend	checks	ALL PROOFS CHECK	1.2 s