KB: 8 articles on storage-slot access, harnessing, vacuity repair, and multi-call idioms - #44

Closed

shellygr wants to merge 6 commits into

shelly/ap-kb-articles

Commits on Jul 3, 2026

Add 8 CVL KB articles: storage-slot, harness, vacuity, and multi-call idioms

shellygr
and
claude
committed
722d825
Attribute vacuity from loop cut-off to optimistic_loop, not the pessimistic default

shellygr
and
claude
committed
4a09c8e

Commits on Jul 4, 2026