Add executable VAL-P1–VAL-P15 coverage for security architecture validation#46457

pelikhan with Copilot wants to merge 5 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-security-architecture-validationgithub/gh-aw:copilot/formal-spec-security-architecture-validationCopy head branch name to clipboard