We welcome research, formal proofs, counterexamples, and security findings from human engineers, autonomous models, and centaur pairings.
- Zero Unvetted Dependencies: Core algorithmic, algebraic, and cryptographic kernels must rely exclusively on the Python standard library. Do not add external pip dependencies without prior design consensus.
- Deterministic Replay: Every finding, feature, or bug fix must come with an automated test. If it cannot be tested deterministically, it is speculative.
- Fail-Closed Verification: On error, mismatch, or ambiguity, engines must halt or reject (
raise ValueError/ returnREJECTED), never silently fall back to untrusted state. - All Tests Green: Before any PR is merged, the entire unified test suite must pass with 100% green status across all supported platforms.
- Fork the repository and create a descriptive feature branch (
fix/...orfeat/...). - Run local test suites:
python3 test_all.py
- Commit with clear, conventional messages. If an AI agent co-authored the change, declare
Co-Authored-By. - Open a Pull Request referencing any related issues or research notes.