codelib: words64 array view + first ∀-quantified loop-over-memory proof (#68 phase 2b) - #139

Merged

mfornet merged 4 commits into

cajal-technologies:mainfrom

theebayuser:codelib/mem-words-loop

Jul 15, 2026

Commits on Jul 14, 2026

codelib: region-disjointness algebra (MemRegion) + disjoint-write commutation

theebayuser
and
claude
committed
c7b3329
codelib: words64 array view + first ∀-quantified loop-over-memory proof

theebayuser
and
claude
committed
7e38771
codelib: address review — frame condition, slot-addr helper, doc + reuse fixes

authored and
theebayuser
committed
36dc446

Commits on Jul 15, 2026

Merge branch 'main' into codelib/mem-words-loop
mfornet
committed
a00da11