feat: Verus-style contracts with runtime debug_assert! checking#69

Merged

avrabe merged 2 commits intomainfrom

feat/verus-contracts

Mar 28, 2026

Commits on Mar 28, 2026

feat: Verus-style contracts with debug_assert! runtime checking

avrabe
and
claude
committed
feat: convert contracts to actual verus! {} blocks with no-op fallback

avrabe
and
claude
committed