0x983079cc checks

0x983079cc7642e53dbc9aaf7fa2636b20

LAWS.bend -- the spec. A human writes this; the AI never touches it.

Anonymous package: import it by hash.

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

Import

import 0x983079cc7642e53dbc9aaf7fa2636b20/LAWS.bend as LAWS
import 0x983079cc7642e53dbc9aaf7fa2636b20/PROOF.bend as PROOF
import 0x983079cc7642e53dbc9aaf7fa2636b20/src/math.bend as Math

Modules

LAWS.bend 3 declarations, 3 laws — LAWS.bend -- the spec. A human writes this; the AI never touches it.
PROOF.bend 0 declarations — PROOF.bend -- the gate. `bend PROOF.bend` fails while any law is open or
src/math.bend 1 declarations

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	3 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: 3 TODOs found. The code is incomplete, and not a valid proof yet.	0.7 s
PROOF.bend	checks	ALL PROOFS CHECK	0.7 s
src/math.bend	checks	ALL PROOFS CHECK	0.7 s