quality.md
Ο 0.0%
Dimensions
cyberia/quality
quality control a methodology for reviewing code in projects where correctness matters. every line of code may end up in a proof circuit, a financial system, or an autonomous agent. quality means soundness. file size limit no single source file should exceed 500 lines. if it does, split it intoβ¦
trident/reference/quality
Quality Control Trident targets provable compilation: the compiler will self-host on Triton VM and produce a STARK proof that compilation was correct. Every line of code may end up inside a proof circuit. Quality here means soundness β a bug isn't just a bug, it's a potential soundness hole.β¦