Swap ownership fix ( iprop) - #156

Closed

Isabelle9999 wants to merge 8 commits into

cajal-technologies:mainfrom

Isabelle9999:swap-ownership-fix

Commits on Jul 18, 2026

fix: API mismatches with current main — byte32/byte64, toNat_add_ofNat, Frame dedup, 64-bit WasmRules
Isabelle9999
committed

Commits on Jul 24, 2026

swap: PosTrie + parameterized distinctness + cached wrapper + fix func0_terminates_sw
Isabelle9999
committed
fix: func0_terminates_sw arg order + delete unused swap_ownership + simp cleanup
Isabelle9999
committed
swap: fix stack ordering + opaque let helpers + ret trivial (EXIT:0, zero warnings)
Isabelle9999
committed