fix: import the test isolation in test_proven_name

tests/test_proven_name.py

@@ -10,6 +10,8 @@ devkit ROMs by the name step.
 
 from __future__ import annotations
 
+import tests  # noqa: F401  offline, scratch under tmp/, the suite's own cache
+
 import hashlib
 import json
 import os