ABI Layer 3: transition soundness of linear free (state + address preservation)#45

hyperpolymath merged 3 commits into

mainhyperpolymath/atsiser:mainfrom

claude/new-session-znxgm7hyperpolymath/atsiser:claude/new-session-znxgm7Copy head branch name to clipboard