This repository contains theoretical documentation only. No executable code.
For security issues in the code repository, see Arithmon/K7-Lean.
If you discover errors affecting scientific validity:
- Open a GitHub issue with details
- Provide reproduction steps if possible