Formalize replace-label compliance model and fixture-backed conformance tests - #44981

Formalize replace-label compliance model and fixture-backed conformance tests#44981

pelikhan merged 16 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-replace-label-compliancegithub/gh-aw:copilot/formal-spec-replace-label-complianceCopy head branch name to clipboard