slop-audit

Umbra: an apophatic code auditor that reports what your tests are structurally unable to see, and proves each gap with a real failing test.

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.