refactor prepareSCMP#425

jcp19 wants to merge 25 commits into

masterviperproject/VerifiedSCION:masterfrom

claude/preparescmp-verification-plan-xwm6n1viperproject/VerifiedSCION:claude/preparescmp-verification-plan-xwm6n1Copy head branch name to clipboard