Add formal conformance suite for AWF config source contract and DriftRecord invariants#48503

pelikhan with Copilot wants to merge 3 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-awf-config-sources-specgithub/gh-aw:copilot/formal-spec-awf-config-sources-specCopy head branch name to clipboard