[Move][Spec] Fix specs and other miscs#19310

rahxephon89 merged 3 commits into

mainaptos-labs/aptos-core:mainfrom

teng/fix-specaptos-labs/aptos-core:teng/fix-specCopy head branch name to clipboard