test(solmara): prove contract generation transitions#11

jeremi merged 3 commits into

mainregistrystack/solmara-lab:mainfrom

codex/issue-8-contract-generation-proofregistrystack/solmara-lab:codex/issue-8-contract-generation-proofCopy head branch name to clipboard