feat: verified snapshot transport — pointer-swap protocol, model-checked, v0.6.0#6

jaredLunde merged 3 commits into

mainbeyondoss/slipstream:mainfrom

jared/dohbeyondoss/slipstream:jared/dohCopy head branch name to clipboard