feat: formal model + 15-test suite for security architecture SG invariants#44590

pelikhan merged 7 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-security-architecturegithub/gh-aw:copilot/formal-spec-security-architectureCopy head branch name to clipboard