feat(formal-spec): add PRECOND_BlockedUsersRequireMinIntegrity to access-control formal model#45103

pelikhan with Copilot wants to merge 2 commits into

maingithub/gh-aw:mainfrom

copilot/github-mcp-access-control-compliancegithub/gh-aw:copilot/github-mcp-access-control-complianceCopy head branch name to clipboard