Dimensions

quality
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.…

Local Graph