Tool / Fingerprinted coverage evidence
DSH-changeproof
Finds tests linked to a change, checks every changed line actually ran, and ties the evidence to a code fingerprint so any later edit flips the verdict to STALE.
The summary describes what the project says it does; inclusion is not an endorsement.
Evidence that expires when the code changes is a crisp idea for proof gates. A DeepSeek Harness plugin, README in Chinese, 5 stars.
- Verify
AI-drafted