0x697f24d2 checks

0x697f24d2ad7ac8b3f8c00016670be6af

no description

Anonymous package: import it by hash.

Other versions (18)

0xa7cf27ec 2026-09-18 latest
0x498c837f 2026-09-18
0x4c137800 2026-09-18
0x36062a68 2026-09-18
0x58fe9864 2026-09-17
0xdf88d6b2 2026-09-17
0xbe30b4c1 2026-09-17
0x36850d3e 2026-09-17
0xfeda1cb3 2026-09-17
0x92b0674f 2026-09-17
0x4b7f9a03 2026-09-17
0xc6de6e52 2026-09-17
0x5af6678d 2026-09-17
0xcc241f12 2026-09-17
0xcc99578c 2026-09-17
0x3b8f9f54 2026-09-17
0x87443356 2026-09-17
0x831d2a84 2026-09-17

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

Import

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

Modules

LAWS.bend 14 declarations, 14 laws
PROOF.bend 0 declarations
lib.bend 16 declarations — Semver v1 — Base-only semantic versions.
seal.bend 0 declarations — Seal — publish entry so LAWS+PROOF ship with the package.

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