[formal-spec] Add PM-10/AppG formal model coverage for security architecture summary#46280

pelikhan merged 4 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