User guide: verification-idiom pages (unstructured storage, harnessing, vacuity, multi-call, relational math) - #479

Closed

shellygr wants to merge 6 commits into

shelly/cvl-verification-idioms

Commits on Jul 3, 2026

Add verification-idiom guidance for common spec-writing patterns

shellygr
and
claude
committed
4965673
Correct overflow caveat in relational-math and optimistic_fallback semantics in vacuity

shellygr
and
claude
committed
35684a4

Commits on Jul 4, 2026