[formal-spec] Add replace-label formal model test suite (P1–P15 + edge cases)#42527

pelikhan merged 6 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-replace-labelgithub/gh-aw:copilot/formal-spec-replace-labelCopy head branch name to clipboard