"""Repository-level verification tests."""