0xfd703773 checks

0xfd7037736e4fa1794a671d0278638da7

Definitional laws for Prng (xorshift32 over U32).

Anonymous package: import it by hash.

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

Import

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

Modules

LAWS.bend 9 declarations, 9 laws — Definitional laws for Prng (xorshift32 over U32).
PROOF.bend 0 declarations — Computational proofs for Prng's definitional laws.
lib.bend 16 declarations — Prng — tiny seeded xorshift32 for Bend 2.0.2.
seal.bend 0 declarations — Seal — local publish entry. Importing this file checks that laws and proofs

Dependencies

No imports from other hub packages.

Dependents

0xedb848fc via LAWS.bend: import 0xfd7037736e4fa1794a671d0278638da7/lib.bend as Prng

Status on bend 2.0.36

File	Status	Checker says	Time
LAWS.bend	open laws/TODOs	9 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: 9 TODOs found. The code is incomplete, and not a valid proof yet.	0.8 s
PROOF.bend	checks	ALL PROOFS CHECK	1.0 s
lib.bend	checks	ALL PROOFS CHECK	0.7 s
seal.bend	checks	ALL PROOFS CHECK	1.3 s