This repository is a mathematical formalization project. Security reports should focus on repository automation, CI credentials, dependency supply-chain issues and malicious code in scripts.

Do not report ordinary mathematical gaps as security vulnerabilities. Use GitHub Issues for mathematical gaps, API gaps and theorem-statement problems.