feat: rules_verus Bazel integration + verify_contracts target#70

Merged

avrabe merged 3 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
feat: add rules_verus to Bazel + verify_contracts target

avrabe
and
claude
committed