An open standard for measuring whether a codebase can be exhaustively verified, not just tested. Finite-testability indicators (mutable-state ratio, decision-space coverage, test determinism) plus an 18-dimension compliance mapping. Reference analyzer runs on 9 languages. Apache-2.0.
tree-sitter static-analysis code-quality code-coverage software-testing soc2 mutable-state open-standard ai-generated-code slop-audit finite-testability
-
Updated
Sep 7, 2026 - Python