01Zero-Hallucination Mandate for technical APIs and theoretical bounds
02Anti-simplification protocol ensuring full, compilable implementations
031 GitHub stars
04Domain-specific language selection (C++, Rust, Julia, Ada, Fortran)
05Formal verification and property-based testing standards
06Rigorous complexity analysis and algorithmic optimization