feat: add security architecture formal test suite (P1–P10)#43244

pelikhan merged 7 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-security-architecture-summarygithub/gh-aw:copilot/formal-spec-security-architecture-summaryCopy head branch name to clipboard