Challenge 12: Verify safety of NonZero#565

Open

Samuelsills wants to merge 4 commits intomodel-checking:mainfrom

Samuelsills:challenge-12-nonzero

Commits on Mar 24, 2026

Challenge 12: Verify safety of NonZero
Samuelsills
committed

Commits on Apr 1, 2026

Address reviewer feedback: add semantic correctness assertions

Samuelsills
and
claude
committed
Bound checked_pow/saturating_pow exponent to avoid CI timeout

Samuelsills
and
claude
committed
Reduce pow harnesses to small types for CI autoharness tractability

Samuelsills
and
claude
committed